DdbVirtualFields_Compile

Class __default

java.lang.Object

DdbVirtualFields_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>	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)

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

ParseVirtualFieldConfig

public static Wrappers_Compile.Result<VirtField,Error> ParseVirtualFieldConfig(VirtualField vf)

ParseVirtualPartConfig

public static Wrappers_Compile.Result<VirtPart,Error> ParseVirtualPartConfig(VirtualPart part)

Examine

public static boolean Examine(dafny.DafnySequence<? extends VirtPart> parts,
                              java.util.function.Function<dafny.DafnySequence<? extends Selector>,java.lang.Boolean> exam)

Min

public static java.math.BigInteger Min(java.math.BigInteger x,
                                       java.math.BigInteger y)

GetPrefix

public static dafny.DafnySequence<? extends java.lang.Character> GetPrefix(dafny.DafnySequence<? extends java.lang.Character> s,
                                                                           java.math.BigInteger length)

GetSuffix

public static dafny.DafnySequence<? extends java.lang.Character> GetSuffix(dafny.DafnySequence<? extends java.lang.Character> s,
                                                                           java.math.BigInteger length)

GetPos

public static java.math.BigInteger GetPos(java.math.BigInteger pos,
                                          java.math.BigInteger limit)

GetSubstring

public static dafny.DafnySequence<? extends java.lang.Character> GetSubstring(dafny.DafnySequence<? extends java.lang.Character> s,
                                                                              java.math.BigInteger low,
                                                                              java.math.BigInteger high)

UpperChar

public static char UpperChar(char ch)

UpperCase

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

LowerChar

public static char LowerChar(char ch)

LowerCase

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

GetSegment

public static dafny.DafnySequence<? extends java.lang.Character> GetSegment(dafny.DafnySequence<? extends java.lang.Character> s,
                                                                            char split,
                                                                            java.math.BigInteger index)

GetSegments

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)

DoTransform

public static dafny.DafnySequence<? extends java.lang.Character> DoTransform(VirtualTransform t,
                                                                             dafny.DafnySequence<? extends java.lang.Character> s)

FullTransform

public static dafny.DafnySequence<? extends java.lang.Character> FullTransform(dafny.DafnySequence<? extends VirtualTransform> t,
                                                                               dafny.DafnySequence<? extends java.lang.Character> s)

GetVirtField

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)

GetVirtField2

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)

VirtToAttr

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)

VirtToBytes

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)

VirtToString

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)

DS

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

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object