模块 contract
require "contract"
公开 API
| API | 实现 | 说明 |
|---|---|---|
contract.require | l_require | 要求参数满足约束，否则报错（返回参数或真） |
contract.ensure | l_ensure | 检查约束是否成立，返回布尔（不报错） |
contract.invariant | l_invariant | 声明循环/块不变量约束 |
contract.assert | l_assert | 声明断言约束，失败时报错 |
contract.wrap | l_wrap | 包装函数：调用时自动检查约束 |
contract.enable | l_enable | 全局开启契约检查 |
contract.enabled | l_enabled | 查询契约检查是否开启 |