public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| 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() |
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)
public static boolean IgnoreAttr(dafny.DafnySequence<? extends java.lang.Character> s)
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)
public static dafny.DafnySequence<? extends java.lang.Character> ChopOne(dafny.DafnySequence<? extends java.lang.Character> s,
char ch)
public static dafny.DafnySequence<? extends java.lang.Character> Chop(dafny.DafnySequence<? extends java.lang.Character> s)
public static dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> ExtractAttrs(dafny.DafnySequence<? extends java.lang.Character> s)
public static boolean BadStart(char ch)
public static boolean AttrStart(char ch)
public static boolean AttrChar(char ch)
public static java.math.BigInteger AttrLen(dafny.DafnySequence<? extends java.lang.Character> s)
public static dafny.Tuple2<java.math.BigInteger,Wrappers_Compile.Option<dafny.DafnySequence<? extends java.lang.Character>>> FindToken(dafny.DafnySequence<? extends java.lang.Character> s)
public static dafny.TypeDescriptor<__default> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object