public class CfgGraphMlVisitor extends CfgDefaultVisitor
CfgVisitor.Status
Constructor and Description |
---|
CfgGraphMlVisitor()
Default constructor.
|
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 |
onAssertBegin(CfgAssertStatement assertStatement)
Starts visiting
CfgAssertStatement node. |
void |
onBasicBlockBegin(CfgBlockStatement block)
Starts visiting
CfgBlockStatement node. |
void |
onCfgModelBegin()
Starts visiting
CfgModel object. |
void |
onCfgModelEnd()
Finishes visiting
CfgModel object. |
void |
onLoopBegin(CfgLoopStatement loopStatement)
Starts visiting
CfgLoopStatement node. |
void |
onModuleBegin(CfgModule module)
Starts visiting
CfgModule node. |
void |
onProcessBegin(CfgProcess process)
Starts visiting
CfgProcess node. |
void |
onProcessEnd(CfgProcess process)
Finishes visiting
CfgProcess node. |
void |
onRootBegin()
Notifies that processing has been started.
|
void |
onRootEnd()
Notifies that processing has been finished.
|
void |
onSwitchBegin(CfgSwitchStatement switchNode)
Starts visiting
CfgSwitchStatement node. |
void |
onWaitBegin(CfgWaitStatement wait)
Starts visiting
CfgWaitStatement node. |
protected void |
setEdgeStyle(java.lang.String edgeStyle)
Sets GraphML edges style.
|
protected void |
setExprPrinter(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
Sets expression printer.
|
protected void |
setPrintWriter(java.io.PrintWriter printWriter)
Sets print writer.
|
protected void |
setWalker(CfgWalker walker) |
onAssertEnd, onBasicBlockEnd, onCaseBegin, onCaseEnd, onLoopEnd, onModuleEnd, onNodeBegin, onNodeEnd, onSwitchEnd, onWaitEnd
protected void setEdgeStyle(java.lang.String edgeStyle)
edgeStyle
- Style of GraphML edges.protected void setPrintWriter(java.io.PrintWriter printWriter)
printWriter
- Print writer.protected void setExprPrinter(ru.ispras.fortress.expression.printer.ExprTreePrinter printer)
printer
- Expression printer.protected void setWalker(CfgWalker walker)
public void initialize(java.lang.String fileName)
fileName
- GraphML file name.public CfgVisitor.Status getStatus()
CfgVisitor
getStatus
in interface CfgVisitor
getStatus
in class CfgDefaultVisitor
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 onCfgModelBegin()
CfgVisitor
CfgModel
object.onCfgModelBegin
in interface CfgVisitor
onCfgModelBegin
in class CfgDefaultVisitor
public void onCfgModelEnd()
CfgVisitor
CfgModel
object.onCfgModelEnd
in interface CfgVisitor
onCfgModelEnd
in class CfgDefaultVisitor
public void onModuleBegin(CfgModule module)
CfgVisitor
CfgModule
node.onModuleBegin
in interface CfgVisitor
onModuleBegin
in class CfgDefaultVisitor
module
- Module node to be visited.public void onProcessBegin(CfgProcess process)
CfgVisitor
CfgProcess
node.onProcessBegin
in interface CfgVisitor
onProcessBegin
in class CfgDefaultVisitor
process
- Process node to be visited.public void onProcessEnd(CfgProcess process)
CfgVisitor
CfgProcess
node.onProcessEnd
in interface CfgVisitor
onProcessEnd
in class CfgDefaultVisitor
process
- Process node to be visited.public void onBasicBlockBegin(CfgBlockStatement block)
CfgVisitor
CfgBlockStatement
node.onBasicBlockBegin
in interface CfgVisitor
onBasicBlockBegin
in class CfgDefaultVisitor
block
- Block statement to be visited.public void onSwitchBegin(CfgSwitchStatement switchNode)
CfgVisitor
CfgSwitchStatement
node.onSwitchBegin
in interface CfgVisitor
onSwitchBegin
in class CfgDefaultVisitor
switchNode
- Switch statement to be visited.public void onWaitBegin(CfgWaitStatement wait)
CfgVisitor
CfgWaitStatement
node.onWaitBegin
in interface CfgVisitor
onWaitBegin
in class CfgDefaultVisitor
wait
- Wait statement to be visited.public void onAssertBegin(CfgAssertStatement assertStatement)
CfgVisitor
CfgAssertStatement
node.onAssertBegin
in interface CfgVisitor
onAssertBegin
in class CfgDefaultVisitor
assertStatement
- Assert statement to be visited.public void onLoopBegin(CfgLoopStatement loopStatement)
CfgVisitor
CfgLoopStatement
node.onLoopBegin
in interface CfgVisitor
onLoopBegin
in class CfgDefaultVisitor
loopStatement
- Loop statement to be visited.