fabric.ast
Class FabricCall_c

java.lang.Object
  extended by JifCall_c
      extended by fabric.ast.FabricCall_c
All Implemented Interfaces:
FabricCall

public class FabricCall_c
extends JifCall_c
implements FabricCall


Field Summary
protected  Expr remoteWorker
           
protected  Principal remoteWorkerPrincipal
           
 
Constructor Summary
FabricCall_c(Position pos, Receiver target, Id name, Expr remoteWorker, java.util.List args)
           
FabricCall_c(Position pos, Receiver target, Id name, java.util.List args)
           
 
Method Summary
protected  FabricCall_c reconstruct(Receiver target, Id name, Expr remoteWorker, java.util.List arguments)
           
 Expr remoteWorker()
           
 FabricCall remoteWorker(Expr remoteWorker)
           
 Principal remoteWorkerPrincipal()
           
 FabricCall remoteWorkerPrincipal(Principal p)
           
 Node typeCheck(TypeChecker tc)
           
 Node visitChildren(NodeVisitor v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

remoteWorker

protected Expr remoteWorker

remoteWorkerPrincipal

protected Principal remoteWorkerPrincipal
Constructor Detail

FabricCall_c

public FabricCall_c(Position pos,
                    Receiver target,
                    Id name,
                    java.util.List args)

FabricCall_c

public FabricCall_c(Position pos,
                    Receiver target,
                    Id name,
                    Expr remoteWorker,
                    java.util.List args)
Method Detail

reconstruct

protected FabricCall_c reconstruct(Receiver target,
                                   Id name,
                                   Expr remoteWorker,
                                   java.util.List arguments)

remoteWorker

public Expr remoteWorker()
Specified by:
remoteWorker in interface FabricCall

remoteWorker

public FabricCall remoteWorker(Expr remoteWorker)
Specified by:
remoteWorker in interface FabricCall

visitChildren

public Node visitChildren(NodeVisitor v)

typeCheck

public Node typeCheck(TypeChecker tc)
               throws SemanticException
Throws:
SemanticException

remoteWorkerPrincipal

public Principal remoteWorkerPrincipal()
Specified by:
remoteWorkerPrincipal in interface FabricCall

remoteWorkerPrincipal

public FabricCall remoteWorkerPrincipal(Principal p)
Specified by:
remoteWorkerPrincipal in interface FabricCall