Contracts for Java

Google宣布 了一個(gè)新的開源 Java 工具 Contracts for Java，基于 Johannes Rieken 制作的 Modern Jass，靈感來自 Eiffel 編程語言，由兩名 Google 工程師 David Morgan 和 Andreas Leitner 利用自己的20%時(shí)間制作。

Contracts for Java 可讓你對代碼進(jìn)行注釋來約束代碼的先決條件、后置條件和不變量，示例代碼：

interface Time {
  ...

  @Ensures({
    "result >= 0",
    "result <= 23"
  })
  int getHour();

  @Requires({
    "h >= 0",
    "h <= 23"
  })
  @Ensures("getHour() == h")
  void setHour(int h);

  ...
}