ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

Constant Field Values


Contents
escjava.*

escjava.Main
public static final java.lang.String version "ESCJava-2.0a9"

escjava.Options
public static final int JAVA_ASSERTIONS 0
public static final int JML_ASSERTIONS 1
public static final int LOOP_FALL_THRU 2
public static final int LOOP_FAST 0
public static final int LOOP_SAFE 1

escjava.ProverManager
private static final int NOTSTARTED 0
private static final int PUSHED 2
private static final int STARTED 1

escjava.Status
public static final int CHILDERROR 16
public static final int ILLEGAL -1
public static final int NOTPROCESSED 0
public static final int PARSED_CAUTION 5
public static final int PARSED_ERROR 6
public static final int PARSED_OK 4
public static final int PARSING_COMPLETE 6
public static final int RESOLVED_CAUTION 2
public static final int RESOLVED_COMPLETE 3
public static final int RESOLVED_ERROR 3
public static final int RESOLVED_OK 1
public static final int STATICCHECKED_CAUTION 12
public static final int STATICCHECKED_ERROR 11
public static final int STATICCHECKED_OK 13
public static final int STATICCHECKED_PASSEDIMMED 14
public static final int STATICCHECKED_TIMEOUT 15
public static final int TYPECHECK_COMPLETE 10
public static final int TYPECHECKED_CAUTION 8
public static final int TYPECHECKED_ERROR 7
public static final int TYPECHECKED_OK 10
public static final int TYPECHECKED_WAITING 9

escjava.Version
public static final java.lang.String VERSION "ESCJava-2.0a9"

escjava.ast.GeneratedTags
public static final int ARRAYRANGEREFEXPR 203
public static final int CALL 214
public static final int CONDITION 230
public static final int DEFPRED 231
public static final int DEFPREDAPPLEXPR 205
public static final int DEFPREDLETEXPR 204
public static final int DYNINSTCMD 211
public static final int EVERYTHINGEXPR 199
public static final int GETSCMD 206
public static final int GHOSTDECLPRAGMA 219
public static final int GUARDEXPR 195
public static final int IDENTIFIERMODIFIERPRAGMA 221
public static final int IMPORTPRAGMA 227
public static final int LABELEXPR 193
public static final int LAST_TAG 231
public static final int LOCKSETEXPR 198
public static final int LOOPCMD 213
public static final int MODELCONSTRUCTORDECLPRAGMA 216
public static final int MODELDECLPRAGMA 215
public static final int MODELMETHODDECLPRAGMA 218
public static final int MODELTYPEPRAGMA 217
public static final int MODIFIESGROUPPRAGMA 224
public static final int NOTHINGEXPR 200
public static final int NOTMODIFIEDEXPR 202
public static final int NOTSPECIFIEDEXPR 201
public static final int NOWARNPRAGMA 226
public static final int REACHMODIFIERPRAGMA 225
public static final int REFINEPRAGMA 228
public static final int RESEXPR 196
public static final int RESTOREFROMCMD 209
public static final int SEQCMD 212
public static final int SETCOMPEXPR 197
public static final int SETSTMTPRAGMA 222
public static final int SKOLEMCONSTANTPRAGMA 223
public static final int SPEC 229
public static final int STILLDEFERREDDECLPRAGMA 220
public static final int SUBGETSCMD 207
public static final int SUBSTEXPR 191
public static final int SUBSUBGETSCMD 208
public static final int TYPEEXPR 192
public static final int VARINCMD 210
public static final int WILDREFEXPR 194

escjava.ast.Modifiers
public static final int ACC_DESUGARED 4194304
public static final int ACC_HELPER 131072
public static final int ACC_MODEL 524288

escjava.ast.TagConstants
public static final int ABRUPT_BEHAVIOR 453
public static final int ACCESSIBLE 455
public static final int ACCESSIBLE_REDUNDANTLY 454
public static final int ALLOCLE 298
public static final int ALLOCLT 297
public static final int ALSO 456
public static final int ALSO_ENSURES 538
public static final int ALSO_EXSURES 539
public static final int ALSO_MODIFIES 540
public static final int ALSO_REFINE 457
public static final int ALSO_REQUIRES 541
public static final int ANY 243
public static final int ANYEQ 299
public static final int ANYNE 300
public static final int ARRAYFRESH 302
public static final int ARRAYLENGTH 301
public static final int ARRAYMAKE 303
public static final int ARRAYSHAPEMORE 304
public static final int ARRAYSHAPEONE 305
public static final int ASELEMS 306
public static final int ASFIELD 307
public static final int ASLOCKSET 308
public static final int ASSERT_REDUNDANTLY 458
public static final int ASSERTCMD 249
public static final int ASSIGNABLE 460
public static final int ASSIGNABLE_REDUNDANTLY 459
public static final int ASSUME 377
public static final int ASSUME_REDUNDANTLY 461
public static final int ASSUMECMD 250
public static final int AXIOM 378
public static final int BEHAVIOR 462
public static final int BIGINT 428
public static final int BIGINTTYPE 245
public static final int BOOLAND 309
public static final int BOOLANDX 310
public static final int BOOLEQ 311
public static final int BOOLIMPLIES 312
public static final int BOOLNE 313
public static final int BOOLNOT 314
public static final int BOOLOR 315
public static final int BREAKS 464
public static final int BREAKS_REDUNDANTLY 463
public static final int CALLABLE 466
public static final int CALLABLE_REDUNDANTLY 465
public static final int CAST 316
public static final int CHK_AS_ASSERT 375
public static final int CHK_AS_ASSUME 374
public static final int CHK_AS_SKIP 376
public static final int CHKADDINFO 295
public static final int CHKARITHMETIC 256
public static final int CHKARRAYSTORE 257
public static final int CHKASSERT 258
public static final int CHKASSUME 294
public static final int CHKCLASSCAST 259
public static final int CHKCODEREACHABILITY 260
public static final int CHKCONSISTENT 261
public static final int CHKCONSTRAINT 262
public static final int CHKCONSTRUCTORLEAK 263
public static final int CHKDECREASES_BOUND 264
public static final int CHKDECREASES_DECR 265
public static final int CHKDEFINEDNESS 266
public static final int CHKFREE 296
public static final int CHKINDEXNEGATIVE 267
public static final int CHKINDEXTOOBIG 268
public static final int CHKINITIALIZATION 269
public static final int CHKINITIALIZERLEAK 270
public static final int CHKINITIALLY 271
public static final int CHKLOCKINGORDER 272
public static final int CHKLOOPINVARIANT 273
public static final int CHKLOOPOBJECTINVARIANT 274
public static final int CHKMODIFIES 276
public static final int CHKMODIFIESEXTENSION 275
public static final int CHKNEGATIVEARRAYSIZE 277
public static final int CHKNONNULL 278
public static final int CHKNONNULLINIT 279
public static final int CHKNONNULLRESULT 280
public static final int CHKNULLPOINTER 281
public static final int CHKOBJECTINVARIANT 282
public static final int CHKOWNERNULL 283
public static final int CHKPOSTCONDITION 284
public static final int CHKPRECONDITION 285
public static final int CHKQUIET 293
public static final int CHKSHARING 286
public static final int CHKSHARINGALLNULL 287
public static final int CHKUNENFORCEBLEOBJECTINVARIANT 288
public static final int CHKUNEXPECTEDEXCEPTION 289
public static final int CHKUNEXPECTEDEXCEPTION2 290
public static final int CHKWRITABLE 292
public static final int CHKWRITABLEDEFERRED 291
public static final int CHOOSE 468
public static final int CHOOSE_IF 467
public static final int CHOOSECMD 251
public static final int CLASSLITERALFUNC 317
public static final int CLOSEPRAGMA 241
public static final int CODE_BIGINT_MATH 554
public static final int CODE_CONTRACT 379
public static final int CODE_JAVA_MATH 552
public static final int CODE_SAFE_MATH 553
public static final int CONDITIONAL 318
public static final int CONSTRAINT 470
public static final int CONSTRAINT_REDUNDANTLY 469
public static final int CONSTRUCTOR 471
public static final int CONTINUES 473
public static final int CONTINUES_REDUNDANTLY 472
public static final int DECREASES 380
public static final int DECREASES_REDUNDANTLY 474
public static final int DECREASING 476
public static final int DECREASING_REDUNDANTLY 475
public static final int DEPENDS 478
public static final int DEPENDS_REDUNDANTLY 477
public static final int DIVERGES 480
public static final int DIVERGES_REDUNDANTLY 479
public static final int DOTDOT 237
public static final int DTTFSA 381
public static final int DURATION 482
public static final int DURATION_REDUNDANTLY 481
public static final int ECLOSEDTIME 319
public static final int ELEMSNONNULL 383
public static final int ELEMTYPE 384
public static final int END 483
public static final int ENSURES 382
public static final int ENSURES_REDUNDANTLY 484
public static final int EVERYTHING 430
public static final int EXAMPLE 485
public static final int EXCEPTIONAL_BEHAVIOR 486
public static final int EXCEPTIONAL_EXAMPLE 487
public static final int EXISTS 385
public static final int EXPLIES 233
public static final int EXSURES 386
public static final int EXSURES_REDUNDANTLY 488
public static final int FCLOSEDTIME 320
public static final int FIELDKW 489
public static final int FIELDS_OF 431
public static final int FIRSTESCCHECKTAG 256
public static final int FIRSTESCKEYWORDTAG 538
public static final int FIRSTFUNCTIONTAG 297
public static final int FIRSTJMLKEYWORDTAG 377
public static final int FLOATINGADD 321
public static final int FLOATINGDIV 322
public static final int FLOATINGEQ 323
public static final int FLOATINGGE 324
public static final int FLOATINGGT 325
public static final int FLOATINGLE 326
public static final int FLOATINGLT 327
public static final int FLOATINGMOD 328
public static final int FLOATINGMUL 329
public static final int FLOATINGNE 330
public static final int FLOATINGNEG 331
public static final int FLOATINGSUB 332
public static final int FOR_EXAMPLE 491
public static final int FORALL 388
public static final int FRESH 387
public static final int FUNCTION 389
public static final int GHOST 390
public static final int HELPER 391
public static final int HENCE_BY 494
public static final int HENCE_BY_REDUNDANTLY 493
public static final int IFF 234
public static final int IMMUTABLE 392
public static final int IMPLIES 232
public static final int IMPLIES_THAT 492
public static final int IN 393
public static final int IN_REDUNDANTLY 394
public static final int INFORMALPRED_TOKEN 255
public static final int INITIALIZER 495
public static final int INITIALLY 496
public static final int INSTANCE 497
public static final int INTEGRALADD 333
public static final int INTEGRALAND 334
public static final int INTEGRALDIV 335
public static final int INTEGRALEQ 336
public static final int INTEGRALGE 337
public static final int INTEGRALGT 338
public static final int INTEGRALLE 339
public static final int INTEGRALLT 340
public static final int INTEGRALMOD 341
public static final int INTEGRALMUL 342
public static final int INTEGRALNE 343
public static final int INTEGRALNEG 344
public static final int INTEGRALNOT 345
public static final int INTEGRALOR 346
public static final int INTEGRALSUB 353
public static final int INTEGRALXOR 354
public static final int INTERN 355
public static final int INTERNED 356
public static final int INTO 395
public static final int INTSHIFTL 347
public static final int INTSHIFTR 349
public static final int INTSHIFTRU 351
public static final int INVARIANT 396
public static final int INVARIANT_FOR 432
public static final int INVARIANT_REDUNDANTLY 498
public static final int IS 357
public static final int IS_INITIALIZED 433
public static final int ISALLOCATED 358
public static final int ISNEWARRAY 359
public static final int LAST_TAG 557
public static final int LASTESCCHECKTAG 296
public static final int LASTESCKEYWORDTAG 557
public static final int LASTFUNCTIONTAG 373
public static final int LASTJMLKEYWORDTAG 537
public static final int LBLNEG 398
public static final int LBLPOS 397
public static final int LEFTARROW 238
public static final int LOCKLE 360
public static final int LOCKLT 361
public static final int LOCKSET 247
public static final int LONGSHIFTL 348
public static final int LONGSHIFTR 350
public static final int LONGSHIFTRU 352
public static final int LOOP_INVARIANT 399
public static final int LOOP_INVARIANT_REDUNDANTLY 499
public static final int LOOP_PREDICATE 400
public static final int LS 401
public static final int MAINTAINING 501
public static final int MAINTAINING_REDUNDANTLY 500
public static final int MAPS 402
public static final int MAPS_REDUNDANTLY 403
public static final int MAX 404
public static final int MAXQUANT 434
public static final int MAY_BE_NULL 545
public static final int MEASURED_BY 503
public static final int MEASURED_BY_REDUNDANTLY 502
public static final int METHOD 504
public static final int METHODCALL 362
public static final int MIN 435
public static final int MODEL 505
public static final int MODEL_PROGRAM 506
public static final int MODELPROGRAM_OR 514
public static final int MODIFIABLE 508
public static final int MODIFIABLE_REDUNDANTLY 507
public static final int MODIFIES 405
public static final int MODIFIES_REDUNDANTLY 509
public static final int MONITORED 406
public static final int MONITORED_BY 407
public static final int MONITORS_FOR 408
public static final int NESTEDMODIFIERPRAGMA 510
public static final int NIFF 235
public static final int NO_WACK_FORALL 490
public static final int NON_NULL 409
public static final int NON_NULL_REF_BY_DEFAULT 547
public static final int NORMAL_BEHAVIOR 511
public static final int NORMAL_EXAMPLE 512
public static final int NOT_MODIFIED 437
public static final int NOT_SPECIFIED 438
public static final int NOTHING 436
public static final int NOWARN 410
public static final int NOWARN_OP 440
public static final int NULL_REF_BY_DEFAULT 546
public static final int NUM_OF 441
public static final int OBJECTSET 248
public static final int OBS_PURE 548
public static final int OLD 513
public static final int OPENPRAGMA 240
public static final int OTHER 442
public static final int PARSEDSPECS 515
public static final int PEER 542
public static final int POSTCONDITION 517
public static final int POSTCONDITION_REDUNDANTLY 516
public static final int PRE 411
public static final int PRECONDITION 519
public static final int PRECONDITION_REDUNDANTLY 518
public static final int PRIVATE_DATA 443
public static final int PRODUCT 444
public static final int PURE 520
public static final int RAISECMD 252
public static final int REACH 445
public static final int READABLE 412
public static final int READABLE_IF 413
public static final int READONLY 543
public static final int REAL 446
public static final int REALTYPE 246
public static final int REFEQ 363
public static final int REFINE 521
public static final int REFNE 364
public static final int REP 544
public static final int REPRESENTS 523
public static final int REPRESENTS_REDUNDANTLY 522
public static final int REQUIRES 415
public static final int REQUIRES_REDUNDANTLY 524
public static final int RES 414
public static final int RETURNS 526
public static final int RETURNS_REDUNDANTLY 525
public static final int RIGHTARROW 239
public static final int SELECT 365
public static final int SET 416
public static final int SIGNALS 528
public static final int SIGNALS_ONLY 529
public static final int SIGNALS_REDUNDANTLY 527
public static final int SKIPCMD 253
public static final int SKOLEM_CONSTANT 427
public static final int SPACE 447
public static final int SPEC_BIGINT_MATH 557
public static final int SPEC_JAVA_MATH 555
public static final int SPEC_PROTECTED 530
public static final int SPEC_PUBLIC 417
public static final int SPEC_SAFE_MATH 556
public static final int STATIC_INITIALIZER 531
public static final int STILL_DEFERRED 418
public static final int STORE 366
public static final int STRINGCAT 367
public static final java.lang.String STRINGCATINFIX "java.lang.String._infixConcat_"
public static final int STRINGCATP 368
public static final int SUBCLASSING_CONTRACT 532
public static final int SUBTYPE 236
public static final int SUCH_THAT 448
public static final int SUM 449
public static final int SYMBOLLIT 242
public static final int TRYCMD 254
public static final int TYPE 419
public static final int TYPECODE 244
public static final int TYPEEQ 369
public static final int TYPELE 371
public static final int TYPENE 370
public static final int TYPEOF 421
public static final int TYPETYPE 420
public static final int UNINITIALIZED 422
public static final int UNREACHABLE 423
public static final int UNSET 372
public static final int VALLOCTIME 373
public static final int WACK_BIGINT_MATH 551
public static final int WACK_DURATION 429
public static final int WACK_JAVA_MATH 549
public static final int WACK_NOWARN 439
public static final int WACK_SAFE_MATH 550
public static final int WACK_WORKING_SPACE 452
public static final int WARN 450
public static final int WARN_OP 451
public static final int WEAKLY 533
public static final int WHEN 535
public static final int WHEN_REDUNDANTLY 534
public static final int WORKING_SPACE 537
public static final int WORKING_SPACE_REDUNDANTLY 536
public static final int WRITABLE 426
public static final int WRITABLE_DEFERRED 424
public static final int WRITABLE_IF 425

escjava.gui.GUI
static final int CHECK 3
static final int CLEAR -1
static final int PARSE 1
static final int RELOAD -2
static final int RESOLVE 0
static final int TYPECHECK 2

escjava.pa.generic.DisjunctionProver
public static final int INVALID 1
public static final int UNKNOWN 2
public static final int VALID 0

escjava.pa.generic.EnumNFindK
private final long seed 13302959l

escjava.pa.generic.Prover
public static final int INVALID 1
public static final int UNKNOWN 2
public static final int VALID 0

escjava.parser.EscPragmaParser
private static final boolean DEBUG false
static final int maxAnnotationNestingLevel 1

escjava.parser.JmlCorrelatedReader
public static final int C_COMMENT 1
public static final int COMMENTS_KINDS 3
public static final int EOL_COMMENT 0
public static final int JAVADOC_COMMENT 2

escjava.prover.Atom
public static final java.lang.String special "!#$%&*+-./:<=>?@[]^_{}"

escjava.prover.PPOutputStream
static final int lp 40
static final int rp 41

escjava.prover.SExpTypeError
private static final long serialVersionUID 5767797092888960711l

escjava.prover.SimplifyOutput
public static final int COMMENT 3
public static final int COUNTEREXAMPLE 4
public static final int END 11
public static final int EXCEEDED_PROVER_KILL_ITER 6
public static final int EXCEEDED_PROVER_KILL_TIME 5
public static final int EXCEEDED_PROVER_SUBGOAL_KILL_ITER 9
public static final int EXCEEDED_PROVER_SUBGOAL_KILL_TIME 8
public static final int INVALID 1
public static final int REACHED_CC_LIMIT 7
public static final int UNKNOWN 2
public static final int VALID 0
public static final int WARNING_TRIGGERLESS_QUANT 10

escjava.prover.SubProcess.Died
private static final long serialVersionUID 2624260378471410994l

escjava.tc.FlowInsensitiveChecks
protected static final int ACC_LOW_BOUND_Package 1
protected static final int ACC_LOW_BOUND_Private 0
protected static final int ACC_LOW_BOUND_Protected 2
protected static final int ACC_LOW_BOUND_Public 3
public static final int MSTATUS_CLASS_NEW_METHOD 1
public static final int MSTATUS_NEW_ROUTINE 0
public static final int MSTATUS_OVERRIDE 2

escjava.translate.escjava.translate.AuxInfoLink
static final int LINK_BUFFER_SIZE 1024

escjava.translate.VcToString
protected static final long MaxIntegral 1000000l

escjava.translate.VcToStringPvs
protected static final long MaxIntegral 1000000l

javafe.*

javafe.Options
public static final int NEVER_BINARY 3
public static final int NEVER_SOURCE 4
public static final int PREFER_BINARY 0
public static final int PREFER_RECENT 2
public static final int PREFER_SOURCE 1

javafe.Tool
public static final int badUsageExitCode 1
public static final int errorExitCode 2
public static final int okExitCode 0
public static final int outOfMemoryExitCode 3

javafe.ast._SpecialParserInterface
public static final int HC 31

javafe.ast.GeneratedTags
public static final int AMBIGUOUSMETHODINVOCATION 45
public static final int AMBIGUOUSVARIABLEACCESS 42
public static final int ARRAYINIT 33
public static final int ARRAYREFEXPR 35
public static final int ARRAYTYPE 53
public static final int ASSERTSTMT 13
public static final int BLOCKSTMT 11
public static final int BREAKSTMT 22
public static final int CASTEXPR 40
public static final int CATCHCLAUSE 32
public static final int CLASSDECL 3
public static final int CLASSDECLSTMT 15
public static final int CLASSLITERAL 47
public static final int COMPILATIONUNIT 0
public static final int COMPOUNDNAME 55
public static final int CONDEXPR 38
public static final int CONSTRUCTORDECL 5
public static final int CONSTRUCTORINVOCATION 31
public static final int CONTINUESTMT 23
public static final int DOSTMT 17
public static final int ERRORTYPE 51
public static final int EVALSTMT 19
public static final int EXPROBJECTDESIGNATOR 48
public static final int FIELDACCESS 44
public static final int FIELDDECL 9
public static final int FORMALPARADECL 10
public static final int FORSTMT 26
public static final int IFSTMT 25
public static final int INITBLOCK 7
public static final int INSTANCEOFEXPR 39
public static final int INTERFACEDECL 4
public static final int LABELSTMT 24
public static final int LAST_TAG 55
public static final int LOCALVARDECL 8
public static final int METHODDECL 6
public static final int METHODINVOCATION 46
public static final int NEWARRAYEXPR 37
public static final int NEWINSTANCEEXPR 36
public static final int ONDEMANDIMPORTDECL 2
public static final int PARENEXPR 41
public static final int RETURNSTMT 20
public static final int SIMPLENAME 54
public static final int SINGLETYPEIMPORTDECL 1
public static final int SKIPSTMT 27
public static final int SUPEROBJECTDESIGNATOR 50
public static final int SWITCHLABEL 28
public static final int SWITCHSTMT 12
public static final int SYNCHRONIZESTMT 18
public static final int THISEXPR 34
public static final int THROWSTMT 21
public static final int TRYCATCHSTMT 30
public static final int TRYFINALLYSTMT 29
public static final int TYPENAME 52
public static final int TYPEOBJECTDESIGNATOR 49
public static final int VARDECLSTMT 14
public static final int VARIABLEACCESS 43
public static final int WHILESTMT 16

javafe.ast.Identifier
static final int HC 31
private static final int INITIAL_CHAIN_SIZE 4
private static final int TABLE_SIZE 128

javafe.ast.Modifiers
public static final int ACC_ABSTRACT 1024
public static final int ACC_FINAL 16
public static final int ACC_NATIVE 256
public static final int ACC_PRIVATE 2
public static final int ACC_PROTECTED 4
public static final int ACC_PUBLIC 1
public static final int ACC_STATIC 8
public static final int ACC_STRICT 2048
public static final int ACC_SYNCHRONIZED 32
public static final int ACC_TRANSIENT 128
public static final int ACC_VOLATILE 64
public static final int ACCESS_MODIFIERS 7
public static final int NONE 0
public static final int SIZE_MODIFIER_BITSET 16

javafe.ast.OperatorTags
public static final int ADD 70
public static final int AND 57
public static final int ASGADD 79
public static final int ASGBITAND 84
public static final int ASGBITOR 85
public static final int ASGBITXOR 86
public static final int ASGDIV 77
public static final int ASGLSHIFT 81
public static final int ASGMUL 76
public static final int ASGREM 78
public static final int ASGRSHIFT 82
public static final int ASGSUB 80
public static final int ASGURSHIFT 83
public static final int ASSIGN 75
public static final int BITAND 60
public static final int BITNOT 90
public static final int BITOR 58
public static final int BITXOR 59
public static final int DEC 92
public static final int DIV 72
public static final int EQ 62
public static final int FIRST_TAG 56
public static final int GE 63
public static final int GT 64
public static final int INC 91
public static final int LAST_TAG 94
public static final int LE 65
public static final int LSHIFT 67
public static final int LT 66
public static final int MOD 73
public static final int NE 61
public static final int NOT 89
public static final int OR 56
public static final int POSTFIXDEC 94
public static final int POSTFIXINC 93
public static final int RSHIFT 68
public static final int STAR 74
public static final int SUB 71
public static final int UNARYADD 87
public static final int UNARYSUB 88
public static final int URSHIFT 69

javafe.ast.TagConstants
public static final int BOOLEANLIT 107
public static final int BOOLEANTYPE 97
public static final int BYTELIT 115
public static final int BYTETYPE 101
public static final int CHARLIT 110
public static final int CHARTYPE 98
public static final int DOUBLELIT 112
public static final int DOUBLETYPE 106
public static final int ERRORTYPE 96
public static final int FLOATLIT 111
public static final int FLOATTYPE 105
public static final int IDENT 95
public static final int INTLIT 108
public static final int INTTYPE 103
public static final int LAST_TAG 114
public static final int LONGLIT 109
public static final int LONGTYPE 104
public static final int NULL -1
public static final int NULLLIT 114
public static final int NULLTYPE 100
public static final int SHORTLIT 116
public static final int SHORTTYPE 102
public static final int STRINGLIT 113
public static final int VOIDTYPE 99

javafe.filespace.PkgTree
protected static final int IGNORE 0
protected static final int INCLUDE_NODE 1
protected static final int INCLUDE_TREE 2

javafe.filespace.Resolve_AmbiguousName
private static final long serialVersionUID 2257695944062705896l

javafe.genericfile.NormalGenericFile
private static final long serialVersionUID 4996822143630105487l

javafe.parser.FileFormatException
private static final long serialVersionUID -6923801838876618362l

javafe.parser.javafe.parser.PunctuationPrefixTree
public static final int CHILDLEN 94

javafe.parser.TagConstants
public static final int ABSTRACT 138
public static final int ASSERT 139
public static final int BOOLEAN 140
public static final int BREAK 141
public static final int BYTE 142
public static final int C_COMMENT 136
public static final int CASE 143
public static final int CATCH 144
public static final int CHAR 145
public static final int CLASS 146
public static final int COLON 134
public static final int COMMA 125
public static final int CONST 147
public static final int CONTINUE 148
public static final int DEFAULT 149
public static final int DO 150
public static final int DOUBLE 151
public static final int ELSE 152
public static final int EOF 115
public static final int EOL_COMMENT 137
public static final int EXTENDS 153
public static final int FALSE 154
public static final int FIELD 135
public static final int FINAL 155
public static final int FINALLY 156
public static final int FIRST_KEYWORD 138
public static final int FLOAT 157
public static final int FOR 158
public static final int GOTO 159
public static final int IF 160
public static final int IMPLEMENTS 161
public static final int IMPORT 162
public static final int INSTANCEOF 163
public static final int INT 164
public static final int INTERFACE 165
public static final int LAST_KEYWORD 189
public static final int LAST_TAG 189
public static final int LBRACE 127
public static final int LEXICALPRAGMA 118
public static final int LONG 166
public static final int LPAREN 129
public static final int LSQBRACKET 131
public static final int MAX_INT_PLUS_ONE 116
public static final int MAX_LONG_PLUS_ONE 117
public static final int MODIFIERPRAGMA 119
public static final int NATIVE 167
public static final int NEW 168
public static final int NULL 169
public static final int PACKAGE 170
public static final int POSTMODIFIERPRAGMA 120
public static final int PRIVATE 171
public static final int PROTECTED 172
public static final int PUBLIC 173
public static final int QUESTIONMARK 133
public static final int RBRACE 128
public static final int RETURN 174
public static final int RPAREN 130
public static final int RSQBRACKET 132
public static final int SEMICOLON 126
public static final int SHORT 175
public static final int STATIC 176
public static final int STMTPRAGMA 121
public static final int STRICT 177
public static final int SUPER 178
public static final int SWITCH 179
public static final int SYNCHRONIZED 180
public static final int THIS 181
public static final int THROW 182
public static final int THROWS 183
public static final int TRANSIENT 184
public static final int TRUE 185
public static final int TRY 186
public static final int TYPEDECLELEMPRAGMA 122
public static final int TYPEMODIFIERPRAGMA 123
public static final int UNKNOWN_KEYWORD 124
public static final int VOID 187
public static final int VOLATILE 188
public static final int WHILE 189

javafe.parser.Token
public static final int CLEAR 115

javafe.tc.LookupException
public static final int AMBIGUOUS 1
public static final int BADTYPECOMBO 2
public static final int NOTACCESSIBLE 3
public static final int NOTFOUND 0
private static final long serialVersionUID -1716616387246135949l

javafe.tc.TagConstants
public static final int LAST_TAG 190
public static final int TYPESIG 190

javafe.tc.TypeSig
public static final int CHECKED 6
public static final int CREATED 1
public static final int LINKSRESOLVED 4
public static final int PARSED 2
public static final int PREPPED 5
public static final int RESOLVINGLINKS 3
public static final java.lang.String THE_UNNAMED_PACKAGE ""

javafe.util.AssertionFailureException
private static final long serialVersionUID 6988776634359056514l

javafe.util.BufferedCorrelatedReader
static final int STARTFREELOC 1000000

javafe.util.CorrelatedReaderTest
static final int MASKDISCARD 15
static final int MASKRESET 31
static final int MASKSUBREADER 511
static final int SEED -889275714

javafe.util.ErrorSet
private static final java.lang.String CAUTION "Caution"
private static final java.lang.String ERROR "Error"
private static final java.lang.String FATALERROR "Fatal error"
private static final int TABSTOP 8
private static final java.lang.String WARNING "Warning"

javafe.util.FatalError
private static final long serialVersionUID 4916981747846620833l

javafe.util.FileCorrelatedReader
private static final int DEFAULTBUFSIZE 256
private static final int READBLOCKSIZE 256

javafe.util.Location
public static final int NULL 0

javafe.util.LocationManagerCorrelatedReader
static final int MAXFILESIZE 30000000
private static final int NLOA_DEFAULT_SIZE 200

javafe.util.NotImplementedException
private static final long serialVersionUID 582846680511107743l

javafe.util.UsageError
private static final long serialVersionUID 961376577543322857l

junitutils.*

junitutils.Diff
private static final java.lang.String DELIM "\n\r\f"
private static final java.lang.String NEW_CH "> "
private static final java.lang.String OLD_CH "< "

junitutils.TestFilesTestSuite
static final java.lang.String ORACLE_SUFFIX "-expected"
static final java.lang.String SAVED_SUFFIX "-ckd"

junitutils.Utils
private static final java.lang.String ORACLE_SUFFIX "-expected"
private static final java.lang.String SAVED_SUFFIX "-ckd"


ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage