• Home
• org.checkerframework
• checker
• 2.3.2
• source code
• messages.properties

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.checkerframework.checker.index.upperbound.messages.properties Maven / Gradle / Ivy

### Error messages for the Upper Bound Checker
array.access.unsafe.high=Potentially unsafe array access: the index could be larger than the array's bound\nfound   : %s\nrequired: @IndexFor("%s") or @LTLengthOf("%s") -- an integer less than %s's length
array.access.unsafe.high.constant=Potentially unsafe array access: the constant index %s could be larger than the array's bound\nfound   : %s\nrequired: @MinLen("%s") -- an array guaranteed to have at least %s elements
array.access.unsafe.high.range=Potentially unsafe array access: the index could be larger than the array's bound\nindex type found: %s\narray type found: %s\nrequired        : index of type @IndexFor("%s") or @LTLengthOf("%s"), or array of type @MinLen("%s")