namespace Microsoft.CodeAnalysis.FlowAnalysis.DataFlow
{
    public abstract class AbstractDataFlowAnalysisContext<TAnalysisData, TAnalysisContext, TAnalysisResult, TAbstractAnalysisValue> : CacheBasedEquatable<TAnalysisContext!>, IDataFlowAnalysisContext
        where TAnalysisData, AbstractAnalysisData!
        where TAnalysisContext, class, IDataFlowAnalysisContext!
        where TAnalysisResult, class, IDataFlowAnalysisResult<TAbstractAnalysisValue>!
    {
        protected AbstractDataFlowAnalysisContext(AbstractValueDomain<TAbstractAnalysisValue>! valueDomain, WellKnownTypeProvider! wellKnownTypeProvider, ?! controlFlowGraph, ?! owningSymbol, ?! analyzerOptions, InterproceduralAnalysisConfiguration interproceduralAnalysisConfig, bool pessimisticAnalysis, bool predicateAnalysis, bool exceptionPathsAnalysis, DataFlowAnalysisResult<CopyBlockAnalysisResult!, CopyAbstractValue!>? copyAnalysisResult, PointsToAnalysisResult? pointsToAnalysisResult, DataFlowAnalysisResult<ValueContentBlockAnalysisResult!, ValueContentAbstractValue!>? valueContentAnalysisResult, Func<TAnalysisContext!, TAnalysisResult?>! tryGetOrComputeAnalysisResult, ?? parentControlFlowGraph, InterproceduralAnalysisData<TAnalysisData!, TAnalysisContext!, TAbstractAnalysisValue>? interproceduralAnalysisData, InterproceduralAnalysisPredicate? interproceduralAnalysisPredicate);
    }
}