AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations_Compile

Class Config

java.lang.Object

AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations_Compile.Config

public class Config
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
software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager	_cmm
software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient	_cmpClient
Wrappers_Compile.Option<InternalLegacyOverride>	_internalLegacyOverride
dafny.DafnySequence<? extends java.lang.Character>	_logicalTableName
dafny.DafnySequence<? extends java.lang.Character>	_partitionKeyName
PlaintextOverride	_plaintextOverride
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	_sortKeyName
StructuredEncryptionClient	_structuredEncryption

Constructor Summary

Constructors

Constructor and Description

Config(software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient cmpClient, dafny.DafnySequence<? extends java.lang.Character> logicalTableName, dafny.DafnySequence<? extends java.lang.Character> partitionKeyName, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm, 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, StructuredEncryptionClient structuredEncryption, PlaintextOverride plaintextOverride, Wrappers_Compile.Option<InternalLegacyOverride> internalLegacyOverride)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<Config>	_typeDescriptor()
static Config	create_Config(software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient cmpClient, dafny.DafnySequence<? extends java.lang.Character> logicalTableName, dafny.DafnySequence<? extends java.lang.Character> partitionKeyName, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm, 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, StructuredEncryptionClient structuredEncryption, PlaintextOverride plaintextOverride, Wrappers_Compile.Option<InternalLegacyOverride> internalLegacyOverride)
static Config	create(software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient cmpClient, dafny.DafnySequence<? extends java.lang.Character> logicalTableName, dafny.DafnySequence<? extends java.lang.Character> partitionKeyName, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm, 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, StructuredEncryptionClient structuredEncryption, PlaintextOverride plaintextOverride, Wrappers_Compile.Option<InternalLegacyOverride> internalLegacyOverride)
static Config	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()
software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager	dtor_cmm()
software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient	dtor_cmpClient()
Wrappers_Compile.Option<InternalLegacyOverride>	dtor_internalLegacyOverride()
dafny.DafnySequence<? extends java.lang.Character>	dtor_logicalTableName()
dafny.DafnySequence<? extends java.lang.Character>	dtor_partitionKeyName()
PlaintextOverride	dtor_plaintextOverride()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	dtor_sortKeyName()
StructuredEncryptionClient	dtor_structuredEncryption()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_Config()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_cmpClient

public software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient _cmpClient

_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

_cmm

public software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager _cmm

_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

_structuredEncryption

public StructuredEncryptionClient _structuredEncryption

_plaintextOverride

public PlaintextOverride _plaintextOverride

_internalLegacyOverride

public Wrappers_Compile.Option<InternalLegacyOverride> _internalLegacyOverride

Constructor Detail

Config

public Config(software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient cmpClient,
              dafny.DafnySequence<? extends java.lang.Character> logicalTableName,
              dafny.DafnySequence<? extends java.lang.Character> partitionKeyName,
              Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName,
              software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm,
              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,
              StructuredEncryptionClient structuredEncryption,
              PlaintextOverride plaintextOverride,
              Wrappers_Compile.Option<InternalLegacyOverride> internalLegacyOverride)

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 Config Default()

_typeDescriptor

public static dafny.TypeDescriptor<Config> _typeDescriptor()

create

public static Config create(software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient cmpClient,
                            dafny.DafnySequence<? extends java.lang.Character> logicalTableName,
                            dafny.DafnySequence<? extends java.lang.Character> partitionKeyName,
                            Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName,
                            software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm,
                            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,
                            StructuredEncryptionClient structuredEncryption,
                            PlaintextOverride plaintextOverride,
                            Wrappers_Compile.Option<InternalLegacyOverride> internalLegacyOverride)

create_Config

public static Config create_Config(software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient cmpClient,
                                   dafny.DafnySequence<? extends java.lang.Character> logicalTableName,
                                   dafny.DafnySequence<? extends java.lang.Character> partitionKeyName,
                                   Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> sortKeyName,
                                   software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm,
                                   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,
                                   StructuredEncryptionClient structuredEncryption,
                                   PlaintextOverride plaintextOverride,
                                   Wrappers_Compile.Option<InternalLegacyOverride> internalLegacyOverride)

is_Config

public boolean is_Config()

dtor_cmpClient

public software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient dtor_cmpClient()

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_cmm

public software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager dtor_cmm()

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_structuredEncryption

public StructuredEncryptionClient dtor_structuredEncryption()

dtor_plaintextOverride

public PlaintextOverride dtor_plaintextOverride()

dtor_internalLegacyOverride

public Wrappers_Compile.Option<InternalLegacyOverride> dtor_internalLegacyOverride()