Googleは
Java用の
コントラクトプログラミングメソッドの実装を簡素化する
Contracts for Javaのオープンライブラリをリリースしました。 Contracts for Javaライブラリを使用すると、注釈内のブール式としてJavaに前提条件、事後条件、および不変条件を追加できます。
以下のように述べた
公式発表 、自分の空き時間に2人のGoogleのプログラマーによって開発されたライブラリー（個人的なプロジェクトのための20％）とに基づいて
近代ジャス 、との言語の影響を受けて作られ
アイフェル最初の契約プログラミング方法を実装しました、。
コントラクトプログラミングの方法では、設計者がシステムコンポーネントの正式で正確かつ検証可能なインターフェイス仕様を定義する必要があると想定しています。 抽象データ型の通常の定義に加えて、前提条件、事後条件、および不変条件も使用されます。 これらの仕様は、ビジネス契約の条件と責任の概念的なメタファーに従って「契約」と呼ばれます。
これらはすべて、コード内のエラーの場所をできるだけ正確に見つけるために必要です。 Googleは例を示します。標準コードで、エラーの場所がエラーの場所からかなり離れている場合、
...契約違反の場合、エラーの場所はすぐに特定されます。
コントラクトプログラミングの詳細については、
文献およびJava用コントラクトで使用される
方法論を参照してください。