public class CfgAssertBackend extends CfgEmptyVisitor
ModelVisitor.Status
Constructor and Description |
---|
CfgAssertBackend() |
Modifier and Type | Method and Description |
---|---|
void |
onAssertBegin(CfgAssertStatement statement)
Starts visiting
CfgAssertStatement node. |
onAssertEnd, onBlockBegin, onBlockEnd, 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 onAssertBegin(CfgAssertStatement statement)
CfgVisitor
CfgAssertStatement
node.onAssertBegin
in interface CfgVisitor
onAssertBegin
in class CfgEmptyVisitor
statement
- Assert statement to be visited.