Contracts for Java

Google 宣布了一个新的开源 Java 工具 Contracts for Java，基于 Johannes Rieken 制作的 Modern Jass，灵感来自 Eiffel 编程语言，由两名 Google 工程师 David Morgan 和 Andreas Leitner 利用自己的 20% 时间制作。

Contracts for Java 可让你对代码进行注释来约束代码的先决条件、后置条件和不变量，示例代码：

interface Time {...@Ensures({"result >= 0","result <= 23"})int getHour();@Requires({"h >= 0","h <= 23"})@Ensures("getHour() == h")void setHour(int h);...
}

项目地址：http://code.google.com/p/cofoja/

本文是使用 B3log Solo 从简约设计の艺术进行同步发布的

原文地址：http://88250.b3log.org/cofoja.html

转载于:https://www.cnblogs.com/lanzhi/archive/2011/02/06/6468206.html

Contracts for Java相关推荐

FISCO BCOS 控制台 console solidity合约编译工具生成abi bin java文件
下载控制台 https://fisco-bcos-documentation.readthedocs.io/zh_CN/latest/docs/console/console_of_java_sdk. ...
猫头鹰的深夜翻译：在JVM上根据合约编程
前言这周我准备介绍一个有趣的但是很少使用的方法按照合约编程,又称为合约编程,是一种软件设计的方法.它规定了软件设计师应该为软件组件定义正式,精确和可验证的接口规范,将常规的抽象数据类型扩展为前置条 ...
安卓基础之读取联系人的姓名和电话
一.摘要:利用内容解释器调用联系人应用的内容提供者暴露的方法,读取联系人信息.(本节只总结实现步骤,解释请看http://www.xuanyusong.com/archives/169) 二.主要逻辑 ...
Fisco技术文档总结2---开发第一个区块链应用
开发第一个区块链应用本文介绍合约编译以及如何部署到区块链,通过Java SDK实现对区块链上合约的调用访问. 本教程要求用户熟悉Linux操作环境,具备Java开发的基本技能,能够使用Gradle工 ...
c# typescript_在任何IDE中从C＃，Java或Python代码获取TypeScript接口的简单方法
c# typescript by Leonardo Carreiro 莱昂纳多·卡雷罗(Leonardo Carreiro) 在任何IDE中从C#,Java或Python代码获取TypeScript接 ...
我应该避免在Java Swing中使用set（Preferred | Maximum | Minimum）Size方法吗？
本文翻译自:Should I avoid the use of set(Preferred|Maximum|Minimum)Size methods in Java Swing? Several ti ...
在Java中有类似.NET的NotImplementedException吗？
本文翻译自:Is there anything like .NET's NotImplementedException in Java? 在Java中有类似.NET的NotImplementedExc ...
基于Java语言构建区块链（六）—— 交易（Merkle Tree）
基于Java语言构建区块链(六)-- 交易(Merkle Tree) 2018年04月16日 10:21:35 wangwei_hz 阅读数:480更多个人分类: 区块链比特币bitcoin 最终内 ...
Tricks with Direct Memory Access in Java
2019独角兽企业重金招聘Python工程师标准>>> Java was initially designed as a safe, managed environment. Nev ...

Contracts for Java

Contracts for Java相关推荐

最新文章

热门文章