PyContractor 0.1.1

简介

合同设计是一种软件设计方法。它规定 软件设计者应该定义形式化的、精确的和可验证的 软件组件的接口规范，它扩展了 带有前置条件的抽象数据类型的普通定义， 后置条件和不变量。这些规范称为 “契约”，根据概念隐喻 商业合同的条件和义务。

用法

使用此库时，只需创建一个类并定义 方法或 分离功能。

例如

from PyContractor import PyContractor

def division(self, a, b):
    PyContractor.require(b != 0, "Divisor must be non-zero")

division(2/0)

这个小小的库让你开始了解这个方法论 主要是为了教育目的。