プログラム dbc-utilities.sf.net

プロジェクトは、クラスの不変条件の前と後の条件をチェックするために使用できるユーティリティクラスの非常に小さなセットを提供します