|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
VariableType
- the variable type of the analysispublic interface WideningNarrowingAnalysis<VariableType>
WideningNarrowingAnalysis
defines the methods necessary for
performing a widening-narrowing analysis using WorkList
.
Method Summary | |
---|---|
boolean |
isNarrowing()
Returns true if the current analysis is in the narrowing phase. |
boolean |
isWidening()
Returns true if the current analysis is in the widening phase. |
void |
setNarrowing()
Sets the current analysis to be in the narrowing phase. |
void |
setWidening()
Sets the current analysis to be in the widening phase. |
Methods inherited from interface tip.cfg.FixedPointAnalysis |
---|
end, getDependencySet, getName, getVariable, getVariableString, getVariableStringForPoint, getVariableStringForPoint, start |
Method Detail |
---|
boolean isNarrowing()
true
if the current analysis is in the narrowing phase.
true
if the current analysis is in the narrowing phasevoid setNarrowing()
boolean isWidening()
true
if the current analysis is in the widening phase.
true
if the current analysis is in the widening phasevoid setWidening()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |