public final class CfgBasicBlockSequenceBackend extends CfgDefaultVisitor
The component transforms sequences of BasicBlock
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(BasicBlock basicBlock)
Starts visiting
BasicBlock node. |
void |
onProcessBegin(Process process)
Starts visiting
Process node. |
getStatus, onBasicBlockEnd, onCaseBegin, onCaseEnd, onCfgModelBegin, onCfgModelEnd, onMergeBegin, onMergeEnd, onModuleBegin, onModuleEnd, onProcessEnd, onRootBegin, onRootEnd, onSink, onSrcBegin, onSrcEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
public CfgBasicBlockSequenceBackend()
public void onProcessBegin(Process process)
CfgVisitor
Process
node.onProcessBegin
in interface CfgVisitor
onProcessBegin
in class CfgDefaultVisitor
process
- Process
nodepublic void onBasicBlockBegin(BasicBlock basicBlock)
CfgVisitor
BasicBlock
node.onBasicBlockBegin
in interface CfgVisitor
onBasicBlockBegin
in class CfgDefaultVisitor
basicBlock
- BasicBlock
node