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>!
    {
        public InterproceduralAnalysisPredicate? InterproceduralAnalysisPredicate { get; }
    }
}