public class GaddHlddFormulaVisitor extends CfgEmptyVisitor implements HlddBuilder
ModelVisitor.Status
Constructor and Description |
---|
GaddHlddFormulaVisitor()
Constructs a visitor.
|
Modifier and Type | Method and Description |
---|---|
HlddModel |
getModel() |
void |
onBlockBegin(CfgBlockStatement block)
Starts visiting
CfgBlockStatement node. |
void |
onCaseBegin(CfgCaseStatement caseNode)
Starts visiting
CfgCaseStatement node. |
void |
onCaseEnd(CfgCaseStatement caseNode)
Finishes visiting
CfgCaseStatement node. |
void |
onModelEnd(Model model)
Finishes visiting
Model object. |
void |
onModuleBegin(Module module)
Starts visiting
Module node. |
void |
onModuleEnd(Module module)
Finishes visiting
Module node. |
void |
onProcessBegin(ModuleProcess process)
Starts visiting
ModuleProcess node. |
void |
onProcessEnd(ModuleProcess process)
Finishes visiting
ModuleProcess node. |
void |
onSwitchBegin(CfgSwitchStatement switchNode)
Starts visiting
CfgSwitchStatement node. |
void |
onSwitchEnd(CfgSwitchStatement switchNode)
Finishes visiting
CfgSwitchStatement node. |
void |
setCollectUseDef(boolean collectUseDef)
Enable or disable use/def condition collection.
|
onAssertBegin, onAssertEnd, onBlockEnd, onLoopBegin, onLoopEnd, onWaitBegin, onWaitEnd
getStatus, onModelBegin, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onModelBegin, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public void setCollectUseDef(boolean collectUseDef)
collectUseDef
- - the specified value.public HlddModel getModel()
getModel
in interface HlddBuilder
public void onModelEnd(Model model)
ModelVisitor
Model
object.onModelEnd
in interface ModelVisitor
onModelEnd
in class ModelEmptyVisitor
model
- The model to be visited.public void onModuleBegin(Module module)
ModelVisitor
Module
node.onModuleBegin
in interface ModelVisitor
onModuleBegin
in class ModelEmptyVisitor
module
- Module node to be visited.public void onModuleEnd(Module module)
ModelVisitor
Module
node.onModuleEnd
in interface ModelVisitor
onModuleEnd
in class ModelEmptyVisitor
module
- Module node to be visited.public void onProcessBegin(ModuleProcess process)
ModelVisitor
ModuleProcess
node.onProcessBegin
in interface ModelVisitor
onProcessBegin
in class ModelEmptyVisitor
process
- Process node to be visited.public void onProcessEnd(ModuleProcess process)
ModelVisitor
ModuleProcess
node.onProcessEnd
in interface ModelVisitor
onProcessEnd
in class ModelEmptyVisitor
process
- Process node to be visited.public void onSwitchBegin(CfgSwitchStatement switchNode)
CfgVisitor
CfgSwitchStatement
node.onSwitchBegin
in interface CfgVisitor
onSwitchBegin
in class CfgEmptyVisitor
switchNode
- Switch statement to be visited.public void onSwitchEnd(CfgSwitchStatement switchNode)
CfgVisitor
CfgSwitchStatement
node.onSwitchEnd
in interface CfgVisitor
onSwitchEnd
in class CfgEmptyVisitor
switchNode
- Switch statement to be visited.public void onCaseBegin(CfgCaseStatement caseNode)
CfgVisitor
CfgCaseStatement
node.onCaseBegin
in interface CfgVisitor
onCaseBegin
in class CfgEmptyVisitor
caseNode
- Case statement to be visited.public void onCaseEnd(CfgCaseStatement caseNode)
CfgVisitor
CfgCaseStatement
node.onCaseEnd
in interface CfgVisitor
onCaseEnd
in class CfgEmptyVisitor
caseNode
- Case statement to be visited.public void onBlockBegin(CfgBlockStatement block)
CfgVisitor
CfgBlockStatement
node.onBlockBegin
in interface CfgVisitor
onBlockBegin
in class CfgEmptyVisitor
block
- Block statement to be visited.