auto-contract

Python - design by static contracts. 面向静态合同编程.

创建简便、可扩展的静态合同, 能够静态描述诸多编译期所能确定的合同关系:

项目实现了static contract generator, 使用case class合同作为案例.

满足case class协议的类型, 其构造方法的参数以及参数类型和类型成员声明对等.

@contract(Case)
class T:
    a: int
    b: int

在IDE/mypy等checker, 中可以发现T的构造方法的signature是(self: T, a: int, b: int).

安装

python setup.py install

使用

contract gen -c <定义contracts的python文件路径> -i <需要实施合同的python文件>

例子:

进入项目根目录, 为了处理ShowCaseClassContract.py:

contract gen -c contracts.py -i ShowCaseClassContract.py