@Range annotation in a separate annotations.xml file.
@Range annotations can be added to method parameters, fields, or method return values
and are used by static analysis tools (e.g. inspections) to validate the code.
A range can be specified for a value of a long, int, short, char, or byte
type. A range is defined by specifying the lower bound from (inclusive) and the upper bound to (inclusive).
This intention is available for library code. To enable it for project code use the Use external annotations option under Settings | Editor | Code Style | Java | Code Generation.