Class NullabilityAnalysis
A simple nullability analysis.
Inheritance
System.Object
NullabilityAnalysis
Implements
Inherited Members
System.Object.ToString()
System.Object.Equals(System.Object)
System.Object.Equals(System.Object, System.Object)
System.Object.ReferenceEquals(System.Object, System.Object)
System.Object.GetHashCode()
System.Object.GetType()
System.Object.MemberwiseClone()
Namespace: Flame.Compiler.Analysis
Assembly: Flame.Compiler.dll
Syntax
public sealed class NullabilityAnalysis : IFlowGraphAnalysis<ValueNullability>Fields
| Improve this Doc View SourceInstance
Gets an instance of the nullability analysis.
Declaration
public static readonly NullabilityAnalysis InstanceField Value
| Type | Description |
|---|---|
| NullabilityAnalysis | An instance of the nullability analysis. |
Methods
| Improve this Doc View SourceAnalyze(FlowGraph)
Declaration
public ValueNullability Analyze(FlowGraph graph)Parameters
| Type | Name | Description |
|---|---|---|
| FlowGraph | graph |
Returns
| Type | Description |
|---|---|
| ValueNullability |
AnalyzeWithUpdates(FlowGraph, ValueNullability, IReadOnlyList<FlowGraphUpdate>)
Declaration
public ValueNullability AnalyzeWithUpdates(FlowGraph graph, ValueNullability previousResult, IReadOnlyList<FlowGraphUpdate> updates)Parameters
| Type | Name | Description |
|---|---|---|
| FlowGraph | graph | |
| ValueNullability | previousResult | |
| System.Collections.Generic.IReadOnlyList<FlowGraphUpdate> | updates |
Returns
| Type | Description |
|---|---|
| ValueNullability |