private PointsToAnalysisData(PointsToAnalysisData data1, PointsToAnalysisData data2, MapAbstractDomain <AnalysisEntity, PointsToAbstractValue> coreDataAnalysisDomain)
: base(data1, data2, coreDataAnalysisDomain)
{
data1.AssertValidPointsToAnalysisData();
data2.AssertValidPointsToAnalysisData();
AssertValidPointsToAnalysisData();
}
public override AnalysisEntityBasedPredicateAnalysisData <PointsToAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <PointsToAbstractValue> data, MapAbstractDomain <AnalysisEntity, PointsToAbstractValue> coreDataAnalysisDomain)
{
Debug.Assert(IsReachableBlockData || !data.IsReachableBlockData);
var mergedData = new PointsToAnalysisData(this, (PointsToAnalysisData)data, coreDataAnalysisDomain);
mergedData.AssertValidPointsToAnalysisData();
return(mergedData);
}
private PointsToAnalysisData(PointsToAnalysisData fromData)
: base(fromData)
{
fromData.AssertValidPointsToAnalysisData();
}
protected override void AssertValidAnalysisData(CorePointsToAnalysisData map)
{
PointsToAnalysisData.AssertValidPointsToAnalysisData(map);
}
