AdaControl ay isang libreng (GMGPL) na kasangkapan na Nakikilala ang paggamit ng iba't ibang uri ng constructs sa Ada programs. AdaControls unang layunin ay upang makontrol ang tamang paggamit ng estilo o programming patakaran, ngunit ito rin ay maaaring magamit bilang isang malakas na tool sa paghahanap para sa paggamit (o di-paggamit) ng iba't-ibang anyo ng mga estilo ng programming o pattern na disenyo. Naghanap sa hanay ng mga elemento mula napaka-simple, tulad ng paglitaw ng certaine entidad, pahayag, o pahayag, sa tunay na musmos, tulad ng pagpapatunay na ang ilang mga pattern programming ay sinunod ..
Aling elemento o constructs hinanap ay tinukoy sa pamamagitan ng isang hanay ng mga patakaran; ay nagbibigay ng sumusunod na talahanayan ay isang maikling buod ng mga patakaran na kasalukuyang naka-check sa pamamagitan ng AdaControl. Ang numero sa panaklong pagkatapos ng pangalan rule nagbibigay ng bilang ng subrules, kung mayroon. Isinasaalang-alang ang lahat ng posibleng mga patakaran at subrules, ito ay gumagawa 216 na mga pagsubok na maaaring isagawa sa kasalukuyan sa pamamagitan AdaControl!
Mga Komento hindi natagpuan