public class CgaaFilterPathBackend extends CfgDefaultVisitor
CfgVisitor.Status
Constructor and Description |
---|
CgaaFilterPathBackend() |
Modifier and Type | Method and Description |
---|---|
CfgVisitor.Status |
getStatus()
Returns the current status of the visitor.
|
void |
onCaseBegin(CfgCaseStatement statement)
Starts visiting
CfgCaseStatement node. |
void |
onCaseEnd(CfgCaseStatement statement)
Finishes visiting
CfgCaseStatement node. |
void |
onSwitchBegin(CfgSwitchStatement statement)
Starts visiting
CfgSwitchStatement node. |
void |
onSwitchEnd(CfgSwitchStatement statement)
Finishes visiting
CfgSwitchStatement node. |
onAssertBegin, onAssertEnd, onBasicBlockBegin, onBasicBlockEnd, onCfgModelBegin, onCfgModelEnd, onLoopBegin, onLoopEnd, onModuleBegin, onModuleEnd, onNodeBegin, onNodeEnd, onProcessBegin, onProcessEnd, onRootBegin, onRootEnd, onWaitBegin, onWaitEnd
public CfgVisitor.Status getStatus()
CfgVisitor
getStatus
in interface CfgVisitor
getStatus
in class CfgDefaultVisitor
public void onSwitchBegin(CfgSwitchStatement statement)
CfgVisitor
CfgSwitchStatement
node.onSwitchBegin
in interface CfgVisitor
onSwitchBegin
in class CfgDefaultVisitor
statement
- Switch statement to be visited.public void onSwitchEnd(CfgSwitchStatement statement)
CfgVisitor
CfgSwitchStatement
node.onSwitchEnd
in interface CfgVisitor
onSwitchEnd
in class CfgDefaultVisitor
statement
- Switch statement to be visited.public void onCaseBegin(CfgCaseStatement statement)
CfgVisitor
CfgCaseStatement
node.onCaseBegin
in interface CfgVisitor
onCaseBegin
in class CfgDefaultVisitor
statement
- Case statement to be visited.public void onCaseEnd(CfgCaseStatement statement)
CfgVisitor
CfgCaseStatement
node.onCaseEnd
in interface CfgVisitor
onCaseEnd
in class CfgDefaultVisitor
statement
- Case statement to be visited.