namespace Microsoft.CodeAnalysis.FlowAnalysis.DataFlow
{
    public abstract class DataFlowAnalysis<TAnalysisData, TAnalysisContext, TAnalysisResult, TBlockAnalysisResult, TAbstractAnalysisValue>
        where TAnalysisData, AbstractAnalysisData
        where TAnalysisContext, AbstractDataFlowAnalysisContext<TAnalysisData, TAnalysisContext, TAnalysisResult, TAbstractAnalysisValue>
        where TAnalysisResult, DataFlowAnalysisResult<TBlockAnalysisResult, TAbstractAnalysisValue>
        where TBlockAnalysisResult, AbstractBlockAnalysisResult
    {
        protected abstract TBlockAnalysisResult ToBlockResult(? basicBlock, TAnalysisData blockAnalysisData);
    }
}