public final class CfgBlockSeqBackend extends CfgEmptyVisitor
The component transforms sequences of CfgBlockStatement
basic block nodes of the same kind of concurrency
(all nodes of the sequence should be either concurrent
or non-concurrent).
ModelVisitor.Status
Constructor and Description |
---|
CfgBlockSeqBackend()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
onBlockBegin(CfgBlockStatement block)
Starts visiting
CfgBlockStatement node. |
onAssertBegin, onAssertEnd, onBlockEnd, onCaseBegin, onCaseEnd, onLoopBegin, onLoopEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
getStatus, onModelBegin, onModelEnd, onModuleBegin, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onModelBegin, onModelEnd, onModuleBegin, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public void onBlockBegin(CfgBlockStatement block)
CfgVisitor
CfgBlockStatement
node.onBlockBegin
in interface CfgVisitor
onBlockBegin
in class CfgEmptyVisitor
block
- Block statement to be visited.