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 = 0",    "h 
項目地址：http://code.google.com/p/cofoja/


本文是使用 B3log Solo 從 簡約設計の藝術 進行同步發布的原文地址：http://88250.b3log.org/cofoja.html