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!
}