DdbStatement_Compile

Class __default

java.lang.Object

DdbStatement_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>	AsciiLower(dafny.DafnySequence<? extends java.lang.Character> s)
static char	AsciiLowerChar(char ch)
static java.math.BigInteger	FindTokenLen(dafny.DafnySequence<? extends java.lang.Character> s)
static java.math.BigInteger	FindTokenLenPlain(dafny.DafnySequence<? extends java.lang.Character> s)
static java.math.BigInteger	FindTokenLenQuoted(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	GetTableName(dafny.DafnySequence<? extends java.lang.Character> s)
static boolean	IsWhitespace(char ch)
static dafny.DafnySequence<? extends java.lang.Character>	StripLeadingWhitespace(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	TableFromDeleteStatement(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	TableFromExistsStatement(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	TableFromInsertStatement(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	TableFromSelectStatement(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	TableFromSelectStatementInner(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>>	TableFromStatement(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	TableFromStatementInner(dafny.DafnySequence<? extends java.lang.Character> s)
static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>	TableFromUpdateStatement(dafny.DafnySequence<? extends java.lang.Character> s)
java.lang.String	toString()
static dafny.DafnySequence<? extends java.lang.Character>	UnQuote(dafny.DafnySequence<? extends java.lang.Character> s)

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

UnQuote

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

GetTableName

public static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> GetTableName(dafny.DafnySequence<? extends java.lang.Character> s)

TableFromStatement

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>> TableFromStatement(dafny.DafnySequence<? extends java.lang.Character> s)

TableFromStatementInner

public static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> TableFromStatementInner(dafny.DafnySequence<? extends java.lang.Character> s)

TableFromSelectStatementInner

public static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> TableFromSelectStatementInner(dafny.DafnySequence<? extends java.lang.Character> s)

TableFromExistsStatement

public static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> TableFromExistsStatement(dafny.DafnySequence<? extends java.lang.Character> s)

TableFromSelectStatement

public static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> TableFromSelectStatement(dafny.DafnySequence<? extends java.lang.Character> s)

TableFromUpdateStatement

public static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> TableFromUpdateStatement(dafny.DafnySequence<? extends java.lang.Character> s)

TableFromDeleteStatement

public static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> TableFromDeleteStatement(dafny.DafnySequence<? extends java.lang.Character> s)

TableFromInsertStatement

public static Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>> TableFromInsertStatement(dafny.DafnySequence<? extends java.lang.Character> s)

IsWhitespace

public static boolean IsWhitespace(char ch)

StripLeadingWhitespace

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

AsciiLowerChar

public static char AsciiLowerChar(char ch)

AsciiLower

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

FindTokenLen

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

FindTokenLenPlain

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

FindTokenLenQuoted

public static java.math.BigInteger FindTokenLenQuoted(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