public class CfgDependencyGraphVisitor extends CfgEmptyVisitor
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
.
ModelVisitor.Status
Constructor and Description |
---|
CfgDependencyGraphVisitor()
Constructs dependency printer.
|
Modifier and Type | Method and Description |
---|---|
void |
onProcessBegin(ModuleProcess process)
Starts visiting
ModuleProcess 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.
|
onAssertBegin, onAssertEnd, onBlockBegin, onBlockEnd, onCaseBegin, onCaseEnd, onLoopBegin, onLoopEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
getStatus, onModelBegin, onModelEnd, onModuleBegin, onModuleEnd, onProcessEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onModelBegin, onModelEnd, onModuleBegin, onModuleEnd, onProcessEnd, onStatementBegin, onStatementEnd
public CfgDependencyGraphVisitor()
public void setFileName(java.lang.String fileName)
fileName
- GraphML file name.public void onRootBegin()
ModelVisitor
onRootBegin
in interface ModelVisitor
onRootBegin
in class ModelEmptyVisitor
public void onRootEnd()
ModelVisitor
onRootEnd
in interface ModelVisitor
onRootEnd
in class ModelEmptyVisitor
public void onProcessBegin(ModuleProcess process)
ModelVisitor
ModuleProcess
node.onProcessBegin
in interface ModelVisitor
onProcessBegin
in class ModelEmptyVisitor
process
- Process node to be visited.