jif.ast
Interfaces
ActsForConstraintNode
ActsForParamNode
AmbDynamicLabelNode
AmbExprParam
AmbJunctivePrincipalNode
AmbNewArray
AmbParam
AmbParamTypeOrAccess
AmbPrincipalNode
AmbProviderLabelNode
AmbThisLabelNode
AmbVarLabelNode
AuthConstraintNode
AutoEndorseConstraintNode
CallerConstraintNode
CanonicalConstraintNode
CanonicalLabelNode
CanonicalPrincipalNode
CheckedEndorseStmt
ConstArrayTypeNode
ConstraintNode
DeclassifyExpr
DeclassifyStmt
DowngradeExpr
DowngradeStmt
EndorseExpr
EndorseStmt
InstTypeNode
JifCanonicalTypeNode
JifClassDecl
JifConstructorDecl
JifDelFactory
JifExt
JifExtFactory
JifMethodDecl
JifNodeFactory
JifProcedureDecl
JifStmtExtFactory
JoinLabelNode
LabelActsForLabelConstraintNode
LabelActsForPrincipalConstraintNode
LabelComponentNode
LabeledTypeNode
LabelExpr
LabelLeAssertionNode
LabelNode
MeetLabelNode
NewLabel
ParamDecl
ParamNode
PolicyNode
PrincipalActsForPrincipalConstraintNode
PrincipalExpr
PrincipalNode
Prologue
Classes
AbstractJifExtFactory_c
ActsForConstraintNode_c
AmbDynamicLabelNode_c
AmbExprParam_c
AmbJunctivePrincipalNode_c
AmbLabelNode_c
AmbNewArray_c
AmbParam_c
AmbParamTypeOrAccess_c
AmbPrincipalNode_c
AmbProviderLabelNode_c
AmbThisLabelNode_c
AmbVarLabelNode_c
AuthConstraintNode_c
AutoEndorseConstraintNode_c
CallerConstraintNode_c
CanonicalConstraintNode_c
CanonicalLabelNode_c
CanonicalPrincipalNode_c
CheckedEndorseStmt_c
ConstArrayTypeNode_c
ConstraintNode_c
DeclassifyExpr_c
DeclassifyStmt_c
DowngradeExpr_c
DowngradeStmt_c
EndorseExpr_c
EndorseStmt_c
InstTypeNode_c
JifArrayAccessAssign_c
JifBinary_c
JifCall_c
JifCanonicalTypeNode_c
JifCatch_c
JifClassDecl_c
JifConstructorDecl_c
JifDelFactory_c
JifDisamb_c
JifExt_c
JifExtFactory_c
JifFormal_c
JifInstantiator
JifLocalDecl_c
JifMethodDecl_c
JifNew_c
JifNodeFactory_c
JifUtil
JoinLabelNode_c
LabelActsForLabelConstraintNode_c
LabelActsForPrincipalConstraintNode_c
LabeledTypeNode_c
LabelExpr_c
LabelLeAssertionNode_c
LabelNode_c
MeetLabelNode_c
NewLabel_c
ParamDecl_c
PolicyNode_c
PrincipalActsForPrincipalConstraintNode_c
PrincipalExpr_c
PrincipalNode_c
Prologue_c
ReaderPolicyNode_c
WriterPolicyNode_c