JML

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

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.