public interface CfgVisitor extends ModelVisitor
ModelVisitor.Status
Modifier and Type | Method and Description |
---|---|
void |
onAssertBegin(CfgAssertStatement assertStatement)
Starts visiting
CfgAssertStatement node. |
void |
onAssertEnd(CfgAssertStatement assertStatement)
Finishes visiting
CfgAssertStatement node. |
void |
onBlockBegin(CfgBlockStatement block)
Starts visiting
CfgBlockStatement node. |
void |
onBlockEnd(CfgBlockStatement block)
Finishes visiting
CfgBlockStatement node. |
void |
onCaseBegin(CfgCaseStatement caseNode)
Starts visiting
CfgCaseStatement node. |
void |
onCaseEnd(CfgCaseStatement caseNode)
Finishes visiting
CfgCaseStatement node. |
void |
onLoopBegin(CfgLoopStatement loopStatement)
Starts visiting
CfgLoopStatement node. |
void |
onLoopEnd(CfgLoopStatement loopStatement)
Finishes visiting
CfgLoopStatement node. |
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. |
getStatus, onModelBegin, onModelEnd, onModuleBegin, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
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 onBlockBegin(CfgBlockStatement block)
CfgBlockStatement
node.block
- Block statement to be visited.void onBlockEnd(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.