public class DecryptSingleAWSRSAEncryptedDataKey extends java.lang.Object implements Actions_Compile.ActionWithResult<EncryptedDataKey,DecryptionMaterials,Error>, Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>
| Modifier and Type | Field and Description |
|---|---|
dafny.DafnySequence<? extends java.lang.Character> |
_awsKmsKey |
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient |
_client |
dafny.DafnySequence<? extends java.lang.Byte> |
_encryptionContextDigest |
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> |
_grantTokens |
DecryptionMaterials |
_materials |
software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec |
_paddingScheme |
| Constructor and Description |
|---|
DecryptSingleAWSRSAEncryptedDataKey() |
| Modifier and Type | Method and Description |
|---|---|
void |
__ctor(DecryptionMaterials materials,
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client,
dafny.DafnySequence<? extends java.lang.Character> awsKmsKey,
software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec paddingScheme,
dafny.DafnySequence<? extends java.lang.Byte> encryptionContextDigest,
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens) |
static dafny.TypeDescriptor<DecryptSingleAWSRSAEncryptedDataKey> |
_typeDescriptor() |
dafny.DafnySequence<? extends java.lang.Character> |
awsKmsKey() |
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient |
client() |
dafny.DafnySequence<? extends java.lang.Byte> |
encryptionContextDigest() |
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> |
grantTokens() |
Wrappers_Compile.Result<DecryptionMaterials,Error> |
Invoke(EncryptedDataKey edk) |
DecryptionMaterials |
materials() |
software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec |
paddingScheme() |
java.lang.String |
toString() |
public DecryptionMaterials _materials
public software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient _client
public dafny.DafnySequence<? extends java.lang.Character> _awsKmsKey
public software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec _paddingScheme
public dafny.DafnySequence<? extends java.lang.Byte> _encryptionContextDigest
public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> _grantTokens
public void __ctor(DecryptionMaterials materials, software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client, dafny.DafnySequence<? extends java.lang.Character> awsKmsKey, software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec paddingScheme, dafny.DafnySequence<? extends java.lang.Byte> encryptionContextDigest, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens)
public Wrappers_Compile.Result<DecryptionMaterials,Error> Invoke(EncryptedDataKey edk)
Invoke in interface Actions_Compile.Action<EncryptedDataKey,Wrappers_Compile.Result<DecryptionMaterials,Error>>public DecryptionMaterials materials()
public software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient client()
public dafny.DafnySequence<? extends java.lang.Character> awsKmsKey()
public software.amazon.cryptography.services.kms.internaldafny.types.EncryptionAlgorithmSpec paddingScheme()
public dafny.DafnySequence<? extends java.lang.Byte> encryptionContextDigest()
public dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens()
public static dafny.TypeDescriptor<DecryptSingleAWSRSAEncryptedDataKey> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object