DynamoDBSupport_Compile

Class __default

java.lang.Object

DynamoDBSupport_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.TypeDescriptor<__default>	_typeDescriptor()
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error>	AddSignedBeacons(Wrappers_Compile.Option<SearchInfo> search, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
static dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>	DoRemoveBeacons(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
static Wrappers_Compile.Result<MaybeKeyId,Error>	GetBeaconKeyId(Wrappers_Compile.Option<SearchInfo> search, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> keyExpr, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> filterExpr, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>> values, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	GetEncryptedAttributes(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> expr, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> attrNames)
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error>	GetEncryptedBeacons(Wrappers_Compile.Option<SearchInfo> search, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, MaybeKeyId keyId)
static boolean	IsEncrypted(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions, dafny.DafnySequence<? extends java.lang.Character> attr)
static boolean	IsSigned(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions, dafny.DafnySequence<? extends java.lang.Character> attr)
static Wrappers_Compile.Result<java.lang.Boolean,dafny.DafnySequence<? extends java.lang.Character>>	IsWriteable(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryInput,Error>	QueryInputForBeacons(Wrappers_Compile.Option<SearchInfo> search, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions, software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryInput req)
static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryOutput,Error>	QueryOutputForBeacons(Wrappers_Compile.Option<SearchInfo> search, software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryInput req, software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryOutput resp)
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,dafny.DafnySequence<? extends java.lang.Character>>	RemoveBeacons(Wrappers_Compile.Option<SearchInfo> search, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanInput,Error>	ScanInputForBeacons(Wrappers_Compile.Option<SearchInfo> search, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions, software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanInput req)
static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanOutput,Error>	ScanOutputForBeacons(Wrappers_Compile.Option<SearchInfo> search, software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanInput req, software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanOutput resp)
static Wrappers_Compile.Result<java.lang.Boolean,dafny.DafnySequence<? extends java.lang.Character>>	TestConditionExpression(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> expr, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> attrNames, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>> attrValues)
static Wrappers_Compile.Result<java.lang.Boolean,dafny.DafnySequence<? extends java.lang.Character>>	TestUpdateExpression(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions, Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> expr, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> attrNames, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>> attrValues)
java.lang.String	toString()
static dafny.DafnySequence<? extends java.lang.Character>	VersionTag()

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

IsWriteable

public static Wrappers_Compile.Result<java.lang.Boolean,dafny.DafnySequence<? extends java.lang.Character>> IsWriteable(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)

GetEncryptedAttributes

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> GetEncryptedAttributes(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions,
                                                                                                                       Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> expr,
                                                                                                                       Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> attrNames)

TestConditionExpression

public static Wrappers_Compile.Result<java.lang.Boolean,dafny.DafnySequence<? extends java.lang.Character>> TestConditionExpression(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions,
                                                                                                                                    Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> expr,
                                                                                                                                    Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> attrNames,
                                                                                                                                    Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>> attrValues)

IsSigned

public static boolean IsSigned(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions,
                               dafny.DafnySequence<? extends java.lang.Character> attr)

IsEncrypted

public static boolean IsEncrypted(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions,
                                  dafny.DafnySequence<? extends java.lang.Character> attr)

TestUpdateExpression

public static Wrappers_Compile.Result<java.lang.Boolean,dafny.DafnySequence<? extends java.lang.Character>> TestUpdateExpression(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions,
                                                                                                                                 Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> expr,
                                                                                                                                 Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> attrNames,
                                                                                                                                 Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>> attrValues)

GetEncryptedBeacons

public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error> GetEncryptedBeacons(Wrappers_Compile.Option<SearchInfo> search,
                                                                                                                                                                                                                                          dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
                                                                                                                                                                                                                                          MaybeKeyId keyId)

AddSignedBeacons

public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error> AddSignedBeacons(Wrappers_Compile.Option<SearchInfo> search,
                                                                                                                                                                                                                                       dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)

DoRemoveBeacons

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

RemoveBeacons

public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,dafny.DafnySequence<? extends java.lang.Character>> RemoveBeacons(Wrappers_Compile.Option<SearchInfo> search,
                                                                                                                                                                                                                                                                                 dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)

QueryInputForBeacons

public static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryInput,Error> QueryInputForBeacons(Wrappers_Compile.Option<SearchInfo> search,
                                                                                                                                                dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions,
                                                                                                                                                software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryInput req)

QueryOutputForBeacons

public static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryOutput,Error> QueryOutputForBeacons(Wrappers_Compile.Option<SearchInfo> search,
                                                                                                                                                  software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryInput req,
                                                                                                                                                  software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryOutput resp)

GetBeaconKeyId

public static Wrappers_Compile.Result<MaybeKeyId,Error> GetBeaconKeyId(Wrappers_Compile.Option<SearchInfo> search,
                                                                       Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> keyExpr,
                                                                       Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> filterExpr,
                                                                       Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>> values,
                                                                       Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> names)

ScanInputForBeacons

public static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanInput,Error> ScanInputForBeacons(Wrappers_Compile.Option<SearchInfo> search,
                                                                                                                                              dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends CryptoAction> actions,
                                                                                                                                              software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanInput req)

ScanOutputForBeacons

public static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanOutput,Error> ScanOutputForBeacons(Wrappers_Compile.Option<SearchInfo> search,
                                                                                                                                                software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanInput req,
                                                                                                                                                software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanOutput resp)

VersionTag

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

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object