AdaControl yra nemokama (GMGPL) priemonė, kuri aptinka įvairių rūšių stato į Ada programų naudojimą. Pirmasis AdaControls tikslas yra kontroliuoti tinkamą naudojimą stiliaus ar programavimo taisykles, bet ji taip pat gali būti naudojamas kaip galingas įrankis ieškoti naudoti gaminius (arba nenaudojimo) įvairių formų programavimo stilių ar dizaino modelius. Ieškota elementai svyruoja nuo labai paprastas, kaip ir certaine subjektų, deklaracijų arba ataskaitų atsiradimo, labai sudėtingas, kaip patikrinti, kad tam tikri programavimo modeliai yra pakluso ..
Kuris elementai arba konstruktai ieškoma apibrėžia taisyklių rinkinį; Šioje lentelėje pateikiama trumpa santrauka taisyklių metu patikrint AdaControl. Skliausteliuose po taisyklė vardo skaičių suteikia subrules numeris, jei toks yra. Atsižvelgiant į visas įmanomas taisykles ir subrules, tai daro 216 bandymus, kuriuos galima atlikti šiuo metu pagal AdaControl!
Komentarai nerastas