NullVerifier class

Null safety verifier using nullability analysis.

Analyzes CFG to find potential null dereferences and verifies that variables are non-null at dereference points.

Constructors

NullVerifier()

Properties

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

registerNonNull(String variable) → void

Registers a variable as non-null.

registerNullable(String variable) → void

Registers a variable as nullable.

toString() → String

A string representation of this object.

inherited

verifyCfg(ControlFlowGraph cfg) → List<NullCheckResult>

Verifies null safety for all dereferences in a CFG.

Operators

operator ==(Object other) → bool

The equality operator.

inherited