|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.CFGAnalysisAdapter
tip.cfg.FlowAnalysis<EqualitySet<ABinopExp>>
tip.cfg.dfa.VeryBusyExpressionsAnalysis
public class VeryBusyExpressionsAnalysis
Constructor Summary | |
---|---|
VeryBusyExpressionsAnalysis()
|
Method Summary | |
---|---|
boolean |
caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
Default implementation. |
boolean |
caseCIfThenElseStmPoint(AIfThenElseStm node,
CIfThenElseStmPoint point)
Default implementation. |
boolean |
caseCIfThenStmPoint(AIfThenStm node,
CIfThenStmPoint point)
Default implementation. |
boolean |
caseCOutputStmPoint(AOutputStm node,
COutputStmPoint point)
Default implementation. |
boolean |
caseCReturnStmPoint(AReturnStm node,
CReturnStmPoint point)
Default implementation. |
boolean |
caseCWhileStmPoint(AWhileStm node,
CWhileStmPoint point)
Default implementation. |
boolean |
caseExitPoint(Node node,
ExitPoint point)
Default implementation. |
String |
getVariableString(EqualitySet<ABinopExp> variable)
Returns a textual representation of the variable variable . |
Methods inherited from class tip.cfg.FlowAnalysis |
---|
defaultNode, end, getDependencySet, getLattice, getName, getVariable, getVariableStringForPoint, getVariableStringForPoint, setVariable, start |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public VeryBusyExpressionsAnalysis()
Method Detail |
---|
public boolean caseExitPoint(Node node, ExitPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseExitPoint
in interface ICFGAnalysis
caseExitPoint
in class CFGAnalysisAdapter
node
- the Node
associated with point
point
- the ExitPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCAssignVarStmPoint(AAssignVarStm node, CAssignVarStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCAssignVarStmPoint
in interface ICFGAnalysis
caseCAssignVarStmPoint
in class CFGAnalysisAdapter
node
- the AAssignVarStm
associated with point
point
- the CAssignVarStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCIfThenStmPoint(AIfThenStm node, CIfThenStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCIfThenStmPoint
in interface ICFGAnalysis
caseCIfThenStmPoint
in class CFGAnalysisAdapter
node
- the AIfThenStm
associated with point
point
- the CIfThenStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCIfThenElseStmPoint(AIfThenElseStm node, CIfThenElseStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCIfThenElseStmPoint
in interface ICFGAnalysis
caseCIfThenElseStmPoint
in class CFGAnalysisAdapter
node
- the AIfThenElseStm
associated with point
point
- the CIfThenElseStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCWhileStmPoint(AWhileStm node, CWhileStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCWhileStmPoint
in interface ICFGAnalysis
caseCWhileStmPoint
in class CFGAnalysisAdapter
node
- the AWhileStm
associated with point
point
- the CWhileStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCOutputStmPoint(AOutputStm node, COutputStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCOutputStmPoint
in interface ICFGAnalysis
caseCOutputStmPoint
in class CFGAnalysisAdapter
node
- the AOutputStm
associated with point
point
- the COutputStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseCReturnStmPoint(AReturnStm node, CReturnStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCReturnStmPoint
in interface ICFGAnalysis
caseCReturnStmPoint
in class CFGAnalysisAdapter
node
- the AReturnStm
associated with point
point
- the CReturnStmPoint
calling the method
true
if the result of the analysis is changed.public String getVariableString(EqualitySet<ABinopExp> variable)
FixedPointAnalysis
variable
.
variable
- the variable for which a text representation is returned
variable
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |