menu
anteater package
documentation
reasoner/abstract/null_verifier.dart
NullDereference
blockId property
blockId property
dark_mode
light_mode
blockId
property
int
blockId
final
Block ID where the dereference occurs.
Implementation
final int blockId;
anteater package
documentation
reasoner/abstract/null_verifier
NullDereference
blockId property
NullDereference class