Nullability

1 write to Nullability

Microsoft.CodeAnalysis (1)

Compilation\TypeInfo.cs (1)

46this.Nullability = nullability;

179 references to Nullability

GenerateDocumentationAndConfigFiles (1)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Utilities\NullableHelpers.cs (1)

135=> typeInfo.Nullability.FlowState == NullableFlowState.MaybeNull;

Microsoft.CodeAnalysis (3)

Compilation\TypeInfo.cs (3)

55&& this.Nullability.Equals(other.Nullability) 68Hash.Combine(this.Nullability.GetHashCode(),

Microsoft.CodeAnalysis.Analyzers (1)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Utilities\NullableHelpers.cs (1)

135=> typeInfo.Nullability.FlowState == NullableFlowState.MaybeNull;

Microsoft.CodeAnalysis.BannedApiAnalyzers (1)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Utilities\NullableHelpers.cs (1)

135=> typeInfo.Nullability.FlowState == NullableFlowState.MaybeNull;

Microsoft.CodeAnalysis.CodeStyle.Fixes (2)

src\Analyzers\Core\CodeFixes\UseAutoProperty\AbstractUseAutoPropertyCodeFixProvider.cs (1)

548return typeInfo.Nullability.FlowState == NullableFlowState.MaybeNull;

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Utilities\NullableHelpers.cs (1)

135=> typeInfo.Nullability.FlowState == NullableFlowState.MaybeNull;

Microsoft.CodeAnalysis.CSharp.CodeStyle.Fixes (1)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\CSharp\Utilities\NullableHelpers\NullableExtensions.cs (1)

13=> typeInfo.Type?.WithNullableAnnotation(typeInfo.Nullability.Annotation);

Microsoft.CodeAnalysis.CSharp.Features (2)

ExtractMethod\CSharpMethodExtractor.CSharpCodeGenerator.cs (1)

1106if (returnTypeInfo.Nullability.FlowState == NullableFlowState.MaybeNull)

QuickInfo\CSharpSemanticQuickInfoProvider.cs (1)

171var nullability = typeInfo.Nullability;

Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (103)

Semantics\DynamicTests.cs (66)

5081Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 5162Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 5205Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 5285Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 5328Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 5409Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 6127Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 6207Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 6250Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 6330Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 6370Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 6450Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 6776Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 6839Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 6885Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 6948Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 6995Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7059Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 7164Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7221Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 7267Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7333Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7380Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7449Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7496Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7566Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7686Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7745Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7791Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7851Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7897Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 7957Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 8001Assert.Equal(CodeAnalysis.NullableFlowState.None, typeInfo.Nullability.FlowState); 8072Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 8132Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 8178Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 8238Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 8283Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 8342Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 8388Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 8451Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 8497Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 8560Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 8606Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 8669Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 8716Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 8780Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 8966Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10118Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10195Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10246Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10323Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10374Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10451Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10528Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10603Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10662Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10750Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10810Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 10900Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 11080Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 11166Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 11422Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 11475Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 11689Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 11741Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState);

Semantics\NullableContextTests.cs (12)

354Assert.Equal(expectedNullability, typeInfo.Nullability.FlowState); 393Assert.Equal(expectedNullability, typeInfo.Nullability.FlowState); 428Assert.Equal(expectedNullability, typeInfo.Nullability.FlowState); 1776Assert.Equal(Microsoft.CodeAnalysis.NullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 1781Assert.Equal(Microsoft.CodeAnalysis.NullableFlowState.None, typeInfo.Nullability.FlowState); 1844Assert.Equal(expectedFlowState, typeInfo.Nullability.FlowState); 1890Assert.Equal(expectedFlowState, typeInfo.Nullability.FlowState); 1945Assert.Equal(expectedFlowState, typeInfo.Nullability.FlowState); 1982Assert.Equal(expectedFlowState, typeInfo.Nullability.FlowState); 2022Assert.Equal(expectedFlowState, typeInfo.Nullability.FlowState); 2061Assert.Equal(expectedFlowState, typeInfo.Nullability.FlowState); 2232Assert.Equal(expectedAnnotation, typeInfo.Nullability.Annotation);

Semantics\NullableReferenceTypesTests.cs (21)

59107Assert.Equal(CodeAnalysis.NullableAnnotation.Annotated, model.GetTypeInfo(declaration.Type).Nullability.Annotation); 62929Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 62930Assert.Equal(CodeAnalysis.NullableAnnotation.Annotated, typeInfo.Nullability.Annotation); 71985Assert.Equal(CodeAnalysis.NullableAnnotation.Annotated, model.GetTypeInfo(discard1).Nullability.Annotation); 71990Assert.Equal(CodeAnalysis.NullableAnnotation.Annotated, model.GetTypeInfo(discard2).Nullability.Annotation); 71995Assert.Equal(CodeAnalysis.NullableAnnotation.NotAnnotated, model.GetTypeInfo(discard3).Nullability.Annotation); 72000Assert.Equal(CodeAnalysis.NullableAnnotation.NotAnnotated, model.GetTypeInfo(discard4).Nullability.Annotation); 72032Assert.Equal(CodeAnalysis.NullableAnnotation.None, model.GetTypeInfoAndVerifyIOperation(discard1.Designation).Nullability.Annotation); 72034Assert.Equal(CodeAnalysis.NullableAnnotation.None, model.GetTypeInfo(discard1).Nullability.Annotation); 72043Assert.Equal(CodeAnalysis.NullableAnnotation.None, model.GetTypeInfo(discard2).Nullability.Annotation); 72072Assert.Equal(CodeAnalysis.NullableAnnotation.None, model.GetTypeInfo(discardPattern1).Nullability.Annotation); 72078Assert.Equal(CodeAnalysis.NullableAnnotation.None, model.GetTypeInfo(discardPattern2).Nullability.Annotation); 146592Assert.Equal(CodeAnalysis.NullableAnnotation.Annotated, typeInfo.Nullability.Annotation); 156178Assert.Equal(CodeAnalysis.NullableAnnotation.NotAnnotated, model.GetTypeInfo(identifiers[0]).Nullability.Annotation); 156179Assert.Equal(CodeAnalysis.NullableAnnotation.None, model.GetTypeInfo(identifiers[1]).Nullability.Annotation); 156180Assert.Equal(CodeAnalysis.NullableAnnotation.NotAnnotated, model.GetTypeInfo(identifiers[2]).Nullability.Annotation); 156181Assert.Equal(CodeAnalysis.NullableAnnotation.None, model.GetTypeInfo(identifiers[3]).Nullability.Annotation); 161436Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 161437Assert.Equal(CodeAnalysis.NullableAnnotation.NotAnnotated, typeInfo.Nullability.Annotation); 161482Assert.Equal(CodeAnalysis.NullableFlowState.NotNull, typeInfo.Nullability.FlowState); 161483Assert.Equal(CodeAnalysis.NullableAnnotation.NotAnnotated, typeInfo.Nullability.Annotation);

Semantics\TopLevelStatementsTests.cs (4)

1567Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, model1.GetTypeInfo(reference).Nullability.FlowState); 1570Assert.Equal(CodeAnalysis.NullableFlowState.MaybeNull, model1.GetTypeInfo(reference).Nullability.FlowState); 1630_ = model1.GetTypeInfo(id).Nullability; 1636_ = model2.GetTypeInfo(id).Nullability;

Microsoft.CodeAnalysis.CSharp.Symbol.UnitTests (53)

Compilation\SemanticModelAPITests.cs (3)

4524Assert.Equal(CodeAnalysis.NullableAnnotation.None, typeInfo.Nullability.Annotation); 4588Assert.Equal(CodeAnalysis.NullableAnnotation.None, typeInfo.Nullability.Annotation); 4602Assert.Equal(CodeAnalysis.NullableAnnotation.None, typeInfo.Nullability.Annotation);

Symbols\Source\NullablePublicAPITests.cs (50)

1098Assert.Equal(PublicNullableFlowState.NotNull, typeInfo.Nullability.FlowState); 1101Assert.Equal(PublicNullableAnnotation.NotAnnotated, typeInfo.Nullability.Annotation); 1171syntaxContext.ReportDiagnostic(CodeAnalysis.Diagnostic.Create(s_descriptor1, syntaxContext.Node.GetLocation(), syntaxContext.Node, info.Nullability.FlowState, info.Nullability.Annotation, specInfo.Nullability.FlowState)); 1223Assert.Equal(nullable, dInfo.Nullability); 1230Assert.Equal(nullable, cInfo.Nullability); 1237Assert.Equal(notNullable, creationInfo.Nullability); 1271Assert.Equal(notNull, leftInfo.Nullability); 1273Assert.Equal(@null, rightInfo.Nullability); 1398Assert.Equal(conditionFlowState, speculativeTypeInfo.Nullability.FlowState); 1401Assert.Equal(PublicNullableFlowState.NotNull, speculativeTypeInfo.Nullability.FlowState); 1404Assert.Equal(PublicNullableFlowState.NotNull, referenceTypeInfo.Nullability.FlowState); 1406Assert.Equal(PublicNullableFlowState.NotNull, coalesceTypeInfo.Nullability.FlowState); 1409Assert.Equal(conditionFlowState, speculativeTypeInfo.Nullability.FlowState); 1411Assert.Equal(conditionFlowState, referenceTypeInfo.Nullability.FlowState); 1414Assert.Equal(conditionFlowState, coalesceTypeInfo.Nullability.FlowState); 1446Assert.Equal(PublicNullableFlowState.NotNull, speculativeTypeInfo.Nullability.FlowState); 1532Assert.Equal(expectedFlowState, specTypeInfo.Nullability.FlowState); 1534Assert.Equal(PublicNullableFlowState.NotNull, specTypeInfo.Nullability.FlowState); 1588Assert.Equal(expectedFlowState, specTypeInfo.Nullability.FlowState); 1590Assert.Equal(PublicNullableFlowState.NotNull, specTypeInfo.Nullability.FlowState); 1630Assert.Equal(PublicNullableFlowState.MaybeNull, type.Nullability.FlowState); 1631Assert.Equal(PublicNullableAnnotation.Annotated, type.Nullability.Annotation); 1673Assert.Equal(PublicNullableFlowState.None, type.Nullability.FlowState); 1674Assert.Equal(PublicNullableAnnotation.None, type.Nullability.Annotation); 1716Assert.Equal(PublicNullableFlowState.None, type.Nullability.FlowState); 1717Assert.Equal(PublicNullableAnnotation.None, type.Nullability.Annotation); 1795Assert.Equal(PublicNullableAnnotation.Annotated, info.Nullability.Annotation); 1796Assert.Equal(PublicNullableFlowState.MaybeNull, info.Nullability.FlowState); 1953Assert.Equal(PublicNullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 1955Assert.Equal(CodeAnalysis.NullableAnnotation.Annotated, typeInfo.Nullability.Annotation); 2296Assert.Equal(PublicNullableAnnotation.Annotated, typeInfo.Nullability.Annotation); 2297Assert.Equal(PublicNullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 2467Assert.Equal(PublicNullableAnnotation.Annotated, typeInfo.Nullability.Annotation); 2567Assert.Equal(PublicNullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 2569Assert.Equal(CodeAnalysis.NullableAnnotation.Annotated, typeInfo.Nullability.Annotation); 2921Assert.Equal(PublicNullableFlowState.MaybeNull, typeInfo.Nullability.FlowState); 2925Assert.Equal(PublicNullableFlowState.NotNull, typeInfo.Nullability.FlowState); 2930Assert.Equal(PublicNullableFlowState.None, typeInfo.Nullability.FlowState); 4270Assert.Equal(PublicNullableFlowState.MaybeNull, model.GetTypeInfo(default0).Nullability.FlowState); 4273Assert.Equal(PublicNullableFlowState.NotNull, model.GetTypeInfo(default1).Nullability.FlowState); 4304Assert.Equal(PublicNullableFlowState.MaybeNull, model.GetTypeInfo(default0).Nullability.FlowState); 4307Assert.Equal(PublicNullableFlowState.NotNull, model.GetTypeInfo(default1).Nullability.FlowState); 4338var info = model.GetTypeInfoAndVerifyIOperation(expr).Nullability; 4819Assert.Equal(PublicNullableFlowState.NotNull, info.Nullability.FlowState); 4824Assert.Equal(PublicNullableFlowState.NotNull, info.Nullability.FlowState); 4848Assert.Equal(PublicNullableAnnotation.NotAnnotated, info.Nullability.Annotation); 4849Assert.Equal(PublicNullableFlowState.NotNull, info.Nullability.FlowState); 4914Assert.Equal(PublicNullableFlowState.NotNull, typeInfo.Nullability.FlowState);

Microsoft.CodeAnalysis.CSharp.Test.Utilities (5)

CompilationTestUtils.cs (5)

240summary.Nullability = typeInfo.Nullability; 277summary.Nullability = typeInfo.Nullability; 314summary.Nullability = typeInfo.Nullability; 481Assert.NotEqual(CodeAnalysis.NullableFlowState.None, typeInfo.Nullability.FlowState); 485(annotation.IsConverted ? typeInfo.ConvertedNullability : typeInfo.Nullability).FlowState.ToInternalFlowState()).ToTypeWithAnnotations(compilation);

Microsoft.CodeAnalysis.CSharp.Workspaces (1)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\CSharp\Utilities\NullableHelpers\NullableExtensions.cs (1)

13=> typeInfo.Type?.WithNullableAnnotation(typeInfo.Nullability.Annotation);

Microsoft.CodeAnalysis.Features (1)

src\Analyzers\Core\CodeFixes\UseAutoProperty\AbstractUseAutoPropertyCodeFixProvider.cs (1)

548return typeInfo.Nullability.FlowState == NullableFlowState.MaybeNull;

Microsoft.CodeAnalysis.PerformanceSensitiveAnalyzers (1)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Utilities\NullableHelpers.cs (1)

135=> typeInfo.Nullability.FlowState == NullableFlowState.MaybeNull;

Microsoft.CodeAnalysis.Workspaces (1)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Utilities\NullableHelpers.cs (1)

135=> typeInfo.Nullability.FlowState == NullableFlowState.MaybeNull;

Roslyn.Diagnostics.Analyzers (1)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Utilities\NullableHelpers.cs (1)

135=> typeInfo.Nullability.FlowState == NullableFlowState.MaybeNull;

Roslyn.Diagnostics.CSharp.Analyzers (1)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\CSharp\Utilities\NullableHelpers\NullableExtensions.cs (1)

13=> typeInfo.Type?.WithNullableAnnotation(typeInfo.Nullability.Annotation);

Text.Analyzers (1)

src\Workspaces\SharedUtilitiesAndExtensions\Workspace\Core\Utilities\NullableHelpers.cs (1)

135=> typeInfo.Nullability.FlowState == NullableFlowState.MaybeNull;