public PredicatedAnalysisDataDomain(MapAbstractDomain <AnalysisEntity, TValue> coreDataAnalysisDomain)
{
CoreDataAnalysisDomain = coreDataAnalysisDomain;
}
public override int Compare(AnalysisEntityBasedPredicateAnalysisData <CopyAbstractValue> other, MapAbstractDomain <AnalysisEntity, CopyAbstractValue> coreDataAnalysisDomain) => BaseCompareHelper(other, coreDataAnalysisDomain);
public override AnalysisEntityBasedPredicateAnalysisData <CopyAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <CopyAbstractValue> data, MapAbstractDomain <AnalysisEntity, CopyAbstractValue> coreDataAnalysisDomain)
{
Debug.Assert(IsReachableBlockData || !data.IsReachableBlockData);
return(new CopyAnalysisData(this, (CopyAnalysisData)data, coreDataAnalysisDomain));
}
public override AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> data, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain)
{
return(new TaintedDataAnalysisData(this, (TaintedDataAnalysisData)data, coreDataAnalysisDomain));
}
private CopyAnalysisData(CopyAnalysisData data1, CopyAnalysisData data2, MapAbstractDomain <AnalysisEntity, CopyAbstractValue> coreDataAnalysisDomain)
: base(data1, data2, coreDataAnalysisDomain)
{
AssertValidCopyAnalysisData();
}
public TaintedDataAnalysisData(TaintedDataAnalysisData fromData, TaintedDataAnalysisData data, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain)
: base(fromData, data, coreDataAnalysisDomain)
{
}
public override int Compare(AnalysisEntityBasedPredicateAnalysisData <TaintedDataAbstractValue> other, MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain)
{
return(this.BaseCompareHelper(other, coreDataAnalysisDomain));
}
public TaintedDataAnalysisDomain(MapAbstractDomain <AnalysisEntity, TaintedDataAbstractValue> coreDataAnalysisDomain)
: base(coreDataAnalysisDomain)
{
}
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 data1, PointsToAnalysisData data2, MapAbstractDomain <AnalysisEntity, PointsToAbstractValue> coreDataAnalysisDomain)
: base(data1, data2, coreDataAnalysisDomain)
{
data1.AssertValidPointsToAnalysisData();
data2.AssertValidPointsToAnalysisData();
AssertValidPointsToAnalysisData();
}
public override AnalysisEntityBasedPredicateAnalysisData <ValueContentAbstractValue> WithMergedData(AnalysisEntityBasedPredicateAnalysisData <ValueContentAbstractValue> data, MapAbstractDomain <AnalysisEntity, ValueContentAbstractValue> coreDataAnalysisDomain) => new ValueContentAnalysisData(this, (ValueContentAnalysisData)data, coreDataAnalysisDomain);
private ValueContentAnalysisData(ValueContentAnalysisData data1, ValueContentAnalysisData data2, MapAbstractDomain <AnalysisEntity, ValueContentAbstractValue> coreDataAnalysisDomain)
: base(data1, data2, coreDataAnalysisDomain)
{
}
