public class CfgSsaBlockVisitor extends CfgEmptyVisitor
ModelVisitor.Status
Modifier and Type | Method and Description |
---|---|
void |
onBlockEnd(CfgBlockStatement block)
Finishes visiting
CfgBlockStatement node. |
onAssertBegin, onAssertEnd, onBlockBegin, onCaseBegin, onCaseEnd, onLoopBegin, onLoopEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
getStatus, onModelBegin, onModelEnd, onModuleBegin, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onModelBegin, onModelEnd, onModuleBegin, onModuleEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public void onBlockEnd(CfgBlockStatement block)
CfgVisitor
CfgBlockStatement
node.onBlockEnd
in interface CfgVisitor
onBlockEnd
in class CfgEmptyVisitor
block
- Block statement to be visited.