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); }