Contracts for Java

码农软件 · 软件分类 · 其他开发相关 · 2019-10-26 21:26:42

软件介绍

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);

 
...
}

本文地址:https://codercto.com/soft/d/17634.html

UML精粹:标准对象建模语言简明指南(第3版)(英文影印版)

UML精粹:标准对象建模语言简明指南(第3版)(英文影印版)

福勒 / 清华大学出版社 / 2006年3月1日 / 26.00元

《UML精粹:标准对象建模语言简明指南》(影印版)(第3版)可作为高等学校计算机、电子、通信等专业高年级学生及研究生课程之教学用书,同时对软件研究者与开发人员亦颇具参考价值。一起来看看 《UML精粹:标准对象建模语言简明指南(第3版)(英文影印版)》 这本书的介绍吧!

正则表达式在线测试
正则表达式在线测试

正则表达式在线测试

HEX CMYK 转换工具
HEX CMYK 转换工具

HEX CMYK 互转工具