checker-framework

Can i put a range for my integer paramater

Can i put a range for an integer parameter to ensure integer value to be between a given range

method(int @Range(0,9) i)

which literally checks if parameter i is between those given range?

Solution

  • If you want compile-time checking, you can use the Checker Framework's Index Checker or Constant Value Checker and write an @IntRange annotation:

    method(int @IntRange(0,9) i) { ... }