menu
anteater package
documentation
reasoner/abstract/null_verifier.dart
NullCheckResult
isSafe property
isSafe property
dark_mode
light_mode
isSafe
property
bool
isSafe
final
Whether the dereference is provably safe (non-null).
Implementation
final bool isSafe;
anteater package
documentation
reasoner/abstract/null_verifier
NullCheckResult
isSafe property
NullCheckResult class