表示谓词的函数
cs.predicate的Python项目详细描述
陈旧的代码谓词支持,目前只支持上下文管理器post_condition
。
感兴趣的人还应该看到icontract
模块。
函数post_condition(*predicates)
上下文管理器来测试post条件。
谓词可以是(description,callable)
的元组。
或者是一个普通的电话。
对于后者,描述取自callable.__doc__
或者str(callable)
。
如果任何谓词为false,则引发AssertionError
。