Class SmtExprPrinter.Visitor
- java.lang.Object
-
- ru.ispras.fortress.expression.ExprTreeVisitorDefault
-
- ru.ispras.fortress.expression.printer.MapBasedPrinter.ExprTreeVisitor
-
- ru.ispras.fortress.expression.printer.SmtExprPrinter.Visitor
-
- All Implemented Interfaces:
ExprTreeVisitor
,TreeVisitor
- Enclosing class:
- SmtExprPrinter
protected class SmtExprPrinter.Visitor extends MapBasedPrinter.ExprTreeVisitor
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface ru.ispras.fortress.util.TreeVisitor
TreeVisitor.Status
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
Visitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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.-
Methods inherited from class ru.ispras.fortress.expression.printer.MapBasedPrinter.ExprTreeVisitor
appendText, getOperandOrder, onOperandBegin, onValue, toString
-
Methods inherited from class ru.ispras.fortress.expression.ExprTreeVisitorDefault
getStatus, onBegin, onEnd, setStatus
-
-
-
-
Method Detail
-
onVariable
public void onVariable(NodeVariable variable)
Description copied from interface:ExprTreeVisitor
Notifies that a variable node has been visited.- Specified by:
onVariable
in interfaceExprTreeVisitor
- Overrides:
onVariable
in classMapBasedPrinter.ExprTreeVisitor
- Parameters:
variable
- Variable node.
-
onOperationBegin
public void onOperationBegin(NodeOperation expr)
Description copied from interface:ExprTreeVisitor
Starts visiting an operation node.- Specified by:
onOperationBegin
in interfaceExprTreeVisitor
- Overrides:
onOperationBegin
in classMapBasedPrinter.ExprTreeVisitor
- Parameters:
expr
- Operation node.
-
onOperationEnd
public void onOperationEnd(NodeOperation expr)
Description copied from interface:ExprTreeVisitor
Finishes visiting an operation node.- Specified by:
onOperationEnd
in interfaceExprTreeVisitor
- Overrides:
onOperationEnd
in classMapBasedPrinter.ExprTreeVisitor
- Parameters:
expr
- Operation node.
-
onOperandEnd
public void onOperandEnd(NodeOperation expr, Node node, int index)
Description copied from interface:ExprTreeVisitor
Notifies that visiting an expression operand has finished.- Specified by:
onOperandEnd
in interfaceExprTreeVisitor
- Overrides:
onOperandEnd
in classExprTreeVisitorDefault
- Parameters:
expr
- Operation node.node
- Operand node.index
- Operand index.
-
onBindingBegin
public void onBindingBegin(NodeBinding node)
Description copied from interface:ExprTreeVisitor
Starts visiting a binding node.- Specified by:
onBindingBegin
in interfaceExprTreeVisitor
- Overrides:
onBindingBegin
in classExprTreeVisitorDefault
- Parameters:
node
- Binding node.
-
onBindingListEnd
public void onBindingListEnd(NodeBinding node)
Description copied from interface:ExprTreeVisitor
Notifies that visiting a bound variables list finished.- Specified by:
onBindingListEnd
in interfaceExprTreeVisitor
- Overrides:
onBindingListEnd
in classExprTreeVisitorDefault
- Parameters:
node
- Bounding node.
-
onBindingEnd
public void onBindingEnd(NodeBinding node)
Description copied from interface:ExprTreeVisitor
Finishes visiting a binding node.- Specified by:
onBindingEnd
in interfaceExprTreeVisitor
- Overrides:
onBindingEnd
in classExprTreeVisitorDefault
- Parameters:
node
- Binding node.
-
onBoundVariableBegin
public void onBoundVariableBegin(NodeBinding node, NodeVariable variable, Node value)
Description copied from interface:ExprTreeVisitor
Notifies that visiting a bound variable has started. Bound value expression will be visited next as general expression.Bound variables are not visited at all.
- Specified by:
onBoundVariableBegin
in interfaceExprTreeVisitor
- Overrides:
onBoundVariableBegin
in classExprTreeVisitorDefault
- Parameters:
node
- Binding node.variable
- Bound variable reference.value
- Bound value expression.
-
onBoundVariableEnd
public void onBoundVariableEnd(NodeBinding node, NodeVariable variable, Node value)
Description copied from interface:ExprTreeVisitor
Notifies that visiting a bound variable has finished.- Specified by:
onBoundVariableEnd
in interfaceExprTreeVisitor
- Overrides:
onBoundVariableEnd
in classExprTreeVisitorDefault
- Parameters:
node
- Binding node.variable
- Bound variable reference.value
- Bound value expression.
-
-