Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD

jltools.ext.jif.ast
Class JifNodeFactory_c

java.lang.Object
  |
  +--jltools.ext.jl.ast.NodeFactory_c
        |
        +--jltools.ext.jif.ast.JifNodeFactory_c
All Implemented Interfaces:
JifNodeFactory, NodeFactory
public class JifNodeFactory_c
extends NodeFactory_c
implements JifNodeFactory

An implementation of the JifNodeFactory interface.

Constructor Summary
JifNodeFactory_c()
           
 
Method Summary
 ActsFor ActsFor(Position pos, PrincipalNode actor, PrincipalNode granter, Stmt consequent)
           
 ActsFor ActsFor(Position pos, PrincipalNode actor, PrincipalNode granter, Stmt consequent, Stmt alternative)
           
 ActsForConstraintNode ActsForConstraintNode(Position pos, PrincipalNode actor, PrincipalNode granter)
           
 AmbDynamicLabelNode AmbDynamicLabelNode(Position pos, java.lang.String name)
           
 AmbExpr AmbExpr(Position pos, java.lang.String name)
           
 AmbNewArray AmbNewArray(Position pos, TypeNode baseType, java.lang.String name, java.util.List dims)
           
 AmbParam AmbParam(Position pos, java.lang.String name)
           
 AmbParamTypeOrAccess AmbParamTypeOrAccess(Position pos, Receiver base, java.lang.String name)
           
 AmbPrefix AmbPrefix(Position pos, Prefix prefix, java.lang.String name)
           
 AmbPrefix AmbPrefix(Position pos, java.lang.String name)
           
 AmbPrincipalNode AmbPrincipalNode(Position pos, java.lang.String name)
           
 AmbQualifierNode AmbQualifierNode(Position pos, QualifierNode qualifier, java.lang.String name)
           
 AmbQualifierNode AmbQualifierNode(Position pos, java.lang.String name)
           
 AmbReceiver AmbReceiver(Position pos, Prefix prefix, java.lang.String name)
           
 AmbReceiver AmbReceiver(Position pos, java.lang.String name)
           
 AmbThisLabelNode AmbThisLabelNode(Position pos)
           
 AmbTypeNode AmbTypeNode(Position pos, QualifierNode qualifier, java.lang.String name)
           
 AmbTypeNode AmbTypeNode(Position pos, java.lang.String name)
           
 AmbVarLabelNode AmbVarLabelNode(Position pos, java.lang.String name)
           
 ArrayAccess ArrayAccess(Position pos, Expr base, Expr index)
           
 ArrayInit ArrayInit(Position pos)
           
 ArrayInit ArrayInit(Position pos, java.util.List elements)
           
 ArrayTypeNode ArrayTypeNode(Position pos, TypeNode base)
           
 Assign Assign(Position pos, Expr left, Assign.Operator op, Expr right)
           
 AuthConstraintNode AuthConstraintNode(Position pos, java.util.List principals)
           
 Binary Binary(Position pos, Expr left, Binary.Operator op, Expr right)
           
 <>Block Block(Position pos)
           
 <>Block Block(Position pos, java.util.List statements)
           
 <>Block Block(Position pos, Stmt s1)
           
 <>Block Block(Position pos, Stmt s1, Stmt s2)
           
 <>Block Block(Position pos, Stmt s1, Stmt s2, Stmt s3)
           
 <>Block Block(Position pos, Stmt s1, Stmt s2, Stmt s3, Stmt s4)
           
 BooleanLit BooleanLit(Position pos, boolean value)
           
 Branch Branch(Position pos, Branch.Kind kind)
           
 Branch Branch(Position pos, Branch.Kind kind, java.lang.String label)
           
 Branch Break(Position pos)
           
 Branch Break(Position pos, java.lang.String label)
           
 Call Call(Position pos, Receiver target, java.lang.String name)
           
 Call Call(Position pos, Receiver target, java.lang.String name, Expr a1)
           
 Call Call(Position pos, Receiver target, java.lang.String name, Expr a1, Expr a2)
           
 Call Call(Position pos, Receiver target, java.lang.String name, Expr a1, Expr a2, Expr a3)
           
 Call Call(Position pos, Receiver target, java.lang.String name, Expr a1, Expr a2, Expr a3, Expr a4)
           
 Call Call(Position pos, Receiver target, java.lang.String name, java.util.List args)
           
 Call Call(Position pos, java.lang.String name)
           
 Call Call(Position pos, java.lang.String name, Expr a1)
           
 Call Call(Position pos, java.lang.String name, Expr a1, Expr a2)
           
 Call Call(Position pos, java.lang.String name, Expr a1, Expr a2, Expr a3)
           
 Call Call(Position pos, java.lang.String name, Expr a1, Expr a2, Expr a3, Expr a4)
           
 Call Call(Position pos, java.lang.String name, java.util.List args)
           
 CallerConstraintNode CallerConstraintNode(Position pos, java.util.List principals)
           
 CanonicalConstraintNode CanonicalConstraintNode(Position pos, Constraint constraint)
           
 CanonicalLabelNode CanonicalLabelNode(Position pos, Label label)
           
 CanonicalPrincipalNode CanonicalPrincipalNode(Position pos, Principal principal)
           
 CanonicalTypeNode CanonicalTypeNode(Position pos, Type type)
           
 Case Case(Position pos, Expr expr)
           
 Cast Cast(Position pos, TypeNode type, Expr expr)
           
 Catch Catch(Position pos, Formal formal, <>Block body)
           
 CharLit CharLit(Position pos, char value)
           
 ClassBody ClassBody(Position pos, java.util.List members)
           
 ClassDecl ClassDecl(Position pos, Flags flags, java.lang.String name, TypeNode superClass, java.util.List interfaces, ClassBody body)
           
 Conditional Conditional(Position pos, Expr cond, Expr consequent, Expr alternative)
           
 ConstructorCall ConstructorCall(Position pos, ConstructorCall.Kind kind, Expr outer, java.util.List args)
           
 ConstructorCall ConstructorCall(Position pos, ConstructorCall.Kind kind, java.util.List args)
           
 ConstructorDecl ConstructorDecl(Position pos, Flags flags, java.lang.String name, java.util.List formals, java.util.List exceptionTypes, <>Block body)
           
 Branch Continue(Position pos)
           
 Branch Continue(Position pos, java.lang.String label)
           
 DeclassifyExpr DeclassifyExpr(Position pos, Expr expr, LabelNode bound, LabelNode label)
           
 DeclassifyStmt DeclassifyStmt(Position pos, LabelNode bound, LabelNode label, Stmt body)
           
 Case Default(Position pos)
           
 Do Do(Position pos, Stmt body, Expr cond)
           
 Empty Empty(Position pos)
           
 Eval Eval(Position pos, Expr expr)
           
 Field Field(Position pos, Receiver target, java.lang.String name)
           
 Field Field(Position pos, java.lang.String name)
           
 FieldDecl FieldDecl(Position pos, Flags flags, TypeNode type, java.lang.String name)
           
 FieldDecl FieldDecl(Position pos, Flags flags, TypeNode type, java.lang.String name, Expr init)
           
 FloatLit FloatLit(Position pos, FloatLit.Kind kind, double value)
           
 For For(Position pos, java.util.List inits, Expr cond, java.util.List iters, Stmt body)
           
 Formal Formal(Position pos, Flags flags, TypeNode type, java.lang.String name)
           
 If If(Position pos, Expr cond, Stmt consequent)
           
 If If(Position pos, Expr cond, Stmt consequent, Stmt alternative)
           
 Import Import(Position pos, Import.Kind kind, java.lang.String name)
           
 Initializer Initializer(Position pos, Flags flags, <>Block body)
           
 Instanceof Instanceof(Position pos, Expr expr, TypeNode type)
           
 InstTypeNode InstTypeNode(Position pos, TypeNode type, java.util.List params)
           
 IntLit IntLit(Position pos, long value)
           
 JifClassDecl JifClassDecl(Position pos, Flags flags, java.lang.String name, java.util.List params, TypeNode superClass, java.util.List interfaces, java.util.List authority, ClassBody body)
           
 JifConstructorDecl JifConstructorDecl(Position pos, Flags flags, java.lang.String name, LabelNode startLabel, LabelNode returnLabel, java.util.List formals, java.util.List exceptionTypes, java.util.List constraints, <>Block body)
           
 JifMethodDecl JifMethodDecl(Position pos, Flags flags, TypeNode returnType, java.lang.String name, LabelNode startLabel, java.util.List formals, LabelNode endLabel, java.util.List exceptionTypes, java.util.List constraints, <>Block body)
           
 JoinLabelNode JoinLabelNode(Position pos, java.util.List components)
           
 LabelCase LabelCase(Position pos, LabelNode label, Stmt body)
           
 LabelCase LabelCase(Position pos, LocalDecl decl, LabelNode label, Stmt body)
           
 LabelCase LabelCase(Position pos, Stmt body)
           
 Labeled Labeled(Position pos, java.lang.String label, Stmt body)
           
 LabeledTypeNode LabeledTypeNode(Position pos, TypeNode type, LabelNode label)
           
 Local Local(Position pos, java.lang.String name)
           
 LocalClassDecl LocalClassDecl(Position pos, ClassDecl decl)
           
 LocalDecl LocalDecl(Position pos, Flags flags, TypeNode type, java.lang.String name)
           
 LocalDecl LocalDecl(Position pos, Flags flags, TypeNode type, java.lang.String name, Expr init)
           
 MethodDecl MethodDecl(Position pos, Flags flags, TypeNode returnType, java.lang.String name, java.util.List formals, java.util.List exceptionTypes, <>Block body)
           
 New New(Position pos, TypeNode type, java.util.List args)
           
 New New(Position pos, TypeNode type, java.util.List args, ClassBody body)
           
 NewArray NewArray(Position pos, TypeNode base, int addDims, ArrayInit init)
           
 NewArray NewArray(Position pos, TypeNode base, java.util.List dims)
           
 NewArray NewArray(Position pos, TypeNode base, java.util.List dims, int addDims)
           
 NewLabel NewLabel(Position pos, LabelNode label)
           
 NullLit NullLit(Position pos)
           
 PackageNode PackageNode(Position pos, Package p)
           
 ParamDecl ParamDecl(Position pos, ParamInstance.Kind kind, java.lang.String name)
           
 PolicyLabelNode PolicyLabelNode(Position pos, PrincipalNode owner, java.util.List readers)
           
 QualifiedNew QualifiedNew(Position pos, Expr outer, java.lang.String type, java.util.List args)
           
 QualifiedNew QualifiedNew(Position pos, Expr outer, java.lang.String type, java.util.List args, ClassBody body)
           
 Return Return(Position pos)
           
 Return Return(Position pos, Expr expr)
           
 SourceFile SourceFile(Position pos, java.util.List decls)
           
 SourceFile SourceFile(Position pos, java.util.List imports, java.util.List decls)
           
 SourceFile SourceFile(Position pos, PackageNode packageName, java.util.List imports, java.util.List decls)
           
 Special Special(Position pos, Special.Kind kind)
           
 Special Special(Position pos, Special.Kind kind, TypeNode outer)
           
 StringLit StringLit(Position pos, java.lang.String value)
           
 Special Super(Position pos)
           
 Special Super(Position pos, TypeNode outer)
           
 ConstructorCall SuperCall(Position pos, Expr outer, java.util.List args)
           
 ConstructorCall SuperCall(Position pos, java.util.List args)
           
 Switch Switch(Position pos, Expr expr, java.util.List elements)
           
 SwitchBlock SwitchBlock(Position pos, java.util.List statements)
           
 SwitchLabel SwitchLabel(Position pos, Expr expr, java.util.List cases)
           
 Synchronized Synchronized(Position pos, Expr expr, <>Block body)
           
 Special This(Position pos)
           
 Special This(Position pos, TypeNode outer)
           
 ConstructorCall ThisCall(Position pos, Expr outer, java.util.List args)
           
 ConstructorCall ThisCall(Position pos, java.util.List args)
           
 Throw Throw(Position pos, Expr expr)
           
 Try Try(Position pos, <>Block tryBlock, java.util.List catchBlocks)
           
 Try Try(Position pos, <>Block tryBlock, java.util.List catchBlocks, <>Block finallyBlock)
           
 Unary Unary(Position pos, Expr expr, Unary.Operator op)
           
 Unary Unary(Position pos, Unary.Operator op, Expr expr)
           
 While While(Position pos, Expr cond, Stmt body)
           
 
Methods inherited from class jltools.ext.jl.ast.NodeFactory_c
QualifiedNew, QualifiedNew
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface jltools.ast.NodeFactory
Catch, ConstructorDecl, Initializer, MethodDecl, QualifiedNew, QualifiedNew, Synchronized, Try, Try
 

Constructor Detail

JifNodeFactory_c

public JifNodeFactory_c()
Method Detail

AmbPrefix

public AmbPrefix AmbPrefix(Position pos,
                           java.lang.String name)
Specified by:
AmbPrefix in interface NodeFactory
Overrides:
AmbPrefix in class NodeFactory_c

AmbPrefix

public AmbPrefix AmbPrefix(Position pos,
                           Prefix prefix,
                           java.lang.String name)
Specified by:
AmbPrefix in interface NodeFactory
Overrides:
AmbPrefix in class NodeFactory_c

AmbReceiver

public AmbReceiver AmbReceiver(Position pos,
                               java.lang.String name)
Specified by:
AmbReceiver in interface NodeFactory
Overrides:
AmbReceiver in class NodeFactory_c

AmbReceiver

public AmbReceiver AmbReceiver(Position pos,
                               Prefix prefix,
                               java.lang.String name)
Specified by:
AmbReceiver in interface NodeFactory
Overrides:
AmbReceiver in class NodeFactory_c

AmbQualifierNode

public AmbQualifierNode AmbQualifierNode(Position pos,
                                         java.lang.String name)
Specified by:
AmbQualifierNode in interface NodeFactory
Overrides:
AmbQualifierNode in class NodeFactory_c

AmbQualifierNode

public AmbQualifierNode AmbQualifierNode(Position pos,
                                         QualifierNode qualifier,
                                         java.lang.String name)
Specified by:
AmbQualifierNode in interface NodeFactory
Overrides:
AmbQualifierNode in class NodeFactory_c

AmbExpr

public AmbExpr AmbExpr(Position pos,
                       java.lang.String name)
Specified by:
AmbExpr in interface NodeFactory
Overrides:
AmbExpr in class NodeFactory_c

AmbTypeNode

public AmbTypeNode AmbTypeNode(Position pos,
                               java.lang.String name)
Specified by:
AmbTypeNode in interface NodeFactory
Overrides:
AmbTypeNode in class NodeFactory_c

AmbTypeNode

public AmbTypeNode AmbTypeNode(Position pos,
                               QualifierNode qualifier,
                               java.lang.String name)
Specified by:
AmbTypeNode in interface NodeFactory
Overrides:
AmbTypeNode in class NodeFactory_c

ArrayAccess

public ArrayAccess ArrayAccess(Position pos,
                               Expr base,
                               Expr index)
Specified by:
ArrayAccess in interface NodeFactory
Overrides:
ArrayAccess in class NodeFactory_c

ArrayInit

public ArrayInit ArrayInit(Position pos)
Specified by:
ArrayInit in interface NodeFactory
Overrides:
ArrayInit in class NodeFactory_c

ArrayInit

public ArrayInit ArrayInit(Position pos,
                           java.util.List elements)
Specified by:
ArrayInit in interface NodeFactory
Overrides:
ArrayInit in class NodeFactory_c

Assign

public Assign Assign(Position pos,
                     Expr left,
                     Assign.Operator op,
                     Expr right)
Specified by:
Assign in interface NodeFactory
Overrides:
Assign in class NodeFactory_c

Binary

public Binary Binary(Position pos,
                     Expr left,
                     Binary.Operator op,
                     Expr right)
Specified by:
Binary in interface NodeFactory
Overrides:
Binary in class NodeFactory_c

Block

public <>Block Block(Position pos)
Specified by:
Block in interface NodeFactory
Overrides:
Block in class NodeFactory_c

Block

public <>Block Block(Position pos,
                                Stmt s1)
Specified by:
Block in interface NodeFactory
Overrides:
Block in class NodeFactory_c

Block

public <>Block Block(Position pos,
                                Stmt s1,
                                Stmt s2)
Specified by:
Block in interface NodeFactory
Overrides:
Block in class NodeFactory_c

Block

public <>Block Block(Position pos,
                                Stmt s1,
                                Stmt s2,
                                Stmt s3)
Specified by:
Block in interface NodeFactory
Overrides:
Block in class NodeFactory_c

Block

public <>Block Block(Position pos,
                                Stmt s1,
                                Stmt s2,
                                Stmt s3,
                                Stmt s4)
Specified by:
Block in interface NodeFactory
Overrides:
Block in class NodeFactory_c

Block

public <>Block Block(Position pos,
                                java.util.List statements)
Specified by:
Block in interface NodeFactory
Overrides:
Block in class NodeFactory_c

SwitchBlock

public SwitchBlock SwitchBlock(Position pos,
                               java.util.List statements)
Specified by:
SwitchBlock in interface NodeFactory
Overrides:
SwitchBlock in class NodeFactory_c

BooleanLit

public BooleanLit BooleanLit(Position pos,
                             boolean value)
Specified by:
BooleanLit in interface NodeFactory
Overrides:
BooleanLit in class NodeFactory_c

Break

public Branch Break(Position pos)
Specified by:
Break in interface NodeFactory
Overrides:
Break in class NodeFactory_c

Break

public Branch Break(Position pos,
                    java.lang.String label)
Specified by:
Break in interface NodeFactory
Overrides:
Break in class NodeFactory_c

Continue

public Branch Continue(Position pos)
Specified by:
Continue in interface NodeFactory
Overrides:
Continue in class NodeFactory_c

Continue

public Branch Continue(Position pos,
                       java.lang.String label)
Specified by:
Continue in interface NodeFactory
Overrides:
Continue in class NodeFactory_c

Branch

public Branch Branch(Position pos,
                     Branch.Kind kind)
Specified by:
Branch in interface NodeFactory
Overrides:
Branch in class NodeFactory_c

Branch

public Branch Branch(Position pos,
                     Branch.Kind kind,
                     java.lang.String label)
Specified by:
Branch in interface NodeFactory
Overrides:
Branch in class NodeFactory_c

Call

public Call Call(Position pos,
                 java.lang.String name)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Call

public Call Call(Position pos,
                 java.lang.String name,
                 Expr a1)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Call

public Call Call(Position pos,
                 java.lang.String name,
                 Expr a1,
                 Expr a2)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Call

public Call Call(Position pos,
                 java.lang.String name,
                 Expr a1,
                 Expr a2,
                 Expr a3)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Call

public Call Call(Position pos,
                 java.lang.String name,
                 Expr a1,
                 Expr a2,
                 Expr a3,
                 Expr a4)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Call

public Call Call(Position pos,
                 java.lang.String name,
                 java.util.List args)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Call

public Call Call(Position pos,
                 Receiver target,
                 java.lang.String name)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Call

public Call Call(Position pos,
                 Receiver target,
                 java.lang.String name,
                 Expr a1)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Call

public Call Call(Position pos,
                 Receiver target,
                 java.lang.String name,
                 Expr a1,
                 Expr a2)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Call

public Call Call(Position pos,
                 Receiver target,
                 java.lang.String name,
                 Expr a1,
                 Expr a2,
                 Expr a3)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Call

public Call Call(Position pos,
                 Receiver target,
                 java.lang.String name,
                 Expr a1,
                 Expr a2,
                 Expr a3,
                 Expr a4)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Call

public Call Call(Position pos,
                 Receiver target,
                 java.lang.String name,
                 java.util.List args)
Specified by:
Call in interface NodeFactory
Overrides:
Call in class NodeFactory_c

Default

public Case Default(Position pos)
Specified by:
Default in interface NodeFactory
Overrides:
Default in class NodeFactory_c

Case

public Case Case(Position pos,
                 Expr expr)
Specified by:
Case in interface NodeFactory
Overrides:
Case in class NodeFactory_c

Cast

public Cast Cast(Position pos,
                 TypeNode type,
                 Expr expr)
Specified by:
Cast in interface NodeFactory
Overrides:
Cast in class NodeFactory_c

Catch

public Catch Catch(Position pos,
                   Formal formal,
                   <>Block body)
Overrides:
Catch in class NodeFactory_c

CharLit

public CharLit CharLit(Position pos,
                       char value)
Specified by:
CharLit in interface NodeFactory
Overrides:
CharLit in class NodeFactory_c

ClassBody

public ClassBody ClassBody(Position pos,
                           java.util.List members)
Specified by:
ClassBody in interface NodeFactory
Overrides:
ClassBody in class NodeFactory_c

ClassDecl

public ClassDecl ClassDecl(Position pos,
                           Flags flags,
                           java.lang.String name,
                           TypeNode superClass,
                           java.util.List interfaces,
                           ClassBody body)
Specified by:
ClassDecl in interface NodeFactory
Overrides:
ClassDecl in class NodeFactory_c

Conditional

public Conditional Conditional(Position pos,
                               Expr cond,
                               Expr consequent,
                               Expr alternative)
Specified by:
Conditional in interface NodeFactory
Overrides:
Conditional in class NodeFactory_c

ThisCall

public ConstructorCall ThisCall(Position pos,
                                java.util.List args)
Specified by:
ThisCall in interface NodeFactory
Overrides:
ThisCall in class NodeFactory_c

ThisCall

public ConstructorCall ThisCall(Position pos,
                                Expr outer,
                                java.util.List args)
Specified by:
ThisCall in interface NodeFactory
Overrides:
ThisCall in class NodeFactory_c

SuperCall

public ConstructorCall SuperCall(Position pos,
                                 java.util.List args)
Specified by:
SuperCall in interface NodeFactory
Overrides:
SuperCall in class NodeFactory_c

SuperCall

public ConstructorCall SuperCall(Position pos,
                                 Expr outer,
                                 java.util.List args)
Specified by:
SuperCall in interface NodeFactory
Overrides:
SuperCall in class NodeFactory_c

ConstructorCall

public ConstructorCall ConstructorCall(Position pos,
                                       ConstructorCall.Kind kind,
                                       java.util.List args)
Specified by:
ConstructorCall in interface NodeFactory
Overrides:
ConstructorCall in class NodeFactory_c

ConstructorCall

public ConstructorCall ConstructorCall(Position pos,
                                       ConstructorCall.Kind kind,
                                       Expr outer,
                                       java.util.List args)
Specified by:
ConstructorCall in interface NodeFactory
Overrides:
ConstructorCall in class NodeFactory_c

ConstructorDecl

public ConstructorDecl ConstructorDecl(Position pos,
                                       Flags flags,
                                       java.lang.String name,
                                       java.util.List formals,
                                       java.util.List exceptionTypes,
                                       <>Block body)
Overrides:
ConstructorDecl in class NodeFactory_c

FieldDecl

public FieldDecl FieldDecl(Position pos,
                           Flags flags,
                           TypeNode type,
                           java.lang.String name)
Specified by:
FieldDecl in interface NodeFactory
Overrides:
FieldDecl in class NodeFactory_c

FieldDecl

public FieldDecl FieldDecl(Position pos,
                           Flags flags,
                           TypeNode type,
                           java.lang.String name,
                           Expr init)
Specified by:
FieldDecl in interface NodeFactory
Overrides:
FieldDecl in class NodeFactory_c

Do

public Do Do(Position pos,
             Stmt body,
             Expr cond)
Specified by:
Do in interface NodeFactory
Overrides:
Do in class NodeFactory_c

Empty

public Empty Empty(Position pos)
Specified by:
Empty in interface NodeFactory
Overrides:
Empty in class NodeFactory_c

Eval

public Eval Eval(Position pos,
                 Expr expr)
Specified by:
Eval in interface NodeFactory
Overrides:
Eval in class NodeFactory_c

Field

public Field Field(Position pos,
                   java.lang.String name)
Specified by:
Field in interface NodeFactory
Overrides:
Field in class NodeFactory_c

Field

public Field Field(Position pos,
                   Receiver target,
                   java.lang.String name)
Specified by:
Field in interface NodeFactory
Overrides:
Field in class NodeFactory_c

FloatLit

public FloatLit FloatLit(Position pos,
                         FloatLit.Kind kind,
                         double value)
Specified by:
FloatLit in interface NodeFactory
Overrides:
FloatLit in class NodeFactory_c

For

public For For(Position pos,
               java.util.List inits,
               Expr cond,
               java.util.List iters,
               Stmt body)
Specified by:
For in interface NodeFactory
Overrides:
For in class NodeFactory_c

Formal

public Formal Formal(Position pos,
                     Flags flags,
                     TypeNode type,
                     java.lang.String name)
Specified by:
Formal in interface NodeFactory
Overrides:
Formal in class NodeFactory_c

If

public If If(Position pos,
             Expr cond,
             Stmt consequent)
Specified by:
If in interface NodeFactory
Overrides:
If in class NodeFactory_c

If

public If If(Position pos,
             Expr cond,
             Stmt consequent,
             Stmt alternative)
Specified by:
If in interface NodeFactory
Overrides:
If in class NodeFactory_c

Import

public Import Import(Position pos,
                     Import.Kind kind,
                     java.lang.String name)
Specified by:
Import in interface NodeFactory
Overrides:
Import in class NodeFactory_c

Initializer

public Initializer Initializer(Position pos,
                               Flags flags,
                               <>Block body)
Overrides:
Initializer in class NodeFactory_c

Instanceof

public Instanceof Instanceof(Position pos,
                             Expr expr,
                             TypeNode type)
Specified by:
Instanceof in interface NodeFactory
Overrides:
Instanceof in class NodeFactory_c

IntLit

public IntLit IntLit(Position pos,
                     long value)
Specified by:
IntLit in interface NodeFactory
Overrides:
IntLit in class NodeFactory_c

Labeled

public Labeled Labeled(Position pos,
                       java.lang.String label,
                       Stmt body)
Specified by:
Labeled in interface NodeFactory
Overrides:
Labeled in class NodeFactory_c

Local

public Local Local(Position pos,
                   java.lang.String name)
Specified by:
Local in interface NodeFactory
Overrides:
Local in class NodeFactory_c

LocalClassDecl

public LocalClassDecl LocalClassDecl(Position pos,
                                     ClassDecl decl)
Specified by:
LocalClassDecl in interface NodeFactory
Overrides:
LocalClassDecl in class NodeFactory_c

LocalDecl

public LocalDecl LocalDecl(Position pos,
                           Flags flags,
                           TypeNode type,
                           java.lang.String name)
Specified by:
LocalDecl in interface NodeFactory
Overrides:
LocalDecl in class NodeFactory_c

LocalDecl

public LocalDecl LocalDecl(Position pos,
                           Flags flags,
                           TypeNode type,
                           java.lang.String name,
                           Expr init)
Specified by:
LocalDecl in interface NodeFactory
Overrides:
LocalDecl in class NodeFactory_c

MethodDecl

public MethodDecl MethodDecl(Position pos,
                             Flags flags,
                             TypeNode returnType,
                             java.lang.String name,
                             java.util.List formals,
                             java.util.List exceptionTypes,
                             <>Block body)
Overrides:
MethodDecl in class NodeFactory_c

New

public New New(Position pos,
               TypeNode type,
               java.util.List args)
Specified by:
New in interface NodeFactory
Overrides:
New in class NodeFactory_c

New

public New New(Position pos,
               TypeNode type,
               java.util.List args,
               ClassBody body)
Specified by:
New in interface NodeFactory
Overrides:
New in class NodeFactory_c

QualifiedNew

public QualifiedNew QualifiedNew(Position pos,
                                 Expr outer,
                                 java.lang.String type,
                                 java.util.List args)

QualifiedNew

public QualifiedNew QualifiedNew(Position pos,
                                 Expr outer,
                                 java.lang.String type,
                                 java.util.List args,
                                 ClassBody body)

NewArray

public NewArray NewArray(Position pos,
                         TypeNode base,
                         java.util.List dims)
Specified by:
NewArray in interface NodeFactory
Overrides:
NewArray in class NodeFactory_c

NewArray

public NewArray NewArray(Position pos,
                         TypeNode base,
                         java.util.List dims,
                         int addDims)
Specified by:
NewArray in interface NodeFactory
Overrides:
NewArray in class NodeFactory_c

NewArray

public NewArray NewArray(Position pos,
                         TypeNode base,
                         int addDims,
                         ArrayInit init)
Specified by:
NewArray in interface NodeFactory
Overrides:
NewArray in class NodeFactory_c

NullLit

public NullLit NullLit(Position pos)
Specified by:
NullLit in interface NodeFactory
Overrides:
NullLit in class NodeFactory_c

Return

public Return Return(Position pos)
Specified by:
Return in interface NodeFactory
Overrides:
Return in class NodeFactory_c

Return

public Return Return(Position pos,
                     Expr expr)
Specified by:
Return in interface NodeFactory
Overrides:
Return in class NodeFactory_c

SourceFile

public SourceFile SourceFile(Position pos,
                             java.util.List decls)
Specified by:
SourceFile in interface NodeFactory
Overrides:
SourceFile in class NodeFactory_c

SourceFile

public SourceFile SourceFile(Position pos,
                             java.util.List imports,
                             java.util.List decls)
Specified by:
SourceFile in interface NodeFactory
Overrides:
SourceFile in class NodeFactory_c

SourceFile

public SourceFile SourceFile(Position pos,
                             PackageNode packageName,
                             java.util.List imports,
                             java.util.List decls)
Specified by:
SourceFile in interface NodeFactory
Overrides:
SourceFile in class NodeFactory_c

This

public Special This(Position pos)
Specified by:
This in interface NodeFactory
Overrides:
This in class NodeFactory_c

This

public Special This(Position pos,
                    TypeNode outer)
Specified by:
This in interface NodeFactory
Overrides:
This in class NodeFactory_c

Super

public Special Super(Position pos)
Specified by:
Super in interface NodeFactory
Overrides:
Super in class NodeFactory_c

Super

public Special Super(Position pos,
                     TypeNode outer)
Specified by:
Super in interface NodeFactory
Overrides:
Super in class NodeFactory_c

Special

public Special Special(Position pos,
                       Special.Kind kind)
Specified by:
Special in interface NodeFactory
Overrides:
Special in class NodeFactory_c

Special

public Special Special(Position pos,
                       Special.Kind kind,
                       TypeNode outer)
Specified by:
Special in interface NodeFactory
Overrides:
Special in class NodeFactory_c

StringLit

public StringLit StringLit(Position pos,
                           java.lang.String value)
Specified by:
StringLit in interface NodeFactory
Overrides:
StringLit in class NodeFactory_c

Switch

public Switch Switch(Position pos,
                     Expr expr,
                     java.util.List elements)
Specified by:
Switch in interface NodeFactory
Overrides:
Switch in class NodeFactory_c

Synchronized

public Synchronized Synchronized(Position pos,
                                 Expr expr,
                                 <>Block body)
Overrides:
Synchronized in class NodeFactory_c

Throw

public Throw Throw(Position pos,
                   Expr expr)
Specified by:
Throw in interface NodeFactory
Overrides:
Throw in class NodeFactory_c

Try

public Try Try(Position pos,
               <>Block tryBlock,
               java.util.List catchBlocks)
Overrides:
Try in class NodeFactory_c

Try

public Try Try(Position pos,
               <>Block tryBlock,
               java.util.List catchBlocks,
               <>Block finallyBlock)
Overrides:
Try in class NodeFactory_c

ArrayTypeNode

public ArrayTypeNode ArrayTypeNode(Position pos,
                                   TypeNode base)
Specified by:
ArrayTypeNode in interface NodeFactory
Overrides:
ArrayTypeNode in class NodeFactory_c

CanonicalTypeNode

public CanonicalTypeNode CanonicalTypeNode(Position pos,
                                           Type type)
Specified by:
CanonicalTypeNode in interface NodeFactory
Overrides:
CanonicalTypeNode in class NodeFactory_c

PackageNode

public PackageNode PackageNode(Position pos,
                               Package p)
Specified by:
PackageNode in interface NodeFactory
Overrides:
PackageNode in class NodeFactory_c

Unary

public Unary Unary(Position pos,
                   Unary.Operator op,
                   Expr expr)
Specified by:
Unary in interface NodeFactory
Overrides:
Unary in class NodeFactory_c

Unary

public Unary Unary(Position pos,
                   Expr expr,
                   Unary.Operator op)
Specified by:
Unary in interface NodeFactory
Overrides:
Unary in class NodeFactory_c

While

public While While(Position pos,
                   Expr cond,
                   Stmt body)
Specified by:
While in interface NodeFactory
Overrides:
While in class NodeFactory_c

InstTypeNode

public InstTypeNode InstTypeNode(Position pos,
                                 TypeNode type,
                                 java.util.List params)
Specified by:
InstTypeNode in interface JifNodeFactory

LabeledTypeNode

public LabeledTypeNode LabeledTypeNode(Position pos,
                                       TypeNode type,
                                       LabelNode label)
Specified by:
LabeledTypeNode in interface JifNodeFactory

AmbNewArray

public AmbNewArray AmbNewArray(Position pos,
                               TypeNode baseType,
                               java.lang.String name,
                               java.util.List dims)
Specified by:
AmbNewArray in interface JifNodeFactory

AmbParamTypeOrAccess

public AmbParamTypeOrAccess AmbParamTypeOrAccess(Position pos,
                                                 Receiver base,
                                                 java.lang.String name)
Specified by:
AmbParamTypeOrAccess in interface JifNodeFactory

JoinLabelNode

public JoinLabelNode JoinLabelNode(Position pos,
                                   java.util.List components)
Specified by:
JoinLabelNode in interface JifNodeFactory

PolicyLabelNode

public PolicyLabelNode PolicyLabelNode(Position pos,
                                       PrincipalNode owner,
                                       java.util.List readers)
Specified by:
PolicyLabelNode in interface JifNodeFactory

AmbDynamicLabelNode

public AmbDynamicLabelNode AmbDynamicLabelNode(Position pos,
                                               java.lang.String name)
Specified by:
AmbDynamicLabelNode in interface JifNodeFactory

AmbVarLabelNode

public AmbVarLabelNode AmbVarLabelNode(Position pos,
                                       java.lang.String name)
Specified by:
AmbVarLabelNode in interface JifNodeFactory

AmbThisLabelNode

public AmbThisLabelNode AmbThisLabelNode(Position pos)
Specified by:
AmbThisLabelNode in interface JifNodeFactory

CanonicalLabelNode

public CanonicalLabelNode CanonicalLabelNode(Position pos,
                                             Label label)
Specified by:
CanonicalLabelNode in interface JifNodeFactory

AmbPrincipalNode

public AmbPrincipalNode AmbPrincipalNode(Position pos,
                                         java.lang.String name)
Specified by:
AmbPrincipalNode in interface JifNodeFactory

CanonicalPrincipalNode

public CanonicalPrincipalNode CanonicalPrincipalNode(Position pos,
                                                     Principal principal)
Specified by:
CanonicalPrincipalNode in interface JifNodeFactory

JifClassDecl

public JifClassDecl JifClassDecl(Position pos,
                                 Flags flags,
                                 java.lang.String name,
                                 java.util.List params,
                                 TypeNode superClass,
                                 java.util.List interfaces,
                                 java.util.List authority,
                                 ClassBody body)
Specified by:
JifClassDecl in interface JifNodeFactory

JifMethodDecl

public JifMethodDecl JifMethodDecl(Position pos,
                                   Flags flags,
                                   TypeNode returnType,
                                   java.lang.String name,
                                   LabelNode startLabel,
                                   java.util.List formals,
                                   LabelNode endLabel,
                                   java.util.List exceptionTypes,
                                   java.util.List constraints,
                                   <>Block body)
Specified by:
JifMethodDecl in interface JifNodeFactory

JifConstructorDecl

public JifConstructorDecl JifConstructorDecl(Position pos,
                                             Flags flags,
                                             java.lang.String name,
                                             LabelNode startLabel,
                                             LabelNode returnLabel,
                                             java.util.List formals,
                                             java.util.List exceptionTypes,
                                             java.util.List constraints,
                                             <>Block body)
Specified by:
JifConstructorDecl in interface JifNodeFactory

AmbParam

public AmbParam AmbParam(Position pos,
                         java.lang.String name)
Specified by:
AmbParam in interface JifNodeFactory

ParamDecl

public ParamDecl ParamDecl(Position pos,
                           ParamInstance.Kind kind,
                           java.lang.String name)
Specified by:
ParamDecl in interface JifNodeFactory

CanonicalConstraintNode

public CanonicalConstraintNode CanonicalConstraintNode(Position pos,
                                                       Constraint constraint)
Specified by:
CanonicalConstraintNode in interface JifNodeFactory

AuthConstraintNode

public AuthConstraintNode AuthConstraintNode(Position pos,
                                             java.util.List principals)
Specified by:
AuthConstraintNode in interface JifNodeFactory

CallerConstraintNode

public CallerConstraintNode CallerConstraintNode(Position pos,
                                                 java.util.List principals)
Specified by:
CallerConstraintNode in interface JifNodeFactory

ActsForConstraintNode

public ActsForConstraintNode ActsForConstraintNode(Position pos,
                                                   PrincipalNode actor,
                                                   PrincipalNode granter)
Specified by:
ActsForConstraintNode in interface JifNodeFactory

SwitchLabel

public SwitchLabel SwitchLabel(Position pos,
                               Expr expr,
                               java.util.List cases)
Specified by:
SwitchLabel in interface JifNodeFactory

LabelCase

public LabelCase LabelCase(Position pos,
                           LocalDecl decl,
                           LabelNode label,
                           Stmt body)
Specified by:
LabelCase in interface JifNodeFactory

LabelCase

public LabelCase LabelCase(Position pos,
                           LabelNode label,
                           Stmt body)
Specified by:
LabelCase in interface JifNodeFactory

LabelCase

public LabelCase LabelCase(Position pos,
                           Stmt body)
Specified by:
LabelCase in interface JifNodeFactory

ActsFor

public ActsFor ActsFor(Position pos,
                       PrincipalNode actor,
                       PrincipalNode granter,
                       Stmt consequent)
Specified by:
ActsFor in interface JifNodeFactory

ActsFor

public ActsFor ActsFor(Position pos,
                       PrincipalNode actor,
                       PrincipalNode granter,
                       Stmt consequent,
                       Stmt alternative)
Specified by:
ActsFor in interface JifNodeFactory

DeclassifyStmt

public DeclassifyStmt DeclassifyStmt(Position pos,
                                     LabelNode bound,
                                     LabelNode label,
                                     Stmt body)
Specified by:
DeclassifyStmt in interface JifNodeFactory

DeclassifyExpr

public DeclassifyExpr DeclassifyExpr(Position pos,
                                     Expr expr,
                                     LabelNode bound,
                                     LabelNode label)
Specified by:
DeclassifyExpr in interface JifNodeFactory

NewLabel

public NewLabel NewLabel(Position pos,
                         LabelNode label)
Specified by:
NewLabel in interface JifNodeFactory
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES
SUMMARY:  INNER | FIELD | CONSTR | METHOD DETAIL:  FIELD | CONSTR | METHOD