AdaControl er et gratis værktøj (GMGPL), der detekterer brugen af forskellige typer af konstruktioner i Ada-programmer. AdaControls første mål er at kontrollere korrekt brug af stil eller programmering regler, men det kan også bruges som et effektivt værktøj til at søge efter brug (eller manglende brug) af forskellige former for programmering stilarter eller design mønstre. Søgte elementer spænder fra meget enkel, ligesom forekomsten af certaine enheder, erklæringer eller udtalelser, at meget sofistikeret, ligesom at kontrollere, at visse programmering mønstre bliver adlydt ..
Hvilke elementer eller konstruktioner søges er defineret ved et sæt af regler; følgende tabel giver et kort resumé af regler i øjeblikket kontrolleres af AdaControl. Tallet i parentes efter den regel navnet angiver antallet af subrules, hvis nogen. I betragtning af alle mulige regler og subrules, dette gør 216 tests, der kan udføres i øjeblikket ved AdaControl!
Kommentarer ikke fundet