public final class ValueDeclarationFormula extends ValueDeclarationClass
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 ValueDeclarationFormula |
construct(Identifier name,
Type type,
Formula value)
Create new declaration of a constant denoting a predicate.
|
Formula |
getFormula()
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
print, printCore, toString, toStringCore
public static ValueDeclarationFormula construct(Identifier name, Type type, Formula value)
name
- the name of the constant.type
- its typevalue
- its valuepublic Formula getFormula()
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.