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

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

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

項(xiàng)目地址：http://code.google.com/p/cofoja/

本文是使用 B3log Solo 從 簡(jiǎn)約設(shè)計(jì)の藝術(shù) 進(jìn)行同步發(fā)布的原文地址：http://88250.b3log.org/cofoja.html

轉(zhuǎn)載于:https://www.cnblogs.com/lanzhi/archive/2011/02/06/6468206.html

總結(jié)

以上是生活随笔為你收集整理的Contracts for Java的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。