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

# Constant Field Values

Contents

- escjava.*
- javafe.*
- junitutils.*

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"`

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

The ESC/Java2 Project Homepage