software.amazon.cryptography.materialproviders.internaldafny.types

Class DecryptionMaterials

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.DecryptionMaterials

public class DecryptionMaterials
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
AlgorithmSuiteInfo	_algorithmSuite
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>	_encryptionContext
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	_plaintextDataKey
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>	_requiredEncryptionContextKeys
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	_symmetricSigningKey
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	_verificationKey

Constructor Summary

Constructors

Constructor and Description

DecryptionMaterials(AlgorithmSuiteInfo algorithmSuite, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> requiredEncryptionContextKeys, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> plaintextDataKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> verificationKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<DecryptionMaterials>	_typeDescriptor()
static DecryptionMaterials	create_DecryptionMaterials(AlgorithmSuiteInfo algorithmSuite, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> requiredEncryptionContextKeys, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> plaintextDataKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> verificationKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey)
static DecryptionMaterials	create(AlgorithmSuiteInfo algorithmSuite, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> requiredEncryptionContextKeys, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> plaintextDataKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> verificationKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey)
static DecryptionMaterials	Default()
AlgorithmSuiteInfo	dtor_algorithmSuite()
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>>	dtor_encryptionContext()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	dtor_plaintextDataKey()
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>	dtor_requiredEncryptionContextKeys()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	dtor_symmetricSigningKey()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	dtor_verificationKey()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_DecryptionMaterials()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_algorithmSuite

public AlgorithmSuiteInfo _algorithmSuite

_encryptionContext

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

_requiredEncryptionContextKeys

public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> _requiredEncryptionContextKeys

_plaintextDataKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> _plaintextDataKey

_verificationKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> _verificationKey

_symmetricSigningKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> _symmetricSigningKey

Constructor Detail

DecryptionMaterials

public DecryptionMaterials(AlgorithmSuiteInfo algorithmSuite,
                           dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext,
                           dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> requiredEncryptionContextKeys,
                           Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> plaintextDataKey,
                           Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> verificationKey,
                           Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey)

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

_typeDescriptor

public static dafny.TypeDescriptor<DecryptionMaterials> _typeDescriptor()

create

public static DecryptionMaterials create(AlgorithmSuiteInfo algorithmSuite,
                                         dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext,
                                         dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> requiredEncryptionContextKeys,
                                         Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> plaintextDataKey,
                                         Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> verificationKey,
                                         Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey)

create_DecryptionMaterials

public static DecryptionMaterials create_DecryptionMaterials(AlgorithmSuiteInfo algorithmSuite,
                                                             dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext,
                                                             dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> requiredEncryptionContextKeys,
                                                             Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> plaintextDataKey,
                                                             Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> verificationKey,
                                                             Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> symmetricSigningKey)

is_DecryptionMaterials

public boolean is_DecryptionMaterials()

dtor_algorithmSuite

public AlgorithmSuiteInfo dtor_algorithmSuite()

dtor_encryptionContext

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

dtor_requiredEncryptionContextKeys

public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> dtor_requiredEncryptionContextKeys()

dtor_plaintextDataKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> dtor_plaintextDataKey()

dtor_verificationKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> dtor_verificationKey()

dtor_symmetricSigningKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> dtor_symmetricSigningKey()