Searched refs:Nonnegative (Results 1 – 4 of 4) sorted by relevance
15 public @interface Nonnegative { annotation18 class Checker implements TypeQualifierValidator<Nonnegative> {20 public When forConstantValue(Nonnegative annotation, Object v) { in forConstantValue()
14 @Nonnegative(when = When.UNKNOWN)
20 @Nonnegative(when = When.MAYBE)
24 TEST(OverflowTest, Nonnegative) { in TEST() argument