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
    {
        public static TAnalysisData FlowBranch(DataFlowOperationVisitor<TAnalysisData, TAnalysisContext, TAnalysisResult, TAbstractAnalysisValue> operationVisitor, ? branch, TAnalysisData data);
    }
}