public interface CfgVisitor extends ModelVisitor
ModelVisitor.Status
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.