namespace Microsoft.CodeAnalysis.FlowAnalysis.DataFlow
{
    public abstract class AbstractDataFlowAnalysisContext<TAnalysisData, TAnalysisContext, TAnalysisResult, TAbstractAnalysisValue> : CacheBasedEquatable<TAnalysisContext>, IDataFlowAnalysisContext
        where TAnalysisContext, class, IDataFlowAnalysisContext
        where TAnalysisResult, IDataFlowAnalysisResult<TAbstractAnalysisValue>
    {
        public InterproceduralAnalysisPredicate InterproceduralAnalysisPredicateOpt { get; }
    }
}