public final class CfgOneAssignmentProcessBackend extends CfgDefaultVisitor
This backend merges CfgProcess
processes,
which contain only one CfgBlockStatement
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(CfgModule module)
Starts visiting
CfgModule node. |
getStatus, onAssertBegin, onAssertEnd, onBasicBlockBegin, onBasicBlockEnd, onCaseBegin, onCaseEnd, onCfgModelBegin, onCfgModelEnd, onLoopBegin, onLoopEnd, onModuleEnd, onNodeBegin, onNodeEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
public CfgOneAssignmentProcessBackend()
public void onModuleBegin(CfgModule module)
CfgVisitor
CfgModule
node.onModuleBegin
in interface CfgVisitor
onModuleBegin
in class CfgDefaultVisitor
module
- Module node to be visited.