Christian Johner氏らは17日(現地時間)、JavaプログラムのプリコンパイラであるOCL4Javaバージョン0.6を公開した。OCL4JavaはOCL(Object Constraint Language: オブジェクト制約言語)などによるオブジェクト制約をJavaプログラムに適用するためのプリコンパイラで、これを利用することでJavaのクラスに対して不変条件や事前条件/事後条件などを指定できるようになる。

OCLというのは、UMLモデルにおけるモデル要素に対して制約事項を表現するための形式言語である。もともとUMLではインスタンスレベルの情報を正確に記述することができない。たとえば「クラスAの属性aは常に正の値でなければならない」というような制限はクラス図で正確に表現することが不可能である。このような場合、OCLでそれらの制約事項の情報を記述し、モデル化を補うことができる。

Javaのクラス定義には前述のようなインスタンスへの制約事項を含めることはできない。OCL4Javaでは、アノテーションを利用してクラスに対して不変条件や事前条件、事後条件を指定できるようにする。不変条件とはクラスのインスタンスで常に成り立っているべき条件のことであり、事前条件/事後条件とはそれぞれある処理の前後で成り立っているべき条件である。OCL4Javaはこれらの制約条件をAntやEclipseによって自動挿入する機能も備えている。

これらの制約条件はOCL4Javaによるプリコンパイル時に検証され、もし満たされていない場合にはAssertionErrorや例外の発生、ログメッセージの出力などによって通知される。またユーザ定義のハンドラを呼び出すことで任意の処理を実行することもできる。

通常のJavaプログラムの場合、このようなクラスの制約事項は仕様としてドキュメントに記述するか、コード中に不完全な形で埋め込む以外に適用する方法がなかった。OCL4Javaを利用することで、プログラム本体の処理に手を加えることなく制約事項を適用することが可能になる。OCL4JavaはGPLのもとオープンソースで公開されている。