public abstract class Token
extends java.lang.Object
| Constructor and Description |
|---|
Token() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<Token> |
_typeDescriptor() |
static Token |
create_And() |
static Token |
create_Attr(dafny.DafnySequence<? extends java.lang.Character> s,
dafny.DafnySequence<? extends Selector> loc) |
static Token |
create_AttributeExists() |
static Token |
create_AttributeNotExists() |
static Token |
create_AttributeType() |
static Token |
create_BeginsWith() |
static Token |
create_Between() |
static Token |
create_Close() |
static Token |
create_Comma() |
static Token |
create_Contains() |
static Token |
create_Eq() |
static Token |
create_Ge() |
static Token |
create_Gt() |
static Token |
create_In() |
static Token |
create_Le() |
static Token |
create_Lt() |
static Token |
create_Ne() |
static Token |
create_Not() |
static Token |
create_Open() |
static Token |
create_Or() |
static Token |
create_Size() |
static Token |
create_Value(dafny.DafnySequence<? extends java.lang.Character> s) |
static Token |
Default() |
dafny.DafnySequence<? extends Selector> |
dtor_loc() |
dafny.DafnySequence<? extends java.lang.Character> |
dtor_s() |
boolean |
is_And() |
boolean |
is_Attr() |
boolean |
is_AttributeExists() |
boolean |
is_AttributeNotExists() |
boolean |
is_AttributeType() |
boolean |
is_BeginsWith() |
boolean |
is_Between() |
boolean |
is_Close() |
boolean |
is_Comma() |
boolean |
is_Contains() |
boolean |
is_Eq() |
boolean |
is_Ge() |
boolean |
is_Gt() |
boolean |
is_In() |
boolean |
is_Le() |
boolean |
is_Lt() |
boolean |
is_Ne() |
boolean |
is_Not() |
boolean |
is_Open() |
boolean |
is_Or() |
boolean |
is_Size() |
boolean |
is_Value() |
public static Token Default()
public static dafny.TypeDescriptor<Token> _typeDescriptor()
public static Token create_Attr(dafny.DafnySequence<? extends java.lang.Character> s, dafny.DafnySequence<? extends Selector> loc)
public static Token create_Value(dafny.DafnySequence<? extends java.lang.Character> s)
public static Token create_Eq()
public static Token create_Ne()
public static Token create_Lt()
public static Token create_Gt()
public static Token create_Le()
public static Token create_Ge()
public static Token create_Between()
public static Token create_In()
public static Token create_Open()
public static Token create_Close()
public static Token create_Comma()
public static Token create_Not()
public static Token create_And()
public static Token create_Or()
public static Token create_AttributeExists()
public static Token create_AttributeNotExists()
public static Token create_AttributeType()
public static Token create_BeginsWith()
public static Token create_Contains()
public static Token create_Size()
public boolean is_Attr()
public boolean is_Value()
public boolean is_Eq()
public boolean is_Ne()
public boolean is_Lt()
public boolean is_Gt()
public boolean is_Le()
public boolean is_Ge()
public boolean is_Between()
public boolean is_In()
public boolean is_Open()
public boolean is_Close()
public boolean is_Comma()
public boolean is_Not()
public boolean is_And()
public boolean is_Or()
public boolean is_AttributeExists()
public boolean is_AttributeNotExists()
public boolean is_AttributeType()
public boolean is_BeginsWith()
public boolean is_Contains()
public boolean is_Size()
public dafny.DafnySequence<? extends java.lang.Character> dtor_s()
public dafny.DafnySequence<? extends Selector> dtor_loc()