public interface CfgVisitor
Modifier and Type | Interface and Description |
---|---|
static class |
CfgVisitor.Status
The Status enumeration described possible statuses of the visitor.
|
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. |
CfgVisitor.Status getStatus()
void onRootBegin()
void onRootEnd()
void onCfgModelBegin()
CfgModel
object.void onCfgModelEnd()
CfgModel
object.void onModuleBegin(Module module)
Module
node.module
- Module
nodevoid onModuleEnd(Module module)
Module
node.module
- Module
nodevoid onProcessBegin(Process process)
Process
node.process
- Process
nodevoid onProcessEnd(Process process)
Process
node.process
- Process
nodevoid onBasicBlockBegin(BasicBlock basicBlock)
BasicBlock
node.basicBlock
- BasicBlock
nodevoid onBasicBlockEnd(BasicBlock basicBlock)
BasicBlock
node.basicBlock
- BasicBlock
nodevoid onSwitchBegin(Switch aSwitch)
Switch
node.aSwitch
- switch nodevoid onSwitchEnd(Switch aSwitch)
Switch
node.aSwitch
- switch nodevoid onMergeBegin(Merge merge)
Merge
node.merge
- merge nodevoid onSrcBegin(Source source)
Source
node.source
- source nodevoid onSrcEnd(Source source)
Source
node.source
- source nodevoid onSink(Sink sink)
Sink
node has been visited.sink
- sink node