| 注册
请输入搜索内容

热门搜索

Java Linux MySQL PHP JavaScript Hibernate jQuery Nginx
openkk
9年前发布

Google开源 Java 工具 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://www.open-open.com/lib/view/home/1334061046311

 本文由用户 openkk 自行上传分享,仅供网友学习交流。所有权归原作者,若您的权利被侵害,请联系管理员。
 转载本站原创文章,请注明出处,并保留原始链接、图片水印。
 本站是一个以用户分享为主的开源技术平台,欢迎各类分享!
 本文地址:https://www.open-open.com/lib/view/open1334061046311.html
Java Java开发