public final class HlddVariableAnalyzerBackend extends HlddEmptyVisitor
ModelVisitor.Status
Modifier and Type | Method and Description |
---|---|
void |
onHlddBegin(Hldd hldd)
Starts visiting
Hldd . |
void |
onModuleBegin(Module module)
Starts visiting
Module node. |
void |
onModuleEnd(Module module)
Finishes visiting
Module node. |
void |
onProcessBegin(ModuleProcess process)
Starts visiting
ModuleProcess node. |
onAssignment, onConditionBegin, onConditionEnd, onEdgeBegin, onEdgeEnd, onHlddEnd, onRootBegin, onRootEnd
getStatus, onModelBegin, onModelEnd, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onModelBegin, onModelEnd, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public void onModuleBegin(Module module)
ModelVisitor
Module
node.onModuleBegin
in interface ModelVisitor
onModuleBegin
in class ModelEmptyVisitor
module
- Module node to be visited.public void onProcessBegin(ModuleProcess process)
ModelVisitor
ModuleProcess
node.onProcessBegin
in interface ModelVisitor
onProcessBegin
in class ModelEmptyVisitor
process
- Process node to be visited.public void onHlddBegin(Hldd hldd)
HlddVisitor
Hldd
.onHlddBegin
in interface HlddVisitor
onHlddBegin
in class HlddEmptyVisitor
hldd
- - the specified hldd.public void onModuleEnd(Module module)
ModelVisitor
Module
node.onModuleEnd
in interface ModelVisitor
onModuleEnd
in class ModelEmptyVisitor
module
- Module node to be visited.