Overview  Package  Class  Use  Tree  Deprecated  Index  Help 
UTJML
 PREV   NEXT FRAMES    NO FRAMES    

Constant Field Values

Contents
edu.utep.*

edu.utep.cs.utjml.canica.Constants
public static final String BLANK_ICON " "
public static final String CLASS_EXTENSION ".class"
public static final String COPYRIGHT "Copyright (c) 2006 The University of Texas at El Paso"
public static final boolean DEBUG true
public static final String EDIT_MENU_NAME "Edit"
public static final char EXPLORER_DIR 67
public static final String FILE_MENU_NAME "File"
public static final String HELP_MENU_NAME "Help"
public static final String INSERT_MENU_NAME "Insert"
public static final String JAVA "java"
public static final String JAVA_EXTENSION ".java"
public static final String JAVAC "javac"
public static final String JUNIT_SWINGGUI_TESTRUNNER "junit.swingui.TestRunner"
public static final String OPTION_MENU_NAME "Options"
public static final String SEARCH_MENU_NAME "Search"
public static final String TEST_MENU_NAME "Test"
public static final String TOOL_MENU_NAME "Tools"
public static final String VERSION "1.0"
public static final String WEB_PAGE_LOCATION "http://opuntia.cs.utep.edu/ssvl/"
public static final String WEB_PAGE_NAME "Web Page"
public static final int WINDOW_HEIGHT 740
public static final int WINDOW_MIN_HEIGHT 300
public static final int WINDOW_MIN_WIDTH 400
public static final int WINDOW_WIDTH 1024

edu.utep.cs.utjml.canica.MenuOptions
public static final int EDIT_COMMENT 8
public static final int EDIT_COPY 3
public static final int EDIT_CUT 2
public static final int EDIT_DELETE 5
public static final int EDIT_DELETELINE 6
public static final int EDIT_INCREASE_INDENT 10
public static final int EDIT_PASTE 4
public static final int EDIT_REDO 1
public static final int EDIT_REDUCE_INDENT 11
public static final int EDIT_SELECT_ALL 7
public static final int EDIT_UNCOMMENT 9
public static final int EDIT_UNDO 0
public static final int FILE_CLOSE 3
public static final int FILE_CLOSEALL 4
public static final int FILE_PRINT 6
public static final int FILE_PRINTER_SETUP 5
public static final int FILE_SAVE 0
public static final int FILE_SAVEALL 2
public static final int FILE_SAVEAS 1
public static final int INSERT_INSERT 3
public static final int OPTIONS_JAVADOC 0
public static final int OPTIONS_JMLDOC 1
public static final int SEARCH_FIND 1
public static final int SEARCH_GOTO 0
public static final int SEARCH_REPLACE 2
public static final int TEST_COMPILE_FORTEST 2
public static final int TEST_COMPILEJML_FORTEST 0
public static final int TEST_GENERATE_TEST 1
public static final int TEST_GUIAUTOMATION_TESTINGTOOL 6
public static final int TEST_LOAD_ANDTEST 5
public static final int TEST_RUNCLASSTEST 4
public static final int TEST_RUNTEST 3
public static final int TOOL_CHECKJML 0
public static final int TOOL_CHECKJML_ADVANCED 1
public static final int TOOL_COMPILEJAVA 2
public static final int TOOL_COMPILEJML 3
public static final int TOOL_RUN 4

edu.utep.cs.utjml.canica.jmleditor.JMLEditorable
public static final int NO_MESSAGE -1

edu.utep.cs.utjml.canica.jmleditor.lexer.JavaLexer
public static final int YYEOF -1
public static final int YYINITIAL 0

edu.utep.cs.utjml.canica.jmleditor.lexer.JavaToken
public static final int COMMENT_DOCUMENTATION 3360
public static final int COMMENT_END_OF_LINE 3344
public static final int COMMENT_TRADITIONAL 3328
public static final int ERROR_DOUBLE_SIZE 3895
public static final int ERROR_FLOAT 3896
public static final int ERROR_FLOAT_SIZE 3894
public static final int ERROR_IDENTIFIER 3840
public static final int ERROR_INTEGER_DECIMIAL_SIZE 3888
public static final int ERROR_INTEGER_HEXIDECIMAL_SIZE 3890
public static final int ERROR_INTEGER_OCTAL_SIZE 3889
public static final int ERROR_LONG_DECIMIAL_SIZE 3891
public static final int ERROR_LONG_HEXIDECIMAL_SIZE 3893
public static final int ERROR_LONG_OCTAL_SIZE 3892
public static final int ERROR_MALFORMED_CHARACTER 3873
public static final int ERROR_MALFORMED_STRING 3857
public static final int ERROR_MALFORMED_UNCLOSED_CHARACTER 3874
public static final int ERROR_MALFORMED_UNCLOSED_STRING 3858
public static final int ERROR_UNCLOSED_CHARACTER 3872
public static final int ERROR_UNCLOSED_COMMENT 3904
public static final int ERROR_UNCLOSED_STRING 3856
public static final int IDENTIFIER 512
public static final int LITERAL_BOOLEAN 768
public static final int LITERAL_CHARACTER 848
public static final int LITERAL_DOUBLE 832
public static final int LITERAL_FLOATING_POINT 816
public static final int LITERAL_INTEGER_DECIMAL 784
public static final int LITERAL_INTEGER_HEXIDECIMAL 786
public static final int LITERAL_INTEGER_OCTAL 785
public static final int LITERAL_LONG_DECIMAL 800
public static final int LITERAL_LONG_HEXIDECIMAL 802
public static final int LITERAL_LONG_OCTAL 801
public static final int LITERAL_NULL 880
public static final int LITERAL_STRING 864
public static final int OPERATOR_ADD 1312
public static final int OPERATOR_ADD_ASSIGN 1376
public static final int OPERATOR_ASSIGN 1360
public static final int OPERATOR_BITWISE_AND 1329
public static final int OPERATOR_BITWISE_AND_ASSIGN 1393
public static final int OPERATOR_BITWISE_COMPLIMENT 1328
public static final int OPERATOR_BITWISE_OR 1330
public static final int OPERATOR_BITWISE_OR_ASSIGN 1394
public static final int OPERATOR_BITWISE_XOR 1331
public static final int OPERATOR_BITWISE_XOR_ASSIGN 1395
public static final int OPERATOR_COLON 1441
public static final int OPERATOR_DECREMENT 1425
public static final int OPERATOR_DIVIDE 1315
public static final int OPERATOR_DIVIDE_ASSIGN 1379
public static final int OPERATOR_EQUAL 1284
public static final int OPERATOR_GREATER_THAN 1280
public static final int OPERATOR_GREATER_THAN_OR_EQUAL 1283
public static final int OPERATOR_INCREMENT 1424
public static final int OPERATOR_LESS_THAN 1281
public static final int OPERATOR_LESS_THAN_OR_EQUAL 1282
public static final int OPERATOR_LOGICAL_AND 1297
public static final int OPERATOR_LOGICAL_NOT 1296
public static final int OPERATOR_LOGICAL_OR 1298
public static final int OPERATOR_MOD 1316
public static final int OPERATOR_MOD_ASSIGN 1380
public static final int OPERATOR_MULTIPLY 1314
public static final int OPERATOR_MULTIPLY_ASSIGN 1378
public static final int OPERATOR_NOT_EQUAL 1285
public static final int OPERATOR_QUESTION 1440
public static final int OPERATOR_SHIFT_LEFT 1344
public static final int OPERATOR_SHIFT_LEFT_ASSIGN 1408
public static final int OPERATOR_SHIFT_RIGHT 1345
public static final int OPERATOR_SHIFT_RIGHT_ASSIGN 1409
public static final int OPERATOR_SHIFT_RIGHT_UNSIGNED 1346
public static final int OPERATOR_SHIFT_RIGHT_UNSIGNED_ASSIGN 1410
public static final int OPERATOR_SUBTRACT 1313
public static final int OPERATOR_SUBTRACT_ASSIGN 1377
public static final int RESERVED_WORD_ABSTRACT 257
public static final int RESERVED_WORD_BOOLEAN 258
public static final int RESERVED_WORD_BREAK 259
public static final int RESERVED_WORD_BYTE 260
public static final int RESERVED_WORD_CASE 261
public static final int RESERVED_WORD_CATCH 262
public static final int RESERVED_WORD_CHAR 263
public static final int RESERVED_WORD_CLASS 264
public static final int RESERVED_WORD_CONST 265
public static final int RESERVED_WORD_CONTINUE 266
public static final int RESERVED_WORD_DEFAULT 267
public static final int RESERVED_WORD_DO 268
public static final int RESERVED_WORD_DOUBLE 269
public static final int RESERVED_WORD_ELSE 270
public static final int RESERVED_WORD_EXTENDS 271
public static final int RESERVED_WORD_FINAL 272
public static final int RESERVED_WORD_FINALLY 273
public static final int RESERVED_WORD_FLOAT 274
public static final int RESERVED_WORD_FOR 275
public static final int RESERVED_WORD_GOTO 276
public static final int RESERVED_WORD_IF 277
public static final int RESERVED_WORD_IMPLEMENTS 278
public static final int RESERVED_WORD_IMPORT 279
public static final int RESERVED_WORD_INSTANCEOF 280
public static final int RESERVED_WORD_INT 281
public static final int RESERVED_WORD_INTERFACE 282
public static final int RESERVED_WORD_LONG 283
public static final int RESERVED_WORD_NATIVE 284
public static final int RESERVED_WORD_NEW 285
public static final int RESERVED_WORD_PACKAGE 286
public static final int RESERVED_WORD_PRIVATE 287
public static final int RESERVED_WORD_PROTECTED 288
public static final int RESERVED_WORD_PUBLIC 289
public static final int RESERVED_WORD_RETURN 290
public static final int RESERVED_WORD_SHORT 291
public static final int RESERVED_WORD_STATIC 292
public static final int RESERVED_WORD_STRICTFP 304
public static final int RESERVED_WORD_SUPER 293
public static final int RESERVED_WORD_SWITCH 294
public static final int RESERVED_WORD_SYNCHRONIZED 295
public static final int RESERVED_WORD_THIS 296
public static final int RESERVED_WORD_THROW 297
public static final int RESERVED_WORD_THROWS 298
public static final int RESERVED_WORD_TRANSIENT 299
public static final int RESERVED_WORD_TRY 300
public static final int RESERVED_WORD_VOID 301
public static final int RESERVED_WORD_VOLATILE 302
public static final int RESERVED_WORD_WHILE 303
public static final int SEPARATOR_COMMA 1088
public static final int SEPARATOR_LBRACE 1040
public static final int SEPARATOR_LBRACKET 1056
public static final int SEPARATOR_LPAREN 1024
public static final int SEPARATOR_PERIOD 1104
public static final int SEPARATOR_RBRACE 1041
public static final int SEPARATOR_RBRACKET 1057
public static final int SEPARATOR_RPAREN 1025
public static final int SEPARATOR_SEMICOLON 1072
public static final int WHITE_SPACE 3584

edu.utep.cs.utjml.canica.jmleditor.lexer.Token
public static final int INITIAL_STATE 0
public static final int UNDEFINED_STATE -1

edu.utep.cs.utjml.canica.output.OutputPaneable
public static final int VIEW_CONSOLE 0
public static final int VIEW_RUNTEST 2
public static final int VIEW_TESTGENERATION 1

edu.utep.cs.utjml.canica.output.TestSummaryTable
public static final int COL_ATOMEXP 3
public static final int COL_ATTEMPTS 4
public static final int COL_COVERAGE 6
public static final int COL_ICON 0
public static final int COL_MEANINGLESS 5
public static final int COL_METHOD 1
public static final int COL_TC 2

edu.utep.cs.utjml.compiler.JmlCallSequenceExpression
public static final int OPR_ALT 1
public static final int OPR_PLUS 4
public static final int OPR_SEQ 2
public static final int OPR_STAR 3

edu.utep.cs.utjml.compiler.JmlTopIDTokenTypes
public static final int DOT_DOT 118

edu.utep.cs.utjml.compiler.TestSuite
public static final String TEST_DESC "Test suite for edu.utep.cs.utjml.compiler"

edu.utep.cs.utjml.compiler.UtConstants
public static final String JML_AUTOMATA "edu.utep.cs.utjml.compiler.rt.JMLAutomata"
public static final String JML_CALL_SEQUENCE_ERROR "edu.utep.cs.utjml.compiler.rt.JMLCallSequenceError"
public static final String MN_CHECK_CS "checkCS$"

edu.utep.cs.utjml.compiler.UtJmlIDTokenTypes
public static final int LITERAL_call_sequence 303
public static final int LITERAL_call_sequence_redundantly 304

edu.utep.cs.utjml.compiler.UtJmlLexerTokenTypes
public static final int AFFIRM 302
public static final int ASSIGN 65
public static final int AT 66
public static final int BACKWARD_IMPLIES 294
public static final int BAND 67
public static final int BAND_ASSIGN 68
public static final int BNOT 69
public static final int BOR 70
public static final int BOR_ASSIGN 71
public static final int BSR 72
public static final int BSR_ASSIGN 73
public static final int BXOR 74
public static final int BXOR_ASSIGN 75
public static final int CHARACTER_LITERAL 112
public static final int COLON 76
public static final int COMMA 77
public static final int DEC 78
public static final int DOT 79
public static final int DOT_DOT 118
public static final int EOF 1
public static final int EQUAL 80
public static final int EQUIV 295
public static final int ESC 316
public static final int EXPONENT 319
public static final int FLOAT_SUFFIX 320
public static final int GE 81
public static final int GT 82
public static final int HEX_DIGIT 317
public static final int IDENT 113
public static final int IMPLIES 293
public static final int INC 83
public static final int INFORMAL_DESC 292
public static final int INTEGER_LITERAL 114
public static final int JAVADOC_OPEN 117
public static final int L_ARROW 298
public static final int LAND 84
public static final int LBRACK 85
public static final int LCURLY 86
public static final int LCURLY_VBAR 300
public static final int LE 87
public static final int LITERAL__nowarn 63
public static final int LITERAL__nowarn_op 64
public static final int LITERAL__warn 61
public static final int LITERAL__warn_op 62
public static final int LITERAL_abrupt_behavior 169
public static final int LITERAL_abrupt_behaviour 170
public static final int LITERAL_abstract 4
public static final int LITERAL_accessible 171
public static final int LITERAL_accessible_redundantly 172
public static final int LITERAL_also 173
public static final int LITERAL_assert 5
public static final int LITERAL_assert_redundantly 174
public static final int LITERAL_assignable 175
public static final int LITERAL_assignable_redundantly 176
public static final int LITERAL_assume 177
public static final int LITERAL_assume_redundantly 178
public static final int LITERAL_axiom 179
public static final int LITERAL_behavior 180
public static final int LITERAL_behaviour 181
public static final int LITERAL_boolean 6
public static final int LITERAL_break 7
public static final int LITERAL_breaks 182
public static final int LITERAL_breaks_redundantly 183
public static final int LITERAL_BS_bigint 120
public static final int LITERAL_BS_bigint_math 121
public static final int LITERAL_BS_duration 122
public static final int LITERAL_BS_elemtype 123
public static final int LITERAL_BS_everything 124
public static final int LITERAL_BS_exists 125
public static final int LITERAL_BS_forall 126
public static final int LITERAL_BS_fresh 127
public static final int LITERAL_BS_into 128
public static final int LITERAL_BS_invariant_for 129
public static final int LITERAL_BS_is_initialized 130
public static final int LITERAL_BS_java_math 131
public static final int LITERAL_BS_lblneg 132
public static final int LITERAL_BS_lblpos 133
public static final int LITERAL_BS_lockset 134
public static final int LITERAL_BS_max 135
public static final int LITERAL_BS_min 136
public static final int LITERAL_BS_nonnullelements 137
public static final int LITERAL_BS_not_assigned 139
public static final int LITERAL_BS_not_modified 138
public static final int LITERAL_BS_not_specified 140
public static final int LITERAL_BS_nothing 141
public static final int LITERAL_BS_nowarn 142
public static final int LITERAL_BS_nowarn_op 143
public static final int LITERAL_BS_num_of 144
public static final int LITERAL_BS_old 145
public static final int LITERAL_BS_only_accessed 147
public static final int LITERAL_BS_only_assigned 146
public static final int LITERAL_BS_only_called 148
public static final int LITERAL_BS_only_captured 149
public static final int LITERAL_BS_other 150
public static final int LITERAL_BS_pre 151
public static final int LITERAL_BS_product 152
public static final int LITERAL_BS_reach 153
public static final int LITERAL_BS_real 154
public static final int LITERAL_BS_result 155
public static final int LITERAL_BS_safe_math 156
public static final int LITERAL_BS_same 157
public static final int LITERAL_BS_space 158
public static final int LITERAL_BS_such_that 159
public static final int LITERAL_BS_sum 160
public static final int LITERAL_BS_type 161
public static final int LITERAL_BS_TYPE 119
public static final int LITERAL_BS_typeof 162
public static final int LITERAL_BS_warn 163
public static final int LITERAL_BS_warn_op 164
public static final int LITERAL_BS_working_space 165
public static final int LITERAL_byte 8
public static final int LITERAL_call_sequence 303
public static final int LITERAL_call_sequence_redundantly 304
public static final int LITERAL_callable 184
public static final int LITERAL_callable_redundantly 185
public static final int LITERAL_captures 186
public static final int LITERAL_captures_redundantly 187
public static final int LITERAL_case 9
public static final int LITERAL_catch 10
public static final int LITERAL_char 11
public static final int LITERAL_choose 188
public static final int LITERAL_choose_if 189
public static final int LITERAL_class 12
public static final int LITERAL_code 190
public static final int LITERAL_code_bigint_math 191
public static final int LITERAL_code_contract 192
public static final int LITERAL_code_java_math 193
public static final int LITERAL_code_safe_math 194
public static final int LITERAL_const 13
public static final int LITERAL_constraint 195
public static final int LITERAL_constraint_redundantly 196
public static final int LITERAL_constructor 197
public static final int LITERAL_continue 14
public static final int LITERAL_continues 198
public static final int LITERAL_continues_redundantly 199
public static final int LITERAL_debug 200
public static final int LITERAL_decreases 201
public static final int LITERAL_decreases_redundantly 202
public static final int LITERAL_decreasing 203
public static final int LITERAL_decreasing_redundantly 204
public static final int LITERAL_default 15
public static final int LITERAL_diverges 205
public static final int LITERAL_diverges_redundantly 206
public static final int LITERAL_do 16
public static final int LITERAL_double 17
public static final int LITERAL_duration 207
public static final int LITERAL_duration_redundantly 208
public static final int LITERAL_else 18
public static final int LITERAL_ensures 209
public static final int LITERAL_ensures_redundantly 210
public static final int LITERAL_example 211
public static final int LITERAL_exceptional_behavior 212
public static final int LITERAL_exceptional_behaviour 213
public static final int LITERAL_exceptional_example 214
public static final int LITERAL_exsures 215
public static final int LITERAL_exsures_redundantly 216
public static final int LITERAL_extends 19
public static final int LITERAL_false 20
public static final int LITERAL_field 217
public static final int LITERAL_final 21
public static final int LITERAL_finally 22
public static final int LITERAL_float 23
public static final int LITERAL_for 24
public static final int LITERAL_for_example 219
public static final int LITERAL_forall 218
public static final int LITERAL_ghost 220
public static final int LITERAL_goto 25
public static final int LITERAL_helper 221
public static final int LITERAL_hence_by 222
public static final int LITERAL_hence_by_redundantly 223
public static final int LITERAL_if 26
public static final int LITERAL_implements 27
public static final int LITERAL_implies_that 224
public static final int LITERAL_import 28
public static final int LITERAL_in 225
public static final int LITERAL_in_redundantly 226
public static final int LITERAL_initializer 227
public static final int LITERAL_initially 228
public static final int LITERAL_instance 229
public static final int LITERAL_instanceof 29
public static final int LITERAL_int 30
public static final int LITERAL_interface 31
public static final int LITERAL_invariant 230
public static final int LITERAL_invariant_redundantly 231
public static final int LITERAL_long 32
public static final int LITERAL_loop_invariant 232
public static final int LITERAL_loop_invariant_redundantly 233
public static final int LITERAL_maintaining 234
public static final int LITERAL_maintaining_redundantly 235
public static final int LITERAL_maps 236
public static final int LITERAL_maps_redundantly 237
public static final int LITERAL_measured_by 238
public static final int LITERAL_measured_by_redundantly 239
public static final int LITERAL_method 240
public static final int LITERAL_model 241
public static final int LITERAL_model_program 242
public static final int LITERAL_modifiable 243
public static final int LITERAL_modifiable_redundantly 244
public static final int LITERAL_modifies 245
public static final int LITERAL_modifies_redundantly 246
public static final int LITERAL_monitored 247
public static final int LITERAL_monitors_for 248
public static final int LITERAL_native 33
public static final int LITERAL_new 34
public static final int LITERAL_non_null 249
public static final int LITERAL_non_null_by_default 250
public static final int LITERAL_normal_behavior 251
public static final int LITERAL_normal_behaviour 252
public static final int LITERAL_normal_example 253
public static final int LITERAL_null 35
public static final int LITERAL_nullable 254
public static final int LITERAL_nullable_by_default 255
public static final int LITERAL_old 256
public static final int LITERAL_or 257
public static final int LITERAL_package 36
public static final int LITERAL_peer 40
public static final int LITERAL_post 258
public static final int LITERAL_post_redundantly 259
public static final int LITERAL_pre 260
public static final int LITERAL_pre_redundantly 261
public static final int LITERAL_private 37
public static final int LITERAL_protected 38
public static final int LITERAL_public 39
public static final int LITERAL_pure 43
public static final int LITERAL_query 262
public static final int LITERAL_readable 263
public static final int LITERAL_readonly 41
public static final int LITERAL_refine 264
public static final int LITERAL_refines 265
public static final int LITERAL_rep 42
public static final int LITERAL_represents 266
public static final int LITERAL_represents_redundantly 267
public static final int LITERAL_requires 268
public static final int LITERAL_requires_redundantly 269
public static final int LITERAL_resend 44
public static final int LITERAL_return 45
public static final int LITERAL_returns 270
public static final int LITERAL_returns_redundantly 271
public static final int LITERAL_secret 272
public static final int LITERAL_set 273
public static final int LITERAL_short 46
public static final int LITERAL_signals 274
public static final int LITERAL_signals_only 275
public static final int LITERAL_signals_only_redundantly 276
public static final int LITERAL_signals_redundantly 277
public static final int LITERAL_spec_bigint_math 278
public static final int LITERAL_spec_java_math 279
public static final int LITERAL_spec_protected 280
public static final int LITERAL_spec_public 281
public static final int LITERAL_spec_safe_math 282
public static final int LITERAL_static 47
public static final int LITERAL_static_initializer 283
public static final int LITERAL_strictfp 48
public static final int LITERAL_super 49
public static final int LITERAL_switch 50
public static final int LITERAL_synchronized 51
public static final int LITERAL_this 52
public static final int LITERAL_throw 53
public static final int LITERAL_throws 54
public static final int LITERAL_transient 55
public static final int LITERAL_true 56
public static final int LITERAL_try 57
public static final int LITERAL_U_peer 166
public static final int LITERAL_U_readonly 168
public static final int LITERAL_U_rep 167
public static final int LITERAL_uninitialized 284
public static final int LITERAL_unreachable 285
public static final int LITERAL_void 58
public static final int LITERAL_volatile 59
public static final int LITERAL_weakly 286
public static final int LITERAL_when 287
public static final int LITERAL_when_redundantly 288
public static final int LITERAL_while 60
public static final int LITERAL_working_space 289
public static final int LITERAL_working_space_redundantly 290
public static final int LITERAL_writable 291
public static final int LNOT 88
public static final int LOR 89
public static final int LPAREN 90
public static final int LT 91
public static final int MINUS 92
public static final int MINUS_ASSIGN 93
public static final int ML_COMMENT 306
public static final int ML_COMMENT_REST 307
public static final int ML_EMPTY_COMMENT 314
public static final int NEWLINE 315
public static final int NON_NL_WS 313
public static final int NOT_EQUAL 94
public static final int NOT_EQUIV 296
public static final int NOWARN_LABEL 310
public static final int NOWARN_LABEL_LIST 309
public static final int NULL_TREE_LOOKAHEAD 3
public static final int OPTIONAL_PLUS 308
public static final int PERCENT 95
public static final int PERCENT_ASSIGN 96
public static final int PLUS 97
public static final int PLUS_ASSIGN 98
public static final int QUESTION 99
public static final int R_ARROW 297
public static final int RBRACK 100
public static final int RCURLY 101
public static final int REAL_LITERAL 115
public static final int RPAREN 102
public static final int SEMI 103
public static final int SKIP_TO_SEMI 311
public static final int SL 104
public static final int SL_ASSIGN 107
public static final int SL_COMMENT 305
public static final int SLASH 105
public static final int SLASH_ASSIGN 106
public static final int SR 108
public static final int SR_ASSIGN 109
public static final int STAR 110
public static final int STAR_ASSIGN 111
public static final int STRING_LITERAL 116
public static final int SUBTYPE_OF 299
public static final int VBAR_RCURLY 301
public static final int VOCAB 318
public static final int WS 312

edu.utep.cs.utjml.compiler.UtJmlTokenTypes
public static final int AFFIRM 302
public static final int ASSIGN 65
public static final int AT 66
public static final int BACKWARD_IMPLIES 294
public static final int BAND 67
public static final int BAND_ASSIGN 68
public static final int BNOT 69
public static final int BOR 70
public static final int BOR_ASSIGN 71
public static final int BSR 72
public static final int BSR_ASSIGN 73
public static final int BXOR 74
public static final int BXOR_ASSIGN 75
public static final int CHARACTER_LITERAL 112
public static final int COLON 76
public static final int COMMA 77
public static final int DEC 78
public static final int DOT 79
public static final int DOT_DOT 118
public static final int EOF 1
public static final int EQUAL 80
public static final int EQUIV 295
public static final int GE 81
public static final int GT 82
public static final int IDENT 113
public static final int IMPLIES 293
public static final int INC 83
public static final int INFORMAL_DESC 292
public static final int INTEGER_LITERAL 114
public static final int JAVADOC_OPEN 117
public static final int L_ARROW 298
public static final int LAND 84
public static final int LBRACK 85
public static final int LCURLY 86
public static final int LCURLY_VBAR 300
public static final int LE 87
public static final int LITERAL__nowarn 63
public static final int LITERAL__nowarn_op 64
public static final int LITERAL__warn 61
public static final int LITERAL__warn_op 62
public static final int LITERAL_abrupt_behavior 169
public static final int LITERAL_abrupt_behaviour 170
public static final int LITERAL_abstract 4
public static final int LITERAL_accessible 171
public static final int LITERAL_accessible_redundantly 172
public static final int LITERAL_also 173
public static final int LITERAL_assert 5
public static final int LITERAL_assert_redundantly 174
public static final int LITERAL_assignable 175
public static final int LITERAL_assignable_redundantly 176
public static final int LITERAL_assume 177
public static final int LITERAL_assume_redundantly 178
public static final int LITERAL_axiom 179
public static final int LITERAL_behavior 180
public static final int LITERAL_behaviour 181
public static final int LITERAL_boolean 6
public static final int LITERAL_break 7
public static final int LITERAL_breaks 182
public static final int LITERAL_breaks_redundantly 183
public static final int LITERAL_BS_bigint 120
public static final int LITERAL_BS_bigint_math 121
public static final int LITERAL_BS_duration 122
public static final int LITERAL_BS_elemtype 123
public static final int LITERAL_BS_everything 124
public static final int LITERAL_BS_exists 125
public static final int LITERAL_BS_forall 126
public static final int LITERAL_BS_fresh 127
public static final int LITERAL_BS_into 128
public static final int LITERAL_BS_invariant_for 129
public static final int LITERAL_BS_is_initialized 130
public static final int LITERAL_BS_java_math 131
public static final int LITERAL_BS_lblneg 132
public static final int LITERAL_BS_lblpos 133
public static final int LITERAL_BS_lockset 134
public static final int LITERAL_BS_max 135
public static final int LITERAL_BS_min 136
public static final int LITERAL_BS_nonnullelements 137
public static final int LITERAL_BS_not_assigned 139
public static final int LITERAL_BS_not_modified 138
public static final int LITERAL_BS_not_specified 140
public static final int LITERAL_BS_nothing 141
public static final int LITERAL_BS_nowarn 142
public static final int LITERAL_BS_nowarn_op 143
public static final int LITERAL_BS_num_of 144
public static final int LITERAL_BS_old 145
public static final int LITERAL_BS_only_accessed 147
public static final int LITERAL_BS_only_assigned 146
public static final int LITERAL_BS_only_called 148
public static final int LITERAL_BS_only_captured 149
public static final int LITERAL_BS_other 150
public static final int LITERAL_BS_pre 151
public static final int LITERAL_BS_product 152
public static final int LITERAL_BS_reach 153
public static final int LITERAL_BS_real 154
public static final int LITERAL_BS_result 155
public static final int LITERAL_BS_safe_math 156
public static final int LITERAL_BS_same 157
public static final int LITERAL_BS_space 158
public static final int LITERAL_BS_such_that 159
public static final int LITERAL_BS_sum 160
public static final int LITERAL_BS_type 161
public static final int LITERAL_BS_TYPE 119
public static final int LITERAL_BS_typeof 162
public static final int LITERAL_BS_warn 163
public static final int LITERAL_BS_warn_op 164
public static final int LITERAL_BS_working_space 165
public static final int LITERAL_byte 8
public static final int LITERAL_call_sequence 303
public static final int LITERAL_call_sequence_redundantly 304
public static final int LITERAL_callable 184
public static final int LITERAL_callable_redundantly 185
public static final int LITERAL_captures 186
public static final int LITERAL_captures_redundantly 187
public static final int LITERAL_case 9
public static final int LITERAL_catch 10
public static final int LITERAL_char 11
public static final int LITERAL_choose 188
public static final int LITERAL_choose_if 189
public static final int LITERAL_class 12
public static final int LITERAL_code 190
public static final int LITERAL_code_bigint_math 191
public static final int LITERAL_code_contract 192
public static final int LITERAL_code_java_math 193
public static final int LITERAL_code_safe_math 194
public static final int LITERAL_const 13
public static final int LITERAL_constraint 195
public static final int LITERAL_constraint_redundantly 196
public static final int LITERAL_constructor 197
public static final int LITERAL_continue 14
public static final int LITERAL_continues 198
public static final int LITERAL_continues_redundantly 199
public static final int LITERAL_debug 200
public static final int LITERAL_decreases 201
public static final int LITERAL_decreases_redundantly 202
public static final int LITERAL_decreasing 203
public static final int LITERAL_decreasing_redundantly 204
public static final int LITERAL_default 15
public static final int LITERAL_diverges 205
public static final int LITERAL_diverges_redundantly 206
public static final int LITERAL_do 16
public static final int LITERAL_double 17
public static final int LITERAL_duration 207
public static final int LITERAL_duration_redundantly 208
public static final int LITERAL_else 18
public static final int LITERAL_ensures 209
public static final int LITERAL_ensures_redundantly 210
public static final int LITERAL_example 211
public static final int LITERAL_exceptional_behavior 212
public static final int LITERAL_exceptional_behaviour 213
public static final int LITERAL_exceptional_example 214
public static final int LITERAL_exsures 215
public static final int LITERAL_exsures_redundantly 216
public static final int LITERAL_extends 19
public static final int LITERAL_false 20
public static final int LITERAL_field 217
public static final int LITERAL_final 21
public static final int LITERAL_finally 22
public static final int LITERAL_float 23
public static final int LITERAL_for 24
public static final int LITERAL_for_example 219
public static final int LITERAL_forall 218
public static final int LITERAL_ghost 220
public static final int LITERAL_goto 25
public static final int LITERAL_helper 221
public static final int LITERAL_hence_by 222
public static final int LITERAL_hence_by_redundantly 223
public static final int LITERAL_if 26
public static final int LITERAL_implements 27
public static final int LITERAL_implies_that 224
public static final int LITERAL_import 28
public static final int LITERAL_in 225
public static final int LITERAL_in_redundantly 226
public static final int LITERAL_initializer 227
public static final int LITERAL_initially 228
public static final int LITERAL_instance 229
public static final int LITERAL_instanceof 29
public static final int LITERAL_int 30
public static final int LITERAL_interface 31
public static final int LITERAL_invariant 230
public static final int LITERAL_invariant_redundantly 231
public static final int LITERAL_long 32
public static final int LITERAL_loop_invariant 232
public static final int LITERAL_loop_invariant_redundantly 233
public static final int LITERAL_maintaining 234
public static final int LITERAL_maintaining_redundantly 235
public static final int LITERAL_maps 236
public static final int LITERAL_maps_redundantly 237
public static final int LITERAL_measured_by 238
public static final int LITERAL_measured_by_redundantly 239
public static final int LITERAL_method 240
public static final int LITERAL_model 241
public static final int LITERAL_model_program 242
public static final int LITERAL_modifiable 243
public static final int LITERAL_modifiable_redundantly 244
public static final int LITERAL_modifies 245
public static final int LITERAL_modifies_redundantly 246
public static final int LITERAL_monitored 247
public static final int LITERAL_monitors_for 248
public static final int LITERAL_native 33
public static final int LITERAL_new 34
public static final int LITERAL_non_null 249
public static final int LITERAL_non_null_by_default 250
public static final int LITERAL_normal_behavior 251
public static final int LITERAL_normal_behaviour 252
public static final int LITERAL_normal_example 253
public static final int LITERAL_null 35
public static final int LITERAL_nullable 254
public static final int LITERAL_nullable_by_default 255
public static final int LITERAL_old 256
public static final int LITERAL_or 257
public static final int LITERAL_package 36
public static final int LITERAL_peer 40
public static final int LITERAL_post 258
public static final int LITERAL_post_redundantly 259
public static final int LITERAL_pre 260
public static final int LITERAL_pre_redundantly 261
public static final int LITERAL_private 37
public static final int LITERAL_protected 38
public static final int LITERAL_public 39
public static final int LITERAL_pure 43
public static final int LITERAL_query 262
public static final int LITERAL_readable 263
public static final int LITERAL_readonly 41
public static final int LITERAL_refine 264
public static final int LITERAL_refines 265
public static final int LITERAL_rep 42
public static final int LITERAL_represents 266
public static final int LITERAL_represents_redundantly 267
public static final int LITERAL_requires 268
public static final int LITERAL_requires_redundantly 269
public static final int LITERAL_resend 44
public static final int LITERAL_return 45
public static final int LITERAL_returns 270
public static final int LITERAL_returns_redundantly 271
public static final int LITERAL_secret 272
public static final int LITERAL_set 273
public static final int LITERAL_short 46
public static final int LITERAL_signals 274
public static final int LITERAL_signals_only 275
public static final int LITERAL_signals_only_redundantly 276
public static final int LITERAL_signals_redundantly 277
public static final int LITERAL_spec_bigint_math 278
public static final int LITERAL_spec_java_math 279
public static final int LITERAL_spec_protected 280
public static final int LITERAL_spec_public 281
public static final int LITERAL_spec_safe_math 282
public static final int LITERAL_static 47
public static final int LITERAL_static_initializer 283
public static final int LITERAL_strictfp 48
public static final int LITERAL_super 49
public static final int LITERAL_switch 50
public static final int LITERAL_synchronized 51
public static final int LITERAL_this 52
public static final int LITERAL_throw 53
public static final int LITERAL_throws 54
public static final int LITERAL_transient 55
public static final int LITERAL_true 56
public static final int LITERAL_try 57
public static final int LITERAL_U_peer 166
public static final int LITERAL_U_readonly 168
public static final int LITERAL_U_rep 167
public static final int LITERAL_uninitialized 284
public static final int LITERAL_unreachable 285
public static final int LITERAL_void 58
public static final int LITERAL_volatile 59
public static final int LITERAL_weakly 286
public static final int LITERAL_when 287
public static final int LITERAL_when_redundantly 288
public static final int LITERAL_while 60
public static final int LITERAL_working_space 289
public static final int LITERAL_working_space_redundantly 290
public static final int LITERAL_writable 291
public static final int LNOT 88
public static final int LOR 89
public static final int LPAREN 90
public static final int LT 91
public static final int MINUS 92
public static final int MINUS_ASSIGN 93
public static final int NOT_EQUAL 94
public static final int NOT_EQUIV 296
public static final int NULL_TREE_LOOKAHEAD 3
public static final int PERCENT 95
public static final int PERCENT_ASSIGN 96
public static final int PLUS 97
public static final int PLUS_ASSIGN 98
public static final int QUESTION 99
public static final int R_ARROW 297
public static final int RBRACK 100
public static final int RCURLY 101
public static final int REAL_LITERAL 115
public static final int RPAREN 102
public static final int SEMI 103
public static final int SL 104
public static final int SL_ASSIGN 107
public static final int SLASH 105
public static final int SLASH_ASSIGN 106
public static final int SR 108
public static final int SR_ASSIGN 109
public static final int STAR 110
public static final int STAR_ASSIGN 111
public static final int STRING_LITERAL 116
public static final int SUBTYPE_OF 299
public static final int VBAR_RCURLY 301

edu.utep.cs.utjml.gui.ExplorerPane
public static final String BLANK_ICON " "
public static final String CLASS_EXTENSION ".class"
public static final String COPYRIGHT "Copyright (c) 2004 The University of Texas at El Paso"
public static final boolean DEBUG true
public static final String EDIT_MENU_NAME "Edit"
public static final char EXPLORER_DIR 67
public static final String FILE_MENU_NAME "File"
public static final String HELP_MENU_NAME "Help"
public static final String JAVA "java"
public static final String JAVA_EXTENSION ".java"
public static final String JAVAC "javac"
public static final String JUNIT_SWINGGUI_TESTRUNNER "junit.swingui.TestRunner"
public static final String OPTION_MENU_NAME "Option"
public static final String TEST_MENU_NAME "Test"
public static final String TOOL_MENU_NAME "Tool"
public static final String VERSION "0.24a"
public static final String WEB_PAGE_LOCATION "http://www.cs.utep.edu/"
public static final String WEB_PAGE_NAME "Web Page"
public static final int WINDOW_HEIGHT 600
public static final int WINDOW_MIN_HEIGHT 300
public static final int WINDOW_MIN_WIDTH 400
public static final int WINDOW_WIDTH 800

edu.utep.cs.utjml.gui.Main
public static final String BLANK_ICON " "
public static final String CLASS_EXTENSION ".class"
public static final String COPYRIGHT "Copyright (c) 2004 The University of Texas at El Paso"
public static final boolean DEBUG true
public static final String EDIT_MENU_NAME "Edit"
public static final char EXPLORER_DIR 67
public static final String FILE_MENU_NAME "File"
public static final String HELP_MENU_NAME "Help"
public static final String JAVA "java"
public static final String JAVA_EXTENSION ".java"
public static final String JAVAC "javac"
public static final String JUNIT_SWINGGUI_TESTRUNNER "junit.swingui.TestRunner"
public static final String OPTION_MENU_NAME "Option"
public static final String TEST_MENU_NAME "Test"
public static final String TOOL_MENU_NAME "Tool"
public static final String VERSION "0.24a"
public static final String WEB_PAGE_LOCATION "http://www.cs.utep.edu/"
public static final String WEB_PAGE_NAME "Web Page"
public static final int WINDOW_HEIGHT 600
public static final int WINDOW_MIN_HEIGHT 300
public static final int WINDOW_MIN_WIDTH 400
public static final int WINDOW_WIDTH 800

edu.utep.cs.utjml.gui.OutputPane
public static final String BLANK_ICON " "
public static final String CLASS_EXTENSION ".class"
public static final String COPYRIGHT "Copyright (c) 2004 The University of Texas at El Paso"
public static final boolean DEBUG true
public static final String EDIT_MENU_NAME "Edit"
public static final char EXPLORER_DIR 67
public static final String FILE_MENU_NAME "File"
public static final String HELP_MENU_NAME "Help"
public static final String JAVA "java"
public static final String JAVA_EXTENSION ".java"
public static final String JAVAC "javac"
public static final String JUNIT_SWINGGUI_TESTRUNNER "junit.swingui.TestRunner"
public static final String OPTION_MENU_NAME "Option"
public static final String TEST_MENU_NAME "Test"
public static final String TOOL_MENU_NAME "Tool"
public static final String VERSION "0.24a"
public static final String WEB_PAGE_LOCATION "http://www.cs.utep.edu/"
public static final String WEB_PAGE_NAME "Web Page"
public static final int WINDOW_HEIGHT 600
public static final int WINDOW_MIN_HEIGHT 300
public static final int WINDOW_MIN_WIDTH 400
public static final int WINDOW_WIDTH 800

edu.utep.cs.utjml.gui.StatusBar
public static final String BLANK_ICON " "
public static final String CLASS_EXTENSION ".class"
public static final String COPYRIGHT "Copyright (c) 2004 The University of Texas at El Paso"
public static final boolean DEBUG true
public static final String EDIT_MENU_NAME "Edit"
public static final char EXPLORER_DIR 67
public static final String FILE_MENU_NAME "File"
public static final String HELP_MENU_NAME "Help"
public static final String JAVA "java"
public static final String JAVA_EXTENSION ".java"
public static final String JAVAC "javac"
public static final String JUNIT_SWINGGUI_TESTRUNNER "junit.swingui.TestRunner"
public static final String OPTION_MENU_NAME "Option"
public static final String TEST_MENU_NAME "Test"
public static final String TOOL_MENU_NAME "Tool"
public static final String VERSION "0.24a"
public static final String WEB_PAGE_LOCATION "http://www.cs.utep.edu/"
public static final String WEB_PAGE_NAME "Web Page"
public static final int WINDOW_HEIGHT 600
public static final int WINDOW_MIN_HEIGHT 300
public static final int WINDOW_MIN_WIDTH 400
public static final int WINDOW_WIDTH 800

edu.utep.cs.utjml.gui.TestWizard
public static final String BLANK_ICON " "
public static final String CLASS_EXTENSION ".class"
public static final String COPYRIGHT "Copyright (c) 2004 The University of Texas at El Paso"
public static final boolean DEBUG true
public static final String EDIT_MENU_NAME "Edit"
public static final char EXPLORER_DIR 67
public static final String FILE_MENU_NAME "File"
public static final String HELP_MENU_NAME "Help"
public static final String JAVA "java"
public static final String JAVA_EXTENSION ".java"
public static final String JAVAC "javac"
public static final String JUNIT_SWINGGUI_TESTRUNNER "junit.swingui.TestRunner"
public static final String OPTION_MENU_NAME "Option"
public static final String TEST_MENU_NAME "Test"
public static final String TOOL_MENU_NAME "Tool"
public static final String VERSION "0.24a"
public static final String WEB_PAGE_LOCATION "http://www.cs.utep.edu/"
public static final String WEB_PAGE_NAME "Web Page"
public static final int WINDOW_HEIGHT 600
public static final int WINDOW_MIN_HEIGHT 300
public static final int WINDOW_MIN_WIDTH 400
public static final int WINDOW_WIDTH 800

edu.utep.cs.utjml.gui.lexer.JavaLexer
public static final int YYEOF -1
public static final int YYINITIAL 0

edu.utep.cs.utjml.gui.lexer.JavaToken
public static final int COMMENT_DOCUMENTATION 3360
public static final int COMMENT_END_OF_LINE 3344
public static final int COMMENT_TRADITIONAL 3328
public static final int ERROR_DOUBLE_SIZE 3895
public static final int ERROR_FLOAT 3896
public static final int ERROR_FLOAT_SIZE 3894
public static final int ERROR_IDENTIFIER 3840
public static final int ERROR_INTEGER_DECIMIAL_SIZE 3888
public static final int ERROR_INTEGER_HEXIDECIMAL_SIZE 3890
public static final int ERROR_INTEGER_OCTAL_SIZE 3889
public static final int ERROR_LONG_DECIMIAL_SIZE 3891
public static final int ERROR_LONG_HEXIDECIMAL_SIZE 3893
public static final int ERROR_LONG_OCTAL_SIZE 3892
public static final int ERROR_MALFORMED_CHARACTER 3873
public static final int ERROR_MALFORMED_STRING 3857
public static final int ERROR_MALFORMED_UNCLOSED_CHARACTER 3874
public static final int ERROR_MALFORMED_UNCLOSED_STRING 3858
public static final int ERROR_UNCLOSED_CHARACTER 3872
public static final int ERROR_UNCLOSED_COMMENT 3904
public static final int ERROR_UNCLOSED_STRING 3856
public static final int IDENTIFIER 512
public static final int LITERAL_BOOLEAN 768
public static final int LITERAL_CHARACTER 848
public static final int LITERAL_DOUBLE 832
public static final int LITERAL_FLOATING_POINT 816
public static final int LITERAL_INTEGER_DECIMAL 784
public static final int LITERAL_INTEGER_HEXIDECIMAL 786
public static final int LITERAL_INTEGER_OCTAL 785
public static final int LITERAL_LONG_DECIMAL 800
public static final int LITERAL_LONG_HEXIDECIMAL 802
public static final int LITERAL_LONG_OCTAL 801
public static final int LITERAL_NULL 880
public static final int LITERAL_STRING 864
public static final int OPERATOR_ADD 1312
public static final int OPERATOR_ADD_ASSIGN 1376
public static final int OPERATOR_ASSIGN 1360
public static final int OPERATOR_BITWISE_AND 1329
public static final int OPERATOR_BITWISE_AND_ASSIGN 1393
public static final int OPERATOR_BITWISE_COMPLIMENT 1328
public static final int OPERATOR_BITWISE_OR 1330
public static final int OPERATOR_BITWISE_OR_ASSIGN 1394
public static final int OPERATOR_BITWISE_XOR 1331
public static final int OPERATOR_BITWISE_XOR_ASSIGN 1395
public static final int OPERATOR_COLON 1441
public static final int OPERATOR_DECREMENT 1425
public static final int OPERATOR_DIVIDE 1315
public static final int OPERATOR_DIVIDE_ASSIGN 1379
public static final int OPERATOR_EQUAL 1284
public static final int OPERATOR_GREATER_THAN 1280
public static final int OPERATOR_GREATER_THAN_OR_EQUAL 1283
public static final int OPERATOR_INCREMENT 1424
public static final int OPERATOR_LESS_THAN 1281
public static final int OPERATOR_LESS_THAN_OR_EQUAL 1282
public static final int OPERATOR_LOGICAL_AND 1297
public static final int OPERATOR_LOGICAL_NOT 1296
public static final int OPERATOR_LOGICAL_OR 1298
public static final int OPERATOR_MOD 1316
public static final int OPERATOR_MOD_ASSIGN 1380
public static final int OPERATOR_MULTIPLY 1314
public static final int OPERATOR_MULTIPLY_ASSIGN 1378
public static final int OPERATOR_NOT_EQUAL 1285
public static final int OPERATOR_QUESTION 1440
public static final int OPERATOR_SHIFT_LEFT 1344
public static final int OPERATOR_SHIFT_LEFT_ASSIGN 1408
public static final int OPERATOR_SHIFT_RIGHT 1345
public static final int OPERATOR_SHIFT_RIGHT_ASSIGN 1409
public static final int OPERATOR_SHIFT_RIGHT_UNSIGNED 1346
public static final int OPERATOR_SHIFT_RIGHT_UNSIGNED_ASSIGN 1410
public static final int OPERATOR_SUBTRACT 1313
public static final int OPERATOR_SUBTRACT_ASSIGN 1377
public static final int RESERVED_WORD_ABSTRACT 257
public static final int RESERVED_WORD_BOOLEAN 258
public static final int RESERVED_WORD_BREAK 259
public static final int RESERVED_WORD_BYTE 260
public static final int RESERVED_WORD_CASE 261
public static final int RESERVED_WORD_CATCH 262
public static final int RESERVED_WORD_CHAR 263
public static final int RESERVED_WORD_CLASS 264
public static final int RESERVED_WORD_CONST 265
public static final int RESERVED_WORD_CONTINUE 266
public static final int RESERVED_WORD_DEFAULT 267
public static final int RESERVED_WORD_DO 268
public static final int RESERVED_WORD_DOUBLE 269
public static final int RESERVED_WORD_ELSE 270
public static final int RESERVED_WORD_EXTENDS 271
public static final int RESERVED_WORD_FINAL 272
public static final int RESERVED_WORD_FINALLY 273
public static final int RESERVED_WORD_FLOAT 274
public static final int RESERVED_WORD_FOR 275
public static final int RESERVED_WORD_GOTO 276
public static final int RESERVED_WORD_IF 277
public static final int RESERVED_WORD_IMPLEMENTS 278
public static final int RESERVED_WORD_IMPORT 279
public static final int RESERVED_WORD_INSTANCEOF 280
public static final int RESERVED_WORD_INT 281
public static final int RESERVED_WORD_INTERFACE 282
public static final int RESERVED_WORD_LONG 283
public static final int RESERVED_WORD_NATIVE 284
public static final int RESERVED_WORD_NEW 285
public static final int RESERVED_WORD_PACKAGE 286
public static final int RESERVED_WORD_PRIVATE 287
public static final int RESERVED_WORD_PROTECTED 288
public static final int RESERVED_WORD_PUBLIC 289
public static final int RESERVED_WORD_RETURN 290
public static final int RESERVED_WORD_SHORT 291
public static final int RESERVED_WORD_STATIC 292
public static final int RESERVED_WORD_STRICTFP 304
public static final int RESERVED_WORD_SUPER 293
public static final int RESERVED_WORD_SWITCH 294
public static final int RESERVED_WORD_SYNCHRONIZED 295
public static final int RESERVED_WORD_THIS 296
public static final int RESERVED_WORD_THROW 297
public static final int RESERVED_WORD_THROWS 298
public static final int RESERVED_WORD_TRANSIENT 299
public static final int RESERVED_WORD_TRY 300
public static final int RESERVED_WORD_VOID 301
public static final int RESERVED_WORD_VOLATILE 302
public static final int RESERVED_WORD_WHILE 303
public static final int SEPARATOR_COMMA 1088
public static final int SEPARATOR_LBRACE 1040
public static final int SEPARATOR_LBRACKET 1056
public static final int SEPARATOR_LPAREN 1024
public static final int SEPARATOR_PERIOD 1104
public static final int SEPARATOR_RBRACE 1041
public static final int SEPARATOR_RBRACKET 1057
public static final int SEPARATOR_RPAREN 1025
public static final int SEPARATOR_SEMICOLON 1072
public static final int WHITE_SPACE 3584

edu.utep.cs.utjml.gui.lexer.Token
public static final int INITIAL_STATE 0
public static final int UNDEFINED_STATE -1

edu.utep.cs.utjml.rat.Constants
public static final String DOT_JAVA ".java"
public static final String PKG_JMLRAC "org.jmlspecs.jmlrac.runtime."
public static final String PKG_JMLUNIT "edu.utep.cs.utjml.rat."
public static final String PKG_JUNIT "junit.framework."
public static final String TEST_CLASS_FILE_NAME_POSTFIX "_JML_Test.java"
public static final String TEST_CLASS_NAME_POSTFIX "_JML_Test"
public static final String TEST_DATA_FILE_NAME_POSTFIX "_JML_TestData.java"
public static final String TEST_DATA_NAME_POSTFIX "_JML_TestData"
public static final String TEST_METHOD_NAME_PREFIX "oracle"

edu.utep.cs.utjml.rat.Main
public static final int PRI_TEST_CASE_GENERATION 550

edu.utep.cs.utjml.tgen.Constants
public static final String DOT_JAVA ".java"
public static final String PKG_JMLRAC "org.jmlspecs.jmlrac.runtime."
public static final String PKG_JMLUNIT "edu.utep.cs.utjml.tgen."
public static final String PKG_JUNIT "junit.framework."
public static final String TEST_CLASS_FILE_NAME_POSTFIX "_JML_Test.java"
public static final String TEST_CLASS_NAME_POSTFIX "_JML_Test"
public static final String TEST_DATA_FILE_NAME_POSTFIX "_JML_TestData.java"
public static final String TEST_DATA_NAME_POSTFIX "_JML_TestData"
public static final String TEST_METHOD_NAME_PREFIX "oracle"

edu.utep.cs.utjml.tgen.Main
public static final int PRI_TEST_CASE_GENERATION 550

Overview  Package  Class  Use  Tree  Deprecated  Index  Help 
UTJML
 PREV   NEXT FRAMES    NO FRAMES    
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.