AwsKmsEcdhKeyring_Compile

Class AwsKmsEcdhKeyring

java.lang.Object

AwsKmsEcdhKeyring_Compile.AwsKmsEcdhKeyring

All Implemented Interfaces:

VerifiableInterface, IKeyring

public class AwsKmsEcdhKeyring
extends java.lang.Object
implements VerifiableInterface, IKeyring

Field Summary

Fields

Modifier and Type	Field and Description
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient	_client
dafny.DafnySequence<? extends java.lang.Byte>	_compressedRecipientPublicKey
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	_compressedSenderPublicKey
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
dafny.DafnySequence<? extends java.lang.Byte>	_recipientPublicKey
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	_senderKmsKeyId
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	_senderPublicKey

Constructor Summary

Constructors

Constructor and Description
AwsKmsEcdhKeyring()

Method Summary

Modifier and Type	Method and Description
void	__ctor(KmsEcdhStaticConfigurations KeyAgreementScheme, software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec, software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> senderKmsKeyId, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> senderPublicKey, dafny.DafnySequence<? extends java.lang.Byte> recipientPublicKey, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> compressedSenderPublicKey, dafny.DafnySequence<? extends java.lang.Byte> compressedRecipientPublicKey, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)
static dafny.TypeDescriptor<AwsKmsEcdhKeyring>	_typeDescriptor()
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient	client()
dafny.DafnySequence<? extends java.lang.Byte>	compressedRecipientPublicKey()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	compressedSenderPublicKey()
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()
Wrappers_Compile.Result<OnDecryptOutput,Error>	OnDecrypt_k(OnDecryptInput input)
Wrappers_Compile.Result<OnDecryptOutput,Error>	OnDecrypt(OnDecryptInput input)
Wrappers_Compile.Result<OnEncryptOutput,Error>	OnEncrypt_k(OnEncryptInput input)
Wrappers_Compile.Result<OnEncryptOutput,Error>	OnEncrypt(OnEncryptInput input)
dafny.DafnySequence<? extends java.lang.Byte>	recipientPublicKey()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	senderKmsKeyId()
Wrappers_Compile.Option<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

_client

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

_cryptoPrimitives

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

_keyAgreementScheme

public KmsEcdhStaticConfigurations _keyAgreementScheme

_curveSpec

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

_grantTokens

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

_recipientPublicKey

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

_senderPublicKey

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

_compressedSenderPublicKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> _compressedSenderPublicKey

_compressedRecipientPublicKey

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

_senderKmsKeyId

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> _senderKmsKeyId

Constructor Detail

AwsKmsEcdhKeyring

public AwsKmsEcdhKeyring()

Method Detail

OnDecrypt

public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt(OnDecryptInput input)

Specified by:

OnDecrypt in interface IKeyring

OnEncrypt

public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt(OnEncryptInput input)

Specified by:

OnEncrypt in interface IKeyring

__ctor

public void __ctor(KmsEcdhStaticConfigurations KeyAgreementScheme,
                   software.amazon.cryptography.primitives.internaldafny.types.ECDHCurveSpec curveSpec,
                   software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client,
                   dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens,
                   Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> senderKmsKeyId,
                   Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> senderPublicKey,
                   dafny.DafnySequence<? extends java.lang.Byte> recipientPublicKey,
                   Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> compressedSenderPublicKey,
                   dafny.DafnySequence<? extends java.lang.Byte> compressedRecipientPublicKey,
                   software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)

OnEncrypt_k

public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt_k(OnEncryptInput input)

Specified by:

OnEncrypt_k in interface IKeyring

OnDecrypt_k

public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt_k(OnDecryptInput input)

Specified by:

OnDecrypt_k in interface IKeyring

client

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

cryptoPrimitives

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

keyAgreementScheme

public KmsEcdhStaticConfigurations keyAgreementScheme()

curveSpec

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

grantTokens

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

recipientPublicKey

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

senderPublicKey

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

compressedSenderPublicKey

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> compressedSenderPublicKey()

compressedRecipientPublicKey

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

senderKmsKeyId

public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> senderKmsKeyId()

_typeDescriptor

public static dafny.TypeDescriptor<AwsKmsEcdhKeyring> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object