无法识别值时的scalacheck

Question

我有一个关于scalacheck的whenever子句的基本问题。由于某些原因，我的编译器无法识别compiler，也无法识别(conditional subset) ==>部分。

(我在Coursera上跟随了Odersky的第二个scala课程，并且我已经编写了一个scalacheck属性，如下所示：

property("deleteMin ...") = forAll{
h:H => whenever (isEmpty(h)) {...

编译器不能识别任何时间。是否有需要额外导入的内容

import org.scalacheck._
import Arbitrary._
import Gen._
import Prop._

Answer 1

我不是scalacheck方面的专家，但我已经完成了Coursera作业。

找不到在API documentation.中提到的whenever.

• I can

1. whenever

Answer 2

Scalacheck没有“Scalacheck”函数，但您可以使用==>方法。(您将需要导入org.scalacheck.Prop.BooleanOperators)

如果你想使用基于scalatest属性的测试而不是scalacheck，你可以混入特征PropertyChecks (导入org.scalatest.prop.PropertyChecks)，你可以使用“任何时候”功能。