Google開源 Java 工具 Contracts for Java

openkk 12年前發布 | 23K 次閱讀 Java 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.baiduhome.net/lib/view/home/1334061046311

 本文由用戶 openkk 自行上傳分享，僅供網友學習交流。所有權歸原作者，若您的權利被侵害，請聯系管理員。
 轉載本站原創文章，請注明出處，并保留原始鏈接、圖片水印。
 本站是一個以用戶分享為主的開源技術平臺，歡迎各類分享！