RawAESKeyring_Compile

Class AesUnwrapKeyMaterial

java.lang.Object

RawAESKeyring_Compile.AesUnwrapKeyMaterial

All Implemented Interfaces:

Actions_Compile.Action<UnwrapInput,Wrappers_Compile.Result<UnwrapOutput<AesUnwrapInfo>,Error>>, Actions_Compile.ActionWithResult<UnwrapInput,UnwrapOutput<AesUnwrapInfo>,Error>, UnwrapMaterial<AesUnwrapInfo>

public class AesUnwrapKeyMaterial
extends java.lang.Object
implements UnwrapMaterial<AesUnwrapInfo>, Actions_Compile.ActionWithResult<UnwrapInput,UnwrapOutput<AesUnwrapInfo>,Error>, Actions_Compile.Action<UnwrapInput,Wrappers_Compile.Result<UnwrapOutput<AesUnwrapInfo>,Error>>

Field Summary

Fields

Modifier and Type	Field and Description
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_cryptoPrimitives
dafny.DafnySequence<? extends java.lang.Byte>	_iv
software.amazon.cryptography.primitives.internaldafny.types.AES__GCM	_wrappingAlgorithm
dafny.DafnySequence<? extends java.lang.Byte>	_wrappingKey

Constructor Summary

Constructors

Constructor and Description
AesUnwrapKeyMaterial()

Method Summary

Modifier and Type	Method and Description
void	__ctor(dafny.DafnySequence<? extends java.lang.Byte> wrappingKey, software.amazon.cryptography.primitives.internaldafny.types.AES__GCM wrappingAlgorithm, dafny.DafnySequence<? extends java.lang.Byte> iv, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)
static dafny.TypeDescriptor<AesUnwrapKeyMaterial>	_typeDescriptor()
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	cryptoPrimitives()
Wrappers_Compile.Result<UnwrapOutput<AesUnwrapInfo>,Error>	Invoke(UnwrapInput input)
dafny.DafnySequence<? extends java.lang.Byte>	iv()
java.lang.String	toString()
software.amazon.cryptography.primitives.internaldafny.types.AES__GCM	wrappingAlgorithm()
dafny.DafnySequence<? extends java.lang.Byte>	wrappingKey()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

_wrappingKey

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

_iv

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

_wrappingAlgorithm

public software.amazon.cryptography.primitives.internaldafny.types.AES__GCM _wrappingAlgorithm

_cryptoPrimitives

public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _cryptoPrimitives

Constructor Detail

AesUnwrapKeyMaterial

public AesUnwrapKeyMaterial()

Method Detail

__ctor

public void __ctor(dafny.DafnySequence<? extends java.lang.Byte> wrappingKey,
                   software.amazon.cryptography.primitives.internaldafny.types.AES__GCM wrappingAlgorithm,
                   dafny.DafnySequence<? extends java.lang.Byte> iv,
                   software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)

Invoke

public Wrappers_Compile.Result<UnwrapOutput<AesUnwrapInfo>,Error> Invoke(UnwrapInput input)

Specified by:

Invoke in interface Actions_Compile.Action<UnwrapInput,Wrappers_Compile.Result<UnwrapOutput<AesUnwrapInfo>,Error>>

wrappingKey

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

iv

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

wrappingAlgorithm

public software.amazon.cryptography.primitives.internaldafny.types.AES__GCM wrappingAlgorithm()

cryptoPrimitives

public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives()

_typeDescriptor

public static dafny.TypeDescriptor<AesUnwrapKeyMaterial> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object