@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 RemoteWorkerGetterpublic RemoteWorkerGetter remoteWorkerName(Expr expr)
remoteWorkerName in interface RemoteWorkerGetterprotected <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
SemanticExceptionpublic java.lang.String toString()