public final class ValuedIdentifier extends ASTLogicBase
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 ValuedIdentifier |
construct(Identifier name,
Term value)
Construct an identifier with a value.
|
Identifier |
getIdentifier()
Get identifier.
|
Term |
getValue()
Get value.
|
public static ValuedIdentifier construct(Identifier name, Term value)
name
- the identifier.value
- its value.public Identifier getIdentifier()
public Term getValue()
public void accept(ASTVisitorOld visitor)
accept
in interface AST
accept
in class ASTLogicBase
visitor
- the visitor who is accepted by this node.public void accept(ASTVisitor visitor)
accept
in interface AST
accept
in class ASTLogicBase
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.