fabric.ast
Class RemoteWorkerGetter_c
java.lang.Object
Expr_c
fabric.ast.RemoteWorkerGetter_c
- All Implemented Interfaces:
- RemoteWorkerGetter
public class RemoteWorkerGetter_c
- extends Expr_c
- implements RemoteWorkerGetter
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
remoteWorkerName
protected Expr remoteWorkerName
RemoteWorkerGetter_c
public RemoteWorkerGetter_c(Position pos,
Expr remoteWorkerName)
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()