Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

# Constant Field Values

Contents

- jif.ast.*
- jif.lang.*
- jif.parse.*
- jif.translate.*
- jif.types.*

jif.ast.*

jif.ast.AmbParam_c
`protected static final int` | `MAX_DISAMB_CALLS` | `100`

jif.lang.*

jif.lang.LabelUtil
`public static final boolean` | `COUNT_TIME` | `false`
`public static final boolean` | `USE_CACHING` | `true`

jif.parse.*

jif.parse.Grm
`public static final java.lang.String` | `END_LABEL_ANNOTATION` | `"end labels"`
`public static final java.lang.String` | `METHOD_ACTSFOR_ANNOTATION` | `"actsfor where-constraints"`
`public static final java.lang.String` | `METHOD_AUTH_ANNOTATION` | `"authority where-constraints"`
`public static final java.lang.String` | `METHOD_AUTO_ENDORSE_ANNOTATION` | `"auto-endorse where-constraints"`
`public static final java.lang.String` | `METHOD_CALLER_ANNOTATION` | `"caller where-constraints"`
`public static final java.lang.String` | `METHOD_LABEL_ASSERTION_ANNOTATION` | `"label leq where-constraints"`
`public static final java.lang.String` | `PC_BOUND_ANNOTATION` | `"pc bound"`
`public static final java.lang.String` | `TYPE_ANNOTATION` | `"labeled types"`

jif.parse.Lexer_c
`public static final int` | `CHARACTER` | `2`
`public static final int` | `END_OF_LINE_COMMENT` | `4`
`public static final int` | `STRING` | `1`
`public static final int` | `TRADITIONAL_COMMENT` | `3`
`public static final int` | `YYEOF` | `-1`
`public static final int` | `YYINITIAL` | `0`

jif.parse.sym
`public static final int` | `ABSTRACT` | `29`
`public static final int` | `ACTSFOR` | `116`
`public static final int` | `ACTSFOR_LOWER` | `117`
`public static final int` | `AND` | `77`
`public static final int` | `ANDAND` | `80`
`public static final int` | `ANDEQ` | `91`
`public static final int` | `ASSERT` | `105`
`public static final int` | `AUTHORITY` | `114`
`public static final int` | `BOOLEAN` | `2`
`public static final int` | `BOOLEAN_LITERAL` | `100`
`public static final int` | `BREAK` | `51`
`public static final int` | `BYTE` | `3`
`public static final int` | `CALLER` | `115`
`public static final int` | `CASE` | `46`
`public static final int` | `CATCH` | `56`
`public static final int` | `CHAR` | `7`
`public static final int` | `CHARACTER_LITERAL` | `101`
`public static final int` | `CLASS` | `35`
`public static final int` | `COLON` | `22`
`public static final int` | `COMMA` | `16`
`public static final int` | `COMP` | `63`
`public static final int` | `CONST` | `106`
`public static final int` | `CONTINUE` | `52`
`public static final int` | `COVARIANT` | `112`
`public static final int` | `DECLASSIFY` | `119`
`public static final int` | `DEFAULT` | `47`
`public static final int` | `DIV` | `65`
`public static final int` | `DIVEQ` | `84`
`public static final int` | `DO` | `48`
`public static final int` | `DOT` | `13`
`public static final int` | `DOUBLE` | `9`
`public static final int` | `DOUBLE_LITERAL` | `98`
`public static final int` | `ELSE` | `44`
`public static final int` | `ENDORSE` | `120`
`public static final int` | `EOF` | `0`
`public static final int` | `EQ` | `19`
`public static final int` | `EQEQ` | `75`
`public static final int` | `EQUIV` | `118`
`public static final int` | `error` | `1`
`public static final int` | `EXTENDS` | `36`
`public static final int` | `FINAL` | `30`
`public static final int` | `FINALLY` | `57`
`public static final int` | `FLOAT` | `8`
`public static final int` | `FLOAT_LITERAL` | `99`
`public static final int` | `FOR` | `50`
`public static final int` | `GOTO` | `107`
`public static final int` | `GT` | `71`
`public static final int` | `GTEQ` | `73`
`public static final int` | `IDENTIFIER` | `12`
`public static final int` | `IF` | `43`
`public static final int` | `IMPLEMENTS` | `37`
`public static final int` | `IMPORT` | `24`
`public static final int` | `INSTANCEOF` | `74`
`public static final int` | `INT` | `5`
`public static final int` | `INTEGER_LITERAL` | `94`
`public static final int` | `INTEGER_LITERAL_BD` | `95`
`public static final int` | `INTERFACE` | `42`
`public static final int` | `INVARIANT` | `113`
`public static final int` | `JOIN` | `122`
`public static final int` | `LABEL` | `111`
`public static final int` | `LBRACE` | `17`
`public static final int` | `LBRACK` | `10`
`public static final int` | `LEFTARROW` | `124`
`public static final int` | `LONG` | `6`
`public static final int` | `LONG_LITERAL` | `96`
`public static final int` | `LONG_LITERAL_BD` | `97`
`public static final int` | `LPAREN` | `20`
`public static final int` | `LSHIFT` | `67`
`public static final int` | `LSHIFTEQ` | `88`
`public static final int` | `LT` | `70`
`public static final int` | `LTEQ` | `72`
`public static final int` | `MEET` | `109`
`public static final int` | `MINUS` | `62`
`public static final int` | `MINUSEQ` | `87`
`public static final int` | `MINUSMINUS` | `60`
`public static final int` | `MOD` | `66`
`public static final int` | `MODEQ` | `85`
`public static final int` | `MULT` | `15`
`public static final int` | `MULTEQ` | `83`
`public static final int` | `NATIVE` | `31`
`public static final int` | `NEW` | `58`
`public static final int` | `NOT` | `64`
`public static final int` | `NOTEQ` | `76`
`public static final int` | `NULL_LITERAL` | `103`
`public static final int` | `OR` | `79`
`public static final int` | `OREQ` | `93`
`public static final int` | `OROR` | `81`
`public static final int` | `PACKAGE` | `23`
`public static final int` | `PLUS` | `61`
`public static final int` | `PLUSEQ` | `86`
`public static final int` | `PLUSPLUS` | `59`
`public static final int` | `PRINCIPAL` | `110`
`public static final int` | `PRIVATE` | `27`
`public static final int` | `PROTECTED` | `26`
`public static final int` | `PUBLIC` | `25`
`public static final int` | `QUESTION` | `82`
`public static final int` | `RBRACE` | `18`
`public static final int` | `RBRACK` | `11`
`public static final int` | `RETURN` | `53`
`public static final int` | `RIGHTARROW` | `123`
`public static final int` | `RPAREN` | `21`
`public static final int` | `RSHIFT` | `68`
`public static final int` | `RSHIFTEQ` | `89`
`public static final int` | `SEMICOLON` | `14`
`public static final int` | `SHORT` | `4`
`public static final int` | `STATIC` | `28`
`public static final int` | `STRICTFP` | `104`
`public static final int` | `STRING_LITERAL` | `102`
`public static final int` | `SUPER` | `41`
`public static final int` | `SWITCH` | `45`
`public static final int` | `SYNCHRONIZED` | `32`
`public static final int` | `THIS` | `40`
`public static final int` | `THROW` | `54`
`public static final int` | `THROWS` | `39`
`public static final int` | `TO` | `121`
`public static final int` | `TRANSIENT` | `33`
`public static final int` | `TRY` | `55`
`public static final int` | `URSHIFT` | `69`
`public static final int` | `URSHIFTEQ` | `90`
`public static final int` | `VOID` | `38`
`public static final int` | `VOLATILE` | `34`
`public static final int` | `WHERE` | `108`
`public static final int` | `WHILE` | `49`
`public static final int` | `XOR` | `78`
`public static final int` | `XOREQ` | `92`

jif.translate.*

jif.translate.ClassDeclToJavaExt_c
`protected static final java.lang.String` | `DEFAULT_CONSTRUCTOR_INVOKER_METHOD_NAME` | `"jif$invokeDefConstructor"`
`protected static final java.lang.String` | `INITIALIZATIONS_METHOD_NAME` | `"jif$init"`
`protected static final java.lang.String` | `INSTANCEOF_METHOD_NAME` | `"jif$Instanceof"`

jif.types.*

jif.types.AbstractSolver
`protected static final int` | `STATUS_NO_SOLUTION` | `3`
`protected static final int` | `STATUS_NOT_SOLVED` | `0`
`protected static final int` | `STATUS_SOLVED` | `2`
`protected static final int` | `STATUS_SOLVING` | `1`
`protected static final boolean` | `THROW_STATIC_FAILED_CONSTRAINTS` | `false`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES