scalacheck每当价值得不到承认

Question

我有一个关于scalacheck随时可用条款的基本问题。出于某种原因，我的编译器无论何时何时都无法识别，CREATE TABLE test (`part_id` int, `est_time` int, `batch_id` int, `run_id` int, `line` varchar(1)) ; INSERT INTO test (`part_id`, `est_time`, `batch_id`, `run_id`, `line`) VALUES (1, 20, 1, 1, 'T'), (1, 25, 1, 2, 'T'), (2, 30, 1, 3, 'T'), (3, 15, 1, 4, 'T'), (1, 10, 2, 5, 'X'), (4, 40, 2, 8, 'X'), (2, 15, 3, 9, 'T'), (3, 15, 3, 10, 'T'), (3, 20, 3, 11, 'T'), (1, 34, 4, 12, 'X'), (1, 32, 4, 13, 'X'), (1, 33, 4, 14, 'X'), (4, 55, 5, 15, 'T') ; 部分也无法识别。

（我跟随Odersky在Coursera上的第二个scala课程，并且我已经写了一个scalacheck属性：

(conditional subset) ==>

编译器无论何时都无法识别。是否需要另外导入

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

Answer 1

我不是scalacheck的专家，但我已经完成了Coursera任务。

1. 可以在没有whenever的情况下完成。
2. 我无法找到API documentation中提到的whenever。

Answer 2

Scalacheck没有“随时”功能，但您可以使用==＆gt;方法而不是。 （您需要导入org.scalacheck.P​​rop.BooleanOperators）

如果您想使用基于scalatest属性的测试而不是scalacheck 你可以混合Trait PropertyChecks（导入org.scalatest.prop.PropertyChecks），你可以使用“随时”功能。