|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
VariableType
- the type of the variables of the analysispublic interface FixedPointAnalysis<VariableType>
FixedPointAnalysis
defines the interface for general fixed-point
analyses for which WorkList
can be used.
Method Summary | |
---|---|
void |
end(ICFG cfg)
end is called after the fixed point analysis of the control flow
graph cfg has ended. |
Set<IProgramPoint> |
getDependencySet(IProgramPoint point)
Returns the set of IProgramPoint s that depend upon point . |
String |
getName()
Returns the name of the analysis. |
VariableType |
getVariable(IProgramPoint point)
Returns the (current) variable associated with the point . |
String |
getVariableString(VariableType variable)
Returns a textual representation of the variable variable . |
String |
getVariableStringForPoint(IProgramPoint point)
Returns a textual representation of the variable for point . |
String |
getVariableStringForPoint(IProgramPoint point,
int distance)
Returns a textual representation of the variable for point only
including information relevant for points in the distance
vicinity of point . |
void |
start(ICFG cfg)
start is called before the fixed point analysis of the control
flow graph cfg is started. |
Method Detail |
---|
String getName()
void start(ICFG cfg)
start
is called before the fixed point analysis of the control
flow graph cfg
is started.
cfg
- the control flow graph on which the analysis is madevoid end(ICFG cfg)
end
is called after the fixed point analysis of the control flow
graph cfg
has ended.
cfg
- the control flow graph on which the analysis has been madeSet<IProgramPoint> getDependencySet(IProgramPoint point)
IProgramPoint
s that depend upon point
.
point
- the IProgramPoint
for which the dependency set is
returned
IProgramPoint
s that depend upon point
VariableType getVariable(IProgramPoint point)
point
.
point
- the IProgramPoint
for which the variable is returned
point
String getVariableString(VariableType variable)
variable
.
variable
- the variable for which a text representation is returned
variable
String getVariableStringForPoint(IProgramPoint point)
point
.
point
- the point for which the variable string is returned
point
String getVariableStringForPoint(IProgramPoint point, int distance)
point
only
including information relevant for points in the distance
vicinity of point
.
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 |