|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
ActsForConstraintNode | An immutable representation of the Jif ActsFor constraint . |
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. |
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 | 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. |
Jif | This class represents a Jif extension 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 | |
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. |
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. |
PrincipalExpr | An immutable representation of the Jif new principal
expression. |
PrincipalNode | A placeholder in AST for a Jif principal. |
Class Summary | |
---|---|
AbstractJifExtFactory_c | This class provides is Jif's Extension factory, creating the appropriate Ext objects as required. |
ActsForConstraintNode_c | An implementation of the ActsForConstraintNode interface. |
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. |
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 | A ConstArrayTypeNode is a type node for a non-canonical
const array type. |
ConstraintNode_c | 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. |
Jif_c | An implementation of the Jif interface. |
JifArrayAccessAssign_c | A ArrayAccessAssign_c represents a Java assignment expression
to an array element. |
JifBinary_c | |
JifCall_c | |
JifCanonicalTypeNode_c | A JifCanonicalTypeNode is a type node for a canonical type in Polyj. |
JifCatch_c | |
JifClassDecl_c | An implementation of the JifClassDecl interface. |
JifConstructorDecl_c | An implementation of the JifConstructor interface. |
JifDelFactory_c | Constructs Jif delegates |
JifDisamb_c | Utility class which is used to disambiguate ambiguous AST nodes (Expr, Type, Receiver, Qualifier, Prefix). |
JifExtFactory_c | This class provides is Jif's Extension factory, creating the appropriate Ext objects as required. |
JifFormal_c | |
JifInstantiator | This class contains a number of static utility methods to help instantiate labels, principals and types. |
JifLocalDecl_c | |
JifMethodDecl_c | An implementation of the JifMethod interface. |
JifNew_c | |
JifNodeFactory_c | An implementation of the JifNodeFactory interface. |
JifUtil | An implementation of the Jif interface. |
JoinLabelNode_c | An implementation of the JoinLabel interface. |
LabeledTypeNode_c | An implementation of the LabeledTypeNode interface. |
LabelExpr_c | An implementation of the NewLabel interface. |
LabelLeAssertionNode_c | An implementation of the ActsForConstraintNode 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. |
PrincipalExpr_c | |
PrincipalNode_c | An implementation of the PrincipalNode interface. |
ReaderPolicyNode_c | An implementation of the PolicyLabel interface. |
WriterPolicyNode_c | An implementation of the PolicyLabel interface. |
Provides classes for dealing with the Jif AST nodes and interfaces.
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
,
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |