Atur cara mengikut dbc-utilities.sf.net

Projek ini akan menyediakan satu set kelas utiliti yang sangat kecil yang boleh digunakan untuk memeriksa invariant kelas pra dan postkodisi