JML

org.jmlspecs.checker
Interface JmlMLLexerTokenTypes

All Known Implementing Classes:
JmlMLLexer

public interface JmlMLLexerTokenTypes


Field Summary
static int AFFIRM
           
static int ASSIGN
           
static int AT
           
static int BACKWARD_IMPLIES
           
static int BAND
           
static int BAND_ASSIGN
           
static int BNOT
           
static int BOR
           
static int BOR_ASSIGN
           
static int BSR
           
static int BSR_ASSIGN
           
static int BXOR
           
static int BXOR_ASSIGN
           
static int CHARACTER_LITERAL
           
static int COLON
           
static int COMMA
           
static int DEC
           
static int DOT
           
static int DOT_DOT
           
static int EOF
           
static int EQUAL
           
static int EQUIV
           
static int ESC
           
static int EXPONENT
           
static int FLOAT_SUFFIX
           
static int GE
           
static int GT
           
static int HEX_DIGIT
           
static int IDENT
           
static int IMPLIES
           
static int INC
           
static int INFORMAL_DESC
           
static int INTEGER_LITERAL
           
static int JAVADOC_OPEN
           
static int JML_CLOSE
           
static int L_ARROW
           
static int LAND
           
static int LBRACK
           
static int LCURLY
           
static int LCURLY_VBAR
           
static int LE
           
static int LITERAL__nowarn
           
static int LITERAL__nowarn_op
           
static int LITERAL__warn
           
static int LITERAL__warn_op
           
static int LITERAL_abrupt_behavior
           
static int LITERAL_abrupt_behaviour
           
static int LITERAL_abstract
           
static int LITERAL_accessible
           
static int LITERAL_accessible_redundantly
           
static int LITERAL_also
           
static int LITERAL_assert
           
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_boolean
           
static int LITERAL_break
           
static int LITERAL_breaks
           
static int LITERAL_breaks_redundantly
           
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_byte
           
static int LITERAL_callable
           
static int LITERAL_callable_redundantly
           
static int LITERAL_captures
           
static int LITERAL_captures_redundantly
           
static int LITERAL_case
           
static int LITERAL_catch
           
static int LITERAL_char
           
static int LITERAL_choose
           
static int LITERAL_choose_if
           
static int LITERAL_class
           
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_const
           
static int LITERAL_constraint
           
static int LITERAL_constraint_redundantly
           
static int LITERAL_constructor
           
static int LITERAL_continue
           
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_default
           
static int LITERAL_diverges
           
static int LITERAL_diverges_redundantly
           
static int LITERAL_do
           
static int LITERAL_double
           
static int LITERAL_duration
           
static int LITERAL_duration_redundantly
           
static int LITERAL_else
           
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_extends
           
static int LITERAL_false
           
static int LITERAL_field
           
static int LITERAL_final
           
static int LITERAL_finally
           
static int LITERAL_float
           
static int LITERAL_for
           
static int LITERAL_for_example
           
static int LITERAL_forall
           
static int LITERAL_ghost
           
static int LITERAL_goto
           
static int LITERAL_helper
           
static int LITERAL_hence_by
           
static int LITERAL_hence_by_redundantly
           
static int LITERAL_if
           
static int LITERAL_implements
           
static int LITERAL_implies_that
           
static int LITERAL_import
           
static int LITERAL_in
           
static int LITERAL_in_redundantly
           
static int LITERAL_initializer
           
static int LITERAL_initially
           
static int LITERAL_instance
           
static int LITERAL_instanceof
           
static int LITERAL_int
           
static int LITERAL_interface
           
static int LITERAL_invariant
           
static int LITERAL_invariant_redundantly
           
static int LITERAL_long
           
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_native
           
static int LITERAL_new
           
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_null
           
static int LITERAL_nullable
           
static int LITERAL_nullable_by_default
           
static int LITERAL_old
           
static int LITERAL_or
           
static int LITERAL_package
           
static int LITERAL_peer
           
static int LITERAL_post
           
static int LITERAL_post_redundantly
           
static int LITERAL_pre
           
static int LITERAL_pre_redundantly
           
static int LITERAL_private
           
static int LITERAL_protected
           
static int LITERAL_public
           
static int LITERAL_pure
           
static int LITERAL_query
           
static int LITERAL_readable
           
static int LITERAL_readonly
           
static int LITERAL_refine
           
static int LITERAL_refines
           
static int LITERAL_rep
           
static int LITERAL_represents
           
static int LITERAL_represents_redundantly
           
static int LITERAL_requires
           
static int LITERAL_requires_redundantly
           
static int LITERAL_resend
           
static int LITERAL_return
           
static int LITERAL_returns
           
static int LITERAL_returns_redundantly
           
static int LITERAL_secret
           
static int LITERAL_set
           
static int LITERAL_short
           
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
           
static int LITERAL_static_initializer
           
static int LITERAL_strictfp
           
static int LITERAL_super
           
static int LITERAL_switch
           
static int LITERAL_synchronized
           
static int LITERAL_this
           
static int LITERAL_throw
           
static int LITERAL_throws
           
static int LITERAL_transient
           
static int LITERAL_true
           
static int LITERAL_try
           
static int LITERAL_U_peer
           
static int LITERAL_U_readonly
           
static int LITERAL_U_rep
           
static int LITERAL_uninitialized
           
static int LITERAL_unreachable
           
static int LITERAL_void
           
static int LITERAL_volatile
           
static int LITERAL_weakly
           
static int LITERAL_when
           
static int LITERAL_when_redundantly
           
static int LITERAL_while
           
static int LITERAL_working_space
           
static int LITERAL_working_space_redundantly
           
static int LITERAL_writable
           
static int LNOT
           
static int LOR
           
static int LPAREN
           
static int LT
           
static int MINUS
           
static int MINUS_ASSIGN
           
static int ML_COMMENT
           
static int ML_COMMENT_REST
           
static int ML_EMPTY_COMMENT
           
static int NEWLINE
           
static int NON_NL_WS
           
static int NOT_EQUAL
           
static int NOT_EQUIV
           
static int NOWARN_LABEL
           
static int NOWARN_LABEL_LIST
           
static int NULL_TREE_LOOKAHEAD
           
static int OPTIONAL_PLUS
           
static int PERCENT
           
static int PERCENT_ASSIGN
           
static int PLUS
           
static int PLUS_ASSIGN
           
static int QUESTION
           
static int R_ARROW
           
static int RBRACK
           
static int RCURLY
           
static int REAL_LITERAL
           
static int RPAREN
           
static int SEMI
           
static int SKIP_TO_SEMI
           
static int SL
           
static int SL_ASSIGN
           
static int SL_COMMENT
           
static int SLASH
           
static int SLASH_ASSIGN
           
static int SR
           
static int SR_ASSIGN
           
static int STAR
           
static int STAR_ASSIGN
           
static int STRING_LITERAL
           
static int SUBTYPE_OF
           
static int VBAR_RCURLY
           
static int VOCAB
           
static int WS
           
 

Field Detail

EOF

public static final int EOF

NULL_TREE_LOOKAHEAD

public static final int NULL_TREE_LOOKAHEAD

LITERAL_abstract

public static final int LITERAL_abstract

LITERAL_assert

public static final int LITERAL_assert

LITERAL_boolean

public static final int LITERAL_boolean

LITERAL_break

public static final int LITERAL_break

LITERAL_byte

public static final int LITERAL_byte

LITERAL_case

public static final int LITERAL_case

LITERAL_catch

public static final int LITERAL_catch

LITERAL_char

public static final int LITERAL_char

LITERAL_class

public static final int LITERAL_class

LITERAL_const

public static final int LITERAL_const

LITERAL_continue

public static final int LITERAL_continue

LITERAL_default

public static final int LITERAL_default

LITERAL_do

public static final int LITERAL_do

LITERAL_double

public static final int LITERAL_double

LITERAL_else

public static final int LITERAL_else

LITERAL_extends

public static final int LITERAL_extends

LITERAL_false

public static final int LITERAL_false

LITERAL_final

public static final int LITERAL_final

LITERAL_finally

public static final int LITERAL_finally

LITERAL_float

public static final int LITERAL_float

LITERAL_for

public static final int LITERAL_for

LITERAL_goto

public static final int LITERAL_goto

LITERAL_if

public static final int LITERAL_if

LITERAL_implements

public static final int LITERAL_implements

LITERAL_import

public static final int LITERAL_import

LITERAL_instanceof

public static final int LITERAL_instanceof

LITERAL_int

public static final int LITERAL_int

LITERAL_interface

public static final int LITERAL_interface

LITERAL_long

public static final int LITERAL_long

LITERAL_native

public static final int LITERAL_native

LITERAL_new

public static final int LITERAL_new

LITERAL_null

public static final int LITERAL_null

LITERAL_package

public static final int LITERAL_package

LITERAL_private

public static final int LITERAL_private

LITERAL_protected

public static final int LITERAL_protected

LITERAL_public

public static final int LITERAL_public

LITERAL_peer

public static final int LITERAL_peer

LITERAL_readonly

public static final int LITERAL_readonly

LITERAL_rep

public static final int LITERAL_rep

LITERAL_pure

public static final int LITERAL_pure

LITERAL_resend

public static final int LITERAL_resend

LITERAL_return

public static final int LITERAL_return

LITERAL_short

public static final int LITERAL_short

LITERAL_static

public static final int LITERAL_static

LITERAL_strictfp

public static final int LITERAL_strictfp

LITERAL_super

public static final int LITERAL_super

LITERAL_switch

public static final int LITERAL_switch

LITERAL_synchronized

public static final int LITERAL_synchronized

LITERAL_this

public static final int LITERAL_this

LITERAL_throw

public static final int LITERAL_throw

LITERAL_throws

public static final int LITERAL_throws

LITERAL_transient

public static final int LITERAL_transient

LITERAL_true

public static final int LITERAL_true

LITERAL_try

public static final int LITERAL_try

LITERAL_void

public static final int LITERAL_void

LITERAL_volatile

public static final int LITERAL_volatile

LITERAL_while

public static final int LITERAL_while

LITERAL__warn

public static final int LITERAL__warn

LITERAL__warn_op

public static final int LITERAL__warn_op

LITERAL__nowarn

public static final int LITERAL__nowarn

LITERAL__nowarn_op

public static final int LITERAL__nowarn_op

ASSIGN

public static final int ASSIGN

AT

public static final int AT

BAND

public static final int BAND

BAND_ASSIGN

public static final int BAND_ASSIGN

BNOT

public static final int BNOT

BOR

public static final int BOR

BOR_ASSIGN

public static final int BOR_ASSIGN

BSR

public static final int BSR

BSR_ASSIGN

public static final int BSR_ASSIGN

BXOR

public static final int BXOR

BXOR_ASSIGN

public static final int BXOR_ASSIGN

COLON

public static final int COLON

COMMA

public static final int COMMA

DEC

public static final int DEC

DOT

public static final int DOT

EQUAL

public static final int EQUAL

GE

public static final int GE

GT

public static final int GT

INC

public static final int INC

LAND

public static final int LAND

LBRACK

public static final int LBRACK

LCURLY

public static final int LCURLY

LE

public static final int LE

LNOT

public static final int LNOT

LOR

public static final int LOR

LPAREN

public static final int LPAREN

LT

public static final int LT

MINUS

public static final int MINUS

MINUS_ASSIGN

public static final int MINUS_ASSIGN

NOT_EQUAL

public static final int NOT_EQUAL

PERCENT

public static final int PERCENT

PERCENT_ASSIGN

public static final int PERCENT_ASSIGN

PLUS

public static final int PLUS

PLUS_ASSIGN

public static final int PLUS_ASSIGN

QUESTION

public static final int QUESTION

RBRACK

public static final int RBRACK

RCURLY

public static final int RCURLY

RPAREN

public static final int RPAREN

SEMI

public static final int SEMI

SL

public static final int SL

SLASH

public static final int SLASH

SLASH_ASSIGN

public static final int SLASH_ASSIGN

SL_ASSIGN

public static final int SL_ASSIGN

SR

public static final int SR

SR_ASSIGN

public static final int SR_ASSIGN

STAR

public static final int STAR

STAR_ASSIGN

public static final int STAR_ASSIGN

CHARACTER_LITERAL

public static final int CHARACTER_LITERAL

IDENT

public static final int IDENT

INTEGER_LITERAL

public static final int INTEGER_LITERAL

REAL_LITERAL

public static final int REAL_LITERAL

STRING_LITERAL

public static final int STRING_LITERAL

JAVADOC_OPEN

public static final int JAVADOC_OPEN

DOT_DOT

public static final int DOT_DOT

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

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

WS

public static final int WS

OPTIONAL_PLUS

public static final int OPTIONAL_PLUS

ML_EMPTY_COMMENT

public static final int ML_EMPTY_COMMENT

JML_CLOSE

public static final int JML_CLOSE

SL_COMMENT

public static final int SL_COMMENT

ML_COMMENT

public static final int ML_COMMENT

ML_COMMENT_REST

public static final int ML_COMMENT_REST

NOWARN_LABEL_LIST

public static final int NOWARN_LABEL_LIST

NOWARN_LABEL

public static final int NOWARN_LABEL

SKIP_TO_SEMI

public static final int SKIP_TO_SEMI

NON_NL_WS

public static final int NON_NL_WS

NEWLINE

public static final int NEWLINE

ESC

public static final int ESC

HEX_DIGIT

public static final int HEX_DIGIT

VOCAB

public static final int VOCAB

EXPONENT

public static final int EXPONENT

FLOAT_SUFFIX

public static final int FLOAT_SUFFIX

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.