|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttip.cfg.CFGAnalysisAdapter
tip.cfg.FlowAnalysis<EqualityMap<ALocalDecl,ConstantPropagationAnalysis.Const>>
tip.cfg.dfa.ConstantPropagationAnalysis
public class ConstantPropagationAnalysis
Nested Class Summary | |
---|---|
static class |
ConstantPropagationAnalysis.Const
|
static class |
ConstantPropagationAnalysis.ConstLattice
|
static class |
ConstantPropagationAnalysis.Evaluator
|
static class |
ConstantPropagationAnalysis.Type
|
Constructor Summary | |
---|---|
ConstantPropagationAnalysis()
|
Method Summary | |
---|---|
boolean |
caseCAssignVarStmPoint(AAssignVarStm node,
CAssignVarStmPoint point)
Default implementation. |
boolean |
caseCDeclStmPoint(ADeclStm node,
CDeclStmPoint point)
Default implementation. |
boolean |
caseEntryPoint(Node node,
EntryPoint point)
Default implementation. |
String |
getVariableString(EqualityMap<ALocalDecl,ConstantPropagationAnalysis.Const> variable)
Returns a textual representation of the variable variable . |
String |
getVariableStringForPoint(IProgramPoint point,
int distance)
Returns a textual representation of the variable for point only
included information relevant for points in the distance vicinity
of point . |
Methods inherited from class tip.cfg.FlowAnalysis |
---|
defaultNode, end, getDependencySet, getLattice, getName, getVariable, getVariableStringForPoint, setVariable, start |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ConstantPropagationAnalysis()
Method Detail |
---|
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 caseCDeclStmPoint(ADeclStm node, CDeclStmPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseCDeclStmPoint
in interface ICFGAnalysis
caseCDeclStmPoint
in class CFGAnalysisAdapter
node
- the ADeclStm
associated with point
point
- the CDeclStmPoint
calling the method
true
if the result of the analysis is changed.public boolean caseEntryPoint(Node node, EntryPoint point)
CFGAnalysisAdapter
CFGAnalysisAdapter.defaultNode(Node,IProgramPoint)
.
caseEntryPoint
in interface ICFGAnalysis
caseEntryPoint
in class CFGAnalysisAdapter
node
- the Node
associated with point
point
- the EntryPoint
calling the method
true
if the result of the analysis is changed.public String getVariableString(EqualityMap<ALocalDecl,ConstantPropagationAnalysis.Const> variable)
FixedPointAnalysis
variable
.
variable
- the variable for which a text representation is returned
variable
public String getVariableStringForPoint(IProgramPoint point, int distance)
FlowAnalysis
point
only
included information relevant for points in the distance
vicinity
of point
.
getVariableStringForPoint
in interface FixedPointAnalysis<EqualityMap<ALocalDecl,ConstantPropagationAnalysis.Const>>
getVariableStringForPoint
in class FlowAnalysis<EqualityMap<ALocalDecl,ConstantPropagationAnalysis.Const>>
point
- the point for which the variable string is returneddistance
- the vicinity distance taken into account
point
IProgramPoint.getVicinity(int)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |