public final class SelectorIndex extends SelectorBase
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
void |
accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
void |
acceptChildren(ASTVisitor visitor)
Accept visitor for a visit to the children of this node.
|
static SelectorIndex |
construct(Term index)
Construct selector from index.
|
Term |
getIndex()
Get index.
|
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
print, printCore, toString, toStringCore
public static SelectorIndex construct(Term index)
index
- the selector indexpublic Term getIndex()
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class SelectorBase
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class SelectorBase
visitor
- the visitor who is accepted by this node.public void acceptChildren(ASTVisitor visitor)
acceptChildren
in interface AST
acceptChildren
in class ASTBase
visitor
- the visitor who is accepted by the children of this node.