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); ... } 本文由用户 openkk 自行上传分享，仅供网友学习交流。所有权归原作者，若您的权利被侵害，请联系管理员。
转载本站原创文章，请注明出处，并保留原始链接、图片水印。
本站是一个以用户分享为主的开源技术平台，欢迎各类分享！