blob: 200383cb51d67330021d840b9bbd292b5e1cfa4e [file] [log] [blame]
### Error messages for the Lower Bound Checker
array.access.unsafe.low=Potentially unsafe array access: the index could be negative.%nfound : %s%nrequired: an integer >= 0 (@NonNegative or @Positive)
array.length.negative=Variable used in array creation could be negative.%nfound : %s%nrequired: an integer >= 0 (@NonNegative or @Positive)
from.not.nonnegative=While attempting to validate a subsequence type, the Lower Bound Checker could not prove that %s is non-negative.%nfound : %s%nrequired: an integer >= 0 (@NonNegative or @Positive)