36 references to GlobalFlowStateAnalysisValueSetKind
Microsoft.CodeAnalysis.NetAnalyzers (36)
Microsoft.NetCore.Analyzers\InteropServices\PlatformCompatibilityAnalyzer.cs (3)
373if ((value.Kind == GlobalFlowStateAnalysisValueSetKind.Known && IsKnownValueGuarded(pair.attributes, ref csAttributes, value, pair.csAttributes, originalAttributes)) || 374(value.Kind == GlobalFlowStateAnalysisValueSetKind.Unknown && HasGuardedLambdaOrLocalFunctionResult(platformSpecificOperation.Key, 432if (localValue.Kind != GlobalFlowStateAnalysisValueSetKind.Known ||
src\8ce1f4f68b646e6d\GlobalFlowStateAnalysis.GlobalFlowStateAnalysisValueSetDomain.cs (16)
60else if (value1.Kind == GlobalFlowStateAnalysisValueSetKind.Unset) 64else if (value2.Kind == GlobalFlowStateAnalysisValueSetKind.Unset) 68else if (value1.Kind == GlobalFlowStateAnalysisValueSetKind.Unknown || value2.Kind == GlobalFlowStateAnalysisValueSetKind.Unknown) 72else if (value1.Kind == GlobalFlowStateAnalysisValueSetKind.Empty || value2.Kind == GlobalFlowStateAnalysisValueSetKind.Empty) 77Debug.Assert(value1.Kind == GlobalFlowStateAnalysisValueSetKind.Known); 78Debug.Assert(value2.Kind == GlobalFlowStateAnalysisValueSetKind.Known); 122else if (value1.Kind == GlobalFlowStateAnalysisValueSetKind.Unset) 126else if (value2.Kind == GlobalFlowStateAnalysisValueSetKind.Unset) 130else if (value1.Kind == GlobalFlowStateAnalysisValueSetKind.Unknown || value2.Kind == GlobalFlowStateAnalysisValueSetKind.Unknown) 134else if (value1.Kind == GlobalFlowStateAnalysisValueSetKind.Empty || value2.Kind == GlobalFlowStateAnalysisValueSetKind.Empty) 143Debug.Assert(value1.Kind == GlobalFlowStateAnalysisValueSetKind.Known); 144Debug.Assert(value2.Kind == GlobalFlowStateAnalysisValueSetKind.Known);
src\8ce1f4f68b646e6d\GlobalFlowStateAnalysisValueSet.cs (13)
19ImmutableHashSet<IAbstractAnalysisValue>.Empty, ImmutableHashSet<GlobalFlowStateAnalysisValueSet>.Empty, 0, GlobalFlowStateAnalysisValueSetKind.Unset); 21ImmutableHashSet<IAbstractAnalysisValue>.Empty, ImmutableHashSet<GlobalFlowStateAnalysisValueSet>.Empty, 0, GlobalFlowStateAnalysisValueSetKind.Empty); 23ImmutableHashSet<IAbstractAnalysisValue>.Empty, ImmutableHashSet<GlobalFlowStateAnalysisValueSet>.Empty, 0, GlobalFlowStateAnalysisValueSetKind.Unknown); 29GlobalFlowStateAnalysisValueSetKind kind) 31Debug.Assert((!analysisValues.IsEmpty || !parents.IsEmpty) == (kind == GlobalFlowStateAnalysisValueSetKind.Known)); 35Debug.Assert(height == 0 || kind == GlobalFlowStateAnalysisValueSetKind.Known); 50return new(analysisValues, parents, height, GlobalFlowStateAnalysisValueSetKind.Known); 54=> new(ImmutableHashSet.Create(analysisValue), ImmutableHashSet<GlobalFlowStateAnalysisValueSet>.Empty, height: 0, GlobalFlowStateAnalysisValueSetKind.Known); 59public GlobalFlowStateAnalysisValueSetKind Kind { get; } 63Debug.Assert(Kind == GlobalFlowStateAnalysisValueSetKind.Known); 87Debug.Assert(Kind != GlobalFlowStateAnalysisValueSetKind.Unknown); 89if (Kind != GlobalFlowStateAnalysisValueSetKind.Known) 105Debug.Assert(Kind == GlobalFlowStateAnalysisValueSetKind.Known);
src\8ce1f4f68b646e6d\GlobalFlowStateValueSetFlowOperationVisitor.cs (4)
46if (value.Kind == GlobalFlowStateAnalysisValueSetKind.Known) 49if (currentGlobalValue.Kind != GlobalFlowStateAnalysisValueSetKind.Unknown) 69if (value.Kind != GlobalFlowStateAnalysisValueSetKind.Known && 132value.Kind == GlobalFlowStateAnalysisValueSetKind.Known)