问题描述
根据此处的 jqwik 文档:https://jqwik.net/docs/current/user-guide.html#integer-constraints 它将整数约束注释声明为:
@Positive:大于 0 的数字。对于所有整数类型。
@Negative:小于 0 的数字。对于所有整数类型。
等
是否有任何方便的注释来自动生成诸如 @NegativeOrZero / @PositiveOrZero 之类的东西?
我目前使用以下代码:
@Provide
Arbitrary<Integer> negativeOrZero() {
return Arbitraries.integers().between(Integer.MIN_VALUE,0);
}
如果默认情况下可用,速记注释肯定会派上用场。
解决方法
你是对的,jqwik 默认没有这些注释。 不过,您有几个选择:
-
使用
@IntRange(min = 0)
-
创建或多或少的微不足道的自定义注释:
@Target({ElementType.PARAMETER,ElementType.TYPE_USE}) @Retention(RetentionPolicy.RUNTIME) @IntRange(min = 0) @interface PositiveOrZero {}
-
如果您认为这是一个值得的开箱即用功能,请在 https://github.com/jlink/jqwik/issues 上打开功能请求。