software.amazon.cryptography.materialproviders.internaldafny.types

Class IntermediateKeyWrapping

java.lang.Object

software.amazon.cryptography.materialproviders.internaldafny.types.IntermediateKeyWrapping

public class IntermediateKeyWrapping
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
DerivationAlgorithm	_keyEncryptionKeyKdf
DerivationAlgorithm	_macKeyKdf
Encrypt	_pdkEncryptAlgorithm

Constructor Summary

Constructors

Constructor and Description
IntermediateKeyWrapping(DerivationAlgorithm keyEncryptionKeyKdf, DerivationAlgorithm macKeyKdf, Encrypt pdkEncryptAlgorithm)

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<IntermediateKeyWrapping>	_typeDescriptor()
static IntermediateKeyWrapping	create_IntermediateKeyWrapping(DerivationAlgorithm keyEncryptionKeyKdf, DerivationAlgorithm macKeyKdf, Encrypt pdkEncryptAlgorithm)
static IntermediateKeyWrapping	create(DerivationAlgorithm keyEncryptionKeyKdf, DerivationAlgorithm macKeyKdf, Encrypt pdkEncryptAlgorithm)
static IntermediateKeyWrapping	Default()
DerivationAlgorithm	dtor_keyEncryptionKeyKdf()
DerivationAlgorithm	dtor_macKeyKdf()
Encrypt	dtor_pdkEncryptAlgorithm()
boolean	equals(java.lang.Object other)
int	hashCode()
boolean	is_IntermediateKeyWrapping()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_keyEncryptionKeyKdf

public DerivationAlgorithm _keyEncryptionKeyKdf

_macKeyKdf

public DerivationAlgorithm _macKeyKdf

_pdkEncryptAlgorithm

public Encrypt _pdkEncryptAlgorithm

Constructor Detail

IntermediateKeyWrapping

public IntermediateKeyWrapping(DerivationAlgorithm keyEncryptionKeyKdf,
                               DerivationAlgorithm macKeyKdf,
                               Encrypt pdkEncryptAlgorithm)

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

_typeDescriptor

public static dafny.TypeDescriptor<IntermediateKeyWrapping> _typeDescriptor()

Default

public static IntermediateKeyWrapping Default()

create

public static IntermediateKeyWrapping create(DerivationAlgorithm keyEncryptionKeyKdf,
                                             DerivationAlgorithm macKeyKdf,
                                             Encrypt pdkEncryptAlgorithm)

create_IntermediateKeyWrapping

public static IntermediateKeyWrapping create_IntermediateKeyWrapping(DerivationAlgorithm keyEncryptionKeyKdf,
                                                                     DerivationAlgorithm macKeyKdf,
                                                                     Encrypt pdkEncryptAlgorithm)

is_IntermediateKeyWrapping

public boolean is_IntermediateKeyWrapping()

dtor_keyEncryptionKeyKdf

public DerivationAlgorithm dtor_keyEncryptionKeyKdf()

dtor_macKeyKdf

public DerivationAlgorithm dtor_macKeyKdf()

dtor_pdkEncryptAlgorithm

public Encrypt dtor_pdkEncryptAlgorithm()