public final class CfgMergeSequenceBackend extends CfgDefaultVisitor
CfgVisitor.Status
Constructor and Description |
---|
CfgMergeSequenceBackend()
Default constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
onMergeBegin(Merge merge)
Starts visiting
Merge node. |
void |
onMergeEnd(Merge merge)
Finishes visiting
Merge node. |
void |
onProcessBegin(Process process)
Starts visiting
Process node. |
getStatus, onBasicBlockBegin, onBasicBlockEnd, onCaseBegin, onCaseEnd, onCfgModelBegin, onCfgModelEnd, onModuleBegin, onModuleEnd, onProcessEnd, onRootBegin, onRootEnd, onSink, onSrcBegin, onSrcEnd, onSwitchBegin, onSwitchEnd, onWaitBegin, onWaitEnd
public void onProcessBegin(Process process)
CfgVisitor
Process
node.onProcessBegin
in interface CfgVisitor
onProcessBegin
in class CfgDefaultVisitor
process
- Process
nodepublic void onMergeBegin(Merge merge)
CfgVisitor
Merge
node.onMergeBegin
in interface CfgVisitor
onMergeBegin
in class CfgDefaultVisitor
merge
- merge nodepublic void onMergeEnd(Merge merge)
CfgVisitor
Merge
node.onMergeEnd
in interface CfgVisitor
onMergeEnd
in class CfgDefaultVisitor
merge
- merge node