Contracts for Java下载 -开源Java工具

软件下载 5月 14, 2023 0 king

聽【基本简介】

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

聽 ...
}