开发者 dbc-utilities.sf.net

该项目将提供一组非常小的实用程序类，用于检查类不变量的预置和后置条件