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>>
| 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 and Description |
|---|
AesUnwrapKeyMaterial() |
| 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() |
public dafny.DafnySequence<? extends java.lang.Byte> _wrappingKey
public dafny.DafnySequence<? extends java.lang.Byte> _iv
public software.amazon.cryptography.primitives.internaldafny.types.AES__GCM _wrappingAlgorithm
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _cryptoPrimitives
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)
public Wrappers_Compile.Result<UnwrapOutput<AesUnwrapInfo>,Error> Invoke(UnwrapInput input)
Invoke in interface Actions_Compile.Action<UnwrapInput,Wrappers_Compile.Result<UnwrapOutput<AesUnwrapInfo>,Error>>public dafny.DafnySequence<? extends java.lang.Byte> wrappingKey()
public dafny.DafnySequence<? extends java.lang.Byte> iv()
public software.amazon.cryptography.primitives.internaldafny.types.AES__GCM wrappingAlgorithm()
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives()
public static dafny.TypeDescriptor<AesUnwrapKeyMaterial> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object