AdaControl Ada proqramlarında inşa müxtəlif növ istifadə algılar pulsuz (GMGPL) vasitədir. AdaControls ilk qolu stil və ya proqramlaşdırma qaydalarının düzgün istifadə nəzarət etmək, həm də proqramlaşdırma üslub və ya dizayn nümunələri müxtəlif formalarda istifadə (və ya qeyri-istifadə) axtarmaq üçün güclü vasitə kimi istifadə edilə bilər. Elementləri certaine şəxslər, bəyanatlar, və ya hesabatlarının baş kimi, çox sadə üçündür axtarış üçün müəyyən proqramlaşdırma nümunələri itaət olunur ki, təsdiq kimi, çox mürəkkəb ..
Hansı elementləri və ya konstruksiyaların qaydaları bir sıra tərəfindən müəyyən edilir aranır; Aşağıdakı cədvəldə hazırda AdaControl tərəfindən yoxlanılır qaydaları qısa xülasə verir. qayda adına mötərizədə sayı subrules sayı, əgər verir. Bütün mümkün qaydaları və subrules nəzərə alaraq, bu AdaControl hazırda həyata keçirilə bilər 216 test edir!
Şərhlər tapılmadı