public class HlddUseDefSmvVisitor extends HlddClockedVisitorBase
ModelVisitor.Status
currentModule, currentPhaseVars
Constructor and Description |
---|
HlddUseDefSmvVisitor(java.lang.String fileName)
Constructs a new visitor and creates a new *.smv file.
|
Modifier and Type | Method and Description |
---|---|
protected ru.ispras.fortress.expression.NodeVariable |
getClock() |
void |
onModuleEnd(Module module)
Finishes visiting
Module node. |
void |
setGaddModel(GaddModel model)
Adds a GADD model to the visitor.
|
void |
setUseDefMap(java.util.Map<ru.ispras.fortress.expression.NodeVariable,UseDefContainer> map)
Adds a variable-use/def map to the visitor.
|
onModuleBegin
append, appendLine, appendLine, getExprDescription, getExprDescription, getExprPrinter, onAssignment, onConditionBegin, onConditionEnd, onEdgeBegin, onEdgeEnd, onHlddBegin, onHlddEnd, onModelBegin, onModelEnd, onProcessBegin, onProcessEnd
onRootBegin, onRootEnd
getStatus, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public HlddUseDefSmvVisitor(java.lang.String fileName)
fileName
- - the specified *.smv file name.public void setGaddModel(GaddModel model)
model
- - the specified GaddModel.public void setUseDefMap(java.util.Map<ru.ispras.fortress.expression.NodeVariable,UseDefContainer> map)
map
- - the specified map.public void onModuleEnd(Module module)
ModelVisitor
Module
node.onModuleEnd
in interface ModelVisitor
onModuleEnd
in class HlddSmvVisitor
module
- Module node to be visited.protected ru.ispras.fortress.expression.NodeVariable getClock()
getClock
in class HlddClockedVisitorBase