public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<__default> |
_typeDescriptor() |
static dafny.DafnySequence<? extends java.lang.Character> |
AttrTypeToStr(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue attr) |
static dafny.DafnySequence<? extends java.lang.Character> |
BeaconPrefix() |
static boolean |
ByteLess(byte x,
byte y) |
static boolean |
CharLess(char x,
char y) |
static dafny.DafnySequence<? extends java.lang.Character> |
DDBEC__ATTR__PREFIX() |
static dafny.DafnySequence<? extends java.lang.Byte> |
DDBEC__EC__ATTR__PREFIX() |
static Error |
E(dafny.DafnySequence<? extends java.lang.Character> s) |
static dafny.DafnySequence<? extends java.lang.Character> |
MAX__LIST__LENGTH__STR() |
static java.math.BigInteger |
MAX__LIST__LENGTH() |
static dafny.DafnySequence<? extends java.lang.Character> |
MAX__MAP__SIZE__STR() |
static java.math.BigInteger |
MAX__MAP__SIZE() |
static dafny.DafnySequence<? extends java.lang.Character> |
MAX__STRUCTURE__DEPTH__STR() |
static java.math.BigInteger |
MAX__STRUCTURE__DEPTH() |
static MaybeKeyId |
MaybeFromOptionKeyId(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> x) |
static <__T> dafny.Tuple0 |
printFromFunction(dafny.TypeDescriptor<__T> _td___T,
__T x) |
static dafny.DafnySequence<? extends java.lang.Character> |
ReservedPrefix() |
java.lang.String |
toString() |
static dafny.DafnySequence<? extends java.lang.Character> |
VersionPrefix() |
public static MaybeKeyId MaybeFromOptionKeyId(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> x)
public static Error E(dafny.DafnySequence<? extends java.lang.Character> s)
public static boolean CharLess(char x,
char y)
public static boolean ByteLess(byte x,
byte y)
public static dafny.DafnySequence<? extends java.lang.Character> AttrTypeToStr(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue attr)
public static <__T> dafny.Tuple0 printFromFunction(dafny.TypeDescriptor<__T> _td___T,
__T x)
public static dafny.DafnySequence<? extends java.lang.Character> DDBEC__ATTR__PREFIX()
public static dafny.DafnySequence<? extends java.lang.Byte> DDBEC__EC__ATTR__PREFIX()
public static dafny.DafnySequence<? extends java.lang.Character> ReservedPrefix()
public static dafny.DafnySequence<? extends java.lang.Character> BeaconPrefix()
public static dafny.DafnySequence<? extends java.lang.Character> VersionPrefix()
public static java.math.BigInteger MAX__STRUCTURE__DEPTH()
public static dafny.DafnySequence<? extends java.lang.Character> MAX__STRUCTURE__DEPTH__STR()
public static java.math.BigInteger MAX__LIST__LENGTH()
public static dafny.DafnySequence<? extends java.lang.Character> MAX__LIST__LENGTH__STR()
public static java.math.BigInteger MAX__MAP__SIZE()
public static dafny.DafnySequence<? extends java.lang.Character> MAX__MAP__SIZE__STR()
public static dafny.TypeDescriptor<__default> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object