3 writes to Kind
Microsoft.CodeAnalysis.AnalyzerUtilities (3)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (3)
42Kind = PointsToAbstractValueKind.KnownLocations; 52Kind = PointsToAbstractValueKind.KnownLValueCaptures; 63Kind = kind;
54 references to Kind
Microsoft.CodeAnalysis.AnalyzerUtilities (54)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (1)
406if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations &&
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (1)
118if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAbstractValue.cs (7)
14/// It contains the set of possible <see cref="AbstractLocation"/>s that the entity or the operation can point to and the <see cref="Kind"/> of the location(s). 120Debug.Assert(Kind != PointsToAbstractValueKind.KnownLValueCaptures); 147Debug.Assert(Kind != PointsToAbstractValueKind.KnownLValueCaptures); 164Debug.Assert(Kind != PointsToAbstractValueKind.KnownLValueCaptures); 190hashCode.Add(((int)Kind).GetHashCode()); 199&& ((int)Kind).GetHashCode() == ((int)other.Kind).GetHashCode()
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.CorePointsToAnalysisDataDomain.cs (1)
39=> value.Kind == PointsToAbstractValueKind.Unknown ||
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToAbstractValueDomain.cs (20)
33if (oldValue.Kind == newValue.Kind) 52else if (oldValue.Kind < newValue.Kind) 76else if (value1.Kind == PointsToAbstractValueKind.Invalid) 78result = value2.Kind == PointsToAbstractValueKind.Undefined ? 82else if (value2.Kind == PointsToAbstractValueKind.Invalid) 84result = value1.Kind == PointsToAbstractValueKind.Undefined ? 88else if (value1.Kind == PointsToAbstractValueKind.Undefined) 92else if (value2.Kind == PointsToAbstractValueKind.Undefined) 96else if (value1.Kind == PointsToAbstractValueKind.Unknown || 97value2.Kind == PointsToAbstractValueKind.Unknown) 101else if (value1.Kind == PointsToAbstractValueKind.UnknownNull) 107else if (value2.Kind == PointsToAbstractValueKind.UnknownNull) 113else if (value1.Kind == PointsToAbstractValueKind.UnknownNotNull) 119else if (value2.Kind == PointsToAbstractValueKind.UnknownNotNull) 125else if (value1.Kind == PointsToAbstractValueKind.KnownLValueCaptures) 127Debug.Assert(value2.Kind == PointsToAbstractValueKind.KnownLValueCaptures); 133Debug.Assert(value1.Kind == PointsToAbstractValueKind.KnownLocations); 134Debug.Assert(value2.Kind == PointsToAbstractValueKind.KnownLocations);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysis.PointsToDataFlowOperationVisitor.cs (4)
181if (value.Kind == PointsToAbstractValueKind.Undefined) 185currentValue.Kind == PointsToAbstractValueKind.Unknown && 635if (escapedInstancePointsToValue.Kind == PointsToAbstractValueKind.KnownLValueCaptures) 1255if (targetValue.Kind == PointsToAbstractValueKind.KnownLValueCaptures)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PointsToAnalysis\PointsToAnalysisData.cs (2)
141Debug.Assert(value.Kind != PointsToAbstractValueKind.Undefined); 142Debug.Assert(!key.IsLValueFlowCaptureEntity || value.Kind == PointsToAbstractValueKind.KnownLValueCaptures);
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\PropertySetAnalysis\PropertySetAnalysis.PropertySetDataFlowOperationVisitor.cs (6)
253if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations) 260else if (pointsToAbstractValue.Kind is PointsToAbstractValueKind.Unknown 271Debug.Fail($"Unhandled PointsToAbstractValue: Kind = {pointsToAbstractValue.Kind}, NullState = {pointsToAbstractValue.NullState}"); 366if (pointsToAbstractValue.Kind == PointsToAbstractValueKind.KnownLocations) 411else if (pointsToAbstractValue.Kind is PointsToAbstractValueKind.Unknown 440Debug.Fail($"Unhandled PointsToAbstractValue: Kind = {pointsToAbstractValue.Kind}, NullState = {pointsToAbstractValue.NullState}");
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntity.cs (3)
53Debug.Assert(entityForInstanceLocation == null || location.Kind == PointsToAbstractValueKind.KnownLocations); 99Debug.Assert(entityForInstanceLocation == null || instanceLocation.Kind == PointsToAbstractValueKind.KnownLocations); 206public bool HasUnknownInstanceLocation => InstanceLocation.Kind switch
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityDataFlowOperationVisitor.cs (2)
436if (instanceLocation == null || instanceLocation.Kind == PointsToAbstractValueKind.Unknown) 632=> pointsToValue.Kind == PointsToAbstractValueKind.KnownLocations &&
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\AnalysisEntityFactory.cs (1)
491if (instanceLocation.Kind == PointsToAbstractValueKind.KnownLocations &&
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (6)
823Debug.Assert(implicitTaskPointsToValueOpt.Kind == PointsToAbstractValueKind.KnownLocations); 1191if (pointsToValueForTask.Kind == PointsToAbstractValueKind.Unknown) 1263if (pointsToValue.Kind == PointsToAbstractValueKind.KnownLocations) 1954if (pointsToValue.Kind == PointsToAbstractValueKind.KnownLValueCaptures) 2473if (instancePointsToValue.Kind == PointsToAbstractValueKind.Undefined) 3363if (invocationTarget?.Kind == PointsToAbstractValueKind.KnownLocations)