public class RawRSAKeyring extends java.lang.Object implements VerifiableInterface, IKeyring
| Modifier and Type | Field and Description |
|---|---|
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient |
_cryptoPrimitives |
dafny.DafnySequence<? extends java.lang.Byte> |
_keyName |
dafny.DafnySequence<? extends java.lang.Byte> |
_keyNamespace |
software.amazon.cryptography.primitives.internaldafny.types.RSAPaddingMode |
_paddingScheme |
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> |
_privateKey |
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> |
_publicKey |
| Constructor and Description |
|---|
RawRSAKeyring() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(dafny.DafnySequence<? extends java.lang.Byte> namespace,
dafny.DafnySequence<? extends java.lang.Byte> name,
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> publicKey,
Wrappers_Compile.Option<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<RawRSAKeyring> |
_typeDescriptor() |
software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient |
cryptoPrimitives() |
dafny.DafnySequence<? extends java.lang.Byte> |
keyName() |
dafny.DafnySequence<? extends java.lang.Byte> |
keyNamespace() |
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.primitives.internaldafny.types.RSAPaddingMode |
paddingScheme() |
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> |
privateKey() |
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> |
publicKey() |
boolean |
ShouldDecryptEDK(EncryptedDataKey edk) |
java.lang.String |
toString() |
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient _cryptoPrimitives
public dafny.DafnySequence<? extends java.lang.Byte> _keyNamespace
public dafny.DafnySequence<? extends java.lang.Byte> _keyName
public software.amazon.cryptography.primitives.internaldafny.types.RSAPaddingMode _paddingScheme
public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> _publicKey
public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> _privateKey
public Wrappers_Compile.Result<OnEncryptOutput,Error> OnEncrypt(OnEncryptInput input)
public Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt(OnDecryptInput input)
public void __ctor(dafny.DafnySequence<? extends java.lang.Byte> namespace,
dafny.DafnySequence<? extends java.lang.Byte> name,
Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> publicKey,
Wrappers_Compile.Option<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<OnEncryptOutput,Error> OnEncrypt_k(OnEncryptInput input)
OnEncrypt_k in interface IKeyringpublic Wrappers_Compile.Result<OnDecryptOutput,Error> OnDecrypt_k(OnDecryptInput input)
OnDecrypt_k in interface IKeyringpublic boolean ShouldDecryptEDK(EncryptedDataKey edk)
public software.amazon.cryptography.primitives.internaldafny.AtomicPrimitivesClient cryptoPrimitives()
public dafny.DafnySequence<? extends java.lang.Byte> keyNamespace()
public dafny.DafnySequence<? extends java.lang.Byte> keyName()
public software.amazon.cryptography.primitives.internaldafny.types.RSAPaddingMode paddingScheme()
public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> publicKey()
public Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>> privateKey()
public static dafny.TypeDescriptor<RawRSAKeyring> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object