menu
anteater package
documentation
reasoner/abstract/null_verifier.dart
NullDereference
variable property
variable property
dark_mode
light_mode
variable
property
String
variable
final
The variable being dereferenced.
Implementation
final String variable;
anteater package
documentation
reasoner/abstract/null_verifier
NullDereference
variable property
NullDereference class