software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types

Class EncryptStructureInput

java.lang.Object

software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types.EncryptStructureInput

public class EncryptStructureInput
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId>	_algorithmSuiteId
software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager	_cmm
CryptoSchema	_cryptoSchema
Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>>	_encryptionContext
StructuredData	_plaintextStructure
dafny.DafnySequence<? extends java.lang.Character>	_tableName

Constructor Summary

Constructors

Constructor and Description

EncryptStructureInput(dafny.DafnySequence<? extends java.lang.Character> tableName, StructuredData plaintextStructure, CryptoSchema cryptoSchema, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<EncryptStructureInput>	_typeDescriptor()
static EncryptStructureInput	create_EncryptStructureInput(dafny.DafnySequence<? extends java.lang.Character> tableName, StructuredData plaintextStructure, CryptoSchema cryptoSchema, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext)
static EncryptStructureInput	create(dafny.DafnySequence<? extends java.lang.Character> tableName, StructuredData plaintextStructure, CryptoSchema cryptoSchema, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm, Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext)
static EncryptStructureInput	Default()
Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId>	dtor_algorithmSuiteId()
software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager	dtor_cmm()
CryptoSchema	dtor_cryptoSchema()
Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>>	dtor_encryptionContext()
StructuredData	dtor_plaintextStructure()
dafny.DafnySequence<? extends java.lang.Character>	dtor_tableName()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_EncryptStructureInput()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_tableName

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

_plaintextStructure

public StructuredData _plaintextStructure

_cryptoSchema

public CryptoSchema _cryptoSchema

_cmm

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

_algorithmSuiteId

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

_encryptionContext

public Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> _encryptionContext

Constructor Detail

EncryptStructureInput

public EncryptStructureInput(dafny.DafnySequence<? extends java.lang.Character> tableName,
                             StructuredData plaintextStructure,
                             CryptoSchema cryptoSchema,
                             software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm,
                             Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId,
                             Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext)

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

_typeDescriptor

public static dafny.TypeDescriptor<EncryptStructureInput> _typeDescriptor()

create

public static EncryptStructureInput create(dafny.DafnySequence<? extends java.lang.Character> tableName,
                                           StructuredData plaintextStructure,
                                           CryptoSchema cryptoSchema,
                                           software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm,
                                           Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId,
                                           Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext)

create_EncryptStructureInput

public static EncryptStructureInput create_EncryptStructureInput(dafny.DafnySequence<? extends java.lang.Character> tableName,
                                                                 StructuredData plaintextStructure,
                                                                 CryptoSchema cryptoSchema,
                                                                 software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm,
                                                                 Wrappers_Compile.Option<software.amazon.cryptography.materialproviders.internaldafny.types.DBEAlgorithmSuiteId> algorithmSuiteId,
                                                                 Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext)

is_EncryptStructureInput

public boolean is_EncryptStructureInput()

dtor_tableName

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

dtor_plaintextStructure

public StructuredData dtor_plaintextStructure()

dtor_cryptoSchema

public CryptoSchema dtor_cryptoSchema()

dtor_cmm

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

dtor_algorithmSuiteId

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

dtor_encryptionContext

public Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> dtor_encryptionContext()