这是名为 Contract++ 的 Linux 应用程序,其最新版本可以下载为 contractpp_0_4_1.zip。 它可以在工作站的免费托管服务提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行这个名为 Contract++ 的应用程序。
请按照以下说明运行此应用程序:
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统,使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序,安装并运行。
SCREENSHOTS
Ad
合约++
商品描述
**** 这个库被转移到 Boost 中 ****新地点: https://github.com/boostorg/contract
C++ 合同编程(又名合同设计或 DbC)。
支持所有 Eiffel 功能:分包、后置条件旧值和结果值、可选合同编译、断言失败时的可定制操作、块不变量、循环变量等。
加上虚拟说明符、概念检查、命名参数。
请参见: http://contractpp.sourceforge.net
特征
- 支持前置条件、后置条件、类不变量、块不变量和循环变量。
- 分包派生类(支持纯虚函数和多重继承)。
- 在后置条件中访问表达式旧值和函数返回值。
- 可选编译和检查前置条件、后置条件、类不变量、块不变量和循环变量。
- 合同断言失败时的可定制操作(默认终止,但它可以抛出、退出等)。
- 虚拟说明符。
- 概念检查。
- 命名参数。
目的
开发人员、质量工程师
程式语言
埃菲尔铁塔,C++
这是一个也可以从 https://sourceforge.net/projects/contractpp/ 获取的应用程序。 它已托管在 OnWorks 中,以便从我们的免费操作系统之一以最简单的方式在线运行。