public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| Modifier and Type | Method and Description |
|---|---|
static Wrappers_Compile.Result<CreateKeyOutput,Error> |
CreateBranchAndBeaconKeys(dafny.DafnySequence<? extends java.lang.Character> branchKeyIdentifier,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> customEncryptionContext,
dafny.DafnySequence<? extends java.lang.Character> timestamp,
dafny.DafnySequence<? extends java.lang.Character> branchKeyVersion,
dafny.DafnySequence<? extends java.lang.Character> ddbTableName,
dafny.DafnySequence<? extends java.lang.Character> logicalKeyStoreName,
KMSConfiguration kmsConfiguration,
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens,
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient kmsClient,
software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient) |
java.lang.String |
toString() |
static Wrappers_Compile.Result<VersionKeyOutput,Error> |
VersionActiveBranchKey(VersionKeyInput input,
dafny.DafnySequence<? extends java.lang.Character> timestamp,
dafny.DafnySequence<? extends java.lang.Character> branchKeyVersion,
dafny.DafnySequence<? extends java.lang.Character> ddbTableName,
dafny.DafnySequence<? extends java.lang.Character> logicalKeyStoreName,
KMSConfiguration kmsConfiguration,
dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens,
software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient kmsClient,
software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient) |
public static Wrappers_Compile.Result<CreateKeyOutput,Error> CreateBranchAndBeaconKeys(dafny.DafnySequence<? extends java.lang.Character> branchKeyIdentifier, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> customEncryptionContext, dafny.DafnySequence<? extends java.lang.Character> timestamp, dafny.DafnySequence<? extends java.lang.Character> branchKeyVersion, dafny.DafnySequence<? extends java.lang.Character> ddbTableName, dafny.DafnySequence<? extends java.lang.Character> logicalKeyStoreName, KMSConfiguration kmsConfiguration, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens, software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient kmsClient, software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)
public static Wrappers_Compile.Result<VersionKeyOutput,Error> VersionActiveBranchKey(VersionKeyInput input, dafny.DafnySequence<? extends java.lang.Character> timestamp, dafny.DafnySequence<? extends java.lang.Character> branchKeyVersion, dafny.DafnySequence<? extends java.lang.Character> ddbTableName, dafny.DafnySequence<? extends java.lang.Character> logicalKeyStoreName, KMSConfiguration kmsConfiguration, dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> grantTokens, software.amazon.cryptography.services.kms.internaldafny.types.IKMSClient kmsClient, software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)
public java.lang.String toString()
toString in class java.lang.Object