Modifier and Type | Field and Description |
---|---|
static java.lang.String |
keyword |
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 SubType |
construct(Term predicate)
Construct subtype.
|
Type |
getBase()
Returns (non-subtype) base type.
|
Term |
getPredicate()
Get predicate type.
|
void |
setBase(Type base)
Set (non-subtype) base type.
|
getPosition, getPrecedence, isLeftAssociative, isRightAssociative, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getPrecedence, isLeftAssociative, isRightAssociative
getPosition, setPosition
print, printCore, toString, toStringCore
public static final java.lang.String keyword
public static SubType construct(Term predicate)
predicate
- the predicate term.public Term getPredicate()
public void setBase(Type base)
base
- the (non-subtype) base type.public Type getBase()
public void accept(ASTVisitorOld visitor)
public void accept(ASTVisitor visitor)
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.