Module nbbrd.design

Package nbbrd.design

Annotation Type NonNegative

@Documented
@Retention(SOURCE)
@Target({TYPE_USE,TYPE_PARAMETER})
public @interface NonNegative

Specifies that an integer is greater than or equals to zero. This annotation is created to help migration from checkerframework to JSpecify.