DDBKeystoreOperations_Compile

Class __default

java.lang.Object

DDBKeystoreOperations_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 dafny.DafnySequence<? extends java.lang.Character>	BRANCH__KEY__EXISTS__CONDITION()
static dafny.DafnySequence<? extends java.lang.Character>	BRANCH__KEY__EXISTS__EXPRESSION__ATTRIBUTE__NAME()
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>	BRANCH__KEY__EXISTS__EXPRESSION__ATTRIBUTE__NAMES()
static dafny.DafnySequence<? extends java.lang.Character>	BRANCH__KEY__NOT__EXIST__CONDITION()
static software.amazon.cryptography.services.dynamodb.internaldafny.types.TransactWriteItem	CreateTransactWritePutItem(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, dafny.DafnySequence<? extends java.lang.Character> tableName, ConditionExpression ConditionExpression)
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error>	GetActiveBranchKeyItem(dafny.DafnySequence<? extends java.lang.Character> branchKeyIdentifier, dafny.DafnySequence<? extends java.lang.Character> tableName, software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error>	GetBeaconKeyItem(dafny.DafnySequence<? extends java.lang.Character> branchKeyIdentifier, dafny.DafnySequence<? extends java.lang.Character> tableName, software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error>	GetVersionBranchKeyItem(dafny.DafnySequence<? extends java.lang.Character> branchKeyIdentifier, dafny.DafnySequence<? extends java.lang.Character> branchKeyVersion, dafny.DafnySequence<? extends java.lang.Character> tableName, software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)
java.lang.String	toString()
static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.TransactWriteItemsOutput,Error>	WriteNewBranchKeyVersionToKeystore(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> versionBranchKeyItem, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> activeBranchKeyItem, dafny.DafnySequence<? extends java.lang.Character> tableName, software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)
static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.TransactWriteItemsOutput,Error>	WriteNewKeyToStore(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> versionBranchKeyItem, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> activeBranchKeyItem, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> beaconKeyItem, dafny.DafnySequence<? extends java.lang.Character> tableName, software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

WriteNewKeyToStore

public static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.TransactWriteItemsOutput,Error> WriteNewKeyToStore(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> versionBranchKeyItem,
                                                                                                                                                            dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> activeBranchKeyItem,
                                                                                                                                                            dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> beaconKeyItem,
                                                                                                                                                            dafny.DafnySequence<? extends java.lang.Character> tableName,
                                                                                                                                                            software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)

WriteNewBranchKeyVersionToKeystore

public static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.TransactWriteItemsOutput,Error> WriteNewBranchKeyVersionToKeystore(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> versionBranchKeyItem,
                                                                                                                                                                            dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> activeBranchKeyItem,
                                                                                                                                                                            dafny.DafnySequence<? extends java.lang.Character> tableName,
                                                                                                                                                                            software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)

GetActiveBranchKeyItem

public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error> GetActiveBranchKeyItem(dafny.DafnySequence<? extends java.lang.Character> branchKeyIdentifier,
                                                                                                                                                                                                                                             dafny.DafnySequence<? extends java.lang.Character> tableName,
                                                                                                                                                                                                                                             software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)

GetVersionBranchKeyItem

public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error> GetVersionBranchKeyItem(dafny.DafnySequence<? extends java.lang.Character> branchKeyIdentifier,
                                                                                                                                                                                                                                              dafny.DafnySequence<? extends java.lang.Character> branchKeyVersion,
                                                                                                                                                                                                                                              dafny.DafnySequence<? extends java.lang.Character> tableName,
                                                                                                                                                                                                                                              software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)

GetBeaconKeyItem

public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error> GetBeaconKeyItem(dafny.DafnySequence<? extends java.lang.Character> branchKeyIdentifier,
                                                                                                                                                                                                                                       dafny.DafnySequence<? extends java.lang.Character> tableName,
                                                                                                                                                                                                                                       software.amazon.cryptography.services.dynamodb.internaldafny.types.IDynamoDBClient ddbClient)

CreateTransactWritePutItem

public static software.amazon.cryptography.services.dynamodb.internaldafny.types.TransactWriteItem CreateTransactWritePutItem(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
                                                                                                                              dafny.DafnySequence<? extends java.lang.Character> tableName,
                                                                                                                              ConditionExpression ConditionExpression)

BRANCH__KEY__EXISTS__EXPRESSION__ATTRIBUTE__NAME

public static dafny.DafnySequence<? extends java.lang.Character> BRANCH__KEY__EXISTS__EXPRESSION__ATTRIBUTE__NAME()

BRANCH__KEY__EXISTS__EXPRESSION__ATTRIBUTE__NAMES

public static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> BRANCH__KEY__EXISTS__EXPRESSION__ATTRIBUTE__NAMES()

BRANCH__KEY__NOT__EXIST__CONDITION

public static dafny.DafnySequence<? extends java.lang.Character> BRANCH__KEY__NOT__EXIST__CONDITION()

BRANCH__KEY__EXISTS__CONDITION

public static dafny.DafnySequence<? extends java.lang.Character> BRANCH__KEY__EXISTS__CONDITION()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object