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> |
DoTransform(VirtualTransform t,
dafny.DafnySequence<? extends java.lang.Character> s) |
static software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue |
DS(dafny.DafnySequence<? extends java.lang.Character> s) |
static boolean |
Examine(dafny.DafnySequence<? extends VirtPart> parts,
java.util.function.Function<dafny.DafnySequence<? extends Selector>,java.lang.Boolean> exam) |
static dafny.DafnySequence<? extends java.lang.Character> |
FullTransform(dafny.DafnySequence<? extends VirtualTransform> t,
dafny.DafnySequence<? extends java.lang.Character> s) |
static java.math.BigInteger |
GetPos(java.math.BigInteger pos,
java.math.BigInteger limit) |
static dafny.DafnySequence<? extends java.lang.Character> |
GetPrefix(dafny.DafnySequence<? extends java.lang.Character> s,
java.math.BigInteger length) |
static dafny.DafnySequence<? extends java.lang.Character> |
GetSegment(dafny.DafnySequence<? extends java.lang.Character> s,
char split,
java.math.BigInteger index) |
static dafny.DafnySequence<? extends java.lang.Character> |
GetSegments(dafny.DafnySequence<? extends java.lang.Character> s,
char split,
java.math.BigInteger low,
java.math.BigInteger high) |
static dafny.DafnySequence<? extends java.lang.Character> |
GetSubstring(dafny.DafnySequence<? extends java.lang.Character> s,
java.math.BigInteger low,
java.math.BigInteger high) |
static dafny.DafnySequence<? extends java.lang.Character> |
GetSuffix(dafny.DafnySequence<? extends java.lang.Character> s,
java.math.BigInteger length) |
static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error> |
GetVirtField(VirtField vf,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item) |
static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error> |
GetVirtField2(dafny.DafnySequence<? extends VirtPart> parts,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
dafny.DafnySequence<? extends java.lang.Character> acc) |
static dafny.DafnySequence<? extends java.lang.Character> |
LowerCase(dafny.DafnySequence<? extends java.lang.Character> s) |
static char |
LowerChar(char ch) |
static java.math.BigInteger |
Min(java.math.BigInteger x,
java.math.BigInteger y) |
static Wrappers_Compile.Result<VirtField,Error> |
ParseVirtualFieldConfig(VirtualField vf) |
static Wrappers_Compile.Result<VirtPart,Error> |
ParseVirtualPartConfig(VirtualPart part) |
java.lang.String |
toString() |
static dafny.DafnySequence<? extends java.lang.Character> |
UpperCase(dafny.DafnySequence<? extends java.lang.Character> s) |
static char |
UpperChar(char ch) |
static Wrappers_Compile.Result<Wrappers_Compile.Option<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error> |
VirtToAttr(dafny.DafnySequence<? extends Selector> loc,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf) |
static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>,Error> |
VirtToBytes(dafny.DafnySequence<? extends Selector> loc,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf) |
static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error> |
VirtToString(dafny.DafnySequence<? extends Selector> loc,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item,
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf) |
public static Wrappers_Compile.Result<VirtField,Error> ParseVirtualFieldConfig(VirtualField vf)
public static Wrappers_Compile.Result<VirtPart,Error> ParseVirtualPartConfig(VirtualPart part)
public static boolean Examine(dafny.DafnySequence<? extends VirtPart> parts, java.util.function.Function<dafny.DafnySequence<? extends Selector>,java.lang.Boolean> exam)
public static java.math.BigInteger Min(java.math.BigInteger x,
java.math.BigInteger y)
public static dafny.DafnySequence<? extends java.lang.Character> GetPrefix(dafny.DafnySequence<? extends java.lang.Character> s,
java.math.BigInteger length)
public static dafny.DafnySequence<? extends java.lang.Character> GetSuffix(dafny.DafnySequence<? extends java.lang.Character> s,
java.math.BigInteger length)
public static java.math.BigInteger GetPos(java.math.BigInteger pos,
java.math.BigInteger limit)
public static dafny.DafnySequence<? extends java.lang.Character> GetSubstring(dafny.DafnySequence<? extends java.lang.Character> s,
java.math.BigInteger low,
java.math.BigInteger high)
public static char UpperChar(char ch)
public static dafny.DafnySequence<? extends java.lang.Character> UpperCase(dafny.DafnySequence<? extends java.lang.Character> s)
public static char LowerChar(char ch)
public static dafny.DafnySequence<? extends java.lang.Character> LowerCase(dafny.DafnySequence<? extends java.lang.Character> s)
public static dafny.DafnySequence<? extends java.lang.Character> GetSegment(dafny.DafnySequence<? extends java.lang.Character> s,
char split,
java.math.BigInteger index)
public static dafny.DafnySequence<? extends java.lang.Character> GetSegments(dafny.DafnySequence<? extends java.lang.Character> s,
char split,
java.math.BigInteger low,
java.math.BigInteger high)
public static dafny.DafnySequence<? extends java.lang.Character> DoTransform(VirtualTransform t, dafny.DafnySequence<? extends java.lang.Character> s)
public static dafny.DafnySequence<? extends java.lang.Character> FullTransform(dafny.DafnySequence<? extends VirtualTransform> t, dafny.DafnySequence<? extends java.lang.Character> s)
public static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error> GetVirtField(VirtField vf, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
public static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error> GetVirtField2(dafny.DafnySequence<? extends VirtPart> parts, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, dafny.DafnySequence<? extends java.lang.Character> acc)
public static Wrappers_Compile.Result<Wrappers_Compile.Option<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error> VirtToAttr(dafny.DafnySequence<? extends Selector> loc, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf)
public static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Byte>>,Error> VirtToBytes(dafny.DafnySequence<? extends Selector> loc, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf)
public static Wrappers_Compile.Result<Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>,Error> VirtToString(dafny.DafnySequence<? extends Selector> loc, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends VirtField> vf)
public static software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue DS(dafny.DafnySequence<? extends java.lang.Character> s)
public static dafny.TypeDescriptor<__default> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object