org.jmlspecs.checker
Interface JmlTokenTypes

All Known Implementing Classes:

JmlParser

public interface JmlTokenTypes

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	GE
static int	GT
static int	IDENT
static int	IMPLIES
static int	INC
static int	INFORMAL_DESC
static int	INTEGER_LITERAL
static int	JAVADOC_OPEN
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	NOT_EQUAL
static int	NOT_EQUIV
static int	NULL_TREE_LOOKAHEAD
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	SL
static int	SL_ASSIGN
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

 

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