public class GaddUseDefVisitor extends CfgEmptyVisitor
ModelVisitor.Status
Constructor and Description |
---|
GaddUseDefVisitor() |
Modifier and Type | Method and Description |
---|---|
java.util.Map<ru.ispras.fortress.expression.NodeVariable,UseDefContainer> |
getUseDefMap() |
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 |
onModuleBegin(Module module)
Starts visiting
Module node. |
void |
onModuleEnd(Module module)
Finishes visiting
Module node. |
void |
onProcessBegin(ModuleProcess process)
Starts visiting
ModuleProcess node. |
void |
onSwitchBegin(CfgSwitchStatement switchNode)
Starts visiting
CfgSwitchStatement node. |
void |
onSwitchEnd(CfgSwitchStatement switchNode)
Finishes visiting
CfgSwitchStatement node. |
onAssertBegin, onAssertEnd, onBlockEnd, onLoopBegin, onLoopEnd, onWaitBegin, onWaitEnd
getStatus, onModelBegin, onModelEnd, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStatus, onModelBegin, onModelEnd, onProcessEnd, onRootBegin, onRootEnd, onStatementBegin, onStatementEnd
public void onModuleBegin(Module module)
ModelVisitor
Module
node.onModuleBegin
in interface ModelVisitor
onModuleBegin
in class ModelEmptyVisitor
module
- Module node to be visited.public java.util.Map<ru.ispras.fortress.expression.NodeVariable,UseDefContainer> getUseDefMap()
public void onProcessBegin(ModuleProcess process)
ModelVisitor
ModuleProcess
node.onProcessBegin
in interface ModelVisitor
onProcessBegin
in class ModelEmptyVisitor
process
- Process node 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.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 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 onModuleEnd(Module module)
ModelVisitor
Module
node.onModuleEnd
in interface ModelVisitor
onModuleEnd
in class ModelEmptyVisitor
module
- Module node to be visited.