See: Description
Interface | Description |
---|---|
ActsForConstraintNode<Actor extends ActsForParam,Granter extends ActsForParam> |
An immutable representation of the Jif
ActsFor constraint . |
ActsForParamNode<Param extends ActsForParam> |
A placeholder in the AST for a Jif principal or label.
|
AmbDynamicLabelNode |
An ambiguous dynamic label.
|
AmbExprParam |
An ambiguous expression parameter.
|
AmbJunctivePrincipalNode |
An ambiguous principal node.
|
AmbNewArray |
An ambiguous new array expression.
|
AmbParam |
An ambiguous parameter.
|
AmbParamTypeOrAccess |
An ambiguous parameter type or array access.
|
AmbPrincipalNode |
An ambiguous principal node.
|
AmbProviderLabelNode |
An ambiguous
provider label node. |
AmbThisLabelNode |
An ambiguous
this label node. |
AmbVarLabelNode |
An ambiguous variable label node.
|
AuthConstraintNode |
An authority constraint node.
|
AutoEndorseConstraintNode |
An auto endorse constraint node.
|
CallerConstraintNode |
A caller constraint node.
|
CanonicalConstraintNode |
A canonical(non-ambiguous) constraint node.
|
CanonicalLabelNode |
A canonical label node.
|
CanonicalPrincipalNode |
Canonical principal node.
|
CheckedEndorseStmt |
An immutable representation of the Jif checked
endorse statement. |
ConstArrayTypeNode |
A
ConstArrayTypeNode is a type node for a non-canonical
const array type. |
ConstraintNode<Constraint extends Assertion> |
The root of various constraint nodes.
|
DeclassifyExpr |
An immutable representation of the Jif
declassify expression. |
DeclassifyStmt |
An immutable representation of the Jif
declassify statement. |
DowngradeExpr |
Superinterface for downgrade expressions.
|
DowngradeStmt |
Superinterface for downgrade statements.
|
EndorseExpr |
An immutable representation of the Jif
endorse expression. |
EndorseStmt |
An immutable representation of the Jif
endorse statement. |
InstTypeNode |
Instantiated type node.
|
JifCanonicalTypeNode |
A
JifCanonicalTypeNode is a type node for a canonical type in Polyj. |
JifClassDecl |
An immutable representation of the Jif class declaration.
|
JifConstructorDecl |
An immutable representation of the Jif constructor declaration.
|
JifDelFactory | |
JifExt |
This class represents a Jif extension node.
|
JifExtFactory | |
JifMethodDecl |
An immutable representation of the Jif method declaration.
|
JifNodeFactory |
The node factory of the Jif extension.
|
JifProcedureDecl |
An immutable representation of the Jif procedure declaration.
|
JifStmtExtFactory | |
JoinLabelNode |
This class represents a join of several label nodes.
|
LabelActsForLabelConstraintNode |
An immutable representation of the Jif
ActsFor constraint
between two labels. |
LabelActsForPrincipalConstraintNode |
An immutable representation of the Jif
ActsFor constraint
between a label and a principal. |
LabelComponentNode |
A node that can be a component of a label.
|
LabeledTypeNode |
This class represents a labeled type node.
|
LabelExpr |
An immutable representation of the Jif
new label
statement. |
LabelLeAssertionNode | |
LabelNode |
A placeholder in the AST for a Jif label.
|
MeetLabelNode |
This class represents a join of several label nodes.
|
NewLabel |
An immutable representation of the Jif
new label
statement. |
ParamDecl |
The AST node representing a label/principal parameter declaration.
|
ParamNode |
This class is the root of all the classes that may be parameters,
including label node classes and principal node classes.
|
PolicyNode |
A policy label node.
|
PrincipalActsForPrincipalConstraintNode |
An immutable representation of the Jif
ActsFor constraint
between two principals. |
PrincipalExpr |
An immutable representation of the Jif
new principal
expression. |
PrincipalNode |
A placeholder in AST for a Jif principal.
|
Prologue |
Class | Description |
---|---|
AbstractJifExtFactory_c |
This class provides is Jif's Extension factory, creating the appropriate
Ext objects as required.
|
ActsForConstraintNode_c<Actor extends ActsForParam,Granter extends ActsForParam> | |
AmbDynamicLabelNode_c |
An implementation of the AmbDynamicLabel interface.
|
AmbExprParam_c |
An implementation of the
AmbParam interface. |
AmbJunctivePrincipalNode_c |
An implementation of the
AmbPrincipalNode interface,
representing an ambiguous conjunctive or disjunctive principal. |
AmbLabelNode_c |
An ambiguous label node.
|
AmbNewArray_c |
An implementation of the
AmbNewArray interface. |
AmbParam_c |
An implementation of the
AmbParam interface. |
AmbParamTypeOrAccess_c |
An implementation of the
AmbParamTypeOrAccess interface. |
AmbPrincipalNode_c |
An implementation of the
AmbPrincipalNode interface. |
AmbProviderLabelNode_c | |
AmbThisLabelNode_c |
An implementation of the
AmbThisLabelNode interface. |
AmbVarLabelNode_c |
An implementation of the
AmbVarLabelNode interface. |
AuthConstraintNode_c |
An implementation of the
AuthConstraintNode interface. |
AutoEndorseConstraintNode_c | |
CallerConstraintNode_c |
An implementation of the
CallerConstraint interface. |
CanonicalConstraintNode_c |
An implementation of the
CanonicalConstraint . |
CanonicalLabelNode_c |
An implementation of the
CanonicalLabelNode interface. |
CanonicalPrincipalNode_c |
An implementation of the
CanonicalPrincipal interface. |
CheckedEndorseStmt_c |
An implementation of the
CheckedEndorseStmt interface. |
ConstArrayTypeNode_c | Deprecated |
ConstraintNode_c<Constraint extends Assertion> |
An implementation of the
ConstraintNode interface. |
DeclassifyExpr_c |
An implementation of the
DeclassifyExpr interface. |
DeclassifyStmt_c |
An implementation of the
DeclassifyStmt interface. |
DowngradeExpr_c |
An implementation of the
DowngradeExpr interface. |
DowngradeStmt_c |
An implementation of the
DowngradeStmt interface. |
EndorseExpr_c |
An implementation of the
EndorseExpr interface. |
EndorseStmt_c |
An implementation of the
EndorseStmt interface. |
InstTypeNode_c |
An implementation of the
InstTypeNode interface. |
JifArrayAccessAssign_c | Deprecated |
JifBinary_c | Deprecated |
JifCall_c | Deprecated |
JifCanonicalTypeNode_c | Deprecated |
JifCatch_c | Deprecated |
JifClassDecl_c | Deprecated |
JifConstructorDecl_c | Deprecated |
JifDelFactory_c |
Constructs Jif delegates
|
JifDisamb_c |
Utility class which is used to disambiguate ambiguous
AST nodes (Expr, Type, Receiver, Qualifier, Prefix).
|
JifExt_c |
An implementation of the
Jif interface. |
JifExtFactory_c |
This class provides is Jif's Extension factory, creating the appropriate
Ext objects as required.
|
JifFormal_c | Deprecated |
JifInstantiator |
This class contains a number of static utility methods to help instantiate
labels, principals and types.
|
JifLocalDecl_c | Deprecated |
JifMethodDecl_c | Deprecated |
JifNew_c | Deprecated |
JifNodeFactory_c |
An implementation of the
JifNodeFactory interface. |
JifUtil |
An implementation of the
Jif interface. |
JoinLabelNode_c |
An implementation of the
JoinLabel interface. |
LabelActsForLabelConstraintNode_c | |
LabelActsForPrincipalConstraintNode_c | |
LabeledTypeNode_c |
An implementation of the
LabeledTypeNode interface. |
LabelExpr_c |
An implementation of the
NewLabel interface. |
LabelLeAssertionNode_c |
An implementation of the LabelLeAssertionNode interface.
|
LabelNode_c |
An implementation of the
LabelNode interface. |
MeetLabelNode_c |
An implementation of the
JoinLabel interface. |
NewLabel_c |
An implementation of the
NewLabel interface. |
ParamDecl_c |
An implementation of the
ParamDecl interface. |
PolicyNode_c |
An implementation of the
PolicyLabel interface. |
PrincipalActsForPrincipalConstraintNode_c |
An implementation of the PrincipalActsForPrincipalConstraintNode
interface.
|
PrincipalExpr_c | |
PrincipalNode_c |
An implementation of the
PrincipalNode interface. |
Prologue_c | |
ReaderPolicyNode_c |
An implementation of the
PolicyLabel interface. |
WriterPolicyNode_c |
An implementation of the
PolicyLabel interface. |
The nodes all implement the interface Node
and extend from the class Node_c
. Each node has accessor methods and methods to implement
passes over the node. The traversal interface is defined in NodeVisitor
. Nodes are constructed using a
NodeFactory
.
Node
,
Node
,
NodeVisitor
,
NodeFactory
,
JifNodeFactory
,