namespace Microsoft.CodeAnalysis.FlowAnalysis.DataFlow
{
    public abstract class PredicateAnalysisEntityDataFlowOperationVisitor<TAnalysisData, TAnalysisContext, TAnalysisResult, TAbstractAnalysisValue> : AnalysisEntityDataFlowOperationVisitor<TAnalysisData!, TAnalysisContext!, TAnalysisResult!, TAbstractAnalysisValue>
        where TAnalysisData, AnalysisEntityBasedPredicateAnalysisData<TAbstractAnalysisValue>!
        where TAnalysisContext, AbstractDataFlowAnalysisContext<TAnalysisData!, TAnalysisContext!, TAnalysisResult!, TAbstractAnalysisValue>!
        where TAnalysisResult, class, IDataFlowAnalysisResult<TAbstractAnalysisValue>!
        where TAbstractAnalysisValue, IEquatable<TAbstractAnalysisValue>!
    {
        protected override void UpdateReachability(?! basicBlock, TAnalysisData! analysisData, bool isReachable);
    }
}