public final class CfgOneBlockProcessBackend extends CfgEmptyVisitor
This backend merges CfgProcess
processes, which contain only one
CfgBlockStatement
basic block node and equal
EventList
event lists.
ModelVisitor.Status
Constructor and Description |
---|
CfgOneBlockProcessBackend()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
onModuleBegin(Module module)
Starts visiting
Module node. |
onAssertBegin, onAssertEnd, onBlockBegin, onBlockEnd, onCaseBegin, onCaseEnd, onLoopBegin, onLoopEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
getStatus, onModelBegin, onModelEnd, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onModelBegin, onModelEnd, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public CfgOneBlockProcessBackend()
public void onModuleBegin(Module module)
ModelVisitor
Module
node.onModuleBegin
in interface ModelVisitor
onModuleBegin
in class ModelEmptyVisitor
module
- Module node to be visited.