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>>
| 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 and Description |
|---|
KmsRsaGenerateAndWrapKeyMaterial() |
| 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() |
public dafny.DafnySequence<? extends java.lang.Byte> _publicKey
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _cryptoPrimitives
public software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec _paddingScheme
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)
public Wrappers_Compile.Result<GenerateAndWrapOutput<KmsRsaWrapInfo>,Error> Invoke(GenerateAndWrapInput input)
Invoke in interface Actions_Compile.Action<GenerateAndWrapInput,Wrappers_Compile.Result<GenerateAndWrapOutput<KmsRsaWrapInfo>,Error>>public dafny.DafnySequence<? extends java.lang.Byte> publicKey()
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives()
public software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec paddingScheme()
public static dafny.TypeDescriptor<KmsRsaGenerateAndWrapKeyMaterial> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object