org.jmlspecs.checker
Interface JmlIDTokenTypes

All Superinterfaces:

JmlExprIDTokenTypes, JmlTopIDTokenTypes, MjcIDTokenTypes

All Known Implementing Classes:

JmlIDKeywords

public interface JmlIDTokenTypes

extends JmlExprIDTokenTypes

Field Summary
static int	AFFIRM
static int	BACKWARD_IMPLIES
static int	EQUIV
static int	IMPLIES
static int	INFORMAL_DESC
static int	L_ARROW
static int	LCURLY_VBAR
static int	LITERAL_abrupt_behavior
static int	LITERAL_abrupt_behaviour
static int	LITERAL_accessible
static int	LITERAL_accessible_redundantly
static int	LITERAL_also
static int	LITERAL_assert_redundantly
static int	LITERAL_assignable
static int	LITERAL_assignable_redundantly
static int	LITERAL_assume
static int	LITERAL_assume_redundantly
static int	LITERAL_axiom
static int	LITERAL_behavior
static int	LITERAL_behaviour
static int	LITERAL_breaks
static int	LITERAL_breaks_redundantly
static int	LITERAL_callable
static int	LITERAL_callable_redundantly
static int	LITERAL_captures
static int	LITERAL_captures_redundantly
static int	LITERAL_choose
static int	LITERAL_choose_if
static int	LITERAL_code
static int	LITERAL_code_bigint_math
static int	LITERAL_code_contract
static int	LITERAL_code_java_math
static int	LITERAL_code_safe_math
static int	LITERAL_constraint
static int	LITERAL_constraint_redundantly
static int	LITERAL_constructor
static int	LITERAL_continues
static int	LITERAL_continues_redundantly
static int	LITERAL_debug
static int	LITERAL_decreases
static int	LITERAL_decreases_redundantly
static int	LITERAL_decreasing
static int	LITERAL_decreasing_redundantly
static int	LITERAL_diverges
static int	LITERAL_diverges_redundantly
static int	LITERAL_duration
static int	LITERAL_duration_redundantly
static int	LITERAL_ensures
static int	LITERAL_ensures_redundantly
static int	LITERAL_example
static int	LITERAL_exceptional_behavior
static int	LITERAL_exceptional_behaviour
static int	LITERAL_exceptional_example
static int	LITERAL_exsures
static int	LITERAL_exsures_redundantly
static int	LITERAL_field
static int	LITERAL_for_example
static int	LITERAL_forall
static int	LITERAL_ghost
static int	LITERAL_helper
static int	LITERAL_hence_by
static int	LITERAL_hence_by_redundantly
static int	LITERAL_implies_that
static int	LITERAL_in
static int	LITERAL_in_redundantly
static int	LITERAL_initializer
static int	LITERAL_initially
static int	LITERAL_instance
static int	LITERAL_invariant
static int	LITERAL_invariant_redundantly
static int	LITERAL_loop_invariant
static int	LITERAL_loop_invariant_redundantly
static int	LITERAL_maintaining
static int	LITERAL_maintaining_redundantly
static int	LITERAL_maps
static int	LITERAL_maps_redundantly
static int	LITERAL_measured_by
static int	LITERAL_measured_by_redundantly
static int	LITERAL_method
static int	LITERAL_model
static int	LITERAL_model_program
static int	LITERAL_modifiable
static int	LITERAL_modifiable_redundantly
static int	LITERAL_modifies
static int	LITERAL_modifies_redundantly
static int	LITERAL_monitored
static int	LITERAL_monitors_for
static int	LITERAL_non_null
static int	LITERAL_non_null_by_default
static int	LITERAL_normal_behavior
static int	LITERAL_normal_behaviour
static int	LITERAL_normal_example
static int	LITERAL_nullable
static int	LITERAL_nullable_by_default
static int	LITERAL_old
static int	LITERAL_or
static int	LITERAL_post
static int	LITERAL_post_redundantly
static int	LITERAL_pre
static int	LITERAL_pre_redundantly
static int	LITERAL_query
static int	LITERAL_readable
static int	LITERAL_refine
static int	LITERAL_refines
static int	LITERAL_represents
static int	LITERAL_represents_redundantly
static int	LITERAL_requires
static int	LITERAL_requires_redundantly
static int	LITERAL_returns
static int	LITERAL_returns_redundantly
static int	LITERAL_secret
static int	LITERAL_set
static int	LITERAL_signals
static int	LITERAL_signals_only
static int	LITERAL_signals_only_redundantly
static int	LITERAL_signals_redundantly
static int	LITERAL_spec_bigint_math
static int	LITERAL_spec_java_math
static int	LITERAL_spec_protected
static int	LITERAL_spec_public
static int	LITERAL_spec_safe_math
static int	LITERAL_static_initializer
static int	LITERAL_uninitialized
static int	LITERAL_unreachable
static int	LITERAL_weakly
static int	LITERAL_when
static int	LITERAL_when_redundantly
static int	LITERAL_working_space
static int	LITERAL_working_space_redundantly
static int	LITERAL_writable
static int	NOT_EQUIV
static int	R_ARROW
static int	SUBTYPE_OF
static int	VBAR_RCURLY

 

Fields inherited from interface org.jmlspecs.checker.JmlExprIDTokenTypes

LITERAL_BS_bigint, LITERAL_BS_bigint_math, LITERAL_BS_duration, LITERAL_BS_elemtype, LITERAL_BS_everything, LITERAL_BS_exists, LITERAL_BS_forall, LITERAL_BS_fresh, LITERAL_BS_into, LITERAL_BS_invariant_for, LITERAL_BS_is_initialized, LITERAL_BS_java_math, LITERAL_BS_lblneg, LITERAL_BS_lblpos, LITERAL_BS_lockset, LITERAL_BS_max, LITERAL_BS_min, LITERAL_BS_nonnullelements, LITERAL_BS_not_assigned, LITERAL_BS_not_modified, LITERAL_BS_not_specified, LITERAL_BS_nothing, LITERAL_BS_nowarn, LITERAL_BS_nowarn_op, LITERAL_BS_num_of, LITERAL_BS_old, LITERAL_BS_only_accessed, LITERAL_BS_only_assigned, LITERAL_BS_only_called, LITERAL_BS_only_captured, LITERAL_BS_other, LITERAL_BS_pre, LITERAL_BS_product, LITERAL_BS_reach, LITERAL_BS_real, LITERAL_BS_result, LITERAL_BS_safe_math, LITERAL_BS_same, LITERAL_BS_space, LITERAL_BS_such_that, LITERAL_BS_sum, LITERAL_BS_TYPE, LITERAL_BS_type, LITERAL_BS_typeof, LITERAL_BS_warn, LITERAL_BS_warn_op, LITERAL_BS_working_space, LITERAL_U_peer, LITERAL_U_readonly, 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_abrupt_behavior

public static final int LITERAL_abrupt_behavior

LITERAL_abrupt_behaviour

public static final int LITERAL_abrupt_behaviour

LITERAL_accessible

public static final int LITERAL_accessible

LITERAL_accessible_redundantly

public static final int LITERAL_accessible_redundantly

LITERAL_also

public static final int LITERAL_also

LITERAL_assert_redundantly

public static final int LITERAL_assert_redundantly

LITERAL_assignable

public static final int LITERAL_assignable

LITERAL_assignable_redundantly

public static final int LITERAL_assignable_redundantly

LITERAL_assume

public static final int LITERAL_assume

LITERAL_assume_redundantly

public static final int LITERAL_assume_redundantly

LITERAL_axiom

public static final int LITERAL_axiom

LITERAL_behavior

public static final int LITERAL_behavior

LITERAL_behaviour

public static final int LITERAL_behaviour

LITERAL_breaks

public static final int LITERAL_breaks

LITERAL_breaks_redundantly

public static final int LITERAL_breaks_redundantly

LITERAL_callable

public static final int LITERAL_callable

LITERAL_callable_redundantly

public static final int LITERAL_callable_redundantly

LITERAL_captures

public static final int LITERAL_captures

LITERAL_captures_redundantly

public static final int LITERAL_captures_redundantly

LITERAL_choose

public static final int LITERAL_choose

LITERAL_choose_if

public static final int LITERAL_choose_if

LITERAL_code

public static final int LITERAL_code

LITERAL_code_bigint_math

public static final int LITERAL_code_bigint_math

LITERAL_code_contract

public static final int LITERAL_code_contract

LITERAL_code_java_math

public static final int LITERAL_code_java_math

LITERAL_code_safe_math

public static final int LITERAL_code_safe_math

LITERAL_constraint

public static final int LITERAL_constraint

LITERAL_constraint_redundantly

public static final int LITERAL_constraint_redundantly

LITERAL_constructor

public static final int LITERAL_constructor

LITERAL_continues

public static final int LITERAL_continues

LITERAL_continues_redundantly

public static final int LITERAL_continues_redundantly

LITERAL_debug

public static final int LITERAL_debug

LITERAL_decreases

public static final int LITERAL_decreases

LITERAL_decreases_redundantly

public static final int LITERAL_decreases_redundantly

LITERAL_decreasing

public static final int LITERAL_decreasing

LITERAL_decreasing_redundantly

public static final int LITERAL_decreasing_redundantly

LITERAL_diverges

public static final int LITERAL_diverges

LITERAL_diverges_redundantly

public static final int LITERAL_diverges_redundantly

LITERAL_duration

public static final int LITERAL_duration

LITERAL_duration_redundantly

public static final int LITERAL_duration_redundantly

LITERAL_ensures

public static final int LITERAL_ensures

LITERAL_ensures_redundantly

public static final int LITERAL_ensures_redundantly

LITERAL_example

public static final int LITERAL_example

LITERAL_exceptional_behavior

public static final int LITERAL_exceptional_behavior

LITERAL_exceptional_behaviour

public static final int LITERAL_exceptional_behaviour

LITERAL_exceptional_example

public static final int LITERAL_exceptional_example

LITERAL_exsures

public static final int LITERAL_exsures

LITERAL_exsures_redundantly

public static final int LITERAL_exsures_redundantly

LITERAL_field

public static final int LITERAL_field

LITERAL_forall

public static final int LITERAL_forall

LITERAL_for_example

public static final int LITERAL_for_example

LITERAL_ghost

public static final int LITERAL_ghost

LITERAL_helper

public static final int LITERAL_helper

LITERAL_hence_by

public static final int LITERAL_hence_by

LITERAL_hence_by_redundantly

public static final int LITERAL_hence_by_redundantly

LITERAL_implies_that

public static final int LITERAL_implies_that

LITERAL_in

public static final int LITERAL_in

LITERAL_in_redundantly

public static final int LITERAL_in_redundantly

LITERAL_initializer

public static final int LITERAL_initializer

LITERAL_initially

public static final int LITERAL_initially

LITERAL_instance

public static final int LITERAL_instance

LITERAL_invariant

public static final int LITERAL_invariant

LITERAL_invariant_redundantly

public static final int LITERAL_invariant_redundantly

LITERAL_loop_invariant

public static final int LITERAL_loop_invariant

LITERAL_loop_invariant_redundantly

public static final int LITERAL_loop_invariant_redundantly

LITERAL_maintaining

public static final int LITERAL_maintaining

LITERAL_maintaining_redundantly

public static final int LITERAL_maintaining_redundantly

LITERAL_maps

public static final int LITERAL_maps

LITERAL_maps_redundantly

public static final int LITERAL_maps_redundantly

LITERAL_measured_by

public static final int LITERAL_measured_by

LITERAL_measured_by_redundantly

public static final int LITERAL_measured_by_redundantly

LITERAL_method

public static final int LITERAL_method

LITERAL_model

public static final int LITERAL_model

LITERAL_model_program

public static final int LITERAL_model_program

LITERAL_modifiable

public static final int LITERAL_modifiable

LITERAL_modifiable_redundantly

public static final int LITERAL_modifiable_redundantly

LITERAL_modifies

public static final int LITERAL_modifies

LITERAL_modifies_redundantly

public static final int LITERAL_modifies_redundantly

LITERAL_monitored

public static final int LITERAL_monitored

LITERAL_monitors_for

public static final int LITERAL_monitors_for

LITERAL_non_null

public static final int LITERAL_non_null

LITERAL_non_null_by_default

public static final int LITERAL_non_null_by_default

LITERAL_normal_behavior

public static final int LITERAL_normal_behavior

LITERAL_normal_behaviour

public static final int LITERAL_normal_behaviour

LITERAL_normal_example

public static final int LITERAL_normal_example

LITERAL_nullable

public static final int LITERAL_nullable

LITERAL_nullable_by_default

public static final int LITERAL_nullable_by_default

LITERAL_old

public static final int LITERAL_old

LITERAL_or

public static final int LITERAL_or

LITERAL_post

public static final int LITERAL_post

LITERAL_post_redundantly

public static final int LITERAL_post_redundantly

LITERAL_pre

public static final int LITERAL_pre

LITERAL_pre_redundantly

public static final int LITERAL_pre_redundantly

LITERAL_query

public static final int LITERAL_query

LITERAL_readable

public static final int LITERAL_readable

LITERAL_refine

public static final int LITERAL_refine

LITERAL_refines

public static final int LITERAL_refines

LITERAL_represents

public static final int LITERAL_represents

LITERAL_represents_redundantly

public static final int LITERAL_represents_redundantly

LITERAL_requires

public static final int LITERAL_requires

LITERAL_requires_redundantly

public static final int LITERAL_requires_redundantly

LITERAL_returns

public static final int LITERAL_returns

LITERAL_returns_redundantly

public static final int LITERAL_returns_redundantly

LITERAL_secret

public static final int LITERAL_secret

LITERAL_set

public static final int LITERAL_set

LITERAL_signals

public static final int LITERAL_signals

LITERAL_signals_only

public static final int LITERAL_signals_only

LITERAL_signals_only_redundantly

public static final int LITERAL_signals_only_redundantly

LITERAL_signals_redundantly

public static final int LITERAL_signals_redundantly

LITERAL_spec_bigint_math

public static final int LITERAL_spec_bigint_math

LITERAL_spec_java_math

public static final int LITERAL_spec_java_math

LITERAL_spec_protected

public static final int LITERAL_spec_protected

LITERAL_spec_public

public static final int LITERAL_spec_public

LITERAL_spec_safe_math

public static final int LITERAL_spec_safe_math

LITERAL_static_initializer

public static final int LITERAL_static_initializer

LITERAL_uninitialized

public static final int LITERAL_uninitialized

LITERAL_unreachable

public static final int LITERAL_unreachable

LITERAL_weakly

public static final int LITERAL_weakly

LITERAL_when

public static final int LITERAL_when

LITERAL_when_redundantly

public static final int LITERAL_when_redundantly

LITERAL_working_space

public static final int LITERAL_working_space

LITERAL_working_space_redundantly

public static final int LITERAL_working_space_redundantly

LITERAL_writable

public static final int LITERAL_writable

INFORMAL_DESC

public static final int INFORMAL_DESC

IMPLIES

public static final int IMPLIES

BACKWARD_IMPLIES

public static final int BACKWARD_IMPLIES

EQUIV

public static final int EQUIV

NOT_EQUIV

public static final int NOT_EQUIV

R_ARROW

public static final int R_ARROW

L_ARROW

public static final int L_ARROW

SUBTYPE_OF

public static final int SUBTYPE_OF

LCURLY_VBAR

public static final int LCURLY_VBAR

VBAR_RCURLY

public static final int VBAR_RCURLY

AFFIRM

public static final int AFFIRM