namespace Microsoft.CodeAnalysis.FlowAnalysis.DataFlow
{
    public abstract class AnalysisEntityDataFlowOperationVisitor<TAnalysisData, TAnalysisContext, TAnalysisResult, TAbstractAnalysisValue> : DataFlowOperationVisitor<TAnalysisData, TAnalysisContext, TAnalysisResult, TAbstractAnalysisValue>
        where TAnalysisData, AbstractAnalysisData
        where TAnalysisContext, AbstractDataFlowAnalysisContext<TAnalysisData, TAnalysisContext, TAnalysisResult, TAbstractAnalysisValue>
        where TAnalysisResult, IDataFlowAnalysisResult<TAbstractAnalysisValue>
        where TAbstractAnalysisValue, IEquatable<TAbstractAnalysisValue>
    {
        protected override sealed PredicateValueKind ApplyPredicatedDataForEntity(TAnalysisData analysisData, AnalysisEntity predicatedEntity, bool trueData);
    }
}