KMSKeystoreOperations_Compile

Class __default

java.lang.Object

KMSKeystoreOperations_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static boolean	AttemptKmsOperation_q(KMSConfiguration kmsConfiguration, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> encryptionContext)
static Wrappers_Compile.Result<software.amazon.cryptography.services.kms.internaldafny.types.DecryptResponse,Error>	DecryptKey(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> encryptionContext, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, KMSConfiguration kmsConfiguration, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens, software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient kmsClient)
static Wrappers_Compile.Result<software.amazon.cryptography.services.kms.internaldafny.types.GenerateDataKeyWithoutPlaintextResponse,Error>	GenerateKey(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> encryptionContext, KMSConfiguration kmsConfiguration, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens, software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient kmsClient)
static Wrappers_Compile.Result<software.amazon.cryptography.services.kms.internaldafny.types.ReEncryptResponse,Error>	ReEncryptKey(dafny.DafnySequence<? extends java.lang.Byte> ciphertext, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> sourceEncryptionContext, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> destinationEncryptionContext, KMSConfiguration kmsConfiguration, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens, software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient kmsClient)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

__default

public __default()

Method Detail

AttemptKmsOperation_q

public static boolean AttemptKmsOperation_q(KMSConfiguration kmsConfiguration,
                                            dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> encryptionContext)

GenerateKey

public static Wrappers_Compile.Result<software.amazon.cryptography.services.kms.internaldafny.types.GenerateDataKeyWithoutPlaintextResponse,Error> GenerateKey(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> encryptionContext,
                                                                                                                                                               KMSConfiguration kmsConfiguration,
                                                                                                                                                               dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens,
                                                                                                                                                               software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient kmsClient)

ReEncryptKey

public static Wrappers_Compile.Result<software.amazon.cryptography.services.kms.internaldafny.types.ReEncryptResponse,Error> ReEncryptKey(dafny.DafnySequence<? extends java.lang.Byte> ciphertext,
                                                                                                                                          dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> sourceEncryptionContext,
                                                                                                                                          dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> destinationEncryptionContext,
                                                                                                                                          KMSConfiguration kmsConfiguration,
                                                                                                                                          dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens,
                                                                                                                                          software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient kmsClient)

DecryptKey

public static Wrappers_Compile.Result<software.amazon.cryptography.services.kms.internaldafny.types.DecryptResponse,Error> DecryptKey(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> encryptionContext,
                                                                                                                                      dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
                                                                                                                                      KMSConfiguration kmsConfiguration,
                                                                                                                                      dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens,
                                                                                                                                      software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient kmsClient)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object