DynamoDbMiddlewareSupport_Compile

Class __default

java.lang.Object

DynamoDbMiddlewareSupport_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(TableConfig config, 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(TableConfig config, 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 Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error>	GetEncryptedBeacons(TableConfig config, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, MaybeKeyId keyId)
static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error>	GetKeyIdFromHeader(TableConfig config, EncryptItemOutput output)
static dafny.DafnySequence<? extends java.lang.Byte>	HierarchicalKeyringId()
static Wrappers_Compile.Result<java.lang.Boolean,Error>	IsWriteable(TableConfig config, 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(TableConfig config, software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryInput req)
static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryOutput,Error>	QueryOutputForBeacons(TableConfig config, 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>,Error>	RemoveBeacons(TableConfig config, 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(TableConfig config, software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanInput req)
static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanOutput,Error>	ScanOutputForBeacons(TableConfig config, 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,Error>	TestConditionExpression(TableConfig config, 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,Error>	TestUpdateExpression(TableConfig config, 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()

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,Error> IsWriteable(TableConfig config,
                                                                           dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)

TestConditionExpression

public static Wrappers_Compile.Result<java.lang.Boolean,Error> TestConditionExpression(TableConfig config,
                                                                                       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)

TestUpdateExpression

public static Wrappers_Compile.Result<java.lang.Boolean,Error> TestUpdateExpression(TableConfig config,
                                                                                    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)

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(TableConfig config,
                                                                                                                                                                                                                                       dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)

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(TableConfig config,
                                                                                                                                                                                                                                          dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
                                                                                                                                                                                                                                          MaybeKeyId keyId)

GetBeaconKeyId

public static Wrappers_Compile.Result<MaybeKeyId,Error> GetBeaconKeyId(TableConfig config,
                                                                       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)

GetKeyIdFromHeader

public static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error> GetKeyIdFromHeader(TableConfig config,
                                                                                                                                            EncryptItemOutput output)

RemoveBeacons

public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error> RemoveBeacons(TableConfig config,
                                                                                                                                                                                                                                    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(TableConfig config,
                                                                                                                                                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(TableConfig config,
                                                                                                                                                  software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryInput req,
                                                                                                                                                  software.amazon.cryptography.services.dynamodb.internaldafny.types.QueryOutput resp)

ScanInputForBeacons

public static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanInput,Error> ScanInputForBeacons(TableConfig config,
                                                                                                                                              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(TableConfig config,
                                                                                                                                                software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanInput req,
                                                                                                                                                software.amazon.cryptography.services.dynamodb.internaldafny.types.ScanOutput resp)

HierarchicalKeyringId

public static dafny.DafnySequence<? extends java.lang.Byte> HierarchicalKeyringId()

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object