tip.cfg
Interface WideningNarrowingAnalysis<VariableType>

Type Parameters:
VariableType - the variable type of the analysis
All Superinterfaces:
FixedPointAnalysis<VariableType>, ICFGAnalysis
All Known Implementing Classes:
IntervalAnalysis

public interface WideningNarrowingAnalysis<VariableType>
extends FixedPointAnalysis<VariableType>

WideningNarrowingAnalysis defines the methods necessary for performing a widening-narrowing analysis using WorkList.

Author:
Johnni Winther, jw@brics.dk

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
 
Methods inherited from interface tip.cfg.ICFGAnalysis
caseCAssignPtrStmPoint, caseCAssignVarStmPoint, caseCBinopExpPoint, caseCBlockPoint, caseCDeclStmPoint, caseCDerefExpPoint, caseCFunctionCallExpPoint, caseCFunctionPtrCallExpPoint, caseCIfThenElseStmPoint, caseCIfThenStmPoint, caseCInputExpPoint, caseCIntConstExpPoint, caseCMallocExpPoint, caseCNullExpPoint, caseCOutputStmPoint, caseCPointerExpPoint, caseCReturnStmPoint, caseCVarExpPoint, caseCWhileStmPoint, caseEntryPoint, caseExitPoint
 

Method Detail

isNarrowing

boolean isNarrowing()
Returns true if the current analysis is in the narrowing phase.

Returns:
true if the current analysis is in the narrowing phase

setNarrowing

void setNarrowing()
Sets the current analysis to be in the narrowing phase.


isWidening

boolean isWidening()
Returns true if the current analysis is in the widening phase.

Returns:
true if the current analysis is in the widening phase

setWidening

void setWidening()
Sets the current analysis to be in the widening phase.