C# (CSharp) Microsoft.CodeAnalysis.Operations.DataFlow AbstractValueDomainの例

コード例 #1

        protected DataFlowOperationVisitor(
            AbstractValueDomain <TAbstractAnalysisValue> valueDomain,
            ISymbol owningSymbol,
            bool pessimisticAnalysis,
            DataFlowAnalysisResult <NullBlockAnalysisResult, NullAbstractValue> nullAnalysisResultOpt,
            DataFlowAnalysisResult <PointsToBlockAnalysisResult, PointsToAbstractValue> pointsToAnalysisResultOpt)
        {
            Debug.Assert(owningSymbol != null);
            Debug.Assert(owningSymbol.Kind == SymbolKind.Method ||
                         owningSymbol.Kind == SymbolKind.Field ||
                         owningSymbol.Kind == SymbolKind.Property ||
                         owningSymbol.Kind == SymbolKind.Event);

            ValueDomain                   = valueDomain;
            OwningSymbol                  = owningSymbol;
            PessimisticAnalysis           = pessimisticAnalysis;
            _nullAnalysisResultOpt        = nullAnalysisResultOpt;
            _pointsToAnalysisResultOpt    = pointsToAnalysisResultOpt;
            _valueCacheBuilder            = ImmutableDictionary.CreateBuilder <IOperation, TAbstractAnalysisValue>();
            _pendingArgumentsToReset      = new List <IArgumentOperation>();
            ThisOrMePointsToAbstractValue = GetThisOrMeInstancePointsToValue(owningSymbol.ContainingType);

            AnalysisEntityFactory = new AnalysisEntityFactory(
                (pointsToAnalysisResultOpt != null || IsPointsToAnalysis) ?
                GetPointsToAbstractValue :
                (Func <IOperation, PointsToAbstractValue>)null,
                owningSymbol.ContainingType);
        }

コード例 #2

ファイル: AbstractLocationDataFlowOperationVisitor.cs プロジェクト: miryamGSM/roslyn-analyzers

 protected AbstractLocationDataFlowOperationVisitor(
     AbstractValueDomain <TAbstractAnalysisValue> valueDomain,
     INamedTypeSymbol containingTypeSymbol,
     DataFlowAnalysisResult <NullAnalysis.NullBlockAnalysisResult, NullAnalysis.NullAbstractValue> nullAnalysisResultOpt,
     DataFlowAnalysisResult <PointsToAnalysis.PointsToBlockAnalysisResult, PointsToAnalysis.PointsToAbstractValue> pointsToAnalysisResultOpt)
     : base(valueDomain, containingTypeSymbol, nullAnalysisResultOpt, pointsToAnalysisResultOpt)
 {
 }

コード例 #3

 protected AnalysisEntityDataFlowOperationVisitor(
     AbstractValueDomain <TAbstractAnalysisValue> valueDomain,
     ISymbol owningSymbol,
     bool pessimisticAnalysis,
     DataFlowAnalysisResult <NullBlockAnalysisResult, NullAbstractValue> nullAnalysisResultOpt,
     DataFlowAnalysisResult <PointsToBlockAnalysisResult, PointsToAbstractValue> pointsToAnalysisResultOpt)
     : base(valueDomain, owningSymbol, pessimisticAnalysis, nullAnalysisResultOpt, pointsToAnalysisResultOpt)
 {
 }

コード例 #4

ファイル: AnalysisEntityDataFlowOperationVisitor.cs プロジェクト: zzekikaya/roslyn-analyzers

 protected AnalysisEntityDataFlowOperationVisitor(
     AbstractValueDomain <TAbstractAnalysisValue> valueDomain,
     ISymbol owningSymbol,
     WellKnownTypeProvider wellKnownTypeProvider,
     bool pessimisticAnalysis,
     bool predicateAnalysis,
     DataFlowAnalysisResult <CopyBlockAnalysisResult, CopyAbstractValue> copyAnalysisResultOpt,
     DataFlowAnalysisResult <PointsToBlockAnalysisResult, PointsToAbstractValue> pointsToAnalysisResultOpt)
     : base(valueDomain, owningSymbol, wellKnownTypeProvider, pessimisticAnalysis, predicateAnalysis,
            copyAnalysisResultOpt, pointsToAnalysisResultOpt)
 {
 }

コード例 #5

ファイル: DataFlowOperationVisitor.cs プロジェクト: miryamGSM/roslyn-analyzers

 protected DataFlowOperationVisitor(
     AbstractValueDomain <TAbstractAnalysisValue> valueDomain,
     INamedTypeSymbol containingTypeSymbol,
     DataFlowAnalysisResult <NullBlockAnalysisResult, NullAbstractValue> nullAnalysisResultOpt,
     DataFlowAnalysisResult <PointsToBlockAnalysisResult, PointsToAbstractValue> pointsToAnalysisResultOpt)
 {
     ValueDomain                   = valueDomain;
     _nullAnalysisResultOpt        = nullAnalysisResultOpt;
     _pointsToAnalysisResultOpt    = pointsToAnalysisResultOpt;
     _valueCacheBuilder            = ImmutableDictionary.CreateBuilder <IOperation, TAbstractAnalysisValue>();
     _pendingArgumentsToReset      = new List <IArgumentOperation>();
     ThisOrMePointsToAbstractValue = GetThisOrMeInstancePointsToValue(containingTypeSymbol);
 }

コード例 #6

ファイル: AnalysisEntityDataFlowOperationVisitor.cs プロジェクト: miryamGSM/roslyn-analyzers

 protected AnalysisEntityDataFlowOperationVisitor(
     AbstractValueDomain <TAbstractAnalysisValue> valueDomain,
     INamedTypeSymbol containingTypeSymbol,
     DataFlowAnalysisResult <NullBlockAnalysisResult, NullAbstractValue> nullAnalysisResultOpt,
     DataFlowAnalysisResult <PointsToBlockAnalysisResult, PointsToAbstractValue> pointsToAnalysisResultOpt)
     : base(valueDomain, containingTypeSymbol, nullAnalysisResultOpt, pointsToAnalysisResultOpt)
 {
     AnalysisEntityFactory = new AnalysisEntityFactory(
         (pointsToAnalysisResultOpt != null || IsPointsToAnalysis) ?
         GetPointsToAbstractValue :
         (Func <IOperation, PointsToAbstractValue>)null,
         containingTypeSymbol);
 }

コード例 #7

 protected AbstractLocationDataFlowOperationVisitor(
     AbstractValueDomain <TAbstractAnalysisValue> valueDomain,
     ISymbol owningSymbol,
     WellKnownTypeProvider wellKnownTypeProvider,
     bool pessimisticAnalysis,
     bool predicateAnalysis,
     DataFlowAnalysisResult <NullAnalysis.NullBlockAnalysisResult, NullAnalysis.NullAbstractValue> nullAnalysisResultOpt,
     DataFlowAnalysisResult <CopyAnalysis.CopyBlockAnalysisResult, CopyAnalysis.CopyAbstractValue> copyAnalysisResultOpt,
     DataFlowAnalysisResult <PointsToBlockAnalysisResult, PointsToAbstractValue> pointsToAnalysisResultOpt)
     : base(valueDomain, owningSymbol, wellKnownTypeProvider, pessimisticAnalysis, predicateAnalysis,
            nullAnalysisResultOpt, copyAnalysisResultOpt, pointsToAnalysisResultOpt)
 {
     Debug.Assert(pointsToAnalysisResultOpt != null);
 }

コード例 #8

 public AnalysisEntityMapAbstractDomain(AbstractValueDomain <TValue> valueDomain)
     : base(valueDomain)
 {
 }

コード例 #9

ファイル: AnalysisEntityMapAbstractDomain.cs プロジェクト: zzekikaya/roslyn-analyzers

 protected AnalysisEntityMapAbstractDomain(AbstractValueDomain <TValue> valueDomain)
     : base(valueDomain)
 {
 }

コード例 #10

ファイル: MapAbstractDomain.cs プロジェクト: zzekikaya/roslyn-analyzers

 public MapAbstractDomain(AbstractValueDomain <TValue> valueDomain)
 {
     ValueDomain = valueDomain;
 }