public final class CfgConcurrentBasicBlockBackend extends CfgDefaultVisitor
TThe component transforms concurrent (non-blocking)
BasicBlock
basic block nodes into non-concurrent
(blocking) ones.
CfgVisitor.Status
Constructor and Description |
---|
CfgConcurrentBasicBlockBackend()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
onBasicBlockBegin(BasicBlock basicBlock)
Starts visiting
BasicBlock node. |
void |
onModuleBegin(Module module)
Starts visiting
Module node. |
getStatus, onBasicBlockEnd, onCaseBegin, onCaseEnd, onCfgModelBegin, onCfgModelEnd, onMergeBegin, onMergeEnd, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onSink, onSrcBegin, onSrcEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
public CfgConcurrentBasicBlockBackend()
public void onModuleBegin(Module module)
CfgVisitor
Module
node.onModuleBegin
in interface CfgVisitor
onModuleBegin
in class CfgDefaultVisitor
module
- Module
nodepublic void onBasicBlockBegin(BasicBlock basicBlock)
CfgVisitor
BasicBlock
node.onBasicBlockBegin
in interface CfgVisitor
onBasicBlockBegin
in class CfgDefaultVisitor
basicBlock
- BasicBlock
node