public class RsaUnwrapKeyMaterial extends java.lang.Object implements UnwrapMaterial<RsaUnwrapInfo>, Actions_Compile.ActionWithResult<UnwrapInput,UnwrapOutput<RsaUnwrapInfo>,Error>, Actions_Compile.Action<UnwrapInput,Wrappers_Compile.Result<UnwrapOutput<RsaUnwrapInfo>,Error>>
| Modifier and Type | Field and Description |
|---|---|
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient |
_cryptoPrimitives |
software.amazon.cryptography.primitives.internaldafny.types.RSAPaddingMode |
_paddingScheme |
dafny.DafnySequence<? extends java.lang.Byte> |
_privateKey |
| Constructor and Description |
|---|
RsaUnwrapKeyMaterial() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(dafny.DafnySequence<? extends java.lang.Byte> privateKey,
software.amazon.cryptography.primitives.internaldafny.types.RSAPaddingMode paddingScheme,
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives) |
static dafny.TypeDescriptor<RsaUnwrapKeyMaterial> |
_typeDescriptor() |
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient |
cryptoPrimitives() |
Wrappers_Compile.Result<UnwrapOutput<RsaUnwrapInfo>,Error> |
Invoke(UnwrapInput input) |
software.amazon.cryptography.primitives.internaldafny.types.RSAPaddingMode |
paddingScheme() |
dafny.DafnySequence<? extends java.lang.Byte> |
privateKey() |
java.lang.String |
toString() |
public dafny.DafnySequence<? extends java.lang.Byte> _privateKey
public software.amazon.cryptography.primitives.internaldafny.types.RSAPaddingMode _paddingScheme
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _cryptoPrimitives
public void __ctor(dafny.DafnySequence<? extends java.lang.Byte> privateKey,
software.amazon.cryptography.primitives.internaldafny.types.RSAPaddingMode paddingScheme,
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives)
public Wrappers_Compile.Result<UnwrapOutput<RsaUnwrapInfo>,Error> Invoke(UnwrapInput input)
Invoke in interface Actions_Compile.Action<UnwrapInput,Wrappers_Compile.Result<UnwrapOutput<RsaUnwrapInfo>,Error>>public dafny.DafnySequence<? extends java.lang.Byte> privateKey()
public software.amazon.cryptography.primitives.internaldafny.types.RSAPaddingMode paddingScheme()
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives()
public static dafny.TypeDescriptor<RsaUnwrapKeyMaterial> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object