private static void AssertNoFlowCaptureEntitiesTracked(CorePointsToAnalysisData map)
{
foreach (var key in map.Keys)
{
Debug.Assert(key.CaptureId == null);
}
}
internal PointsToAnalysisData(
CorePointsToAnalysisData mergedCoreAnalysisData,
PredicatedAnalysisData <AnalysisEntity, PointsToAbstractValue> predicatedData1,
PredicatedAnalysisData <AnalysisEntity, PointsToAbstractValue> predicatedData2,
bool isReachableData,
MapAbstractDomain <AnalysisEntity, PointsToAbstractValue> coreDataAnalysisDomain)
: base(mergedCoreAnalysisData, predicatedData1, predicatedData2, isReachableData, coreDataAnalysisDomain)
{
AssertValidPointsToAnalysisData(mergedCoreAnalysisData);
AssertValidPointsToAnalysisData();
}
protected override void AssertValidAnalysisData(CorePointsToAnalysisData map)
{
PointsToAnalysisData.AssertValidPointsToAnalysisData(map);
}
