@Deprecated public class RemoteWorkerGetter_c extends Expr_c implements RemoteWorkerGetter
Modifier and Type | Field and Description |
---|---|
protected Expr |
remoteWorkerName
Deprecated.
|
Constructor and Description |
---|
RemoteWorkerGetter_c(Position pos,
Expr remoteWorkerName)
Deprecated.
|
RemoteWorkerGetter_c(Position pos,
Expr remoteWorkerName,
Ext ext)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
<T> java.util.List<T> |
acceptCFG(<any> v,
java.util.List<T> succs)
Deprecated.
|
Term |
firstChild()
Deprecated.
|
protected <N extends RemoteWorkerGetter_c> |
reconstruct(N n,
Expr remoteWorkerName)
Deprecated.
|
Expr |
remoteWorkerName()
Deprecated.
|
RemoteWorkerGetter |
remoteWorkerName(Expr expr)
Deprecated.
|
protected <N extends RemoteWorkerGetter_c> |
remoteWorkerName(N n,
Expr remoteWorkerName)
Deprecated.
|
java.lang.String |
toString()
Deprecated.
|
Node |
typeCheck(TypeChecker tc)
Deprecated.
|
Node |
visitChildren(NodeVisitor v)
Deprecated.
|
@Deprecated public RemoteWorkerGetter_c(Position pos, Expr remoteWorkerName)
public RemoteWorkerGetter_c(Position pos, Expr remoteWorkerName, Ext ext)
protected <N extends RemoteWorkerGetter_c> N reconstruct(N n, Expr remoteWorkerName)
public Expr remoteWorkerName()
remoteWorkerName
in interface RemoteWorkerGetter
public RemoteWorkerGetter remoteWorkerName(Expr expr)
remoteWorkerName
in interface RemoteWorkerGetter
protected <N extends RemoteWorkerGetter_c> N remoteWorkerName(N n, Expr remoteWorkerName)
public Node visitChildren(NodeVisitor v)
public <T> java.util.List<T> acceptCFG(<any> v, java.util.List<T> succs)
public Term firstChild()
public Node typeCheck(TypeChecker tc) throws SemanticException
SemanticException
public java.lang.String toString()