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

Desing by Contract Utilities 無料

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