software.amazon.cryptography.materialproviders.internaldafny.types

Class EncryptionMaterials

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.EncryptionMaterials

public class EncryptionMaterials
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
AlgorithmSuiteInfo	_algorithmSuite
dafny.DafnySequence<? extends EncryptedDataKey>	_encryptedDataKeys
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>>	_signingKey
Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>>	_symmetricSigningKeys

Constructor Summary

Constructors

Constructor and Description

EncryptionMaterials(AlgorithmSuiteInfo algorithmSuite, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext, dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeys, 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>> signingKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>> symmetricSigningKeys)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<EncryptionMaterials>	_typeDescriptor()
static EncryptionMaterials	create_EncryptionMaterials(AlgorithmSuiteInfo algorithmSuite, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext, dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeys, 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>> signingKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>> symmetricSigningKeys)
static EncryptionMaterials	create(AlgorithmSuiteInfo algorithmSuite, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext, dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeys, 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>> signingKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>> symmetricSigningKeys)
static EncryptionMaterials	Default()
AlgorithmSuiteInfo	dtor_algorithmSuite()
dafny.DafnySequence<? extends EncryptedDataKey>	dtor_encryptedDataKeys()
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_signingKey()
Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>>	dtor_symmetricSigningKeys()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_EncryptionMaterials()
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

_encryptedDataKeys

public dafny.DafnySequence<? extends EncryptedDataKey> _encryptedDataKeys

_requiredEncryptionContextKeys

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

_plaintextDataKey

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

_signingKey

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

_symmetricSigningKeys

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

Constructor Detail

EncryptionMaterials

public EncryptionMaterials(AlgorithmSuiteInfo algorithmSuite,
                           dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext,
                           dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeys,
                           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>> signingKey,
                           Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>> symmetricSigningKeys)

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

_typeDescriptor

public static dafny.TypeDescriptor<EncryptionMaterials> _typeDescriptor()

create

public static EncryptionMaterials create(AlgorithmSuiteInfo algorithmSuite,
                                         dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext,
                                         dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeys,
                                         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>> signingKey,
                                         Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>> symmetricSigningKeys)

create_EncryptionMaterials

public static EncryptionMaterials create_EncryptionMaterials(AlgorithmSuiteInfo algorithmSuite,
                                                             dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Byte>,? extends dafny.DafnySequence<? extends java.lang.Byte>> encryptionContext,
                                                             dafny.DafnySequence<? extends EncryptedDataKey> encryptedDataKeys,
                                                             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>> signingKey,
                                                             Wrappers_Compile.Option<dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>>> symmetricSigningKeys)

is_EncryptionMaterials

public boolean is_EncryptionMaterials()

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_encryptedDataKeys

public dafny.DafnySequence<? extends EncryptedDataKey> dtor_encryptedDataKeys()

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_signingKey

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

dtor_symmetricSigningKeys

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