├── .editorconfig ├── .gitattributes ├── .github ├── img │ ├── FlowState.png │ ├── GenericCall.png │ ├── GenericType.png │ └── SimpleClass.png └── workflows │ └── dotnet.yml ├── .gitignore ├── InferNull ├── App.config ├── AppDomainExtensions.cs ├── ExportProviderExtensions.cs ├── InferNull.csproj ├── ProcessRunner.cs ├── Program.cs └── Properties │ └── .gitignore ├── LICENSE ├── NullabilityInference.Tests ├── EdgeTests.cs ├── FlowTests.cs ├── InferenceTests.cs ├── NullabilityTestHelper.cs └── Tests.csproj ├── NullabilityInference.sln ├── NullabilityInference ├── AccessPath.cs ├── AllNullableSyntaxRewriter.cs ├── CallbackOnDispose.cs ├── EdgeBuildingOperationVisitor.cs ├── EdgeBuildingSyntaxVisitor.cs ├── ExtensionMethods.cs ├── FlowState.cs ├── GraphBuildingSyntaxVisitor.cs ├── GraphVizGraph.cs ├── InferredNullabilitySyntaxRewriter.cs ├── MaximumFlow.cs ├── NodeBuildingSyntaxVisitor.cs ├── NullCheckingEngine.cs ├── NullType.cs ├── NullabilityEdge.cs ├── NullabilityInference.csproj ├── NullabilityNode.cs ├── SimpleTypeParameter.cs ├── Statistics.cs ├── System.Diagnostics.CodeAnalysis │ └── NullableAttributes.cs ├── TypeSystem.cs └── TypeWithNode.cs ├── README.md ├── azure-pipelines.yml └── global.json /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/.editorconfig -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/img/FlowState.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/.github/img/FlowState.png -------------------------------------------------------------------------------- /.github/img/GenericCall.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/.github/img/GenericCall.png -------------------------------------------------------------------------------- /.github/img/GenericType.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/.github/img/GenericType.png -------------------------------------------------------------------------------- /.github/img/SimpleClass.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/.github/img/SimpleClass.png -------------------------------------------------------------------------------- /.github/workflows/dotnet.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/.github/workflows/dotnet.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/.gitignore -------------------------------------------------------------------------------- /InferNull/App.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/InferNull/App.config -------------------------------------------------------------------------------- /InferNull/AppDomainExtensions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/InferNull/AppDomainExtensions.cs -------------------------------------------------------------------------------- /InferNull/ExportProviderExtensions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/InferNull/ExportProviderExtensions.cs -------------------------------------------------------------------------------- /InferNull/InferNull.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/InferNull/InferNull.csproj -------------------------------------------------------------------------------- /InferNull/ProcessRunner.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/InferNull/ProcessRunner.cs -------------------------------------------------------------------------------- /InferNull/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/InferNull/Program.cs -------------------------------------------------------------------------------- /InferNull/Properties/.gitignore: -------------------------------------------------------------------------------- 1 | /launchSettings.json 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/LICENSE -------------------------------------------------------------------------------- /NullabilityInference.Tests/EdgeTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference.Tests/EdgeTests.cs -------------------------------------------------------------------------------- /NullabilityInference.Tests/FlowTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference.Tests/FlowTests.cs -------------------------------------------------------------------------------- /NullabilityInference.Tests/InferenceTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference.Tests/InferenceTests.cs -------------------------------------------------------------------------------- /NullabilityInference.Tests/NullabilityTestHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference.Tests/NullabilityTestHelper.cs -------------------------------------------------------------------------------- /NullabilityInference.Tests/Tests.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference.Tests/Tests.csproj -------------------------------------------------------------------------------- /NullabilityInference.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference.sln -------------------------------------------------------------------------------- /NullabilityInference/AccessPath.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/AccessPath.cs -------------------------------------------------------------------------------- /NullabilityInference/AllNullableSyntaxRewriter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/AllNullableSyntaxRewriter.cs -------------------------------------------------------------------------------- /NullabilityInference/CallbackOnDispose.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/CallbackOnDispose.cs -------------------------------------------------------------------------------- /NullabilityInference/EdgeBuildingOperationVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/EdgeBuildingOperationVisitor.cs -------------------------------------------------------------------------------- /NullabilityInference/EdgeBuildingSyntaxVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/EdgeBuildingSyntaxVisitor.cs -------------------------------------------------------------------------------- /NullabilityInference/ExtensionMethods.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/ExtensionMethods.cs -------------------------------------------------------------------------------- /NullabilityInference/FlowState.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/FlowState.cs -------------------------------------------------------------------------------- /NullabilityInference/GraphBuildingSyntaxVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/GraphBuildingSyntaxVisitor.cs -------------------------------------------------------------------------------- /NullabilityInference/GraphVizGraph.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/GraphVizGraph.cs -------------------------------------------------------------------------------- /NullabilityInference/InferredNullabilitySyntaxRewriter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/InferredNullabilitySyntaxRewriter.cs -------------------------------------------------------------------------------- /NullabilityInference/MaximumFlow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/MaximumFlow.cs -------------------------------------------------------------------------------- /NullabilityInference/NodeBuildingSyntaxVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/NodeBuildingSyntaxVisitor.cs -------------------------------------------------------------------------------- /NullabilityInference/NullCheckingEngine.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/NullCheckingEngine.cs -------------------------------------------------------------------------------- /NullabilityInference/NullType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/NullType.cs -------------------------------------------------------------------------------- /NullabilityInference/NullabilityEdge.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/NullabilityEdge.cs -------------------------------------------------------------------------------- /NullabilityInference/NullabilityInference.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/NullabilityInference.csproj -------------------------------------------------------------------------------- /NullabilityInference/NullabilityNode.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/NullabilityNode.cs -------------------------------------------------------------------------------- /NullabilityInference/SimpleTypeParameter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/SimpleTypeParameter.cs -------------------------------------------------------------------------------- /NullabilityInference/Statistics.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/Statistics.cs -------------------------------------------------------------------------------- /NullabilityInference/System.Diagnostics.CodeAnalysis/NullableAttributes.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/System.Diagnostics.CodeAnalysis/NullableAttributes.cs -------------------------------------------------------------------------------- /NullabilityInference/TypeSystem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/TypeSystem.cs -------------------------------------------------------------------------------- /NullabilityInference/TypeWithNode.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/NullabilityInference/TypeWithNode.cs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/README.md -------------------------------------------------------------------------------- /azure-pipelines.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/azure-pipelines.yml -------------------------------------------------------------------------------- /global.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/icsharpcode/NullabilityInference/HEAD/global.json --------------------------------------------------------------------------------