BoundsCheckResult class
Result of bounds checking for a single array access.
Constructors
- BoundsCheckResult({required ArrayAccess access, required bool isSafe, required bool isDefinitelyUnsafe, IntervalDomain? indexInterval, int? arrayLength, required String reason})
Properties
- access → ArrayAccess
-
The array access being checked.
final
- arrayLength → int?
-
The known array length (if available).
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- indexInterval → IntervalDomain?
-
The computed index interval.
final
- isDefinitelyUnsafe → bool
-
Whether the access is provably unsafe.
final
- isSafe → bool
-
Whether the access is provably safe.
final
- isUnknown → bool
-
Access is unknown (neither provably safe nor unsafe).
no setter
- reason → String
-
Human-readable reason for the result.
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
override
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited