DynamoDbUpdateExpr_Compile

Class __default

java.lang.Object

DynamoDbUpdateExpr_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 boolean	AttrChar(char ch)
static java.math.BigInteger	AttrLen(dafny.DafnySequence<? extends java.lang.Character> s)
static boolean	AttrStart(char ch)
static boolean	BadStart(char ch)
static dafny.DafnySequence<? extends java.lang.Character>	Chop(dafny.DafnySequence<? extends java.lang.Character> s)
static dafny.DafnySequence<? extends java.lang.Character>	ChopOne(dafny.DafnySequence<? extends java.lang.Character> s, char ch)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	ExtractAttributes(dafny.DafnySequence<? extends java.lang.Character> s, Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> ex)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	ExtractAttrs(dafny.DafnySequence<? extends java.lang.Character> s)
static dafny.Tuple2<java.math.BigInteger,Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>>	FindToken(dafny.DafnySequence<? extends java.lang.Character> s)
static boolean	IgnoreAttr(dafny.DafnySequence<? extends java.lang.Character> s)
static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>>	Resolve(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> names, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> ex)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

ExtractAttributes

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> ExtractAttributes(dafny.DafnySequence<? extends java.lang.Character> s,
                                                                                                                  Wrappers_Compile.Option<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>>> ex)

IgnoreAttr

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

Resolve

public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> Resolve(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> names,
                                                                                                        dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Character>> ex)

ChopOne

public static dafny.DafnySequence<? extends java.lang.Character> ChopOne(dafny.DafnySequence<? extends java.lang.Character> s,
                                                                         char ch)

Chop

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

ExtractAttrs

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

BadStart

public static boolean BadStart(char ch)

AttrStart

public static boolean AttrStart(char ch)

AttrChar

public static boolean AttrChar(char ch)

AttrLen

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

FindToken

public static dafny.Tuple2<java.math.BigInteger,Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>> FindToken(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