public class CfgDependencyGraphVisitor extends CfgDefaultVisitor
An experimental engine that prints a dependency scheme
of CFG model processes dependencies. It is said that a process p1
depends from
process p2
when p2
defines variable(s) that is (are) used in the control part
of p1
.
CfgVisitor.Status
Constructor and Description |
---|
CfgDependencyGraphVisitor()
Constructs dependency printer.
|
Modifier and Type | Method and Description |
---|---|
void |
onProcessBegin(CfgProcess process)
Starts visiting
CfgProcess node. |
void |
onRootBegin()
Notifies that processing has been started.
|
void |
onRootEnd()
Notifies that processing has been finished.
|
void |
setFileName(java.lang.String fileName)
Sets the specified string as name of the GraphML file to be generated.
|
getStatus, onAssertBegin, onAssertEnd, onBasicBlockBegin, onBasicBlockEnd, onCaseBegin, onCaseEnd, onCfgModelBegin, onCfgModelEnd, onLoopBegin, onLoopEnd, onModuleBegin, onModuleEnd, onNodeBegin, onNodeEnd, onProcessEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
public CfgDependencyGraphVisitor()
public void setFileName(java.lang.String fileName)
fileName
- GraphML file name.public void onRootBegin()
CfgVisitor
onRootBegin
in interface CfgVisitor
onRootBegin
in class CfgDefaultVisitor
public void onRootEnd()
CfgVisitor
onRootEnd
in interface CfgVisitor
onRootEnd
in class CfgDefaultVisitor
public void onProcessBegin(CfgProcess process)
CfgVisitor
CfgProcess
node.onProcessBegin
in interface CfgVisitor
onProcessBegin
in class CfgDefaultVisitor
process
- Process node to be visited.