public class Config
extends java.lang.Object
| 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 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) |
| 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() |
public software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient _cmpClient
public dafny.DafnySequence<? extends java.lang.Character> _logicalTableName
public dafny.DafnySequence<? extends java.lang.Character> _partitionKeyName
public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> _sortKeyName
public software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager _cmm
public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> _attributeActionsOnEncrypt
public Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> _allowedUnsignedAttributes
public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> _allowedUnsignedAttributePrefix
public Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> _algorithmSuiteId
public StructuredEncryptionClient _structuredEncryption
public PlaintextOverride _plaintextOverride
public Wrappers_Compile.Option<InternalLegacyOverride> _internalLegacyOverride
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)
public boolean equals(java.lang.Object other)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic static Config Default()
public static dafny.TypeDescriptor<Config> _typeDescriptor()
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)
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)
public boolean is_Config()
public software.amazon.cryptography.materialproviders.internaldafny.MaterialProvidersClient dtor_cmpClient()
public dafny.DafnySequence<? extends java.lang.Character> dtor_logicalTableName()
public dafny.DafnySequence<? extends java.lang.Character> dtor_partitionKeyName()
public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> dtor_sortKeyName()
public software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager dtor_cmm()
public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> dtor_attributeActionsOnEncrypt()
public Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>> dtor_allowedUnsignedAttributes()
public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> dtor_allowedUnsignedAttributePrefix()
public Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> dtor_algorithmSuiteId()
public StructuredEncryptionClient dtor_structuredEncryption()
public PlaintextOverride dtor_plaintextOverride()
public Wrappers_Compile.Option<InternalLegacyOverride> dtor_internalLegacyOverride()