文件名称:
icontract：Python3中的按合同设计，提供信息丰富的违规消息和继承-源码
开发工具:
文件大小: 128kb
下载次数: 0
上传时间: 2021-02-27
详细说明：图标集
icontract翔实的违规消息和继承为Python3提供了。
它还为繁荣更广泛的生态系统提供了基础：
，
一个狮身人面像插件，
用于自动测试和代笔测试文件的工具 ，可根据合同推断策略， 以及IDE集成，例如 ， 和 ，
与的持续集成，以及
与的持续集成。
相关项目
有几个合同库。 但是，在撰写本文时（2018年9月），他们都要求程序员学习新的语法（ ）或编写多余的条件描述（例如， ， ， ， ， 和 ）。
该库受到他们的强烈启发，但我们走了两步。
首先，我们关于合同违约的违规信息更具参考价值。 该消息包括合同条件的源代码以及违约时的变量值。 这提倡了“不要重复自己的原理”（ ），并使程序员避免了重复重复已经用代码编写的消息的繁琐任务。
其次，icontract允许合同的继承，并支持削弱前提条件以及加强后置条件和不变式。 值得注意的是，削弱和增强
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
