public class HlddUseDefCheckerVisitor extends HlddEmptyVisitor
ModelVisitor.Status
Constructor and Description |
---|
HlddUseDefCheckerVisitor()
Constructs a new visitor.
|
Modifier and Type | Method and Description |
---|---|
ru.ispras.retrascope.engine.hldd.printer.smv.usedef.CheckerVariables |
getCheckerVariables() |
void |
onModuleBegin(Module module)
Starts visiting
Module node. |
void |
onModuleEnd(Module module)
Finishes visiting
Module node. |
void |
setUseDefMap(java.util.Map<ru.ispras.fortress.expression.NodeVariable,UseDefContainer> useDefMap) |
onAssignment, onConditionBegin, onConditionEnd, onEdgeBegin, onEdgeEnd, onHlddBegin, onHlddEnd, onRootBegin, onRootEnd
getStatus, onModelBegin, onModelEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onModelBegin, onModelEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public HlddUseDefCheckerVisitor()
public void setUseDefMap(java.util.Map<ru.ispras.fortress.expression.NodeVariable,UseDefContainer> useDefMap)
public ru.ispras.retrascope.engine.hldd.printer.smv.usedef.CheckerVariables getCheckerVariables()
public void onModuleBegin(Module module)
ModelVisitor
Module
node.onModuleBegin
in interface ModelVisitor
onModuleBegin
in class ModelEmptyVisitor
module
- Module node to be visited.public void onModuleEnd(Module module)
ModelVisitor
Module
node.onModuleEnd
in interface ModelVisitor
onModuleEnd
in class ModelEmptyVisitor
module
- Module node to be visited.