public final class ValueDefinitionClass extends DefinitionBase implements ValueDefinition
Modifier and Type | Method and Description |
---|---|
void |
accept(ASTVisitor visitor)
Accept visitor for a visit.
|
void |
accept(ASTVisitorOld visitor)
Accept visitor for a visit.
|
static ValueDefinitionClass |
construct(Identifier name,
Term value)
Create new definition of a constant denoting a value.
|
ValueSymbol |
getSymbol()
Get symbol introduced by declaration.
|
Term |
getValue()
Get value of the definition.
|
acceptChildren
getName, getPosition, setPosition
accept, accept, print, printCore, toString, toStringCore
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getName
getPosition, setPosition
acceptChildren, print, printCore, toString, toStringCore
public static ValueDefinitionClass construct(Identifier name, Term value)
name
- the name of the constant.value
- its value.public Term getValue()
getValue
in interface Definition
getValue
in interface ValueDefinition
public ValueSymbol getSymbol()
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class DefinitionBase
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class DefinitionBase
visitor
- the visitor who is accepted by this node.