fabil.ast
Class FabILCall_c

java.lang.Object
  extended by Call_c
      extended by fabil.ast.FabILCall_c
All Implemented Interfaces:
FabILCall

public class FabILCall_c
extends Call_c
implements FabILCall


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

Field Detail

remoteWorker

protected Expr remoteWorker
Constructor Detail

FabILCall_c

public FabILCall_c(Position pos,
                   Receiver target,
                   Id name,
                   java.util.List<Expr> arguments)

FabILCall_c

public FabILCall_c(Position pos,
                   Receiver target,
                   Id name,
                   Expr remoteWorker,
                   java.util.List<Expr> arguments)
Method Detail

reconstruct

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

remoteWorker

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

remoteWorker

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

visitChildren

public Node visitChildren(NodeVisitor v)

typeCheck

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

toString

public java.lang.String toString()