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 Reference |
construct(Identifier ident)
Construct a reference to a logical variable (or constant).
|
static Reference |
construct(Name name)
Construct a reference to a logical variable (or constant).
|
Name |
getName()
Get name of the variable.
|
Type |
getType()
Get type annotation of term.
|
void |
setType(Type type)
Set type annotation of term.
|
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 void setType(Type type)
public Type getType()
public static Reference construct(Name name)
name
- the name of the variable.public static Reference construct(Identifier ident)
ident
- the name of the variable.public Name getName()
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class ExpressionBase
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class ExpressionBase
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.