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

Class DecryptStructureInput

java.lang.Object

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

public class DecryptStructureInput
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
AuthenticateSchema	_authenticateSchema
software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager	_cmm
StructuredData	_encryptedStructure
Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>>	_encryptionContext
dafny.DafnySequence<? extends java.lang.Character>	_tableName

Constructor Summary

Constructors

Constructor and Description

DecryptStructureInput(dafny.DafnySequence<? extends java.lang.Character> tableName, StructuredData encryptedStructure, AuthenticateSchema authenticateSchema, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm, 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<DecryptStructureInput>	_typeDescriptor()
static DecryptStructureInput	create_DecryptStructureInput(dafny.DafnySequence<? extends java.lang.Character> tableName, StructuredData encryptedStructure, AuthenticateSchema authenticateSchema, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext)
static DecryptStructureInput	create(dafny.DafnySequence<? extends java.lang.Character> tableName, StructuredData encryptedStructure, AuthenticateSchema authenticateSchema, software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext)
static DecryptStructureInput	Default()
AuthenticateSchema	dtor_authenticateSchema()
software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager	dtor_cmm()
StructuredData	dtor_encryptedStructure()
Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>>	dtor_encryptionContext()
dafny.DafnySequence<? extends java.lang.Character>	dtor_tableName()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_DecryptStructureInput()
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

_encryptedStructure

public StructuredData _encryptedStructure

_authenticateSchema

public AuthenticateSchema _authenticateSchema

_cmm

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

_encryptionContext

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

Constructor Detail

DecryptStructureInput

public DecryptStructureInput(dafny.DafnySequence<? extends java.lang.Character> tableName,
                             StructuredData encryptedStructure,
                             AuthenticateSchema authenticateSchema,
                             software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm,
                             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 DecryptStructureInput Default()

_typeDescriptor

public static dafny.TypeDescriptor<DecryptStructureInput> _typeDescriptor()

create

public static DecryptStructureInput create(dafny.DafnySequence<? extends java.lang.Character> tableName,
                                           StructuredData encryptedStructure,
                                           AuthenticateSchema authenticateSchema,
                                           software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm,
                                           Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext)

create_DecryptStructureInput

public static DecryptStructureInput create_DecryptStructureInput(dafny.DafnySequence<? extends java.lang.Character> tableName,
                                                                 StructuredData encryptedStructure,
                                                                 AuthenticateSchema authenticateSchema,
                                                                 software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsManager cmm,
                                                                 Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>> encryptionContext)

is_DecryptStructureInput

public boolean is_DecryptStructureInput()

dtor_tableName

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

dtor_encryptedStructure

public StructuredData dtor_encryptedStructure()

dtor_authenticateSchema

public AuthenticateSchema dtor_authenticateSchema()

dtor_cmm

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

dtor_encryptionContext

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