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

Interfaces

• IDynamoDbEncryptionClient
• IDynamoDbKeyBranchKeyIdSupplier
• ILegacyDynamoDbEncryptor

Classes

• __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
• 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