プログラム chex4j.sf.net

Chex4j を使用すると、ランタイムまたはビルド時クラスファイルインストルメンテーションを使用して、メソッド呼び出しの@preと@post条件を文書化および適用できます。条件は通常のコードと同じ速さで実行されます。