Python契约测试库

ycontract的Python项目详细描述


Y合同

PyPIPyPI - Python Versionpipeline statuscoverage reportPyPI - License

用于合同测试的Python库。在

这个库提供了用于检查函数的参数(in_contract)和返回值(out_contract)的函数。在

如何安装

$ pip install ycontract

示例

示例文件是here(测试文件)

主要的例子是

^{pr2}$

更复杂的例子是

@contract(lambdaa0:a0>0,lambdaa1,b:a1>0andb>0,{"a2":lambdax:x>0,"a3":[lambdax:x>=0,lambdax:x<4,],("a4","a5"):lambdax,y:x>0andy>0,},b=lambdax:x>0,contract_tag="tagtag",)defadd_for_complex(a0,a1,a2,a3,a4,a5,b=1):returna0+a1+a2+a3+a4+a5+b

此外,如果你想被禁用,打电话

ycontract.disable_contract()

许可证

Apache 2.0

欢迎加入QQ群-->: 979659372 Python中文网_新手群

推荐PyPI第三方库


热门话题
java为什么在ng构建之后使用404?   java Maven原型“quickstart”无法扩展其POM   java Arduino端口卡在满功率状态   java如何确保在参数化构造函数失败时不调用默认构造函数?   java检测Blackberry中的切换失败   java如何将安卓库(作为Angle)链接到Eclipse项目?   java压缩图片,但获取“未知压缩方法”   java无法对应该初始化的模拟实例进行测试   将现有eclipse项目导出到war文件时,java“模块名无效”   java如何防止AppletClassLoader在查找类/其他资源时击中服务器?   java正则表达式根据分隔组的分隔符的数量获取n个组   java在JLayeredPane后面与JPanel交互   Java中的xml Soap请求   webView中的java utf8代码页