UTJML

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

UTJML

UTJML is Copyright (C) 2004-2006 by University of Texas at El Paso 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 JML project.