props 0.0.3

for_all

for_all获取生成器列表（见下文）和属性。它 然后测试生成器的任意值的属性。

下面是一个测试 ints:

for_all(int,int)(lambdaa,b:a+b==b+a)for_all(int,int)(lambdaa,b:a*b==b*a)for_all(int,int,int)(lambdaa,b,c:c*(a+b)==a*c+b*c)

属性

属性是获取生成器实例并返回 True如果满足条件：

defprop_associative(a,b,c):returna+(b+c)==(a+b)+cfor_all(int,int,int)(prop_associative)for_all(float,float,float)(prop_associative)# Warning: float isn't actually associative!

属性也可以通过提高AssertionError：

defprop_list_append_pop(list,element):ifelementnotinlist:list.append(element)assertelementinlistlist.pop()returnelementnotinlistreturnelementinlistfor_all(list,int)(prop_list_append_pop)

发电机

注意：这些与python生成器不同。我们应该重新命名 他们。发电机？布莱奇。

生成器是一组可能的python对象的规范。一个 生成器为：

• 以下内置类型之一：
  • None，bool，int，float，long，complex， str，tuple，set，list，或dict
• 实现ArbitraryInterface
的类
• 或者使用生成器组合器构造。

arbitrary

arbitrary获取生成器并返回 发电机。

任意接口

我们提供了一种混合方法，其中一种方法是{TT30}$，它提出 NotImplementedError。为您自己的类实现生成器， 请从任意接口继承并提供 arbitrary。

下面是一个二叉树类的示例实现：

classBinaryTree(ArbitraryInterface):...@classmethoddefarbitrary(cls):returnarbitrary(one_of(Leaf,Node))classLeaf(BinaryTree):...@classmethoddefarbitrary(cls):returncls(...)# an instance of Leaf.classNode(BinaryTree):...@classmethoddefarbitrary(cls):returncls(...# This is equivalent:arbitrary(BinaryTree),# to this:BinaryTree.arbitrary())# an instance of Node with two subtrees.