JML

org.jmlspecs.checker
Interface JmlExprIDTokenTypes

All Superinterfaces:
JmlTopIDTokenTypes, MjcIDTokenTypes
All Known Subinterfaces:
JmlIDTokenTypes
All Known Implementing Classes:
JmlExprIDKeywords, JmlIDKeywords

public interface JmlExprIDTokenTypes
extends JmlTopIDTokenTypes


Field Summary
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_U_peer
           
static int LITERAL_U_readonly
           
static int LITERAL_U_rep
           
 
Fields inherited from interface org.jmlspecs.checker.JmlTopIDTokenTypes
DOT_DOT
 
Fields inherited from interface org.multijava.mjc.MjcIDTokenTypes
ASSIGN, AT, BAND, BAND_ASSIGN, BNOT, BOR, BOR_ASSIGN, BSR, BSR_ASSIGN, BXOR, BXOR_ASSIGN, CHARACTER_LITERAL, COLON, COMMA, DEC, DOT, EOF, EQUAL, GE, GT, IDENT, INC, INTEGER_LITERAL, JAVADOC_OPEN, LAND, LBRACK, LCURLY, LE, LITERAL__nowarn, LITERAL__nowarn_op, LITERAL__warn, LITERAL__warn_op, LITERAL_abstract, LITERAL_assert, LITERAL_boolean, LITERAL_break, LITERAL_byte, LITERAL_case, LITERAL_catch, LITERAL_char, LITERAL_class, LITERAL_const, LITERAL_continue, LITERAL_default, LITERAL_do, LITERAL_double, LITERAL_else, LITERAL_extends, LITERAL_false, LITERAL_final, LITERAL_finally, LITERAL_float, LITERAL_for, LITERAL_goto, LITERAL_if, LITERAL_implements, LITERAL_import, LITERAL_instanceof, LITERAL_int, LITERAL_interface, LITERAL_long, LITERAL_native, LITERAL_new, LITERAL_null, LITERAL_package, LITERAL_peer, LITERAL_private, LITERAL_protected, LITERAL_public, LITERAL_pure, LITERAL_readonly, LITERAL_rep, LITERAL_resend, LITERAL_return, LITERAL_short, LITERAL_static, LITERAL_strictfp, LITERAL_super, LITERAL_switch, LITERAL_synchronized, LITERAL_this, LITERAL_throw, LITERAL_throws, LITERAL_transient, LITERAL_true, LITERAL_try, LITERAL_void, LITERAL_volatile, LITERAL_while, LNOT, LOR, LPAREN, LT, MINUS, MINUS_ASSIGN, NOT_EQUAL, NULL_TREE_LOOKAHEAD, PERCENT, PERCENT_ASSIGN, PLUS, PLUS_ASSIGN, QUESTION, RBRACK, RCURLY, REAL_LITERAL, RPAREN, SEMI, SL, SL_ASSIGN, SLASH, SLASH_ASSIGN, SR, SR_ASSIGN, STAR, STAR_ASSIGN, STRING_LITERAL
 

Field Detail

LITERAL_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

JML

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