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