jif.ast
Class JifNodeFactory_c
java.lang.Object
polyglot.ast.AbstractNodeFactory_c
polyglot.ast.NodeFactory_c
jif.ast.JifNodeFactory_c
- All Implemented Interfaces:
- JifNodeFactory, polyglot.ast.NodeFactory
public class JifNodeFactory_c
- extends polyglot.ast.NodeFactory_c
- implements JifNodeFactory
An implementation of the JifNodeFactory
interface.
Nested classes/interfaces inherited from class polyglot.ast.NodeFactory_c |
polyglot.ast.NodeFactory_c.EmptyDelFactory, polyglot.ast.NodeFactory_c.EmptyExtFactory |
Method Summary |
ActsForConstraintNode |
ActsForConstraintNode(polyglot.util.Position pos,
PrincipalNode actor,
PrincipalNode granter)
|
ActsForConstraintNode |
ActsForConstraintNode(polyglot.util.Position pos,
PrincipalNode actor,
PrincipalNode granter,
boolean isEquiv)
|
AmbPrincipalNode |
AmbConjunctivePrincipalNode(polyglot.util.Position pos,
PrincipalNode left,
PrincipalNode right)
|
AmbPrincipalNode |
AmbDisjunctivePrincipalNode(polyglot.util.Position pos,
PrincipalNode left,
PrincipalNode right)
|
AmbDynamicLabelNode |
AmbDynamicLabelNode(polyglot.util.Position pos,
polyglot.ast.Expr expr)
|
AmbNewArray |
AmbNewArray(polyglot.util.Position pos,
polyglot.ast.TypeNode baseType,
java.lang.Object expr,
java.util.List dims,
int addDims)
|
AmbExprParam |
AmbParam(polyglot.util.Position pos,
polyglot.ast.Expr expr,
ParamInstance expectedPI)
|
AmbParam |
AmbParam(polyglot.util.Position pos,
polyglot.ast.Id name)
|
AmbParam |
AmbParam(polyglot.util.Position pos,
polyglot.ast.Id name,
ParamInstance pi)
|
AmbParamTypeOrAccess |
AmbParamTypeOrAccess(polyglot.util.Position pos,
polyglot.ast.Receiver base,
java.lang.Object expr)
|
AmbPrincipalNode |
AmbPrincipalNode(polyglot.util.Position pos,
polyglot.ast.Expr expr)
|
AmbPrincipalNode |
AmbPrincipalNode(polyglot.util.Position pos,
polyglot.ast.Id name)
|
AmbThisLabelNode |
AmbThisLabelNode(polyglot.util.Position pos)
|
AmbVarLabelNode |
AmbVarLabelNode(polyglot.util.Position pos,
polyglot.ast.Id name)
|
polyglot.ast.ArrayAccessAssign |
ArrayAccessAssign(polyglot.util.Position pos,
polyglot.ast.ArrayAccess left,
polyglot.ast.Assign.Operator op,
polyglot.ast.Expr right)
|
AuthConstraintNode |
AuthConstraintNode(polyglot.util.Position pos,
java.util.List principals)
|
AutoEndorseConstraintNode |
AutoEndorseConstraintNode(polyglot.util.Position pos,
LabelNode endorseTo)
|
polyglot.ast.Binary |
Binary(polyglot.util.Position pos,
polyglot.ast.Expr left,
polyglot.ast.Binary.Operator op,
polyglot.ast.Expr right)
|
polyglot.ast.Call |
Call(polyglot.util.Position pos,
polyglot.ast.Receiver target,
polyglot.ast.Id name,
java.util.List args)
|
CallerConstraintNode |
CallerConstraintNode(polyglot.util.Position pos,
java.util.List principals)
|
CanonicalConstraintNode |
CanonicalConstraintNode(polyglot.util.Position pos,
Assertion constraint)
|
CanonicalLabelNode |
CanonicalLabelNode(polyglot.util.Position pos,
Label label)
|
CanonicalPrincipalNode |
CanonicalPrincipalNode(polyglot.util.Position pos,
Principal principal)
|
polyglot.ast.CanonicalTypeNode |
CanonicalTypeNode(polyglot.util.Position pos,
polyglot.types.Type type)
|
polyglot.ast.Catch |
Catch(polyglot.util.Position pos,
polyglot.ast.Formal formal,
polyglot.ast.Block body)
|
CheckedEndorseStmt |
CheckedEndorseStmt(polyglot.util.Position pos,
polyglot.ast.Expr e,
LabelNode bound,
LabelNode label,
polyglot.ast.If body)
|
polyglot.ast.ClassDecl |
ClassDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.Id name,
polyglot.ast.TypeNode superClass,
java.util.List interfaces,
polyglot.ast.ClassBody body)
|
polyglot.ast.TypeNode |
ConstArrayTypeNode(polyglot.util.Position pos,
polyglot.ast.TypeNode base)
|
polyglot.ast.ConstructorCall |
ConstructorCall(polyglot.util.Position pos,
polyglot.ast.ConstructorCall.Kind kind,
polyglot.ast.Expr outer,
java.util.List args)
|
polyglot.ast.ConstructorDecl |
ConstructorDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.Id name,
java.util.List formals,
java.util.List throwTypes,
polyglot.ast.Block body)
|
DeclassifyExpr |
DeclassifyExpr(polyglot.util.Position pos,
polyglot.ast.Expr expr,
LabelNode label)
|
DeclassifyExpr |
DeclassifyExpr(polyglot.util.Position pos,
polyglot.ast.Expr expr,
LabelNode bound,
LabelNode label)
|
DeclassifyStmt |
DeclassifyStmt(polyglot.util.Position pos,
LabelNode bound,
LabelNode label,
polyglot.ast.Stmt body)
|
DeclassifyStmt |
DeclassifyStmt(polyglot.util.Position pos,
LabelNode label,
polyglot.ast.Stmt body)
|
polyglot.ast.Disamb |
disamb()
|
EndorseExpr |
EndorseExpr(polyglot.util.Position pos,
polyglot.ast.Expr expr,
LabelNode label)
|
EndorseExpr |
EndorseExpr(polyglot.util.Position pos,
polyglot.ast.Expr expr,
LabelNode bound,
LabelNode label)
|
EndorseStmt |
EndorseStmt(polyglot.util.Position pos,
LabelNode bound,
LabelNode label,
polyglot.ast.Stmt body)
|
EndorseStmt |
EndorseStmt(polyglot.util.Position pos,
LabelNode label,
polyglot.ast.Stmt body)
|
polyglot.ast.Formal |
Formal(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.TypeNode type,
polyglot.ast.Id name)
|
InstTypeNode |
InstTypeNode(polyglot.util.Position pos,
polyglot.ast.TypeNode type,
java.util.List params)
|
JifClassDecl |
JifClassDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.Id name,
java.util.List params,
polyglot.ast.TypeNode superClass,
java.util.List interfaces,
java.util.List authority,
polyglot.ast.ClassBody body)
|
JifConstructorDecl |
JifConstructorDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.Id name,
LabelNode startLabel,
LabelNode returnLabel,
java.util.List formals,
java.util.List throwTypes,
java.util.List constraints,
polyglot.ast.Block body)
|
protected JifExtFactory |
jifExtFactory()
|
JifMethodDecl |
JifMethodDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.TypeNode returnType,
polyglot.ast.Id name,
LabelNode startLabel,
java.util.List formals,
LabelNode endLabel,
java.util.List throwTypes,
java.util.List constraints,
polyglot.ast.Block body)
|
JoinLabelNode |
JoinLabelNode(polyglot.util.Position pos,
java.util.List components)
|
LabeledTypeNode |
LabeledTypeNode(polyglot.util.Position pos,
polyglot.ast.TypeNode type,
LabelNode label)
|
LabelExpr |
LabelExpr(polyglot.util.Position pos,
Label l)
|
LabelExpr |
LabelExpr(polyglot.util.Position pos,
LabelNode node)
|
LabelLeAssertionNode |
LabelLeAssertionNode(polyglot.util.Position pos,
LabelNode lhs,
LabelNode rhs,
boolean isEquiv)
|
polyglot.ast.LocalClassDecl |
LocalClassDecl(polyglot.util.Position pos,
polyglot.ast.ClassDecl decl)
|
polyglot.ast.LocalDecl |
LocalDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.TypeNode type,
polyglot.ast.Id name,
polyglot.ast.Expr init)
|
MeetLabelNode |
MeetLabelNode(polyglot.util.Position pos,
java.util.List components)
|
polyglot.ast.MethodDecl |
MethodDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.TypeNode returnType,
polyglot.ast.Id name,
java.util.List formals,
java.util.List throwTypes,
polyglot.ast.Block body)
|
polyglot.ast.New |
New(polyglot.util.Position pos,
polyglot.ast.Expr outer,
polyglot.ast.TypeNode objectType,
java.util.List args,
polyglot.ast.ClassBody body)
|
NewLabel |
NewLabel(polyglot.util.Position pos,
LabelNode label)
|
ParamDecl |
ParamDecl(polyglot.util.Position pos,
ParamInstance.Kind kind,
polyglot.ast.Id name)
|
PolicyNode |
PolicyNode(polyglot.util.Position pos,
Policy policy)
|
PrincipalExpr |
PrincipalExpr(polyglot.util.Position pos,
PrincipalNode principal)
|
PolicyNode |
ReaderPolicyNode(polyglot.util.Position pos,
PrincipalNode owner,
java.util.List readers)
|
polyglot.ast.Special |
Special(polyglot.util.Position pos,
polyglot.ast.Special.Kind kind,
polyglot.ast.TypeNode outer)
|
PolicyNode |
WriterPolicyNode(polyglot.util.Position pos,
PrincipalNode owner,
java.util.List writers)
|
Methods inherited from class polyglot.ast.NodeFactory_c |
AmbAssign, AmbExpr, AmbPrefix, AmbQualifierNode, AmbReceiver, AmbTypeNode, ArrayAccess, ArrayInit, ArrayTypeNode, Assert, Assign, Block, BooleanLit, Branch, Case, Cast, CharLit, ClassBody, ClassLit, Conditional, delFactory, Do, Empty, Eval, extFactory, Field, FieldAssign, FieldDecl, findExtFactInstance, FloatLit, For, Id, If, Import, Initializer, Instanceof, IntLit, Labeled, Local, LocalAssign, NewArray, NodeList, NullLit, PackageNode, Return, SourceCollection, SourceFile, StringLit, Switch, SwitchBlock, Synchronized, Throw, Try, Unary, While |
Methods inherited from class polyglot.ast.AbstractNodeFactory_c |
AmbExpr, AmbPrefix, AmbPrefix, AmbPrefix, AmbQualifierNode, AmbQualifierNode, AmbQualifierNode, AmbReceiver, AmbReceiver, AmbReceiver, AmbTypeNode, AmbTypeNode, AmbTypeNode, ArrayInit, Assert, Block, Block, Block, Block, Block, Branch, Branch, Break, Break, Break, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, ClassDecl, ConstructorCall, ConstructorDecl, Continue, Continue, Continue, Default, ExprFromQualifiedName, Field, Field, Field, FieldDecl, FieldDecl, FieldDecl, Formal, If, Labeled, Local, LocalDecl, LocalDecl, LocalDecl, MethodDecl, New, New, New, NewArray, NewArray, NewArray, NodeList, PrefixFromQualifiedName, QualifierNodeFromQualifiedName, ReceiverFromQualifiedName, Return, SourceFile, SourceFile, Special, Super, Super, SuperCall, SuperCall, This, This, ThisCall, ThisCall, Try, TypeNodeFromQualifiedName, Unary |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface polyglot.ast.NodeFactory |
AmbAssign, AmbExpr, AmbExpr, AmbPrefix, AmbPrefix, AmbPrefix, AmbPrefix, AmbQualifierNode, AmbQualifierNode, AmbQualifierNode, AmbQualifierNode, AmbReceiver, AmbReceiver, AmbReceiver, AmbReceiver, AmbTypeNode, AmbTypeNode, AmbTypeNode, AmbTypeNode, ArrayAccess, ArrayInit, ArrayInit, ArrayTypeNode, Assert, Assert, Assign, Block, Block, Block, Block, Block, Block, BooleanLit, Branch, Branch, Branch, Break, Break, Break, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Case, Cast, CharLit, ClassBody, ClassDecl, ClassLit, Conditional, ConstructorCall, ConstructorDecl, Continue, Continue, Continue, Default, Do, Empty, Eval, ExprFromQualifiedName, Field, Field, Field, Field, FieldAssign, FieldDecl, FieldDecl, FieldDecl, FieldDecl, FloatLit, For, Formal, Id, If, If, Import, Initializer, Instanceof, IntLit, Labeled, Labeled, Local, Local, LocalAssign, LocalDecl, LocalDecl, LocalDecl, MethodDecl, New, New, New, NewArray, NewArray, NewArray, NewArray, NodeList, NodeList, NullLit, PackageNode, PrefixFromQualifiedName, QualifierNodeFromQualifiedName, ReceiverFromQualifiedName, Return, Return, SourceCollection, SourceFile, SourceFile, SourceFile, Special, StringLit, Super, Super, SuperCall, SuperCall, Switch, SwitchBlock, Synchronized, This, This, ThisCall, ThisCall, Throw, Try, Try, TypeNodeFromQualifiedName, Unary, Unary, While |
JifNodeFactory_c
public JifNodeFactory_c()
JifNodeFactory_c
protected JifNodeFactory_c(JifExtFactory extFact)
JifNodeFactory_c
protected JifNodeFactory_c(JifExtFactory extFact,
polyglot.ast.DelFactory delFact)
jifExtFactory
protected JifExtFactory jifExtFactory()
disamb
public polyglot.ast.Disamb disamb()
- Specified by:
disamb
in interface polyglot.ast.NodeFactory
- Overrides:
disamb
in class polyglot.ast.AbstractNodeFactory_c
CanonicalTypeNode
public polyglot.ast.CanonicalTypeNode CanonicalTypeNode(polyglot.util.Position pos,
polyglot.types.Type type)
- Specified by:
CanonicalTypeNode
in interface polyglot.ast.NodeFactory
- Overrides:
CanonicalTypeNode
in class polyglot.ast.NodeFactory_c
InstTypeNode
public InstTypeNode InstTypeNode(polyglot.util.Position pos,
polyglot.ast.TypeNode type,
java.util.List params)
- Specified by:
InstTypeNode
in interface JifNodeFactory
LabeledTypeNode
public LabeledTypeNode LabeledTypeNode(polyglot.util.Position pos,
polyglot.ast.TypeNode type,
LabelNode label)
- Specified by:
LabeledTypeNode
in interface JifNodeFactory
AmbNewArray
public AmbNewArray AmbNewArray(polyglot.util.Position pos,
polyglot.ast.TypeNode baseType,
java.lang.Object expr,
java.util.List dims,
int addDims)
- Specified by:
AmbNewArray
in interface JifNodeFactory
AmbParamTypeOrAccess
public AmbParamTypeOrAccess AmbParamTypeOrAccess(polyglot.util.Position pos,
polyglot.ast.Receiver base,
java.lang.Object expr)
- Specified by:
AmbParamTypeOrAccess
in interface JifNodeFactory
JoinLabelNode
public JoinLabelNode JoinLabelNode(polyglot.util.Position pos,
java.util.List components)
- Specified by:
JoinLabelNode
in interface JifNodeFactory
MeetLabelNode
public MeetLabelNode MeetLabelNode(polyglot.util.Position pos,
java.util.List components)
- Specified by:
MeetLabelNode
in interface JifNodeFactory
ReaderPolicyNode
public PolicyNode ReaderPolicyNode(polyglot.util.Position pos,
PrincipalNode owner,
java.util.List readers)
- Specified by:
ReaderPolicyNode
in interface JifNodeFactory
WriterPolicyNode
public PolicyNode WriterPolicyNode(polyglot.util.Position pos,
PrincipalNode owner,
java.util.List writers)
- Specified by:
WriterPolicyNode
in interface JifNodeFactory
PolicyNode
public PolicyNode PolicyNode(polyglot.util.Position pos,
Policy policy)
- Specified by:
PolicyNode
in interface JifNodeFactory
AmbDynamicLabelNode
public AmbDynamicLabelNode AmbDynamicLabelNode(polyglot.util.Position pos,
polyglot.ast.Expr expr)
- Specified by:
AmbDynamicLabelNode
in interface JifNodeFactory
AmbVarLabelNode
public AmbVarLabelNode AmbVarLabelNode(polyglot.util.Position pos,
polyglot.ast.Id name)
- Specified by:
AmbVarLabelNode
in interface JifNodeFactory
AmbThisLabelNode
public AmbThisLabelNode AmbThisLabelNode(polyglot.util.Position pos)
- Specified by:
AmbThisLabelNode
in interface JifNodeFactory
CanonicalLabelNode
public CanonicalLabelNode CanonicalLabelNode(polyglot.util.Position pos,
Label label)
- Specified by:
CanonicalLabelNode
in interface JifNodeFactory
AmbPrincipalNode
public AmbPrincipalNode AmbPrincipalNode(polyglot.util.Position pos,
polyglot.ast.Expr expr)
- Specified by:
AmbPrincipalNode
in interface JifNodeFactory
AmbPrincipalNode
public AmbPrincipalNode AmbPrincipalNode(polyglot.util.Position pos,
polyglot.ast.Id name)
- Specified by:
AmbPrincipalNode
in interface JifNodeFactory
AmbConjunctivePrincipalNode
public AmbPrincipalNode AmbConjunctivePrincipalNode(polyglot.util.Position pos,
PrincipalNode left,
PrincipalNode right)
- Specified by:
AmbConjunctivePrincipalNode
in interface JifNodeFactory
AmbDisjunctivePrincipalNode
public AmbPrincipalNode AmbDisjunctivePrincipalNode(polyglot.util.Position pos,
PrincipalNode left,
PrincipalNode right)
- Specified by:
AmbDisjunctivePrincipalNode
in interface JifNodeFactory
CanonicalPrincipalNode
public CanonicalPrincipalNode CanonicalPrincipalNode(polyglot.util.Position pos,
Principal principal)
- Specified by:
CanonicalPrincipalNode
in interface JifNodeFactory
ArrayAccessAssign
public polyglot.ast.ArrayAccessAssign ArrayAccessAssign(polyglot.util.Position pos,
polyglot.ast.ArrayAccess left,
polyglot.ast.Assign.Operator op,
polyglot.ast.Expr right)
- Specified by:
ArrayAccessAssign
in interface polyglot.ast.NodeFactory
- Overrides:
ArrayAccessAssign
in class polyglot.ast.NodeFactory_c
ClassDecl
public polyglot.ast.ClassDecl ClassDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.Id name,
polyglot.ast.TypeNode superClass,
java.util.List interfaces,
polyglot.ast.ClassBody body)
- Specified by:
ClassDecl
in interface polyglot.ast.NodeFactory
- Overrides:
ClassDecl
in class polyglot.ast.NodeFactory_c
LocalClassDecl
public polyglot.ast.LocalClassDecl LocalClassDecl(polyglot.util.Position pos,
polyglot.ast.ClassDecl decl)
- Specified by:
LocalClassDecl
in interface polyglot.ast.NodeFactory
- Overrides:
LocalClassDecl
in class polyglot.ast.NodeFactory_c
LocalDecl
public polyglot.ast.LocalDecl LocalDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.TypeNode type,
polyglot.ast.Id name,
polyglot.ast.Expr init)
- Specified by:
LocalDecl
in interface polyglot.ast.NodeFactory
- Overrides:
LocalDecl
in class polyglot.ast.NodeFactory_c
JifClassDecl
public JifClassDecl JifClassDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.Id name,
java.util.List params,
polyglot.ast.TypeNode superClass,
java.util.List interfaces,
java.util.List authority,
polyglot.ast.ClassBody body)
- Specified by:
JifClassDecl
in interface JifNodeFactory
MethodDecl
public polyglot.ast.MethodDecl MethodDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.TypeNode returnType,
polyglot.ast.Id name,
java.util.List formals,
java.util.List throwTypes,
polyglot.ast.Block body)
- Specified by:
MethodDecl
in interface polyglot.ast.NodeFactory
- Overrides:
MethodDecl
in class polyglot.ast.NodeFactory_c
JifMethodDecl
public JifMethodDecl JifMethodDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.TypeNode returnType,
polyglot.ast.Id name,
LabelNode startLabel,
java.util.List formals,
LabelNode endLabel,
java.util.List throwTypes,
java.util.List constraints,
polyglot.ast.Block body)
- Specified by:
JifMethodDecl
in interface JifNodeFactory
ConstructorCall
public polyglot.ast.ConstructorCall ConstructorCall(polyglot.util.Position pos,
polyglot.ast.ConstructorCall.Kind kind,
polyglot.ast.Expr outer,
java.util.List args)
- Specified by:
ConstructorCall
in interface polyglot.ast.NodeFactory
- Overrides:
ConstructorCall
in class polyglot.ast.NodeFactory_c
ConstructorDecl
public polyglot.ast.ConstructorDecl ConstructorDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.Id name,
java.util.List formals,
java.util.List throwTypes,
polyglot.ast.Block body)
- Specified by:
ConstructorDecl
in interface polyglot.ast.NodeFactory
- Overrides:
ConstructorDecl
in class polyglot.ast.NodeFactory_c
JifConstructorDecl
public JifConstructorDecl JifConstructorDecl(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.Id name,
LabelNode startLabel,
LabelNode returnLabel,
java.util.List formals,
java.util.List throwTypes,
java.util.List constraints,
polyglot.ast.Block body)
- Specified by:
JifConstructorDecl
in interface JifNodeFactory
New
public polyglot.ast.New New(polyglot.util.Position pos,
polyglot.ast.Expr outer,
polyglot.ast.TypeNode objectType,
java.util.List args,
polyglot.ast.ClassBody body)
- Specified by:
New
in interface polyglot.ast.NodeFactory
- Overrides:
New
in class polyglot.ast.NodeFactory_c
Special
public polyglot.ast.Special Special(polyglot.util.Position pos,
polyglot.ast.Special.Kind kind,
polyglot.ast.TypeNode outer)
- Specified by:
Special
in interface polyglot.ast.NodeFactory
- Overrides:
Special
in class polyglot.ast.NodeFactory_c
AmbParam
public AmbParam AmbParam(polyglot.util.Position pos,
polyglot.ast.Id name)
- Specified by:
AmbParam
in interface JifNodeFactory
AmbParam
public AmbParam AmbParam(polyglot.util.Position pos,
polyglot.ast.Id name,
ParamInstance pi)
- Specified by:
AmbParam
in interface JifNodeFactory
AmbParam
public AmbExprParam AmbParam(polyglot.util.Position pos,
polyglot.ast.Expr expr,
ParamInstance expectedPI)
- Specified by:
AmbParam
in interface JifNodeFactory
ParamDecl
public ParamDecl ParamDecl(polyglot.util.Position pos,
ParamInstance.Kind kind,
polyglot.ast.Id name)
- Specified by:
ParamDecl
in interface JifNodeFactory
CanonicalConstraintNode
public CanonicalConstraintNode CanonicalConstraintNode(polyglot.util.Position pos,
Assertion constraint)
- Specified by:
CanonicalConstraintNode
in interface JifNodeFactory
AuthConstraintNode
public AuthConstraintNode AuthConstraintNode(polyglot.util.Position pos,
java.util.List principals)
- Specified by:
AuthConstraintNode
in interface JifNodeFactory
AutoEndorseConstraintNode
public AutoEndorseConstraintNode AutoEndorseConstraintNode(polyglot.util.Position pos,
LabelNode endorseTo)
- Specified by:
AutoEndorseConstraintNode
in interface JifNodeFactory
CallerConstraintNode
public CallerConstraintNode CallerConstraintNode(polyglot.util.Position pos,
java.util.List principals)
- Specified by:
CallerConstraintNode
in interface JifNodeFactory
ActsForConstraintNode
public ActsForConstraintNode ActsForConstraintNode(polyglot.util.Position pos,
PrincipalNode actor,
PrincipalNode granter)
- Specified by:
ActsForConstraintNode
in interface JifNodeFactory
ActsForConstraintNode
public ActsForConstraintNode ActsForConstraintNode(polyglot.util.Position pos,
PrincipalNode actor,
PrincipalNode granter,
boolean isEquiv)
- Specified by:
ActsForConstraintNode
in interface JifNodeFactory
LabelLeAssertionNode
public LabelLeAssertionNode LabelLeAssertionNode(polyglot.util.Position pos,
LabelNode lhs,
LabelNode rhs,
boolean isEquiv)
- Specified by:
LabelLeAssertionNode
in interface JifNodeFactory
DeclassifyStmt
public DeclassifyStmt DeclassifyStmt(polyglot.util.Position pos,
LabelNode bound,
LabelNode label,
polyglot.ast.Stmt body)
- Specified by:
DeclassifyStmt
in interface JifNodeFactory
DeclassifyStmt
public DeclassifyStmt DeclassifyStmt(polyglot.util.Position pos,
LabelNode label,
polyglot.ast.Stmt body)
- Specified by:
DeclassifyStmt
in interface JifNodeFactory
DeclassifyExpr
public DeclassifyExpr DeclassifyExpr(polyglot.util.Position pos,
polyglot.ast.Expr expr,
LabelNode bound,
LabelNode label)
- Specified by:
DeclassifyExpr
in interface JifNodeFactory
DeclassifyExpr
public DeclassifyExpr DeclassifyExpr(polyglot.util.Position pos,
polyglot.ast.Expr expr,
LabelNode label)
- Specified by:
DeclassifyExpr
in interface JifNodeFactory
EndorseStmt
public EndorseStmt EndorseStmt(polyglot.util.Position pos,
LabelNode bound,
LabelNode label,
polyglot.ast.Stmt body)
- Specified by:
EndorseStmt
in interface JifNodeFactory
EndorseStmt
public EndorseStmt EndorseStmt(polyglot.util.Position pos,
LabelNode label,
polyglot.ast.Stmt body)
- Specified by:
EndorseStmt
in interface JifNodeFactory
CheckedEndorseStmt
public CheckedEndorseStmt CheckedEndorseStmt(polyglot.util.Position pos,
polyglot.ast.Expr e,
LabelNode bound,
LabelNode label,
polyglot.ast.If body)
- Specified by:
CheckedEndorseStmt
in interface JifNodeFactory
EndorseExpr
public EndorseExpr EndorseExpr(polyglot.util.Position pos,
polyglot.ast.Expr expr,
LabelNode label)
- Specified by:
EndorseExpr
in interface JifNodeFactory
EndorseExpr
public EndorseExpr EndorseExpr(polyglot.util.Position pos,
polyglot.ast.Expr expr,
LabelNode bound,
LabelNode label)
- Specified by:
EndorseExpr
in interface JifNodeFactory
LabelExpr
public LabelExpr LabelExpr(polyglot.util.Position pos,
Label l)
- Specified by:
LabelExpr
in interface JifNodeFactory
LabelExpr
public LabelExpr LabelExpr(polyglot.util.Position pos,
LabelNode node)
NewLabel
public NewLabel NewLabel(polyglot.util.Position pos,
LabelNode label)
- Specified by:
NewLabel
in interface JifNodeFactory
PrincipalExpr
public PrincipalExpr PrincipalExpr(polyglot.util.Position pos,
PrincipalNode principal)
- Specified by:
PrincipalExpr
in interface JifNodeFactory
Call
public polyglot.ast.Call Call(polyglot.util.Position pos,
polyglot.ast.Receiver target,
polyglot.ast.Id name,
java.util.List args)
- Specified by:
Call
in interface polyglot.ast.NodeFactory
- Overrides:
Call
in class polyglot.ast.NodeFactory_c
Catch
public polyglot.ast.Catch Catch(polyglot.util.Position pos,
polyglot.ast.Formal formal,
polyglot.ast.Block body)
- Specified by:
Catch
in interface polyglot.ast.NodeFactory
- Overrides:
Catch
in class polyglot.ast.NodeFactory_c
Formal
public polyglot.ast.Formal Formal(polyglot.util.Position pos,
polyglot.types.Flags flags,
polyglot.ast.TypeNode type,
polyglot.ast.Id name)
- Specified by:
Formal
in interface polyglot.ast.NodeFactory
- Overrides:
Formal
in class polyglot.ast.NodeFactory_c
Binary
public polyglot.ast.Binary Binary(polyglot.util.Position pos,
polyglot.ast.Expr left,
polyglot.ast.Binary.Operator op,
polyglot.ast.Expr right)
- Specified by:
Binary
in interface polyglot.ast.NodeFactory
- Overrides:
Binary
in class polyglot.ast.NodeFactory_c
ConstArrayTypeNode
public polyglot.ast.TypeNode ConstArrayTypeNode(polyglot.util.Position pos,
polyglot.ast.TypeNode base)
- Specified by:
ConstArrayTypeNode
in interface JifNodeFactory