public abstract class HlddClockedVisitorBase extends HlddSmvVisitor
ModelVisitor.Status
currentModule, currentPhaseVars
Constructor and Description |
---|
HlddClockedVisitorBase(java.lang.String fileName)
Constructs a new visitor and creates a new *.smv file.
|
Modifier and Type | Method and Description |
---|---|
protected abstract ru.ispras.fortress.expression.NodeVariable |
getClock() |
void |
onModuleBegin(Module hlddModule)
Starts visiting
Module node. |
append, appendLine, appendLine, getExprDescription, getExprDescription, getExprPrinter, onAssignment, onConditionBegin, onConditionEnd, onEdgeBegin, onEdgeEnd, onHlddBegin, onHlddEnd, onModelBegin, onModelEnd, onModuleEnd, 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 HlddClockedVisitorBase(java.lang.String fileName)
fileName
- - the specified *.smv file name.public void onModuleBegin(Module hlddModule)
ModelVisitor
Module
node.onModuleBegin
in interface ModelVisitor
onModuleBegin
in class HlddSmvVisitor
hlddModule
- Module node to be visited.protected abstract ru.ispras.fortress.expression.NodeVariable getClock()