public PointsToDataFlowOperationVisitor( PointsToAbstractValueDomain valueDomain, INamedTypeSymbol containingTypeSymbol, DataFlowAnalysisResult <NullAnalysis.NullBlockAnalysisResult, NullAnalysis.NullAbstractValue> nullAnalysisResultOpt) : base(valueDomain, containingTypeSymbol, nullAnalysisResultOpt: nullAnalysisResultOpt, pointsToAnalysisResultOpt: null) { }
public PointsToDataFlowOperationVisitor( PointsToAbstractValueDomain valueDomain, ISymbol owningSymbol, bool pessimisticAnalysis, DataFlowAnalysisResult <NullAnalysis.NullBlockAnalysisResult, NullAnalysis.NullAbstractValue> nullAnalysisResultOpt) : base(valueDomain, owningSymbol, pessimisticAnalysis, nullAnalysisResultOpt: nullAnalysisResultOpt, pointsToAnalysisResultOpt: null) { }
public PointsToDataFlowOperationVisitor( DefaultPointsToValueGenerator defaultPointsToValueGenerator, PointsToAnalysisDomain pointsToAnalysisDomain, PointsToAbstractValueDomain valueDomain, ISymbol owningSymbol, WellKnownTypeProvider wellKnownTypeProvider, bool pessimisticAnalysis, DataFlowAnalysisResult <NullAnalysis.NullBlockAnalysisResult, NullAnalysis.NullAbstractValue> nullAnalysisResultOpt) : base(valueDomain, owningSymbol, wellKnownTypeProvider, pessimisticAnalysis, predicateAnalysis: false, nullAnalysisResultOpt: nullAnalysisResultOpt, copyAnalysisResultOpt: null, pointsToAnalysisResultOpt: null) { _defaultPointsToValueGenerator = defaultPointsToValueGenerator; _pointsToAnalysisDomain = pointsToAnalysisDomain; }