namespace Microsoft.CodeAnalysis.FlowAnalysis.DataFlow
{
    public abstract class AbstractDataFlowAnalysisContext<TAnalysisData, TAnalysisContext, TAnalysisResult, TAbstractAnalysisValue> : CacheBasedEquatable<TAnalysisContext>, IDataFlowAnalysisContext
        where TAnalysisContext, class, IDataFlowAnalysisContext
        where TAnalysisResult, IDataFlowAnalysisResult<TAbstractAnalysisValue>
    {
        public abstract TAnalysisContext ForkForInterproceduralAnalysis(? invokedMethod, ? invokedCfg, ? operation, PointsToAnalysisResult pointsToAnalysisResultOpt, DataFlowAnalysisResult<CopyBlockAnalysisResult, CopyAbstractValue> copyAnalysisResultOpt, DataFlowAnalysisResult<ValueContentBlockAnalysisResult, ValueContentAbstractValue> valueContentAnalysisResultOpt, InterproceduralAnalysisData<TAnalysisData, TAnalysisContext, TAbstractAnalysisValue> interproceduralAnalysisData);
    }
}