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

Class DynamoDbTableEncryptionConfig

java.lang.Object

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

public class DynamoDbTableEncryptionConfig
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId>	_algorithmSuiteId
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	_allowedUnsignedAttributePrefix
Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>>	_allowedUnsignedAttributes
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction>	_attributeActionsOnEncrypt
Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager>	_cmm
Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring>	_keyring
Wrappers_Compile.Option<LegacyOverride>	_legacyOverride
dafny.DafnySequence<? extends java.lang.Character>	_logicalTableName
dafny.DafnySequence<? extends java.lang.Character>	_partitionKeyName
Wrappers_Compile.Option<PlaintextOverride>	_plaintextOverride
Wrappers_Compile.Option<SearchConfig>	_search
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	_sortKeyName

Constructor Summary

Constructors

Constructor and Description

DynamoDbTableEncryptionConfig(dafny.DafnySequence<? extends java.lang.Character> logicalTableName, dafny.DafnySequence<? extends java.lang.Character> partitionKeyName, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName, Wrappers_Compile.Option<SearchConfig> search, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> attributeActionsOnEncrypt, Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> allowedUnsignedAttributes, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> allowedUnsignedAttributePrefix, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring> keyring, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager> cmm, Wrappers_Compile.Option<LegacyOverride> legacyOverride, Wrappers_Compile.Option<PlaintextOverride> plaintextOverride)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<DynamoDbTableEncryptionConfig>	_typeDescriptor()
static DynamoDbTableEncryptionConfig	create_DynamoDbTableEncryptionConfig(dafny.DafnySequence<? extends java.lang.Character> logicalTableName, dafny.DafnySequence<? extends java.lang.Character> partitionKeyName, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName, Wrappers_Compile.Option<SearchConfig> search, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> attributeActionsOnEncrypt, Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> allowedUnsignedAttributes, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> allowedUnsignedAttributePrefix, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring> keyring, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager> cmm, Wrappers_Compile.Option<LegacyOverride> legacyOverride, Wrappers_Compile.Option<PlaintextOverride> plaintextOverride)
static DynamoDbTableEncryptionConfig	create(dafny.DafnySequence<? extends java.lang.Character> logicalTableName, dafny.DafnySequence<? extends java.lang.Character> partitionKeyName, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName, Wrappers_Compile.Option<SearchConfig> search, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> attributeActionsOnEncrypt, Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> allowedUnsignedAttributes, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> allowedUnsignedAttributePrefix, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring> keyring, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager> cmm, Wrappers_Compile.Option<LegacyOverride> legacyOverride, Wrappers_Compile.Option<PlaintextOverride> plaintextOverride)
static DynamoDbTableEncryptionConfig	Default()
Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId>	dtor_algorithmSuiteId()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	dtor_allowedUnsignedAttributePrefix()
Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>>	dtor_allowedUnsignedAttributes()
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction>	dtor_attributeActionsOnEncrypt()
Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager>	dtor_cmm()
Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring>	dtor_keyring()
Wrappers_Compile.Option<LegacyOverride>	dtor_legacyOverride()
dafny.DafnySequence<? extends java.lang.Character>	dtor_logicalTableName()
dafny.DafnySequence<? extends java.lang.Character>	dtor_partitionKeyName()
Wrappers_Compile.Option<PlaintextOverride>	dtor_plaintextOverride()
Wrappers_Compile.Option<SearchConfig>	dtor_search()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	dtor_sortKeyName()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_DynamoDbTableEncryptionConfig()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

_logicalTableName

public dafny.DafnySequence<? extends java.lang.Character> _logicalTableName

_partitionKeyName

public dafny.DafnySequence<? extends java.lang.Character> _partitionKeyName

_sortKeyName

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> _sortKeyName

_search

public Wrappers_Compile.Option<SearchConfig> _search

_attributeActionsOnEncrypt

public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> _attributeActionsOnEncrypt

_allowedUnsignedAttributes

public Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> _allowedUnsignedAttributes

_allowedUnsignedAttributePrefix

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> _allowedUnsignedAttributePrefix

_algorithmSuiteId

public Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> _algorithmSuiteId

_keyring

public Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring> _keyring

_cmm

public Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager> _cmm

_legacyOverride

public Wrappers_Compile.Option<LegacyOverride> _legacyOverride

_plaintextOverride

public Wrappers_Compile.Option<PlaintextOverride> _plaintextOverride

Constructor Detail

DynamoDbTableEncryptionConfig

public DynamoDbTableEncryptionConfig(dafny.DafnySequence<? extends java.lang.Character> logicalTableName,
                                     dafny.DafnySequence<? extends java.lang.Character> partitionKeyName,
                                     Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName,
                                     Wrappers_Compile.Option<SearchConfig> search,
                                     dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> attributeActionsOnEncrypt,
                                     Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> allowedUnsignedAttributes,
                                     Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> allowedUnsignedAttributePrefix,
                                     Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId,
                                     Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring> keyring,
                                     Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager> cmm,
                                     Wrappers_Compile.Option<LegacyOverride> legacyOverride,
                                     Wrappers_Compile.Option<PlaintextOverride> plaintextOverride)

Method Detail

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Default

public static DynamoDbTableEncryptionConfig Default()

_typeDescriptor

public static dafny.TypeDescriptor<DynamoDbTableEncryptionConfig> _typeDescriptor()

create

public static DynamoDbTableEncryptionConfig create(dafny.DafnySequence<? extends java.lang.Character> logicalTableName,
                                                   dafny.DafnySequence<? extends java.lang.Character> partitionKeyName,
                                                   Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName,
                                                   Wrappers_Compile.Option<SearchConfig> search,
                                                   dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> attributeActionsOnEncrypt,
                                                   Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> allowedUnsignedAttributes,
                                                   Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> allowedUnsignedAttributePrefix,
                                                   Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId,
                                                   Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring> keyring,
                                                   Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager> cmm,
                                                   Wrappers_Compile.Option<LegacyOverride> legacyOverride,
                                                   Wrappers_Compile.Option<PlaintextOverride> plaintextOverride)

create_DynamoDbTableEncryptionConfig

public static DynamoDbTableEncryptionConfig create_DynamoDbTableEncryptionConfig(dafny.DafnySequence<? extends java.lang.Character> logicalTableName,
                                                                                 dafny.DafnySequence<? extends java.lang.Character> partitionKeyName,
                                                                                 Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName,
                                                                                 Wrappers_Compile.Option<SearchConfig> search,
                                                                                 dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> attributeActionsOnEncrypt,
                                                                                 Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> allowedUnsignedAttributes,
                                                                                 Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> allowedUnsignedAttributePrefix,
                                                                                 Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId,
                                                                                 Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring> keyring,
                                                                                 Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager> cmm,
                                                                                 Wrappers_Compile.Option<LegacyOverride> legacyOverride,
                                                                                 Wrappers_Compile.Option<PlaintextOverride> plaintextOverride)

is_DynamoDbTableEncryptionConfig

public boolean is_DynamoDbTableEncryptionConfig()

dtor_logicalTableName

public dafny.DafnySequence<? extends java.lang.Character> dtor_logicalTableName()

dtor_partitionKeyName

public dafny.DafnySequence<? extends java.lang.Character> dtor_partitionKeyName()

dtor_sortKeyName

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> dtor_sortKeyName()

dtor_search

public Wrappers_Compile.Option<SearchConfig> dtor_search()

dtor_attributeActionsOnEncrypt

public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> dtor_attributeActionsOnEncrypt()

dtor_allowedUnsignedAttributes

public Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> dtor_allowedUnsignedAttributes()

dtor_allowedUnsignedAttributePrefix

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> dtor_allowedUnsignedAttributePrefix()

dtor_algorithmSuiteId

public Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> dtor_algorithmSuiteId()

dtor_keyring

public Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring> dtor_keyring()

dtor_cmm

public Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager> dtor_cmm()

dtor_legacyOverride

public Wrappers_Compile.Option<LegacyOverride> dtor_legacyOverride()

dtor_plaintextOverride

public Wrappers_Compile.Option<PlaintextOverride> dtor_plaintextOverride()