protected class SmtExprPrinter.Visitor extends MapBasedPrinter.ExprTreeVisitor
TreeVisitor.Status
Modifier | Constructor and Description |
---|---|
protected |
Visitor() |
Modifier and Type | Method and Description |
---|---|
void |
onBindingBegin(NodeBinding node)
Starts visiting a binding node.
|
void |
onBindingEnd(NodeBinding node)
Finishes visiting a binding node.
|
void |
onBindingListEnd(NodeBinding node)
Notifies that visiting a bound variables list finished.
|
void |
onBoundVariableBegin(NodeBinding node,
NodeVariable variable,
Node value)
Notifies that visiting a bound variable has started.
|
void |
onBoundVariableEnd(NodeBinding node,
NodeVariable variable,
Node value)
Notifies that visiting a bound variable has finished.
|
void |
onOperandEnd(NodeOperation expr,
Node node,
int index)
Notifies that visiting an expression operand has finished.
|
void |
onOperationBegin(NodeOperation expr)
Starts visiting an operation node.
|
void |
onOperationEnd(NodeOperation expr)
Finishes visiting an operation node.
|
void |
onVariable(NodeVariable variable)
Notifies that a variable node has been visited.
|
appendText, getOperandOrder, onOperandBegin, onValue, toString
getStatus, onBegin, onEnd, setStatus
public void onVariable(NodeVariable variable)
ExprTreeVisitor
onVariable
in interface ExprTreeVisitor
onVariable
in class MapBasedPrinter.ExprTreeVisitor
variable
- Variable node.public void onOperationBegin(NodeOperation expr)
ExprTreeVisitor
onOperationBegin
in interface ExprTreeVisitor
onOperationBegin
in class MapBasedPrinter.ExprTreeVisitor
expr
- Operation node.public void onOperationEnd(NodeOperation expr)
ExprTreeVisitor
onOperationEnd
in interface ExprTreeVisitor
onOperationEnd
in class MapBasedPrinter.ExprTreeVisitor
expr
- Operation node.public void onOperandEnd(NodeOperation expr, Node node, int index)
ExprTreeVisitor
onOperandEnd
in interface ExprTreeVisitor
onOperandEnd
in class ExprTreeVisitorDefault
expr
- Operation node.node
- Operand node.index
- Operand index.public void onBindingBegin(NodeBinding node)
ExprTreeVisitor
onBindingBegin
in interface ExprTreeVisitor
onBindingBegin
in class ExprTreeVisitorDefault
node
- Binding node.public void onBindingListEnd(NodeBinding node)
ExprTreeVisitor
onBindingListEnd
in interface ExprTreeVisitor
onBindingListEnd
in class ExprTreeVisitorDefault
node
- Bounding node.public void onBindingEnd(NodeBinding node)
ExprTreeVisitor
onBindingEnd
in interface ExprTreeVisitor
onBindingEnd
in class ExprTreeVisitorDefault
node
- Binding node.public void onBoundVariableBegin(NodeBinding node, NodeVariable variable, Node value)
ExprTreeVisitor
Bound variables are not visited at all.
onBoundVariableBegin
in interface ExprTreeVisitor
onBoundVariableBegin
in class ExprTreeVisitorDefault
node
- Binding node.variable
- Bound variable reference.value
- Bound value expression.public void onBoundVariableEnd(NodeBinding node, NodeVariable variable, Node value)
ExprTreeVisitor
onBoundVariableEnd
in interface ExprTreeVisitor
onBoundVariableEnd
in class ExprTreeVisitorDefault
node
- Binding node.variable
- Bound variable reference.value
- Bound value expression.