AwsKmsRsaKeyring_Compile

Class KmsRsaGenerateAndWrapKeyMaterial

java.lang.Object

AwsKmsRsaKeyring_Compile.KmsRsaGenerateAndWrapKeyMaterial

All Implemented Interfaces:

Actions_Compile.Action<GenerateAndWrapInput,Wrappers_Compile.Result<GenerateAndWrapOutput<KmsRsaWrapInfo>,Error>>, Actions_Compile.ActionWithResult<GenerateAndWrapInput,GenerateAndWrapOutput<KmsRsaWrapInfo>,Error>, GenerateAndWrapMaterial<KmsRsaWrapInfo>

public class KmsRsaGenerateAndWrapKeyMaterial
extends java.lang.Object
implements GenerateAndWrapMaterial<KmsRsaWrapInfo>, Actions_Compile.ActionWithResult<GenerateAndWrapInput,GenerateAndWrapOutput<KmsRsaWrapInfo>,Error>, Actions_Compile.Action<GenerateAndWrapInput,Wrappers_Compile.Result<GenerateAndWrapOutput<KmsRsaWrapInfo>,Error>>

Field Summary

Fields

Modifier and Type	Field and Description
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	_cryptoPrimitives
software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec	_paddingScheme
dafny.DafnySequence<? extends java.lang.Byte>	_publicKey

Constructor Summary

Constructors

Constructor and Description
KmsRsaGenerateAndWrapKeyMaterial()

Method Summary

Modifier and Type	Method and Description
void	__ctor(dafny.DafnySequence<? extends java.lang.Byte> publicKey, software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec paddingScheme, software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)
static dafny.TypeDescriptor<KmsRsaGenerateAndWrapKeyMaterial>	_typeDescriptor()
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient	cryptoPrimitives()
Wrappers_Compile.Result<GenerateAndWrapOutput<KmsRsaWrapInfo>,Error>	Invoke(GenerateAndWrapInput input)
software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec	paddingScheme()
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

_publicKey

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

_cryptoPrimitives

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

_paddingScheme

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

Constructor Detail

KmsRsaGenerateAndWrapKeyMaterial

public KmsRsaGenerateAndWrapKeyMaterial()

Method Detail

__ctor

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

Invoke

public Wrappers_Compile.Result<GenerateAndWrapOutput<KmsRsaWrapInfo>,Error> Invoke(GenerateAndWrapInput input)

Specified by:

Invoke in interface Actions_Compile.Action<GenerateAndWrapInput,Wrappers_Compile.Result<GenerateAndWrapOutput<KmsRsaWrapInfo>,Error>>

publicKey

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

cryptoPrimitives

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

paddingScheme

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

_typeDescriptor

public static dafny.TypeDescriptor<KmsRsaGenerateAndWrapKeyMaterial> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object