Atur cara mengikut thechecker.sf.net
-
The Checker Framework Percuma
Rangka kerja Pemeriksa adalah satu set pemeriksaan/transformasi yang mudah dipanaskan untuk membina hierarki operasi rantaian dengan mudah ke kedai/ yang akan dicipta dan digunakan semula (pada masa jalanan jika anda mahu).