software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny

Class DynamoDbEncryptionClient

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.DynamoDbEncryptionClient

All Implemented Interfaces:

IDynamoDbEncryptionClient

public class DynamoDbEncryptionClient
extends java.lang.Object
implements IDynamoDbEncryptionClient

Field Summary

Fields

Modifier and Type	Field and Description
Config	_config

Constructor Summary

Constructors

Constructor and Description
DynamoDbEncryptionClient()

Method Summary

Modifier and Type	Method and Description
void	__ctor(Config config)
static dafny.TypeDescriptor<DynamoDbEncryptionClient>	_typeDescriptor()
Config	config()
Wrappers_Compile.Result<CreateDynamoDbEncryptionBranchKeyIdSupplierOutput,Error>	CreateDynamoDbEncryptionBranchKeyIdSupplier(CreateDynamoDbEncryptionBranchKeyIdSupplierInput input)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_config

public Config _config

Constructor Detail

DynamoDbEncryptionClient

public DynamoDbEncryptionClient()

Method Detail

__ctor

public void __ctor(Config config)

CreateDynamoDbEncryptionBranchKeyIdSupplier

public Wrappers_Compile.Result<CreateDynamoDbEncryptionBranchKeyIdSupplierOutput,Error> CreateDynamoDbEncryptionBranchKeyIdSupplier(CreateDynamoDbEncryptionBranchKeyIdSupplierInput input)

Specified by:

CreateDynamoDbEncryptionBranchKeyIdSupplier in interface IDynamoDbEncryptionClient

config

public Config config()

_typeDescriptor

public static dafny.TypeDescriptor<DynamoDbEncryptionClient> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object