AwsKmsEcdhKeyring_Compile

Class DecryptSingleEncryptedDataKey

java.lang.Object

AwsKmsEcdhKeyring_Compile.DecryptSingleEncryptedDataKey

All Implemented Interfaces:

Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>, Actions_Compile.ActionWithResult<EncryptedDataKey,DecryptionMaterials,Error>

public class DecryptSingleEncryptedDataKey
extends java.lang.Object
implements Actions_Compile.ActionWithResult<EncryptedDataKey,DecryptionMaterials,Error>, Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>

Field Summary

Fields

Modifier and Type	Field and Description
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient	_client
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_cryptoPrimitives
software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec	_curveSpec
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	_grantTokens
KmsEcdhStaticConfigurations	_keyAgreementScheme
DecryptionMaterials	_materials
dafny.DafnySequence<? extends java.lang.Byte>	_recipientPublicKey
dafny.DafnySequence<? extends java.lang.Byte>	_senderPublicKey

Constructor Summary

Constructors

Constructor and Description
DecryptSingleEncryptedDataKey()

Method Summary

Modifier and Type	Method and Description
void	__ctor(DecryptionMaterials materials, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives, dafny.DafnySequence<? extends java.lang.Byte> recipientPublicKey, software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens, KmsEcdhStaticConfigurations keyAgreementScheme, software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec)
static dafny.TypeDescriptor<DecryptSingleEncryptedDataKey>	_typeDescriptor()
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient	client()
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	cryptoPrimitives()
software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec	curveSpec()
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	grantTokens()
Wrappers_Compile.Result<DecryptionMaterials,Error>	Invoke(EncryptedDataKey edk)
KmsEcdhStaticConfigurations	keyAgreementScheme()
DecryptionMaterials	materials()
dafny.DafnySequence<? extends java.lang.Byte>	recipientPublicKey()
dafny.DafnySequence<? extends java.lang.Byte>	senderPublicKey()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_materials

public DecryptionMaterials _materials

_cryptoPrimitives

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

_recipientPublicKey

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

_keyAgreementScheme

public KmsEcdhStaticConfigurations _keyAgreementScheme

_client

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

_curveSpec

public software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec _curveSpec

_grantTokens

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

_senderPublicKey

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

Constructor Detail

DecryptSingleEncryptedDataKey

public DecryptSingleEncryptedDataKey()

Method Detail

__ctor

public void __ctor(DecryptionMaterials materials,
                   software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives,
                   dafny.DafnySequence<? extends java.lang.Byte> recipientPublicKey,
                   software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client,
                   dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens,
                   KmsEcdhStaticConfigurations keyAgreementScheme,
                   software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec)

Invoke

public Wrappers_Compile.Result<DecryptionMaterials,Error> Invoke(EncryptedDataKey edk)

Specified by:

Invoke in interface Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>

materials

public DecryptionMaterials materials()

cryptoPrimitives

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

recipientPublicKey

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

keyAgreementScheme

public KmsEcdhStaticConfigurations keyAgreementScheme()

client

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

curveSpec

public software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec()

grantTokens

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

senderPublicKey

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

_typeDescriptor

public static dafny.TypeDescriptor<DecryptSingleEncryptedDataKey> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object