AwsKmsRsaKeyring_Compile

Class KmsRsaUnwrapKeyMaterial

java.lang.Object

AwsKmsRsaKeyring_Compile.KmsRsaUnwrapKeyMaterial

All Implemented Interfaces:

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

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

Field Summary

Fields

Modifier and Type	Field and Description
dafny.DafnySequence<? extends java.lang.Character>	_awsKmsKey
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient	_client
dafny.DafnySequence<? extends java.lang.Byte>	_encryptionContextDigest
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	_grantTokens
software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec	_paddingScheme

Constructor Summary

Constructors

Constructor and Description
KmsRsaUnwrapKeyMaterial()

Method Summary

Modifier and Type	Method and Description
void	__ctor(software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client, dafny.DafnySequence<? extends java.lang.Character> awsKmsKey, software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec paddingScheme, dafny.DafnySequence<? extends java.lang.Byte> encryptionContextDigest, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens)
static dafny.TypeDescriptor<KmsRsaUnwrapKeyMaterial>	_typeDescriptor()
dafny.DafnySequence<? extends java.lang.Character>	awsKmsKey()
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient	client()
dafny.DafnySequence<? extends java.lang.Byte>	encryptionContextDigest()
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	grantTokens()
Wrappers_Compile.Result<UnwrapOutput<KmsRsaUnwrapInfo>,Error>	Invoke(UnwrapInput input)
software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec	paddingScheme()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_client

public software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient _client

_grantTokens

public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> _grantTokens

_awsKmsKey

public dafny.DafnySequence<? extends java.lang.Character> _awsKmsKey

_paddingScheme

public software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec _paddingScheme

_encryptionContextDigest

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

Constructor Detail

KmsRsaUnwrapKeyMaterial

public KmsRsaUnwrapKeyMaterial()

Method Detail

__ctor

public void __ctor(software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client,
                   dafny.DafnySequence<? extends java.lang.Character> awsKmsKey,
                   software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec paddingScheme,
                   dafny.DafnySequence<? extends java.lang.Byte> encryptionContextDigest,
                   dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens)

Invoke

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

Specified by:

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

client

public software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client()

grantTokens

public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens()

awsKmsKey

public dafny.DafnySequence<? extends java.lang.Character> awsKmsKey()

paddingScheme

public software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec paddingScheme()

encryptionContextDigest

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

_typeDescriptor

public static dafny.TypeDescriptor<KmsRsaUnwrapKeyMaterial> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object