CaptureId

Operations\ControlFlowGraphBuilder.RegionBuilder.cs (1)

73CaptureIds.Add(new CaptureId(captureId));

Operations\OperationNodes.cs (2)

642this(new CaptureId(id), isInitialization, semanticModel: null, syntax: syntax, type: type, constantValue: constantValue, isImplicit: true) 650this(new CaptureId(id), value, semanticModel: null, syntax: syntax, isImplicit: true)

DataFlow\LocalDataFlowAnalysis.cs (1)

119 ImmutableDictionary<CaptureId, FlowCaptureKind> lValueFlowCaptures,

DataFlow\LocalDataFlowVisitor.cs (4)

49 private readonly ImmutableDictionary<CaptureId, FlowCaptureKind> lValueFlowCaptures; 53 bool IsLValueFlowCapture (CaptureId captureId) 56 bool IsRValueFlowCapture (CaptureId captureId) 64 ImmutableDictionary<CaptureId, FlowCaptureKind> lValueFlowCaptures,

DataFlow\LocalStateLattice.cs (8)

15 readonly CaptureId? CaptureId; 19 public LocalKey (CaptureId captureId) => (Local, CaptureId) = (null, captureId); 46 public DefaultValueDictionary<CaptureId, ValueSet<CapturedReferenceValue>> CapturedReferences; 50 new DefaultValueDictionary<CaptureId, ValueSet<CapturedReferenceValue>> (default (ValueSet<CapturedReferenceValue>))) 54 public LocalState (DefaultValueDictionary<LocalKey, TValue> dictionary, DefaultValueDictionary<CaptureId, ValueSet<CapturedReferenceValue>> capturedReferences) 61 : this (dictionary, new DefaultValueDictionary<CaptureId, ValueSet<CapturedReferenceValue>> (default (ValueSet<CapturedReferenceValue>))) 86 public readonly DictionaryLattice<CaptureId, ValueSet<CapturedReferenceValue>, ValueSetLattice<CapturedReferenceValue>> CapturedReferenceLattice; 91 CapturedReferenceLattice = new DictionaryLattice<CaptureId, ValueSet<CapturedReferenceValue>, ValueSetLattice<CapturedReferenceValue>> (default (ValueSetLattice<CapturedReferenceValue>));

DataFlow\LValueFlowCaptureProvider.cs (7)

23 /// <see cref="CaptureId"/> as this flow capture, dereferences and writes to this location 51 public static ImmutableDictionary<CaptureId, FlowCaptureKind> CreateLValueFlowCaptures (ControlFlowGraph cfg) 60 ImmutableDictionary<CaptureId, FlowCaptureKind>.Builder? lvalueFlowCaptureIdBuilder = null; 61 var rvalueFlowCaptureIds = new HashSet<CaptureId> (); 65 lvalueFlowCaptureIdBuilder ??= ImmutableDictionary.CreateBuilder<CaptureId, FlowCaptureKind> (); 78 var captureId = kvp.Key; 85 return lvalueFlowCaptureIdBuilder != null ? lvalueFlowCaptureIdBuilder.ToImmutable () : ImmutableDictionary<CaptureId, FlowCaptureKind>.Empty;

TrimAnalysis\TrimAnalysisVisitor.cs (1)

51 ImmutableDictionary<CaptureId, FlowCaptureKind> lValueFlowCaptures,

TrimAnalysis\TrimDataFlowAnalysis.cs (1)

63 ImmutableDictionary<CaptureId, FlowCaptureKind> lValueFlowCaptures,

Generated\FlowAnalysis.Generated.cs (2)

31CaptureId Id { get; } 55CaptureId Id { get; }

Generated\Operations.Generated.cs (4)

8814internal FlowCaptureOperation(CaptureId id, IOperation value, SemanticModel? semanticModel, SyntaxNode syntax, bool isImplicit) 8820public CaptureId Id { get; } 8867internal FlowCaptureReferenceOperation(CaptureId id, bool isInitialization, SemanticModel? semanticModel, SyntaxNode syntax, ITypeSymbol? type, ConstantValue? constantValue, bool isImplicit) 8875public CaptureId Id { get; }

Operations\CaptureId.cs (5)

13public readonly struct CaptureId : IEquatable<CaptureId> 24/// Compares <see cref="CaptureId"/>s. 26public bool Equals(CaptureId other) => Value == other.Value; 29public override bool Equals(object? obj) => obj is CaptureId && Equals((CaptureId)obj);

Operations\ControlFlowGraphBuilder.cs (2)

1698/// track <see cref="CaptureId"/>s used by the stack spilling, etc. 1868var idsStillOnTheStack = PooledHashSet<CaptureId>.GetInstance();

Operations\ControlFlowGraphBuilder.RegionBuilder.cs (4)

25public ArrayBuilder<CaptureId>? CaptureIds = null; 70CaptureIds = ArrayBuilder<CaptureId>.GetInstance(); 76public void AddCaptureIds(ArrayBuilder<CaptureId>? others) 87CaptureIds = ArrayBuilder<CaptureId>.GetInstance();

Operations\ControlFlowRegion.cs (2)

61public ImmutableArray<CaptureId> CaptureIds { get; } 67ImmutableArray<CaptureId> captureIds,

src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (5)

37leavingRegionFlowCaptures: ImmutableHashSet<CaptureId>.Empty) 50IEnumerable<CaptureId> leavingRegionFlowCaptures) 73public IEnumerable<CaptureId> LeavingRegionFlowCaptures { get; } 86leavingRegionFlowCaptures: ImmutableHashSet<CaptureId>.Empty); 116private static IEnumerable<CaptureId> ComputeLeavingRegionFlowCaptures(ImmutableArray<ControlFlowRegion> leavingRegions)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityDataFlowOperationVisitor.cs (2)

101protected override void ProcessOutOfScopeLocalsAndFlowCaptures(IEnumerable<ILocalSymbol> locals, IEnumerable<CaptureId> flowCaptures) 123foreach (var captureId in flowCaptures)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityFactory.cs (7)

31private readonly Dictionary<CaptureId, AnalysisEntity> _captureIdEntityMap; 32private readonly Dictionary<CaptureId, CopyAbstractValue> _captureIdCopyValueMap; 68_captureIdEntityMap = new Dictionary<CaptureId, AnalysisEntity>(); 69_captureIdCopyValueMap = new Dictionary<CaptureId, CopyAbstractValue>(); 403public bool TryGetForFlowCapture(CaptureId captureId, out AnalysisEntity analysisEntity) 406public bool TryGetCopyValueForFlowCapture(CaptureId captureId, out CopyAbstractValue copyValue) 412private AnalysisEntity GetOrCreateForFlowCapture(CaptureId captureId, ITypeSymbol? type, IOperation flowCaptureOrReference, bool isLValueFlowCapture)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (4)

44private readonly ImmutableHashSet<CaptureId> _lValueFlowCaptures; 940IEnumerable<CaptureId> leavingRegionFlowCaptures, 958protected virtual void ProcessOutOfScopeLocalsAndFlowCaptures(IEnumerable<ILocalSymbol> locals, IEnumerable<CaptureId> flowCaptures) 964foreach (var captureId in flowCaptures)

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\InterproceduralCaptureId.cs (3)

12/// This type essentially wraps each <see cref="CaptureId"/>, which is unique for each control flow graph, 17internal InterproceduralCaptureId(CaptureId captureId, ControlFlowGraph controlFlowGraph, bool isLValueFlowCapture) 24public CaptureId Id { get; }

src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\LValueFlowCapturesProvider.cs (6)

23private static readonly ConditionalWeakTable<ControlFlowGraph, ImmutableHashSet<CaptureId>> s_lValueFlowCapturesCache = 26public static ImmutableHashSet<CaptureId> GetOrCreateLValueFlowCaptures(ControlFlowGraph cfg) 29private static ImmutableHashSet<CaptureId> CreateLValueFlowCaptures(ControlFlowGraph cfg) 31var lvalueFlowCaptureIdBuilder = PooledHashSet<CaptureId>.GetInstance(); 33var rvalueFlowCaptureIds = new Dictionary<CaptureId, HashSet<IFlowCaptureReferenceOperation>>(); 58foreach (var captureId in lvalueFlowCaptureIdBuilder)

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\LValueFlowCaptureProvider.cs (6)

22/// <see cref="CaptureId"/> as this flow capture, dereferences and writes to this location 40public static ImmutableDictionary<CaptureId, FlowCaptureKind> CreateLValueFlowCaptures(ControlFlowGraph cfg) 49ImmutableDictionary<CaptureId, FlowCaptureKind>.Builder lvalueFlowCaptureIdBuilder = null; 50var rvalueFlowCaptureIds = PooledHashSet<CaptureId>.GetInstance(); 60lvalueFlowCaptureIdBuilder ??= ImmutableDictionary.CreateBuilder<CaptureId, FlowCaptureKind>(); 80return lvalueFlowCaptureIdBuilder != null ? lvalueFlowCaptureIdBuilder.ToImmutable() : ImmutableDictionary<CaptureId, FlowCaptureKind>.Empty;

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.AnalysisData.cs (4)

130public abstract bool IsLValueFlowCapture(CaptureId captureId); 131public abstract bool IsRValueFlowCapture(CaptureId captureId); 132public abstract void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId); 133public abstract void OnLValueDereferenceFound(CaptureId captureId);

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.DataFlowAnalyzer.FlowGraphAnalysisData.cs (7)

41private readonly PooledDictionary<CaptureId, PooledHashSet<(ISymbol, IOperation)>> _lValueFlowCapturesMap; 99_lValueFlowCapturesMap = PooledDictionary<CaptureId, PooledHashSet<(ISymbol, IOperation)>>.GetInstance(); 181public ImmutableDictionary<CaptureId, FlowCaptureKind> LValueFlowCapturesInGraph { get; } 456public override bool IsLValueFlowCapture(CaptureId captureId) 459public override bool IsRValueFlowCapture(CaptureId captureId) 462public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 473public override void OnLValueDereferenceFound(CaptureId captureId)

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.OperationTreeAnalysisData.cs (4)

59public override bool IsLValueFlowCapture(CaptureId captureId) 61public override bool IsRValueFlowCapture(CaptureId captureId) 63public override void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 65public override void OnLValueDereferenceFound(CaptureId captureId)

src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\SymbolUsageAnalysis\SymbolUsageAnalysis.Walker.cs (2)

101private void OnLValueCaptureFound(ISymbol symbol, IOperation operation, CaptureId captureId) 104private void OnLValueDereferenceFound(CaptureId captureId)

Compilation\ControlFlowGraphVerifier.cs (33)