2

我正在编写一个单元测试框架（IoCheck）。将有一个forAll方法接受一个属性，例如isEven，它返回一个整数是否为偶数，以及一个生成器列表list(genInt)。

语法将如下所示：

isEven := block(i, i % 2 == 0)

forAll(isEven, list(genInt))

由于并非所有整数都是偶数，因此输出将如下所示：

***Failed!
57

forAll将调用生成器，将值存储在列表中，并将值应用于属性 100 次。如果该属性返回 false，则测试用例被视为失败，并且违规值将打印到屏幕上。

为了做到这一点，forAll必须接受一个未知数量的块并使用参数列表调用它。我不知道该怎么做。

注意：这与Io 语言 'apply arguments'不同，因为在这种情况下，代码知道元数但不知道函数。在这种情况下，代码都不知道。

4

1 回答 1

1

更新：Block callWithArgList已添加到 Io 主分支。

帕拉贡有答案。将此片段添加到您的代码中，您将能够向任何 Block 对象发送消息“callWithArgList”。

getSlot("Block") callWithArgList := method(argList,
    getSlot("self") doMessage(argList asMessage setName("call"))
)

它像 Lisp 的apply函数一样工作。

于 2011-10-12T18:09:53.253 回答