DefaultClientSupplier_Compile

Class DefaultClientSupplier

java.lang.Object

DefaultClientSupplier_Compile.DefaultClientSupplier

All Implemented Interfaces:

IClientSupplier

public class DefaultClientSupplier
extends java.lang.Object
implements IClientSupplier

Constructor Summary

Constructors

Constructor and Description
DefaultClientSupplier()

Method Summary

Modifier and Type	Method and Description
void	__ctor()
static dafny.TypeDescriptor<DefaultClientSupplier>	_typeDescriptor()
Wrappers_Compile.Result<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient,Error>	GetClient_k(GetClientInput input)
Wrappers_Compile.Result<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient,Error>	GetClient(GetClientInput input)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DefaultClientSupplier

public DefaultClientSupplier()

Method Detail

GetClient

public Wrappers_Compile.Result<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient,Error> GetClient(GetClientInput input)

Specified by:

GetClient in interface IClientSupplier

__ctor

public void __ctor()

GetClient_k

public Wrappers_Compile.Result<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient,Error> GetClient_k(GetClientInput input)

Specified by:

GetClient_k in interface IClientSupplier

_typeDescriptor

public static dafny.TypeDescriptor<DefaultClientSupplier> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object