public class CfgGraphMlVisitor extends java.lang.Object implements CfgVisitor
CfgVisitor.Status
Constructor and Description |
---|
CfgGraphMlVisitor()
Constructs a CFG visitor.
|
Modifier and Type | Method and Description |
---|---|
CfgVisitor.Status |
getStatus()
Returns the current status of the visitor.
|
void |
initialize(java.lang.String fileName)
Initializes object with the specified file name.
|
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()
Prints the GraphML title tag to the GraphML file.
|
void |
onRootEnd()
Prints the GraphML close tag to the GraphML file.
|
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. |
public void initialize(java.lang.String fileName)
fileName
- GraphML file namepublic CfgVisitor.Status getStatus()
CfgVisitor
getStatus
in interface CfgVisitor
public void onRootBegin()
onRootBegin
in interface CfgVisitor
public void onRootEnd()
onRootEnd
in interface CfgVisitor
public void onCfgModelBegin()
CfgVisitor
CfgModel
object.onCfgModelBegin
in interface CfgVisitor
public void onCfgModelEnd()
CfgVisitor
CfgModel
object.onCfgModelEnd
in interface CfgVisitor
public void onModuleBegin(Module module)
CfgVisitor
Module
node.onModuleBegin
in interface CfgVisitor
module
- Module
nodepublic void onModuleEnd(Module module)
CfgVisitor
Module
node.onModuleEnd
in interface CfgVisitor
module
- Module
nodepublic void onProcessBegin(Process process)
CfgVisitor
Process
node.onProcessBegin
in interface CfgVisitor
process
- Process
nodepublic void onProcessEnd(Process process)
CfgVisitor
Process
node.onProcessEnd
in interface CfgVisitor
process
- Process
nodepublic void onCfgBegin(Cfg cfg)
CfgVisitor
Cfg
node.onCfgBegin
in interface CfgVisitor
cfg
- Cfg
nodepublic void onCfgEnd(Cfg cfg)
CfgVisitor
Cfg
node.onCfgEnd
in interface CfgVisitor
cfg
- Cfg
nodepublic void onBasicBlockBegin(BasicBlock basicBlock)
CfgVisitor
BasicBlock
node.onBasicBlockBegin
in interface CfgVisitor
basicBlock
- BasicBlock
nodepublic void onBasicBlockEnd(BasicBlock basicBlock)
CfgVisitor
BasicBlock
node.onBasicBlockEnd
in interface CfgVisitor
basicBlock
- BasicBlock
nodepublic void onCaseBegin(Case aCase)
CfgVisitor
Case
node.onCaseBegin
in interface CfgVisitor
aCase
- Case
nodepublic void onCaseEnd(Case aCase)
CfgVisitor
Case
node.onCaseEnd
in interface CfgVisitor
aCase
- Case
nodepublic void onSwitchBegin(Switch aSwitch)
CfgVisitor
Switch
node.onSwitchBegin
in interface CfgVisitor
aSwitch
- switch nodepublic void onSwitchEnd(Switch aSwitch)
CfgVisitor
Switch
node.onSwitchEnd
in interface CfgVisitor
aSwitch
- switch nodepublic void onMergeBegin(Merge merge)
CfgVisitor
Merge
node.onMergeBegin
in interface CfgVisitor
merge
- merge nodepublic void onMergeEnd(Merge merge)
CfgVisitor
Merge
node.onMergeEnd
in interface CfgVisitor
merge
- merge nodepublic void onSrcBegin(Source source)
CfgVisitor
Source
node.onSrcBegin
in interface CfgVisitor
source
- source nodepublic void onSrcEnd(Source source)
CfgVisitor
Source
node.onSrcEnd
in interface CfgVisitor
source
- source nodepublic void onSink(Sink sink)
CfgVisitor
Sink
node has been visited.onSink
in interface CfgVisitor
sink
- sink nodepublic void onWaitBegin(Wait wait)
CfgVisitor
Wait
node.onWaitBegin
in interface CfgVisitor
wait
- wait nodepublic void onWaitEnd(Wait wait)
CfgVisitor
Wait
node.onWaitEnd
in interface CfgVisitor
wait
- wait node