AwsKmsHierarchicalKeyring_Compile

Class KmsHierarchyUnwrapKeyMaterial

java.lang.Object

AwsKmsHierarchicalKeyring_Compile.KmsHierarchyUnwrapKeyMaterial

All Implemented Interfaces:

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

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

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySequence<? extends java.lang.Byte>	_branchKey
dafny.DafnySequence<? extends java.lang.Byte>	_branchKeyIdUtf8
dafny.DafnySequence<? extends java.lang.Byte>	_branchKeyVersionAsBytes
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_crypto

Constructor Summary

Constructors

Constructor and Description
KmsHierarchyUnwrapKeyMaterial()

Method Summary

Modifier and Type	Method and Description
void	__ctor(dafny.DafnySequence<? extends java.lang.Byte> branchKey, dafny.DafnySequence<? extends java.lang.Byte> branchKeyIdUtf8, dafny.DafnySequence<? extends java.lang.Byte> branchKeyVersionAsBytes, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)
static dafny.TypeDescriptor<KmsHierarchyUnwrapKeyMaterial>	_typeDescriptor()
dafny.DafnySequence<? extends java.lang.Byte>	branchKey()
dafny.DafnySequence<? extends java.lang.Byte>	branchKeyIdUtf8()
dafny.DafnySequence<? extends java.lang.Byte>	branchKeyVersionAsBytes()
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	crypto()
Wrappers_Compile.Result<UnwrapOutput<HierarchyUnwrapInfo>,Error>	Invoke(UnwrapInput input)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_crypto

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

_branchKeyIdUtf8

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

_branchKeyVersionAsBytes

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

_branchKey

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

Constructor Detail

KmsHierarchyUnwrapKeyMaterial

public KmsHierarchyUnwrapKeyMaterial()

Method Detail

__ctor

public void __ctor(dafny.DafnySequence<? extends java.lang.Byte> branchKey,
                   dafny.DafnySequence<? extends java.lang.Byte> branchKeyIdUtf8,
                   dafny.DafnySequence<? extends java.lang.Byte> branchKeyVersionAsBytes,
                   software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient crypto)

Invoke

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

Specified by:

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

crypto

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

branchKeyIdUtf8

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

branchKeyVersionAsBytes

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

branchKey

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

_typeDescriptor

public static dafny.TypeDescriptor<KmsHierarchyUnwrapKeyMaterial> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object