edu.utep.cs.utjml.compiler
Interface UtJmlTokenTypes

All Known Implementing Classes:

UtJmlParser

public interface UtJmlTokenTypes

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_call_sequence
static int	LITERAL_call_sequence_redundantly
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

static final int EOF

See Also:

Constant Field Values

NULL_TREE_LOOKAHEAD

static final int NULL_TREE_LOOKAHEAD

See Also:

Constant Field Values

LITERAL_abstract

static final int LITERAL_abstract

See Also:

Constant Field Values

LITERAL_assert

static final int LITERAL_assert

See Also:

Constant Field Values

LITERAL_boolean

static final int LITERAL_boolean

See Also:

Constant Field Values

LITERAL_break

static final int LITERAL_break

See Also:

Constant Field Values

LITERAL_byte

static final int LITERAL_byte

See Also:

Constant Field Values

LITERAL_case

static final int LITERAL_case

See Also:

Constant Field Values

LITERAL_catch

static final int LITERAL_catch

See Also:

Constant Field Values

LITERAL_char

static final int LITERAL_char

See Also:

Constant Field Values

LITERAL_class

static final int LITERAL_class

See Also:

Constant Field Values

LITERAL_const

static final int LITERAL_const

See Also:

Constant Field Values

LITERAL_continue

static final int LITERAL_continue

See Also:

Constant Field Values

LITERAL_default

static final int LITERAL_default

See Also:

Constant Field Values

LITERAL_do

static final int LITERAL_do

See Also:

Constant Field Values

LITERAL_double

static final int LITERAL_double

See Also:

Constant Field Values

LITERAL_else

static final int LITERAL_else

See Also:

Constant Field Values

LITERAL_extends

static final int LITERAL_extends

See Also:

Constant Field Values

LITERAL_false

static final int LITERAL_false

See Also:

Constant Field Values

LITERAL_final

static final int LITERAL_final

See Also:

Constant Field Values

LITERAL_finally

static final int LITERAL_finally

See Also:

Constant Field Values

LITERAL_float

static final int LITERAL_float

See Also:

Constant Field Values

LITERAL_for

static final int LITERAL_for

See Also:

Constant Field Values

LITERAL_goto

static final int LITERAL_goto

See Also:

Constant Field Values

LITERAL_if

static final int LITERAL_if

See Also:

Constant Field Values

LITERAL_implements

static final int LITERAL_implements

See Also:

Constant Field Values

LITERAL_import

static final int LITERAL_import

See Also:

Constant Field Values

LITERAL_instanceof

static final int LITERAL_instanceof

See Also:

Constant Field Values

LITERAL_int

static final int LITERAL_int

See Also:

Constant Field Values

LITERAL_interface

static final int LITERAL_interface

See Also:

Constant Field Values

LITERAL_long

static final int LITERAL_long

See Also:

Constant Field Values

LITERAL_native

static final int LITERAL_native

See Also:

Constant Field Values

LITERAL_new

static final int LITERAL_new

See Also:

Constant Field Values

LITERAL_null

static final int LITERAL_null

See Also:

Constant Field Values

LITERAL_package

static final int LITERAL_package

See Also:

Constant Field Values

LITERAL_private

static final int LITERAL_private

See Also:

Constant Field Values

LITERAL_protected

static final int LITERAL_protected

See Also:

Constant Field Values

LITERAL_public

static final int LITERAL_public

See Also:

Constant Field Values

LITERAL_peer

static final int LITERAL_peer

See Also:

Constant Field Values

LITERAL_readonly

static final int LITERAL_readonly

See Also:

Constant Field Values

LITERAL_rep

static final int LITERAL_rep

See Also:

Constant Field Values

LITERAL_pure

static final int LITERAL_pure

See Also:

Constant Field Values

LITERAL_resend

static final int LITERAL_resend

See Also:

Constant Field Values

LITERAL_return

static final int LITERAL_return

See Also:

Constant Field Values

LITERAL_short

static final int LITERAL_short

See Also:

Constant Field Values

LITERAL_static

static final int LITERAL_static

See Also:

Constant Field Values

LITERAL_strictfp

static final int LITERAL_strictfp

See Also:

Constant Field Values

LITERAL_super

static final int LITERAL_super

See Also:

Constant Field Values

LITERAL_switch

static final int LITERAL_switch

See Also:

Constant Field Values

LITERAL_synchronized

static final int LITERAL_synchronized

See Also:

Constant Field Values

LITERAL_this

static final int LITERAL_this

See Also:

Constant Field Values

LITERAL_throw

static final int LITERAL_throw

See Also:

Constant Field Values

LITERAL_throws

static final int LITERAL_throws

See Also:

Constant Field Values

LITERAL_transient

static final int LITERAL_transient

See Also:

Constant Field Values

LITERAL_true

static final int LITERAL_true

See Also:

Constant Field Values

LITERAL_try

static final int LITERAL_try

See Also:

Constant Field Values

LITERAL_void

static final int LITERAL_void

See Also:

Constant Field Values

LITERAL_volatile

static final int LITERAL_volatile

See Also:

Constant Field Values

LITERAL_while

static final int LITERAL_while

See Also:

Constant Field Values

LITERAL__warn

static final int LITERAL__warn

See Also:

Constant Field Values

LITERAL__warn_op

static final int LITERAL__warn_op

See Also:

Constant Field Values

LITERAL__nowarn

static final int LITERAL__nowarn

See Also:

Constant Field Values

LITERAL__nowarn_op

static final int LITERAL__nowarn_op

See Also:

Constant Field Values

ASSIGN

static final int ASSIGN

See Also:

Constant Field Values

AT

static final int AT

See Also:

Constant Field Values

BAND

static final int BAND

See Also:

Constant Field Values

BAND_ASSIGN

static final int BAND_ASSIGN

See Also:

Constant Field Values

BNOT

static final int BNOT

See Also:

Constant Field Values

BOR

static final int BOR

See Also:

Constant Field Values

BOR_ASSIGN

static final int BOR_ASSIGN

See Also:

Constant Field Values

BSR

static final int BSR

See Also:

Constant Field Values

BSR_ASSIGN

static final int BSR_ASSIGN

See Also:

Constant Field Values

BXOR

static final int BXOR

See Also:

Constant Field Values

BXOR_ASSIGN

static final int BXOR_ASSIGN

See Also:

Constant Field Values

COLON

static final int COLON

See Also:

Constant Field Values

COMMA

static final int COMMA

See Also:

Constant Field Values

DEC

static final int DEC

See Also:

Constant Field Values

DOT

static final int DOT

See Also:

Constant Field Values

EQUAL

static final int EQUAL

See Also:

Constant Field Values

GE

static final int GE

See Also:

Constant Field Values

GT

static final int GT

See Also:

Constant Field Values

INC

static final int INC

See Also:

Constant Field Values

LAND

static final int LAND

See Also:

Constant Field Values

LBRACK

static final int LBRACK

See Also:

Constant Field Values

LCURLY

static final int LCURLY

See Also:

Constant Field Values

LE

static final int LE

See Also:

Constant Field Values

LNOT

static final int LNOT

See Also:

Constant Field Values

LOR

static final int LOR

See Also:

Constant Field Values

LPAREN

static final int LPAREN

See Also:

Constant Field Values

LT

static final int LT

See Also:

Constant Field Values

MINUS

static final int MINUS

See Also:

Constant Field Values

MINUS_ASSIGN

static final int MINUS_ASSIGN

See Also:

Constant Field Values

NOT_EQUAL

static final int NOT_EQUAL

See Also:

Constant Field Values

PERCENT

static final int PERCENT

See Also:

Constant Field Values

PERCENT_ASSIGN

static final int PERCENT_ASSIGN

See Also:

Constant Field Values

PLUS

static final int PLUS

See Also:

Constant Field Values

PLUS_ASSIGN

static final int PLUS_ASSIGN

See Also:

Constant Field Values

QUESTION

static final int QUESTION

See Also:

Constant Field Values

RBRACK

static final int RBRACK

See Also:

Constant Field Values

RCURLY

static final int RCURLY

See Also:

Constant Field Values

RPAREN

static final int RPAREN

See Also:

Constant Field Values

SEMI

static final int SEMI

See Also:

Constant Field Values

SL

static final int SL

See Also:

Constant Field Values

SLASH

static final int SLASH

See Also:

Constant Field Values

SLASH_ASSIGN

static final int SLASH_ASSIGN

See Also:

Constant Field Values

SL_ASSIGN

static final int SL_ASSIGN

See Also:

Constant Field Values

SR

static final int SR

See Also:

Constant Field Values

SR_ASSIGN

static final int SR_ASSIGN

See Also:

Constant Field Values

STAR

static final int STAR

See Also:

Constant Field Values

STAR_ASSIGN

static final int STAR_ASSIGN

See Also:

Constant Field Values

CHARACTER_LITERAL

static final int CHARACTER_LITERAL

See Also:

Constant Field Values

IDENT

static final int IDENT

See Also:

Constant Field Values

INTEGER_LITERAL

static final int INTEGER_LITERAL

See Also:

Constant Field Values

REAL_LITERAL

static final int REAL_LITERAL

See Also:

Constant Field Values

STRING_LITERAL

static final int STRING_LITERAL

See Also:

Constant Field Values

JAVADOC_OPEN

static final int JAVADOC_OPEN

See Also:

Constant Field Values

DOT_DOT

static final int DOT_DOT

See Also:

Constant Field Values

LITERAL_BS_TYPE

static final int LITERAL_BS_TYPE

See Also:

Constant Field Values

LITERAL_BS_bigint

static final int LITERAL_BS_bigint

See Also:

Constant Field Values

LITERAL_BS_bigint_math

static final int LITERAL_BS_bigint_math

See Also:

Constant Field Values

LITERAL_BS_duration

static final int LITERAL_BS_duration

See Also:

Constant Field Values

LITERAL_BS_elemtype

static final int LITERAL_BS_elemtype

See Also:

Constant Field Values

LITERAL_BS_everything

static final int LITERAL_BS_everything

See Also:

Constant Field Values

LITERAL_BS_exists

static final int LITERAL_BS_exists

See Also:

Constant Field Values

LITERAL_BS_forall

static final int LITERAL_BS_forall

See Also:

Constant Field Values

LITERAL_BS_fresh

static final int LITERAL_BS_fresh

See Also:

Constant Field Values

LITERAL_BS_into

static final int LITERAL_BS_into

See Also:

Constant Field Values

LITERAL_BS_invariant_for

static final int LITERAL_BS_invariant_for

See Also:

Constant Field Values

LITERAL_BS_is_initialized

static final int LITERAL_BS_is_initialized

See Also:

Constant Field Values

LITERAL_BS_java_math

static final int LITERAL_BS_java_math

See Also:

Constant Field Values

LITERAL_BS_lblneg

static final int LITERAL_BS_lblneg

See Also:

Constant Field Values

LITERAL_BS_lblpos

static final int LITERAL_BS_lblpos

See Also:

Constant Field Values

LITERAL_BS_lockset

static final int LITERAL_BS_lockset

See Also:

Constant Field Values

LITERAL_BS_max

static final int LITERAL_BS_max

See Also:

Constant Field Values

LITERAL_BS_min

static final int LITERAL_BS_min

See Also:

Constant Field Values

LITERAL_BS_nonnullelements

static final int LITERAL_BS_nonnullelements

See Also:

Constant Field Values

LITERAL_BS_not_modified

static final int LITERAL_BS_not_modified

See Also:

Constant Field Values

LITERAL_BS_not_assigned

static final int LITERAL_BS_not_assigned

See Also:

Constant Field Values

LITERAL_BS_not_specified

static final int LITERAL_BS_not_specified

See Also:

Constant Field Values

LITERAL_BS_nothing

static final int LITERAL_BS_nothing

See Also:

Constant Field Values

LITERAL_BS_nowarn

static final int LITERAL_BS_nowarn

See Also:

Constant Field Values

LITERAL_BS_nowarn_op

static final int LITERAL_BS_nowarn_op

See Also:

Constant Field Values

LITERAL_BS_num_of

static final int LITERAL_BS_num_of

See Also:

Constant Field Values

LITERAL_BS_old

static final int LITERAL_BS_old

See Also:

Constant Field Values

LITERAL_BS_only_assigned

static final int LITERAL_BS_only_assigned

See Also:

Constant Field Values

LITERAL_BS_only_accessed

static final int LITERAL_BS_only_accessed

See Also:

Constant Field Values

LITERAL_BS_only_called

static final int LITERAL_BS_only_called

See Also:

Constant Field Values

LITERAL_BS_only_captured

static final int LITERAL_BS_only_captured

See Also:

Constant Field Values

LITERAL_BS_other

static final int LITERAL_BS_other

See Also:

Constant Field Values

LITERAL_BS_pre

static final int LITERAL_BS_pre

See Also:

Constant Field Values

LITERAL_BS_product

static final int LITERAL_BS_product

See Also:

Constant Field Values

LITERAL_BS_reach

static final int LITERAL_BS_reach

See Also:

Constant Field Values

LITERAL_BS_real

static final int LITERAL_BS_real

See Also:

Constant Field Values

LITERAL_BS_result

static final int LITERAL_BS_result

See Also:

Constant Field Values

LITERAL_BS_safe_math

static final int LITERAL_BS_safe_math

See Also:

Constant Field Values

LITERAL_BS_same

static final int LITERAL_BS_same

See Also:

Constant Field Values

LITERAL_BS_space

static final int LITERAL_BS_space

See Also:

Constant Field Values

LITERAL_BS_such_that

static final int LITERAL_BS_such_that

See Also:

Constant Field Values

LITERAL_BS_sum

static final int LITERAL_BS_sum

See Also:

Constant Field Values

LITERAL_BS_type

static final int LITERAL_BS_type

See Also:

Constant Field Values

LITERAL_BS_typeof

static final int LITERAL_BS_typeof

See Also:

Constant Field Values

LITERAL_BS_warn

static final int LITERAL_BS_warn

See Also:

Constant Field Values

LITERAL_BS_warn_op

static final int LITERAL_BS_warn_op

See Also:

Constant Field Values

LITERAL_BS_working_space

static final int LITERAL_BS_working_space

See Also:

Constant Field Values

LITERAL_U_peer

static final int LITERAL_U_peer

See Also:

Constant Field Values

LITERAL_U_rep

static final int LITERAL_U_rep

See Also:

Constant Field Values

LITERAL_U_readonly

static final int LITERAL_U_readonly

See Also:

Constant Field Values

LITERAL_abrupt_behavior

static final int LITERAL_abrupt_behavior

See Also:

Constant Field Values

LITERAL_abrupt_behaviour

static final int LITERAL_abrupt_behaviour

See Also:

Constant Field Values

LITERAL_accessible

static final int LITERAL_accessible

See Also:

Constant Field Values

LITERAL_accessible_redundantly

static final int LITERAL_accessible_redundantly

See Also:

Constant Field Values

LITERAL_also

static final int LITERAL_also

See Also:

Constant Field Values

LITERAL_assert_redundantly

static final int LITERAL_assert_redundantly

See Also:

Constant Field Values

LITERAL_assignable

static final int LITERAL_assignable

See Also:

Constant Field Values

LITERAL_assignable_redundantly

static final int LITERAL_assignable_redundantly

See Also:

Constant Field Values

LITERAL_assume

static final int LITERAL_assume

See Also:

Constant Field Values

LITERAL_assume_redundantly

static final int LITERAL_assume_redundantly

See Also:

Constant Field Values

LITERAL_axiom

static final int LITERAL_axiom

See Also:

Constant Field Values

LITERAL_behavior

static final int LITERAL_behavior

See Also:

Constant Field Values

LITERAL_behaviour

static final int LITERAL_behaviour

See Also:

Constant Field Values

LITERAL_breaks

static final int LITERAL_breaks

See Also:

Constant Field Values

LITERAL_breaks_redundantly

static final int LITERAL_breaks_redundantly

See Also:

Constant Field Values

LITERAL_callable

static final int LITERAL_callable

See Also:

Constant Field Values

LITERAL_callable_redundantly

static final int LITERAL_callable_redundantly

See Also:

Constant Field Values

LITERAL_captures

static final int LITERAL_captures

See Also:

Constant Field Values

LITERAL_captures_redundantly

static final int LITERAL_captures_redundantly

See Also:

Constant Field Values

LITERAL_choose

static final int LITERAL_choose

See Also:

Constant Field Values

LITERAL_choose_if

static final int LITERAL_choose_if

See Also:

Constant Field Values

LITERAL_code

static final int LITERAL_code

See Also:

Constant Field Values

LITERAL_code_bigint_math

static final int LITERAL_code_bigint_math

See Also:

Constant Field Values

LITERAL_code_contract

static final int LITERAL_code_contract

See Also:

Constant Field Values

LITERAL_code_java_math

static final int LITERAL_code_java_math

See Also:

Constant Field Values

LITERAL_code_safe_math

static final int LITERAL_code_safe_math

See Also:

Constant Field Values

LITERAL_constraint

static final int LITERAL_constraint

See Also:

Constant Field Values

LITERAL_constraint_redundantly

static final int LITERAL_constraint_redundantly

See Also:

Constant Field Values

LITERAL_constructor

static final int LITERAL_constructor

See Also:

Constant Field Values

LITERAL_continues

static final int LITERAL_continues

See Also:

Constant Field Values

LITERAL_continues_redundantly

static final int LITERAL_continues_redundantly

See Also:

Constant Field Values

LITERAL_debug

static final int LITERAL_debug

See Also:

Constant Field Values

LITERAL_decreases

static final int LITERAL_decreases

See Also:

Constant Field Values

LITERAL_decreases_redundantly

static final int LITERAL_decreases_redundantly

See Also:

Constant Field Values

LITERAL_decreasing

static final int LITERAL_decreasing

See Also:

Constant Field Values

LITERAL_decreasing_redundantly

static final int LITERAL_decreasing_redundantly

See Also:

Constant Field Values

LITERAL_diverges

static final int LITERAL_diverges

See Also:

Constant Field Values

LITERAL_diverges_redundantly

static final int LITERAL_diverges_redundantly

See Also:

Constant Field Values

LITERAL_duration

static final int LITERAL_duration

See Also:

Constant Field Values

LITERAL_duration_redundantly

static final int LITERAL_duration_redundantly

See Also:

Constant Field Values

LITERAL_ensures

static final int LITERAL_ensures

See Also:

Constant Field Values

LITERAL_ensures_redundantly

static final int LITERAL_ensures_redundantly

See Also:

Constant Field Values

LITERAL_example

static final int LITERAL_example

See Also:

Constant Field Values

LITERAL_exceptional_behavior

static final int LITERAL_exceptional_behavior

See Also:

Constant Field Values

LITERAL_exceptional_behaviour

static final int LITERAL_exceptional_behaviour

See Also:

Constant Field Values

LITERAL_exceptional_example

static final int LITERAL_exceptional_example

See Also:

Constant Field Values

LITERAL_exsures

static final int LITERAL_exsures

See Also:

Constant Field Values

LITERAL_exsures_redundantly

static final int LITERAL_exsures_redundantly

See Also:

Constant Field Values

LITERAL_field

static final int LITERAL_field

See Also:

Constant Field Values

LITERAL_forall

static final int LITERAL_forall

See Also:

Constant Field Values

LITERAL_for_example

static final int LITERAL_for_example

See Also:

Constant Field Values

LITERAL_ghost

static final int LITERAL_ghost

See Also:

Constant Field Values

LITERAL_helper

static final int LITERAL_helper

See Also:

Constant Field Values

LITERAL_hence_by

static final int LITERAL_hence_by

See Also:

Constant Field Values

LITERAL_hence_by_redundantly

static final int LITERAL_hence_by_redundantly

See Also:

Constant Field Values

LITERAL_implies_that

static final int LITERAL_implies_that

See Also:

Constant Field Values

LITERAL_in

static final int LITERAL_in

See Also:

Constant Field Values

LITERAL_in_redundantly

static final int LITERAL_in_redundantly

See Also:

Constant Field Values

LITERAL_initializer

static final int LITERAL_initializer

See Also:

Constant Field Values

LITERAL_initially

static final int LITERAL_initially

See Also:

Constant Field Values

LITERAL_instance

static final int LITERAL_instance

See Also:

Constant Field Values

LITERAL_invariant

static final int LITERAL_invariant

See Also:

Constant Field Values

LITERAL_invariant_redundantly

static final int LITERAL_invariant_redundantly

See Also:

Constant Field Values

LITERAL_loop_invariant

static final int LITERAL_loop_invariant

See Also:

Constant Field Values

LITERAL_loop_invariant_redundantly

static final int LITERAL_loop_invariant_redundantly

See Also:

Constant Field Values

LITERAL_maintaining

static final int LITERAL_maintaining

See Also:

Constant Field Values

LITERAL_maintaining_redundantly

static final int LITERAL_maintaining_redundantly

See Also:

Constant Field Values

LITERAL_maps

static final int LITERAL_maps

See Also:

Constant Field Values

LITERAL_maps_redundantly

static final int LITERAL_maps_redundantly

See Also:

Constant Field Values

LITERAL_measured_by

static final int LITERAL_measured_by

See Also:

Constant Field Values

LITERAL_measured_by_redundantly

static final int LITERAL_measured_by_redundantly

See Also:

Constant Field Values

LITERAL_method

static final int LITERAL_method

See Also:

Constant Field Values

LITERAL_model

static final int LITERAL_model

See Also:

Constant Field Values

LITERAL_model_program

static final int LITERAL_model_program

See Also:

Constant Field Values

LITERAL_modifiable

static final int LITERAL_modifiable

See Also:

Constant Field Values

LITERAL_modifiable_redundantly

static final int LITERAL_modifiable_redundantly

See Also:

Constant Field Values

LITERAL_modifies

static final int LITERAL_modifies

See Also:

Constant Field Values

LITERAL_modifies_redundantly

static final int LITERAL_modifies_redundantly

See Also:

Constant Field Values

LITERAL_monitored

static final int LITERAL_monitored

See Also:

Constant Field Values

LITERAL_monitors_for

static final int LITERAL_monitors_for

See Also:

Constant Field Values

LITERAL_non_null

static final int LITERAL_non_null

See Also:

Constant Field Values

LITERAL_non_null_by_default

static final int LITERAL_non_null_by_default

See Also:

Constant Field Values

LITERAL_normal_behavior

static final int LITERAL_normal_behavior

See Also:

Constant Field Values

LITERAL_normal_behaviour

static final int LITERAL_normal_behaviour

See Also:

Constant Field Values

LITERAL_normal_example

static final int LITERAL_normal_example

See Also:

Constant Field Values

LITERAL_nullable

static final int LITERAL_nullable

See Also:

Constant Field Values

LITERAL_nullable_by_default

static final int LITERAL_nullable_by_default

See Also:

Constant Field Values

LITERAL_old

static final int LITERAL_old

See Also:

Constant Field Values

LITERAL_or

static final int LITERAL_or

See Also:

Constant Field Values

LITERAL_post

static final int LITERAL_post

See Also:

Constant Field Values

LITERAL_post_redundantly

static final int LITERAL_post_redundantly

See Also:

Constant Field Values

LITERAL_pre

static final int LITERAL_pre

See Also:

Constant Field Values

LITERAL_pre_redundantly

static final int LITERAL_pre_redundantly

See Also:

Constant Field Values

LITERAL_query

static final int LITERAL_query

See Also:

Constant Field Values

LITERAL_readable

static final int LITERAL_readable

See Also:

Constant Field Values

LITERAL_refine

static final int LITERAL_refine

See Also:

Constant Field Values

LITERAL_refines

static final int LITERAL_refines

See Also:

Constant Field Values

LITERAL_represents

static final int LITERAL_represents

See Also:

Constant Field Values

LITERAL_represents_redundantly

static final int LITERAL_represents_redundantly

See Also:

Constant Field Values

LITERAL_requires

static final int LITERAL_requires

See Also:

Constant Field Values

LITERAL_requires_redundantly

static final int LITERAL_requires_redundantly

See Also:

Constant Field Values

LITERAL_returns

static final int LITERAL_returns

See Also:

Constant Field Values

LITERAL_returns_redundantly

static final int LITERAL_returns_redundantly

See Also:

Constant Field Values

LITERAL_secret

static final int LITERAL_secret

See Also:

Constant Field Values

LITERAL_set

static final int LITERAL_set

See Also:

Constant Field Values

LITERAL_signals

static final int LITERAL_signals

See Also:

Constant Field Values

LITERAL_signals_only

static final int LITERAL_signals_only

See Also:

Constant Field Values

LITERAL_signals_only_redundantly

static final int LITERAL_signals_only_redundantly

See Also:

Constant Field Values

LITERAL_signals_redundantly

static final int LITERAL_signals_redundantly

See Also:

Constant Field Values

LITERAL_spec_bigint_math

static final int LITERAL_spec_bigint_math

See Also:

Constant Field Values

LITERAL_spec_java_math

static final int LITERAL_spec_java_math

See Also:

Constant Field Values

LITERAL_spec_protected

static final int LITERAL_spec_protected

See Also:

Constant Field Values

LITERAL_spec_public

static final int LITERAL_spec_public

See Also:

Constant Field Values

LITERAL_spec_safe_math

static final int LITERAL_spec_safe_math

See Also:

Constant Field Values

LITERAL_static_initializer

static final int LITERAL_static_initializer

See Also:

Constant Field Values

LITERAL_uninitialized

static final int LITERAL_uninitialized

See Also:

Constant Field Values

LITERAL_unreachable

static final int LITERAL_unreachable

See Also:

Constant Field Values

LITERAL_weakly

static final int LITERAL_weakly

See Also:

Constant Field Values

LITERAL_when

static final int LITERAL_when

See Also:

Constant Field Values

LITERAL_when_redundantly

static final int LITERAL_when_redundantly

See Also:

Constant Field Values

LITERAL_working_space

static final int LITERAL_working_space

See Also:

Constant Field Values

LITERAL_working_space_redundantly

static final int LITERAL_working_space_redundantly

See Also:

Constant Field Values

LITERAL_writable

static final int LITERAL_writable

See Also:

Constant Field Values

INFORMAL_DESC

static final int INFORMAL_DESC

See Also:

Constant Field Values

IMPLIES

static final int IMPLIES

See Also:

Constant Field Values

BACKWARD_IMPLIES

static final int BACKWARD_IMPLIES

See Also:

Constant Field Values

EQUIV

static final int EQUIV

See Also:

Constant Field Values

NOT_EQUIV

static final int NOT_EQUIV

See Also:

Constant Field Values

R_ARROW

static final int R_ARROW

See Also:

Constant Field Values

L_ARROW

static final int L_ARROW

See Also:

Constant Field Values

SUBTYPE_OF

static final int SUBTYPE_OF

See Also:

Constant Field Values

LCURLY_VBAR

static final int LCURLY_VBAR

See Also:

Constant Field Values

VBAR_RCURLY

static final int VBAR_RCURLY

See Also:

Constant Field Values

AFFIRM

static final int AFFIRM

See Also:

Constant Field Values

LITERAL_call_sequence

static final int LITERAL_call_sequence

See Also:

Constant Field Values

LITERAL_call_sequence_redundantly

static final int LITERAL_call_sequence_redundantly

See Also:

Constant Field Values