DynamoDbEncryptionUtil_Compile

Class __default

java.lang.Object

DynamoDbEncryptionUtil_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 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()

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

MaybeFromOptionKeyId

public static MaybeKeyId MaybeFromOptionKeyId(Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> x)

E

public static Error E(dafny.DafnySequence<? extends java.lang.Character> s)

CharLess

public static boolean CharLess(char x,
                               char y)

ByteLess

public static boolean ByteLess(byte x,
                               byte y)

AttrTypeToStr

public static dafny.DafnySequence<? extends java.lang.Character> AttrTypeToStr(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue attr)

printFromFunction

public static <__T> dafny.Tuple0 printFromFunction(dafny.TypeDescriptor<__T> _td___T,
                                                   __T x)

DDBEC__ATTR__PREFIX

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

DDBEC__EC__ATTR__PREFIX

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

ReservedPrefix

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

BeaconPrefix

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

VersionPrefix

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

MAX__STRUCTURE__DEPTH

public static java.math.BigInteger MAX__STRUCTURE__DEPTH()

MAX__STRUCTURE__DEPTH__STR

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

MAX__LIST__LENGTH

public static java.math.BigInteger MAX__LIST__LENGTH()

MAX__LIST__LENGTH__STR

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

MAX__MAP__SIZE

public static java.math.BigInteger MAX__MAP__SIZE()

MAX__MAP__SIZE__STR

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

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object