public final class CfgOneAssignmentProcessBackend extends CfgDefaultVisitor
This backend merges Process
processes,
which contain only one BasicBlock
basic block node
of concurrent type, with only one Assignment
assignment,
and equal EventList
event lists.
CfgVisitor.Status
Constructor and Description |
---|
CfgOneAssignmentProcessBackend()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
onModuleBegin(Module module)
Starts visiting
Module node. |
getStatus, onBasicBlockBegin, onBasicBlockEnd, onCaseBegin, onCaseEnd, onCfgModelBegin, onCfgModelEnd, onMergeBegin, onMergeEnd, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onSink, onSrcBegin, onSrcEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
public CfgOneAssignmentProcessBackend()
public void onModuleBegin(Module module)
CfgVisitor
Module
node.onModuleBegin
in interface CfgVisitor
onModuleBegin
in class CfgDefaultVisitor
module
- Module
node