jif.ast
Class JifNodeFactory_c

java.lang.Object
  polyglot.ext.jl.ast.AbstractNodeFactory_c
      polyglot.ext.jl.ast.NodeFactory_c
          jif.ast.JifNodeFactory_c

All Implemented Interfaces:

JifNodeFactory, polyglot.ast.NodeFactory

public class JifNodeFactory_c
extends polyglot.ext.jl.ast.NodeFactory_c
implements JifNodeFactory

An implementation of the JifNodeFactory interface.

Nested Class Summary

Nested classes/interfaces inherited from class polyglot.ext.jl.ast.NodeFactory_c

polyglot.ext.jl.ast.NodeFactory_c.EmptyDelFactory, polyglot.ext.jl.ast.NodeFactory_c.EmptyExtFactory

Constructor Summary

	JifNodeFactory_c()
protected	JifNodeFactory_c(polyglot.ast.ExtFactory extFact)

Method Summary

ActsFor	ActsFor(polyglot.util.Position pos, ActsFor.Kind kind, PrincipalNode actor, PrincipalNode granter, polyglot.ast.Stmt consequent, polyglot.ast.Stmt alternative)
ActsFor	ActsFor(polyglot.util.Position pos, ActsFor.Kind kind, Principal actor, Principal granter, polyglot.ast.Stmt consequent, polyglot.ast.Stmt alternative)
ActsForConstraintNode	ActsForConstraintNode(polyglot.util.Position pos, PrincipalNode actor, PrincipalNode granter)
ActsForConstraintNode	ActsForConstraintNode(polyglot.util.Position pos, PrincipalNode actor, PrincipalNode granter, boolean isEquiv)
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)
AmbExprParam	AmbParam(polyglot.util.Position pos, polyglot.ast.Expr expr, ParamInstance expectedPI)
AmbParam	AmbParam(polyglot.util.Position pos, java.lang.String name)
AmbParam	AmbParam(polyglot.util.Position pos, java.lang.String 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, java.lang.String name)
AmbThisLabelNode	AmbThisLabelNode(polyglot.util.Position pos)
AmbVarLabelNode	AmbVarLabelNode(polyglot.util.Position pos, java.lang.String name)
AuthConstraintNode	AuthConstraintNode(polyglot.util.Position pos, java.util.List principals)
polyglot.ast.Call	Call(polyglot.util.Position pos, polyglot.ast.Receiver target, java.lang.String 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)
polyglot.ast.ClassDecl	ClassDecl(polyglot.util.Position pos, polyglot.types.Flags flags, java.lang.String name, polyglot.ast.TypeNode superClass, java.util.List interfaces, polyglot.ast.ClassBody body)
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, java.lang.String name, java.util.List formals, java.util.List throwTypes, polyglot.ast.Block body)
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)
polyglot.ast.Disamb	disamb()
polyglot.ast.Formal	Formal(polyglot.util.Position pos, polyglot.types.Flags flags, polyglot.ast.TypeNode type, java.lang.String 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, java.lang.String 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, java.lang.String name, LabelNode startLabel, LabelNode returnLabel, java.util.List formals, java.util.List throwTypes, java.util.List constraints, polyglot.ast.Block body)
protected JifExtFactory_c	jifExtFactory() Get the JifExtFactory_c instance.
JifMethodDecl	JifMethodDecl(polyglot.util.Position pos, polyglot.types.Flags flags, polyglot.ast.TypeNode returnType, java.lang.String 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)
LabelIf	LabelIf(polyglot.util.Position pos, LabelExpr lhs, LabelExpr rhs, polyglot.ast.Stmt consequent, polyglot.ast.Stmt alternative)
LabelLeAssertionNode	LabelLeAssertionNode(polyglot.util.Position pos, LabelNode lhs, LabelNode rhs)
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, java.lang.String name, polyglot.ast.Expr init)
polyglot.ast.MethodDecl	MethodDecl(polyglot.util.Position pos, polyglot.types.Flags flags, polyglot.ast.TypeNode returnType, java.lang.String 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, java.lang.String name)
PolicyLabelNode	PolicyLabelNode(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)

Methods inherited from class polyglot.ext.jl.ast.NodeFactory_c

AmbAssign, AmbExpr, AmbPrefix, AmbQualifierNode, AmbReceiver, AmbTypeNode, ArrayAccess, ArrayAccessAssign, ArrayInit, ArrayTypeNode, Assert, Assign, Binary, Block, BooleanLit, Branch, Case, Cast, CharLit, ClassBody, ClassLit, Conditional, delFactory, Do, Empty, Eval, extFactory, Field, FieldAssign, FieldDecl, findExtFactInstance, FloatLit, For, If, Import, Initializer, Instanceof, IntLit, Labeled, Local, LocalAssign, NewArray, NullLit, PackageNode, Return, SourceCollection, SourceFile, StringLit, Switch, SwitchBlock, Synchronized, Throw, Try, Unary, While

Methods inherited from class polyglot.ext.jl.ast.AbstractNodeFactory_c

AmbPrefix, AmbQualifierNode, AmbReceiver, AmbTypeNode, ArrayInit, Assert, Block, Block, Block, Block, Block, Branch, Break, Break, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, ConstructorCall, Continue, Continue, Default, Field, FieldDecl, If, LocalDecl, New, New, New, NewArray, NewArray, NewArray, Return, SourceFile, SourceFile, Special, Super, Super, SuperCall, SuperCall, This, This, ThisCall, ThisCall, Try, 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, AmbPrefix, AmbPrefix, AmbQualifierNode, AmbQualifierNode, AmbReceiver, AmbReceiver, AmbTypeNode, AmbTypeNode, ArrayAccess, ArrayAccessAssign, ArrayInit, ArrayInit, ArrayTypeNode, Assert, Assert, Assign, Binary, Block, Block, Block, Block, Block, Block, BooleanLit, Branch, Branch, Break, Break, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Call, Case, Cast, CharLit, ClassBody, ClassLit, Conditional, ConstructorCall, Continue, Continue, Default, Do, Empty, Eval, Field, Field, FieldAssign, FieldDecl, FieldDecl, FloatLit, For, If, If, Import, Initializer, Instanceof, IntLit, Labeled, Local, LocalAssign, LocalDecl, New, New, New, NewArray, NewArray, NewArray, NewArray, NullLit, PackageNode, Return, Return, SourceCollection, SourceFile, SourceFile, SourceFile, Special, StringLit, Super, Super, SuperCall, SuperCall, Switch, SwitchBlock, Synchronized, This, This, ThisCall, ThisCall, Throw, Try, Try, Unary, Unary, While

Constructor Detail

JifNodeFactory_c

public JifNodeFactory_c()

JifNodeFactory_c

protected JifNodeFactory_c(polyglot.ast.ExtFactory extFact)

Method Detail

jifExtFactory

protected JifExtFactory_c jifExtFactory()

Get the JifExtFactory_c instance.

disamb

public polyglot.ast.Disamb disamb()

Specified by:

disamb in interface polyglot.ast.NodeFactory

Overrides:

disamb in class polyglot.ext.jl.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.ext.jl.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)

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

PolicyLabelNode

public PolicyLabelNode PolicyLabelNode(polyglot.util.Position pos,
                                       PrincipalNode owner,
                                       java.util.List readers)

Specified by:

PolicyLabelNode 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,
                                       java.lang.String 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,
                                         java.lang.String name)

Specified by:

AmbPrincipalNode in interface JifNodeFactory

CanonicalPrincipalNode

public CanonicalPrincipalNode CanonicalPrincipalNode(polyglot.util.Position pos,
                                                     Principal principal)

Specified by:

CanonicalPrincipalNode in interface JifNodeFactory

ClassDecl

public polyglot.ast.ClassDecl ClassDecl(polyglot.util.Position pos,
                                        polyglot.types.Flags flags,
                                        java.lang.String 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.ext.jl.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.ext.jl.ast.NodeFactory_c

LocalDecl

public polyglot.ast.LocalDecl LocalDecl(polyglot.util.Position pos,
                                        polyglot.types.Flags flags,
                                        polyglot.ast.TypeNode type,
                                        java.lang.String name,
                                        polyglot.ast.Expr init)

Specified by:

LocalDecl in interface polyglot.ast.NodeFactory

Overrides:

LocalDecl in class polyglot.ext.jl.ast.NodeFactory_c

JifClassDecl

public JifClassDecl JifClassDecl(polyglot.util.Position pos,
                                 polyglot.types.Flags flags,
                                 java.lang.String 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,
                                          java.lang.String 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.ext.jl.ast.NodeFactory_c

JifMethodDecl

public JifMethodDecl JifMethodDecl(polyglot.util.Position pos,
                                   polyglot.types.Flags flags,
                                   polyglot.ast.TypeNode returnType,
                                   java.lang.String 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.ext.jl.ast.NodeFactory_c

ConstructorDecl

public polyglot.ast.ConstructorDecl ConstructorDecl(polyglot.util.Position pos,
                                                    polyglot.types.Flags flags,
                                                    java.lang.String 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.ext.jl.ast.NodeFactory_c

JifConstructorDecl

public JifConstructorDecl JifConstructorDecl(polyglot.util.Position pos,
                                             polyglot.types.Flags flags,
                                             java.lang.String 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.ext.jl.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.ext.jl.ast.NodeFactory_c

AmbParam

public AmbParam AmbParam(polyglot.util.Position pos,
                         java.lang.String name)

Specified by:

AmbParam in interface JifNodeFactory

AmbParam

public AmbParam AmbParam(polyglot.util.Position pos,
                         java.lang.String 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,
                           java.lang.String 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

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)

Specified by:

LabelLeAssertionNode in interface JifNodeFactory

ActsFor

public ActsFor ActsFor(polyglot.util.Position pos,
                       ActsFor.Kind kind,
                       Principal actor,
                       Principal granter,
                       polyglot.ast.Stmt consequent,
                       polyglot.ast.Stmt alternative)

Specified by:

ActsFor in interface JifNodeFactory

ActsFor

public ActsFor ActsFor(polyglot.util.Position pos,
                       ActsFor.Kind kind,
                       PrincipalNode actor,
                       PrincipalNode granter,
                       polyglot.ast.Stmt consequent,
                       polyglot.ast.Stmt alternative)

Specified by:

ActsFor in interface JifNodeFactory

LabelIf

public LabelIf LabelIf(polyglot.util.Position pos,
                       LabelExpr lhs,
                       LabelExpr rhs,
                       polyglot.ast.Stmt consequent,
                       polyglot.ast.Stmt alternative)

Specified by:

LabelIf 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

DeclassifyExpr

public DeclassifyExpr DeclassifyExpr(polyglot.util.Position pos,
                                     polyglot.ast.Expr expr,
                                     LabelNode bound,
                                     LabelNode label)

Specified by:

DeclassifyExpr 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

Call

public polyglot.ast.Call Call(polyglot.util.Position pos,
                              polyglot.ast.Receiver target,
                              java.lang.String name,
                              java.util.List args)

Specified by:

Call in interface polyglot.ast.NodeFactory

Overrides:

Call in class polyglot.ext.jl.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.ext.jl.ast.NodeFactory_c

Formal

public polyglot.ast.Formal Formal(polyglot.util.Position pos,
                                  polyglot.types.Flags flags,
                                  polyglot.ast.TypeNode type,
                                  java.lang.String name)

Specified by:

Formal in interface polyglot.ast.NodeFactory

Overrides:

Formal in class polyglot.ext.jl.ast.NodeFactory_c