蘑菇游戏软件站:安全、绿色、放心的专业下载站! 首页|最近更新|专题集合|站内导航
Contracts for Java

Contracts for Java

  • 软件大小:451KB
  • 更新日期:2021-05-14 17:00:35
  • 软件语言:简体中文
  • 软件类别:电脑软件
  • 评分等级:
  • 插件情况:无插件请放心使用
  • 软件官网:www.17mogu.com
  • 适用平台:winAll
软件介绍 相关下载 人气软件
 【基本简介】

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

 
...
}