fabric.ast
Class RemoteWorkerGetter_c

java.lang.Object
  extended by Expr_c
      extended by fabric.ast.RemoteWorkerGetter_c
All Implemented Interfaces:
RemoteWorkerGetter

public class RemoteWorkerGetter_c
extends Expr_c
implements RemoteWorkerGetter


Field Summary
protected  Expr remoteWorkerName
           
 
Constructor Summary
RemoteWorkerGetter_c(Position pos, Expr remoteWorkerName)
           
 
Method Summary
 java.util.List acceptCFG(CFGBuilder v, java.util.List succs)
           
 Term firstChild()
           
protected  RemoteWorkerGetter reconstruct(Expr remoteWorkerName)
           
 Expr remoteWorkerName()
           
 RemoteWorkerGetter remoteWorkerName(Expr expr)
           
 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

remoteWorkerName

protected Expr remoteWorkerName
Constructor Detail

RemoteWorkerGetter_c

public RemoteWorkerGetter_c(Position pos,
                            Expr remoteWorkerName)
Method Detail

reconstruct

protected RemoteWorkerGetter reconstruct(Expr remoteWorkerName)

remoteWorkerName

public Expr remoteWorkerName()
Specified by:
remoteWorkerName in interface RemoteWorkerGetter

remoteWorkerName

public RemoteWorkerGetter remoteWorkerName(Expr expr)
Specified by:
remoteWorkerName in interface RemoteWorkerGetter

visitChildren

public Node visitChildren(NodeVisitor v)

acceptCFG

public java.util.List acceptCFG(CFGBuilder v,
                                java.util.List succs)

firstChild

public Term firstChild()

typeCheck

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

toString

public java.lang.String toString()