menu
anteater package
documentation
reasoner/abstract/bounds_checker.dart
BoundsCheckResult
isDefinitelyUnsafe property
isDefinitelyUnsafe property
dark_mode
light_mode
isDefinitelyUnsafe
property
bool
isDefinitelyUnsafe
final
Whether the access is provably unsafe.
Implementation
final bool isDefinitelyUnsafe;
anteater package
documentation
reasoner/abstract/bounds_checker
BoundsCheckResult
isDefinitelyUnsafe property
BoundsCheckResult class