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