public final class CfgBasicBlockSequenceBackend extends CfgDefaultVisitor
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).
CfgVisitor.Status
Constructor and Description |
---|
CfgBasicBlockSequenceBackend()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
onBasicBlockBegin(CfgBlockStatement block)
Starts visiting
CfgBlockStatement node. |
getStatus, onAssertBegin, onAssertEnd, onBasicBlockEnd, onCaseBegin, onCaseEnd, onCfgModelBegin, onCfgModelEnd, onLoopBegin, onLoopEnd, onModuleBegin, onModuleEnd, onNodeBegin, onNodeEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
public CfgBasicBlockSequenceBackend()
public void onBasicBlockBegin(CfgBlockStatement block)
CfgVisitor
CfgBlockStatement
node.onBasicBlockBegin
in interface CfgVisitor
onBasicBlockBegin
in class CfgDefaultVisitor
block
- Block statement to be visited.