public interface CfgVisitor
Modifier and Type | Interface and Description |
---|---|
static class |
CfgVisitor.Status |
Modifier and Type | Method and Description |
---|---|
CfgVisitor.Status |
getStatus()
Returns the current status of the visitor.
|
void |
onAssertBegin(CfgAssertStatement assertStatement)
Starts visiting
CfgAssertStatement node. |
void |
onAssertEnd(CfgAssertStatement assertStatement)
Finishes visiting
CfgAssertStatement node. |
void |
onBasicBlockBegin(CfgBlockStatement block)
Starts visiting
CfgBlockStatement node. |
void |
onBasicBlockEnd(CfgBlockStatement block)
Finishes visiting
CfgBlockStatement node. |
void |
onCaseBegin(CfgCaseStatement caseNode)
Starts visiting
CfgCaseStatement node. |
void |
onCaseEnd(CfgCaseStatement caseNode)
Finishes visiting
CfgCaseStatement node. |
void |
onCfgModelBegin()
Starts visiting
CfgModel object. |
void |
onCfgModelEnd()
Finishes visiting
CfgModel object. |
void |
onLoopBegin(CfgLoopStatement loopStatement)
Starts visiting
CfgLoopStatement node. |
void |
onLoopEnd(CfgLoopStatement loopStatement)
Finishes visiting
CfgLoopStatement node. |
void |
onModuleBegin(CfgModule module)
Starts visiting
CfgModule node. |
void |
onModuleEnd(CfgModule module)
Finishes visiting
CfgModule node. |
void |
onNodeBegin(CfgStatement statement)
Starts visiting
CfgStatement node. |
void |
onNodeEnd(CfgStatement statement)
Finishes visiting
CfgStatement 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 |
onSwitchEnd(CfgSwitchStatement switchNode)
Finishes visiting
CfgSwitchStatement node. |
void |
onWaitBegin(CfgWaitStatement wait)
Starts visiting
CfgWaitStatement node. |
void |
onWaitEnd(CfgWaitStatement wait)
Finishes visiting
CfgWaitStatement node. |
CfgVisitor.Status getStatus()
void onRootBegin()
void onRootEnd()
void onCfgModelBegin()
CfgModel
object.void onCfgModelEnd()
CfgModel
object.void onNodeBegin(CfgStatement statement)
CfgStatement
node.statement
- Statement to be visited.void onNodeEnd(CfgStatement statement)
CfgStatement
node.statement
- Statement to be visited.void onModuleBegin(CfgModule module)
CfgModule
node.module
- Module node to be visited.void onModuleEnd(CfgModule module)
CfgModule
node.module
- Module node to be visited.void onProcessBegin(CfgProcess process)
CfgProcess
node.process
- Process node to be visited.void onProcessEnd(CfgProcess process)
CfgProcess
node.process
- Process node to be visited.void onAssertBegin(CfgAssertStatement assertStatement)
CfgAssertStatement
node.assertStatement
- Assert statement to be visited.void onAssertEnd(CfgAssertStatement assertStatement)
CfgAssertStatement
node.assertStatement
- Assert statement to be visited.void onBasicBlockBegin(CfgBlockStatement block)
CfgBlockStatement
node.block
- Block statement to be visited.void onBasicBlockEnd(CfgBlockStatement block)
CfgBlockStatement
node.block
- Block statement to be visited.void onCaseBegin(CfgCaseStatement caseNode)
CfgCaseStatement
node.caseNode
- Case statement to be visited.void onCaseEnd(CfgCaseStatement caseNode)
CfgCaseStatement
node.caseNode
- Case statement to be visited.void onSwitchBegin(CfgSwitchStatement switchNode)
CfgSwitchStatement
node.switchNode
- Switch statement to be visited.void onSwitchEnd(CfgSwitchStatement switchNode)
CfgSwitchStatement
node.switchNode
- Switch statement to be visited.void onLoopBegin(CfgLoopStatement loopStatement)
CfgLoopStatement
node.loopStatement
- Loop statement to be visited.void onLoopEnd(CfgLoopStatement loopStatement)
CfgLoopStatement
node.loopStatement
- Loop statement to be visited.void onWaitBegin(CfgWaitStatement wait)
CfgWaitStatement
node.wait
- Wait statement to be visited.void onWaitEnd(CfgWaitStatement wait)
CfgWaitStatement
node.wait
- Wait statement to be visited.