python契约的简单实现。
dpcontracts的Python项目详细描述
简介
这个模块提供了一个decorators的集合,使得 使用合同编写软件。
契约是一种调试和验证工具。它们是陈述性的 关于程序必须处于何种状态才能被考虑的声明 运行时"正确"。它们类似于断言,并且经过验证 在程序中的各个定义良好的点上自动执行。合同可以 在函数和类上指定。
合同作为文件的一种形式和形式 指定程序行为。良好实践通常包括 首先是合同,这些合同明确规定了 在每个函数或方法调用前后以及 对于给定的对象类,应该始终为true。
合同由两部分组成:描述和条件。这个 描述只是一个人类可读的字符串,它描述 契约是测试的,而条件是测试的单个函数 这种情况。条件是自动执行的,并传递给 参数(根据合同类型而变化),必须返回 布尔值:如果满足条件,则为true,否则为false。