Constant Field Values

Contents

• jif.ast.*
• jif.parse.*
• jif.translate.*
• jif.types.*

jif.ast.*

jif.ast.AmbParam_c

protected static final int

MAX_DISAMB_CALLS

100

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