Package software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types

Interface Summary

Interface	Description
IDynamoDbEncryptionClient
IDynamoDbKeyBranchKeyIdSupplier
ILegacyDynamoDbEncryptor

Class Summary

Class	Description
__default
_Companion_IDynamoDbEncryptionClient
_Companion_IDynamoDbKeyBranchKeyIdSupplier
_Companion_ILegacyDynamoDbEncryptor
_ExternBase___default
BeaconBitLength
BeaconKeySource
BeaconKeySource_multi
BeaconKeySource_single
BeaconVersion
BeaconVersionList
Char
CompoundBeacon
CompoundBeaconList
Constructor
ConstructorList
ConstructorPart
ConstructorPartList
CreateDynamoDbEncryptionBranchKeyIdSupplierInput
CreateDynamoDbEncryptionBranchKeyIdSupplierOutput
DafnyCallEvent<I,O>
DynamoDbEncryptionConfig
DynamoDbTableEncryptionConfig
DynamoDbTablesEncryptionConfig
EncryptedPart
EncryptedPartsList
Error
Error_AwsCryptographyDbEncryptionSdkStructuredEncryption
Error_AwsCryptographyKeyStore
Error_AwsCryptographyMaterialProviders
Error_AwsCryptographyPrimitives
Error_CollectionOfErrors
Error_ComAmazonawsDynamodb
Error_DynamoDbEncryptionException
Error_Opaque
GetBranchKeyIdFromDdbKeyInput
GetBranchKeyIdFromDdbKeyOutput
GetPrefix
GetSegment
GetSegments
GetSubstring
GetSuffix
IDynamoDbEncryptionClientCallHistory
IDynamoDbKeyBranchKeyIdSupplierCallHistory
ILegacyDynamoDbEncryptorCallHistory
Insert
LegacyOverride
LegacyPolicy
LegacyPolicy_FORBID__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT
LegacyPolicy_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT
LegacyPolicy_FORCE__LEGACY__ENCRYPT__ALLOW__LEGACY__DECRYPT
Lower
MultiKeyStore
OpaqueError
PlaintextOverride
PlaintextOverride_FORBID__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ
PlaintextOverride_FORBID__PLAINTEXT__WRITE__FORBID__PLAINTEXT__READ
PlaintextOverride_FORCE__PLAINTEXT__WRITE__ALLOW__PLAINTEXT__READ
Prefix
SearchConfig
SignedPart
SignedPartsList
SingleKeyStore
StandardBeacon
StandardBeaconList
TerminalLocation
Upper
VersionNumber
VirtualField
VirtualFieldList
VirtualPart
VirtualPartList
VirtualTransform
VirtualTransform_insert
VirtualTransform_lower
VirtualTransform_prefix
VirtualTransform_segment
VirtualTransform_segments
VirtualTransform_substring
VirtualTransform_suffix
VirtualTransform_upper
VirtualTransformList