@Documented
@Target({FIELD,LOCAL_VARIABLE,METHOD,PARAMETER})
public @interface NonNegative
Indicates that the annotated item will be non-negative (i.e., greater than or equal to zero).