Могу ли я поставить диапазон для моего целочисленного параметра

Question

Могу ли я поставить диапазон для целочисленного параметра, чтобы обеспечить целочисленное значение между заданным диапазоном

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

, который буквально проверяет, находится ли параметр i между заданным диапазоном?

Answer 1

Если вы хотите проверять время компиляции, вы можете использовать Index Checker Framework Checker Framework или Постоянное значение Checker и написать @IntRange аннотацию:

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