1 write to FlowState
Microsoft.CodeAnalysis (1)
Symbols\NullabilityInfo.cs (1)
31
FlowState
= flowState;
78 references to FlowState
Microsoft.CodeAnalysis (6)
Compilation\TypeInfo.cs (2)
43
Debug.Assert(type is null || type.NullableAnnotation == nullability.
FlowState
.ToAnnotation());
44
Debug.Assert(convertedType is null || convertedType.NullableAnnotation == convertedNullability.
FlowState
.ToAnnotation());
Symbols\NullabilityInfo.cs (4)
34
private string GetDebuggerDisplay() => $"{{Annotation: {Annotation}, Flow State: {
FlowState
}}}";
40
Hash.Combine(((int)Annotation).GetHashCode(), ((int)
FlowState
).GetHashCode());
44
FlowState
== other.
FlowState
;
Microsoft.CodeAnalysis.CSharp (5)
BoundTree\BoundExpression.cs (1)
125
=> Type?.GetITypeSymbol(TopLevelNullability.
FlowState
.ToAnnotation());
BoundTree\BoundNode.cs (2)
240
switch (value.
FlowState
)
251
throw ExceptionUtilities.UnexpectedValue(value.
FlowState
);
Compilation\TypeInfo.cs (2)
55
return new TypeInfo(info.Type?.GetITypeSymbol(info.Nullability.
FlowState
.ToAnnotation()), info.ConvertedType?.GetITypeSymbol(info.ConvertedNullability.
FlowState
.ToAnnotation()),
Microsoft.CodeAnalysis.CSharp.CodeStyle.Fixes (1)
NullableHelpers.cs (1)
84
if (typeInfo.Nullability.
FlowState
== NullableFlowState.MaybeNull)
Microsoft.CodeAnalysis.CSharp.Features (2)
ExtractMethod\CSharpMethodExtractor.CSharpCodeGenerator.cs (1)
811
if (returnTypeInfo.Nullability.
FlowState
== NullableFlowState.MaybeNull)
QuickInfo\CSharpSemanticQuickInfoProvider.cs (1)
128
return typeInfo.Nullability.
FlowState
;
Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (21)
Semantics\NullableContextTests.cs (11)
354
Assert.Equal(expectedNullability, typeInfo.Nullability.
FlowState
);
393
Assert.Equal(expectedNullability, typeInfo.Nullability.
FlowState
);
428
Assert.Equal(expectedNullability, typeInfo.Nullability.
FlowState
);
1776
Assert.Equal(Microsoft.CodeAnalysis.NullableFlowState.MaybeNull, typeInfo.Nullability.
FlowState
);
1781
Assert.Equal(Microsoft.CodeAnalysis.NullableFlowState.None, typeInfo.Nullability.
FlowState
);
1844
Assert.Equal(expectedFlowState, typeInfo.Nullability.
FlowState
);
1890
Assert.Equal(expectedFlowState, typeInfo.Nullability.
FlowState
);
1945
Assert.Equal(expectedFlowState, typeInfo.Nullability.
FlowState
);
1982
Assert.Equal(expectedFlowState, typeInfo.Nullability.
FlowState
);
2022
Assert.Equal(expectedFlowState, typeInfo.Nullability.
FlowState
);
2061
Assert.Equal(expectedFlowState, typeInfo.Nullability.
FlowState
);
Semantics\NullableReferenceTypesTests.cs (8)
53900
Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, model.GetTypeInfo(nullNode).ConvertedNullability.
FlowState
);
53930
Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, model.GetTypeInfo(nullNode).ConvertedNullability.
FlowState
);
53963
Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, model.GetTypeInfo(defaultNode).ConvertedNullability.
FlowState
);
54000
Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, model.GetTypeInfo(defaultNode).ConvertedNullability.
FlowState
);
54128
Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, model.GetTypeInfo(nullNode).ConvertedNullability.
FlowState
);
60398
Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.
FlowState
);
156842
Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.
FlowState
);
156888
Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.
FlowState
);
Semantics\TopLevelStatementsTests.cs (2)
1511
Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, model1.GetTypeInfo(reference).Nullability.
FlowState
);
1514
Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, model1.GetTypeInfo(reference).Nullability.
FlowState
);
Microsoft.CodeAnalysis.CSharp.Symbol.UnitTests (40)
Compilation\SemanticModelGetSemanticInfoTests.cs (4)
8557
Assert.Equal(CodeAnalysis.NullableFlowState.None, semanticInfo.Nullability.
FlowState
);
8558
Assert.Equal(CodeAnalysis.NullableFlowState.None, semanticInfo.ConvertedNullability.
FlowState
);
8602
Assert.Equal(CodeAnalysis.NullableFlowState.None, semanticInfo.Nullability.
FlowState
);
8603
Assert.Equal(CodeAnalysis.NullableFlowState.None, semanticInfo.ConvertedNullability.
FlowState
);
Symbols\Source\NullablePublicAPITests.cs (36)
1096
Assert.Equal(PublicNullableFlowState.NotNull, typeInfo.Nullability.
FlowState
);
1169
syntaxContext.ReportDiagnostic(CodeAnalysis.Diagnostic.Create(s_descriptor1, syntaxContext.Node.GetLocation(), syntaxContext.Node, info.Nullability.
FlowState
, info.Nullability.Annotation, specInfo.Nullability.
FlowState
));
1396
Assert.Equal(conditionFlowState, speculativeTypeInfo.Nullability.
FlowState
);
1399
Assert.Equal(PublicNullableFlowState.NotNull, speculativeTypeInfo.Nullability.
FlowState
);
1402
Assert.Equal(PublicNullableFlowState.NotNull, referenceTypeInfo.Nullability.
FlowState
);
1404
Assert.Equal(PublicNullableFlowState.NotNull, coalesceTypeInfo.Nullability.
FlowState
);
1407
Assert.Equal(conditionFlowState, speculativeTypeInfo.Nullability.
FlowState
);
1409
Assert.Equal(conditionFlowState, referenceTypeInfo.Nullability.
FlowState
);
1412
Assert.Equal(conditionFlowState, coalesceTypeInfo.Nullability.
FlowState
);
1444
Assert.Equal(PublicNullableFlowState.NotNull, speculativeTypeInfo.Nullability.
FlowState
);
1530
Assert.Equal(expectedFlowState, specTypeInfo.Nullability.
FlowState
);
1532
Assert.Equal(PublicNullableFlowState.NotNull, specTypeInfo.Nullability.
FlowState
);
1586
Assert.Equal(expectedFlowState, specTypeInfo.Nullability.
FlowState
);
1588
Assert.Equal(PublicNullableFlowState.NotNull, specTypeInfo.Nullability.
FlowState
);
1628
Assert.Equal(PublicNullableFlowState.MaybeNull, type.Nullability.
FlowState
);
1674
Assert.Equal(PublicNullableFlowState.None, type.Nullability.
FlowState
);
1717
Assert.Equal(PublicNullableFlowState.None, type.Nullability.
FlowState
);
1797
Assert.Equal(PublicNullableFlowState.MaybeNull, info.Nullability.
FlowState
);
1954
Assert.Equal(PublicNullableFlowState.MaybeNull, typeInfo.Nullability.
FlowState
);
1955
Assert.Equal(PublicNullableFlowState.MaybeNull, typeInfo.ConvertedNullability.
FlowState
);
2298
Assert.Equal(PublicNullableFlowState.MaybeNull, typeInfo.Nullability.
FlowState
);
2568
Assert.Equal(PublicNullableFlowState.MaybeNull, typeInfo.Nullability.
FlowState
);
2569
Assert.Equal(PublicNullableFlowState.MaybeNull, typeInfo.ConvertedNullability.
FlowState
);
2922
Assert.Equal(PublicNullableFlowState.MaybeNull, typeInfo.Nullability.
FlowState
);
2926
Assert.Equal(PublicNullableFlowState.NotNull, typeInfo.Nullability.
FlowState
);
2931
Assert.Equal(PublicNullableFlowState.None, typeInfo.Nullability.
FlowState
);
4274
Assert.Equal(PublicNullableFlowState.MaybeNull, model.GetTypeInfo(default0).Nullability.
FlowState
);
4277
Assert.Equal(PublicNullableFlowState.NotNull, model.GetTypeInfo(default1).Nullability.
FlowState
);
4308
Assert.Equal(PublicNullableFlowState.MaybeNull, model.GetTypeInfo(default0).Nullability.
FlowState
);
4311
Assert.Equal(PublicNullableFlowState.NotNull, model.GetTypeInfo(default1).Nullability.
FlowState
);
4344
Assert.Equal(expectedState, info.
FlowState
);
4823
Assert.Equal(PublicNullableFlowState.NotNull, info.Nullability.
FlowState
);
4828
Assert.Equal(PublicNullableFlowState.NotNull, info.Nullability.
FlowState
);
4853
Assert.Equal(PublicNullableFlowState.NotNull, info.Nullability.
FlowState
);
4918
Assert.Equal(PublicNullableFlowState.NotNull, typeInfo.Nullability.
FlowState
);
Microsoft.CodeAnalysis.CSharp.Test.Utilities (2)
CompilationTestUtils.cs (2)
474
Assert.NotEqual(CodeAnalysis.NullableFlowState.None, typeInfo.Nullability.
FlowState
);
478
(annotation.IsConverted ? typeInfo.ConvertedNullability : typeInfo.Nullability).
FlowState
.ToInternalFlowState()).ToTypeWithAnnotations(compilation);
Microsoft.CodeAnalysis.CSharp.Workspaces (1)
NullableHelpers.cs (1)
84
if (typeInfo.Nullability.
FlowState
== NullableFlowState.MaybeNull)