DynamoDbEncryptionBranchKeyIdSupplier_Compile

Class DynamoDbEncryptionBranchKeyIdSupplier

java.lang.Object

DynamoDbEncryptionBranchKeyIdSupplier_Compile.DynamoDbEncryptionBranchKeyIdSupplier

All Implemented Interfaces:

software.amazon.cryptography.materialproviders.internaldafny.types.IBranchKeyIdSupplier

public class DynamoDbEncryptionBranchKeyIdSupplier
extends java.lang.Object
implements software.amazon.cryptography.materialproviders.internaldafny.types.IBranchKeyIdSupplier

Field Summary

Fields

Modifier and Type	Field and Description
IDynamoDbKeyBranchKeyIdSupplier	_ddbKeyBranchKeyIdSupplier

Constructor Summary

Constructors

Constructor and Description
DynamoDbEncryptionBranchKeyIdSupplier()

Method Summary

Modifier and Type	Method and Description
void	__ctor(IDynamoDbKeyBranchKeyIdSupplier ddbKeyBranchKeyIdSupplier)
static dafny.TypeDescriptor<DynamoDbEncryptionBranchKeyIdSupplier>	_typeDescriptor()
IDynamoDbKeyBranchKeyIdSupplier	ddbKeyBranchKeyIdSupplier()
Wrappers_Compile.Result<software.amazon.cryptography.materialproviders.internaldafny.types.GetBranchKeyIdOutput,software.amazon.cryptography.materialproviders.internaldafny.types.Error>	GetBranchKeyId_k(software.amazon.cryptography.materialproviders.internaldafny.types.GetBranchKeyIdInput input)
Wrappers_Compile.Result<software.amazon.cryptography.materialproviders.internaldafny.types.GetBranchKeyIdOutput,software.amazon.cryptography.materialproviders.internaldafny.types.Error>	GetBranchKeyId(software.amazon.cryptography.materialproviders.internaldafny.types.GetBranchKeyIdInput input)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_ddbKeyBranchKeyIdSupplier

public IDynamoDbKeyBranchKeyIdSupplier _ddbKeyBranchKeyIdSupplier

Constructor Detail

DynamoDbEncryptionBranchKeyIdSupplier

public DynamoDbEncryptionBranchKeyIdSupplier()

Method Detail

GetBranchKeyId

public Wrappers_Compile.Result<software.amazon.cryptography.materialproviders.internaldafny.types.GetBranchKeyIdOutput,software.amazon.cryptography.materialproviders.internaldafny.types.Error> GetBranchKeyId(software.amazon.cryptography.materialproviders.internaldafny.types.GetBranchKeyIdInput input)

Specified by:

GetBranchKeyId in interface software.amazon.cryptography.materialproviders.internaldafny.types.IBranchKeyIdSupplier

__ctor

public void __ctor(IDynamoDbKeyBranchKeyIdSupplier ddbKeyBranchKeyIdSupplier)

GetBranchKeyId_k

public Wrappers_Compile.Result<software.amazon.cryptography.materialproviders.internaldafny.types.GetBranchKeyIdOutput,software.amazon.cryptography.materialproviders.internaldafny.types.Error> GetBranchKeyId_k(software.amazon.cryptography.materialproviders.internaldafny.types.GetBranchKeyIdInput input)

Specified by:

GetBranchKeyId_k in interface software.amazon.cryptography.materialproviders.internaldafny.types.IBranchKeyIdSupplier

ddbKeyBranchKeyIdSupplier

public IDynamoDbKeyBranchKeyIdSupplier ddbKeyBranchKeyIdSupplier()

_typeDescriptor

public static dafny.TypeDescriptor<DynamoDbEncryptionBranchKeyIdSupplier> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object