public class CfgOneAssignmentProcessBackend extends CfgDfsWrVisitorBackend
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() |
Modifier and Type | Method and Description |
---|---|
CfgVisitor.Status |
getStatus()
Returns the current status of the visitor.
|
void |
onBasicBlockBegin(BasicBlock basicBlock)
Starts visiting
BasicBlock node. |
void |
onBasicBlockEnd(BasicBlock basicBlock)
Finishes visiting
BasicBlock node. |
void |
onCaseBegin(Case aCase)
Starts visiting
Case node. |
void |
onCaseEnd(Case aCase)
Finishes visiting
Case node. |
void |
onCfgBegin(Cfg cfg)
Starts visiting
Cfg node. |
void |
onCfgEnd(Cfg cfg)
Finishes visiting
Cfg node. |
void |
onCfgModelBegin()
Starts visiting
CfgModel object. |
void |
onCfgModelEnd()
Finishes visiting
CfgModel object. |
void |
onMergeBegin(Merge merge)
Starts visiting
Merge node. |
void |
onMergeEnd(Merge merge)
Finishes visiting
Merge node. |
void |
onModuleBegin(Module module)
Starts visiting
Module node. |
void |
onModuleEnd(Module module)
Finishes visiting
Module node. |
void |
onProcessBegin(Process process)
Starts visiting
Process node. |
void |
onProcessEnd(Process process)
Finishes visiting
Process node. |
void |
onRootBegin()
Notifies that processing has been started.
|
void |
onRootEnd()
Notifies that processing has been finished.
|
void |
onSink(Sink sink)
Notifies that a
Sink node has been visited. |
void |
onSrcBegin(Source source)
Starts visiting
Source node. |
void |
onSrcEnd(Source source)
Finishes visiting
Source node. |
void |
onSwitchBegin(Switch aSwitch)
Starts visiting
Switch node. |
void |
onSwitchEnd(Switch aSwitch)
Finishes visiting
Switch node. |
void |
onWaitBegin(Wait wait)
Starts visiting
Wait node. |
void |
onWaitEnd(Wait wait)
Finishes visiting
Wait node. |
getWalkerMode
start
public CfgVisitor.Status getStatus()
CfgVisitor
public void onRootBegin()
CfgVisitor
public void onRootEnd()
CfgVisitor
public void onCfgModelBegin()
CfgVisitor
CfgModel
object.public void onCfgModelEnd()
CfgVisitor
CfgModel
object.public void onModuleBegin(Module module)
CfgVisitor
Module
node.module
- Module
nodepublic void onModuleEnd(Module module)
CfgVisitor
Module
node.module
- Module
nodepublic void onProcessBegin(Process process)
CfgVisitor
Process
node.process
- Process
nodepublic void onProcessEnd(Process process)
CfgVisitor
Process
node.process
- Process
nodepublic void onCfgBegin(Cfg cfg)
CfgVisitor
Cfg
node.cfg
- Cfg
nodepublic void onCfgEnd(Cfg cfg)
CfgVisitor
Cfg
node.cfg
- Cfg
nodepublic void onBasicBlockBegin(BasicBlock basicBlock)
CfgVisitor
BasicBlock
node.basicBlock
- BasicBlock
nodepublic void onBasicBlockEnd(BasicBlock basicBlock)
CfgVisitor
BasicBlock
node.basicBlock
- BasicBlock
nodepublic void onCaseBegin(Case aCase)
CfgVisitor
Case
node.aCase
- Case
nodepublic void onCaseEnd(Case aCase)
CfgVisitor
Case
node.aCase
- Case
nodepublic void onSwitchBegin(Switch aSwitch)
CfgVisitor
Switch
node.aSwitch
- switch nodepublic void onSwitchEnd(Switch aSwitch)
CfgVisitor
Switch
node.aSwitch
- switch nodepublic void onMergeBegin(Merge merge)
CfgVisitor
Merge
node.merge
- merge nodepublic void onMergeEnd(Merge merge)
CfgVisitor
Merge
node.merge
- merge nodepublic void onSrcBegin(Source source)
CfgVisitor
Source
node.source
- source nodepublic void onSrcEnd(Source source)
CfgVisitor
Source
node.source
- source nodepublic void onSink(Sink sink)
CfgVisitor
Sink
node has been visited.sink
- sink nodepublic void onWaitBegin(Wait wait)
CfgVisitor
Wait
node.wait
- wait nodepublic void onWaitEnd(Wait wait)
CfgVisitor
Wait
node.wait
- wait node