public class CfgAssertBackend extends CfgDefaultVisitor
CfgVisitor.Status
Constructor and Description |
---|
CfgAssertBackend() |
Modifier and Type | Method and Description |
---|---|
void |
onAssertBegin(CfgAssertStatement statement)
Starts visiting
CfgAssertStatement node. |
getStatus, onAssertEnd, onBasicBlockBegin, onBasicBlockEnd, onCaseBegin, onCaseEnd, onCfgModelBegin, onCfgModelEnd, onLoopBegin, onLoopEnd, onModuleBegin, onModuleEnd, onNodeBegin, onNodeEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
public void onAssertBegin(CfgAssertStatement statement)
CfgVisitor
CfgAssertStatement
node.onAssertBegin
in interface CfgVisitor
onAssertBegin
in class CfgDefaultVisitor
statement
- Assert statement to be visited.