public abstract class AnalysisFactoryVarContext<T extends AbstractValue<T>> extends AnalysisFactory<VarContext<T>>
extInfo
Constructor and Description |
---|
AnalysisFactoryVarContext(AccrueExtensionInfo extInfo) |
Modifier and Type | Method and Description |
---|---|
abstract T |
bottomAbstractValue() |
FinalVarContext<T> |
emptyExitMap()
Get the
ExitMap |
FinalVarContext<T> |
restoreCallingFrame(FinalVarContext<T> output,
VarContext<T> input,
java.util.Set<AbstractLocation> writeLocations) |
analysisName, analysisReportName, analysisUtil, createAnalysisContext, reportTopics, startItem, startProcAnalysisContext
public AnalysisFactoryVarContext(AccrueExtensionInfo extInfo)
public FinalVarContext<T> restoreCallingFrame(FinalVarContext<T> output, VarContext<T> input, java.util.Set<AbstractLocation> writeLocations)
public abstract T bottomAbstractValue()
public FinalVarContext<T> emptyExitMap()
AnalysisFactory
ExitMap
emptyExitMap
in class AnalysisFactory<VarContext<T extends AbstractValue<T>>>