org.jmlspecs.checker
Interface JmlExprIDTokenTypes

All Superinterfaces:

JmlTopIDTokenTypes, MjcIDTokenTypes

All Known Subinterfaces:

JmlIDTokenTypes

All Known Implementing Classes:

JmlExprIDKeywords, JmlIDKeywords

public interface JmlExprIDTokenTypes

extends JmlTopIDTokenTypes

Field Summary
static int	LITERAL_BS_bigint
static int	LITERAL_BS_bigint_math
static int	LITERAL_BS_duration
static int	LITERAL_BS_elemtype
static int	LITERAL_BS_everything
static int	LITERAL_BS_exists
static int	LITERAL_BS_forall
static int	LITERAL_BS_fresh
static int	LITERAL_BS_into
static int	LITERAL_BS_invariant_for
static int	LITERAL_BS_is_initialized
static int	LITERAL_BS_java_math
static int	LITERAL_BS_lblneg
static int	LITERAL_BS_lblpos
static int	LITERAL_BS_lockset
static int	LITERAL_BS_max
static int	LITERAL_BS_min
static int	LITERAL_BS_nonnullelements
static int	LITERAL_BS_not_assigned
static int	LITERAL_BS_not_modified
static int	LITERAL_BS_not_specified
static int	LITERAL_BS_nothing
static int	LITERAL_BS_nowarn
static int	LITERAL_BS_nowarn_op
static int	LITERAL_BS_num_of
static int	LITERAL_BS_old
static int	LITERAL_BS_only_accessed
static int	LITERAL_BS_only_assigned
static int	LITERAL_BS_only_called
static int	LITERAL_BS_only_captured
static int	LITERAL_BS_other
static int	LITERAL_BS_pre
static int	LITERAL_BS_product
static int	LITERAL_BS_reach
static int	LITERAL_BS_real
static int	LITERAL_BS_result
static int	LITERAL_BS_safe_math
static int	LITERAL_BS_same
static int	LITERAL_BS_space
static int	LITERAL_BS_such_that
static int	LITERAL_BS_sum
static int	LITERAL_BS_TYPE
static int	LITERAL_BS_type
static int	LITERAL_BS_typeof
static int	LITERAL_BS_warn
static int	LITERAL_BS_warn_op
static int	LITERAL_BS_working_space
static int	LITERAL_U_peer
static int	LITERAL_U_readonly
static int	LITERAL_U_rep

 

Fields inherited from interface org.jmlspecs.checker.JmlTopIDTokenTypes

DOT_DOT

 

Fields inherited from interface org.multijava.mjc.MjcIDTokenTypes

ASSIGN, AT, BAND, BAND_ASSIGN, BNOT, BOR, BOR_ASSIGN, BSR, BSR_ASSIGN, BXOR, BXOR_ASSIGN, CHARACTER_LITERAL, COLON, COMMA, DEC, DOT, EOF, EQUAL, GE, GT, IDENT, INC, INTEGER_LITERAL, JAVADOC_OPEN, LAND, LBRACK, LCURLY, LE, LITERAL__nowarn, LITERAL__nowarn_op, LITERAL__warn, LITERAL__warn_op, LITERAL_abstract, LITERAL_assert, LITERAL_boolean, LITERAL_break, LITERAL_byte, LITERAL_case, LITERAL_catch, LITERAL_char, LITERAL_class, LITERAL_const, LITERAL_continue, LITERAL_default, LITERAL_do, LITERAL_double, LITERAL_else, LITERAL_extends, LITERAL_false, LITERAL_final, LITERAL_finally, LITERAL_float, LITERAL_for, LITERAL_goto, LITERAL_if, LITERAL_implements, LITERAL_import, LITERAL_instanceof, LITERAL_int, LITERAL_interface, LITERAL_long, LITERAL_native, LITERAL_new, LITERAL_null, LITERAL_package, LITERAL_peer, LITERAL_private, LITERAL_protected, LITERAL_public, LITERAL_pure, LITERAL_readonly, LITERAL_rep, LITERAL_resend, LITERAL_return, LITERAL_short, LITERAL_static, LITERAL_strictfp, LITERAL_super, LITERAL_switch, LITERAL_synchronized, LITERAL_this, LITERAL_throw, LITERAL_throws, LITERAL_transient, LITERAL_true, LITERAL_try, LITERAL_void, LITERAL_volatile, LITERAL_while, LNOT, LOR, LPAREN, LT, MINUS, MINUS_ASSIGN, NOT_EQUAL, NULL_TREE_LOOKAHEAD, PERCENT, PERCENT_ASSIGN, PLUS, PLUS_ASSIGN, QUESTION, RBRACK, RCURLY, REAL_LITERAL, RPAREN, SEMI, SL, SL_ASSIGN, SLASH, SLASH_ASSIGN, SR, SR_ASSIGN, STAR, STAR_ASSIGN, STRING_LITERAL

 

Field Detail

LITERAL_BS_TYPE

public static final int LITERAL_BS_TYPE

LITERAL_BS_bigint

public static final int LITERAL_BS_bigint

LITERAL_BS_bigint_math

public static final int LITERAL_BS_bigint_math

LITERAL_BS_duration

public static final int LITERAL_BS_duration

LITERAL_BS_elemtype

public static final int LITERAL_BS_elemtype

LITERAL_BS_everything

public static final int LITERAL_BS_everything

LITERAL_BS_exists

public static final int LITERAL_BS_exists

LITERAL_BS_forall

public static final int LITERAL_BS_forall

LITERAL_BS_fresh

public static final int LITERAL_BS_fresh

LITERAL_BS_into

public static final int LITERAL_BS_into

LITERAL_BS_invariant_for

public static final int LITERAL_BS_invariant_for

LITERAL_BS_is_initialized

public static final int LITERAL_BS_is_initialized

LITERAL_BS_java_math

public static final int LITERAL_BS_java_math

LITERAL_BS_lblneg

public static final int LITERAL_BS_lblneg

LITERAL_BS_lblpos

public static final int LITERAL_BS_lblpos

LITERAL_BS_lockset

public static final int LITERAL_BS_lockset

LITERAL_BS_max

public static final int LITERAL_BS_max

LITERAL_BS_min

public static final int LITERAL_BS_min

LITERAL_BS_nonnullelements

public static final int LITERAL_BS_nonnullelements

LITERAL_BS_not_modified

public static final int LITERAL_BS_not_modified

LITERAL_BS_not_assigned

public static final int LITERAL_BS_not_assigned

LITERAL_BS_not_specified

public static final int LITERAL_BS_not_specified

LITERAL_BS_nothing

public static final int LITERAL_BS_nothing

LITERAL_BS_nowarn

public static final int LITERAL_BS_nowarn

LITERAL_BS_nowarn_op

public static final int LITERAL_BS_nowarn_op

LITERAL_BS_num_of

public static final int LITERAL_BS_num_of

LITERAL_BS_old

public static final int LITERAL_BS_old

LITERAL_BS_only_assigned

public static final int LITERAL_BS_only_assigned

LITERAL_BS_only_accessed

public static final int LITERAL_BS_only_accessed

LITERAL_BS_only_called

public static final int LITERAL_BS_only_called

LITERAL_BS_only_captured

public static final int LITERAL_BS_only_captured

LITERAL_BS_other

public static final int LITERAL_BS_other

LITERAL_BS_pre

public static final int LITERAL_BS_pre

LITERAL_BS_product

public static final int LITERAL_BS_product

LITERAL_BS_reach

public static final int LITERAL_BS_reach

LITERAL_BS_real

public static final int LITERAL_BS_real

LITERAL_BS_result

public static final int LITERAL_BS_result

LITERAL_BS_safe_math

public static final int LITERAL_BS_safe_math

LITERAL_BS_same

public static final int LITERAL_BS_same

LITERAL_BS_space

public static final int LITERAL_BS_space

LITERAL_BS_such_that

public static final int LITERAL_BS_such_that

LITERAL_BS_sum

public static final int LITERAL_BS_sum

LITERAL_BS_type

public static final int LITERAL_BS_type

LITERAL_BS_typeof

public static final int LITERAL_BS_typeof

LITERAL_BS_warn

public static final int LITERAL_BS_warn

LITERAL_BS_warn_op

public static final int LITERAL_BS_warn_op

LITERAL_BS_working_space

public static final int LITERAL_BS_working_space

LITERAL_U_peer

public static final int LITERAL_U_peer

LITERAL_U_rep

public static final int LITERAL_U_rep

LITERAL_U_readonly

public static final int LITERAL_U_readonly