Overview  Package  Class  Use  Tree  Deprecated  Index  Help 
ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved
 PREV   NEXT FRAMES    NO FRAMES    

Constant Field Values

Contents
escjava.*

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

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.0b0"

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

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

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

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 IMPL_PEER 124
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 192
public static final int LAST_TAG 192
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 PEER 190
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 READONLY 191
public static final int REP 189
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 192

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 193
public static final int TYPESIG 193

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"

Overview  Package  Class  Use  Tree  Deprecated  Index  Help 
ESC/Java2
© 2003,2004,2005,2006 David Cok and Joseph Kiniry
© 2005,2006 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved
 PREV   NEXT FRAMES    NO FRAMES    
The ESC/Java2 Project Homepage