public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| 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() |
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)
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)
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)
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)
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)
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)
public static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error> GetKeyIdFromHeader(TableConfig config, EncryptItemOutput output)
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)
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)
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)
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)
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)
public static dafny.DafnySequence<? extends java.lang.Byte> HierarchicalKeyringId()
public static dafny.TypeDescriptor<__default> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object