AwsKmsRsaKeyring_Compile

Class AwsKmsRsaKeyring

java.lang.Object

AwsKmsRsaKeyring_Compile.AwsKmsRsaKeyring

All Implemented Interfaces:

VerifiableInterface, IKeyring

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

Field Summary

Fields

Modifier and Type	Field and Description
AwsKmsIdentifier	_awsKmsArn
dafny.DafnySequence<? extends java.lang.Character>	_awsKmsKey
Wrappers_Compile.Option<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient>	_client
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_cryptoPrimitives
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	_grantTokens
software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec	_paddingScheme
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	_publicKey

Constructor Summary

Constructors

Constructor and Description
AwsKmsRsaKeyring()

Method Summary

Modifier and Type	Method and Description
void	__ctor(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> publicKey, dafny.DafnySequence<? extends java.lang.Character> awsKmsKey, software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec paddingScheme, Wrappers_Compile.Option<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient> client, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens)
static dafny.TypeDescriptor<AwsKmsRsaKeyring>	_typeDescriptor()
AwsKmsIdentifier	awsKmsArn()
dafny.DafnySequence<? extends java.lang.Character>	awsKmsKey()
Wrappers_Compile.Option<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient>	client()
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	cryptoPrimitives()
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	grantTokens()
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)
software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec	paddingScheme()
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>	publicKey()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

_cryptoPrimitives

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

_client

public Wrappers_Compile.Option<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient> _client

_paddingScheme

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

_awsKmsKey

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

_publicKey

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

_awsKmsArn

public AwsKmsIdentifier _awsKmsArn

_grantTokens

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

Constructor Detail

AwsKmsRsaKeyring

public AwsKmsRsaKeyring()

Method Detail

OnEncrypt

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

Specified by:

OnEncrypt in interface IKeyring

OnDecrypt

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

Specified by:

OnDecrypt in interface IKeyring

__ctor

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

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

cryptoPrimitives

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

client

public Wrappers_Compile.Option<software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient> client()

paddingScheme

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

awsKmsKey

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

publicKey

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

awsKmsArn

public AwsKmsIdentifier awsKmsArn()

grantTokens

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

_typeDescriptor

public static dafny.TypeDescriptor<AwsKmsRsaKeyring> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object