Jest to polecenie adactl, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu Mac OS
PROGRAM:
IMIĘ
adactl - kontroler reguł Ady
STRESZCZENIE
dostosować [Opcje] jednostka[+|-jednostka]|[@]filet ... [-- Opcje_ASIS]
dostosować -H [rządzić id... | wszystkie | polecenia | licencja | lista | opcje | zasady | wersja]
OPIS
AdaControl to kontroler reguł Ady. Służy do kontrolowania, czy oprogramowanie Ada spełnia
wymagania szeregu konfigurowalnych reguł. Nie ma na celu uzupełnienia czeków
wykonane przez kompilator, ale raczej w celu poszukiwania konkretnych naruszeń dobrych praktyk
zasady lub sprawdzić, czy niektóre zasady są przestrzegane w całym projekcie.
Wsparcie komercyjne jest dostępne dla AdaControl, zobacz plik
/usr/share/doc/adacontrol/support.txt. Jeśli planujesz używać AdaControl do zastosowań przemysłowych
projekty, lub jeśli chcesz je dostosować lub rozszerzyć do własnych potrzeb, proszę
skontaktuj się z Adamem pod adresem info@adalog.fr.
SPECIAL TRYBY
-C Sprawdź tylko składnię reguł. Akceptuje -d, -f, -l, -v, -x.
-D Generuj zależności. Akceptuje -o, -p, -r, -s, -w, -x.
-h Drukuje ogólny komunikat pomocy.
-h rządzić
Opisać rządzić.
-h cała kolekcja Opisz wszystkie zasady.
-h polecenia|licencja|opcje|wersja
Opisz wszystkie polecenia, licencję (GPL), opcje lub numer wersji.
-h podstęp
Wymień reguły w formacie odpowiednim do użycia w Studiu Programowania GNAT.
-h reguły
Wymień reguły w normalnym formacie.
-I Tryb interaktywny. Akceptuje wszystkie opcje.
OPCJE
-d Włącz tryb debugowania.
-e Traktuj ostrzeżenia (wyszukaj) jako błędy (sprawdź)
-E Drukuj tylko błędy (Sprawdź).
-f filet
Zastosowanie filet o określenie zasad
-F GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | ŻADEN
Wybierz format wyjściowy.
-i Ignoruj lokalne dezaktywacje.
-l rządzić...
Przetwarzaj z określonymi zasadami; patrz poniżej.
-o filet
Wyślij dane wyjściowe do określonego filet.
-p filet
Określ plik projektu emacs ada-mode (.adp)
-r Rekurencyjne
-s Przetwarzaj tylko specyfikacje jednostki Ada
-S poziom
Twórz statystyki; poziom jest liczbą całkowitą z zakresu 0 .. 4.
-t plik_śledzenia
Wyślij ślad do określonego pliku.
-T Raportuj czas realizacji reguł.
-u Traktuj wszystkie parametry jako jednostki Ady
-v Włącz tryb pełny.
-w Nadpisz plik wyjściowy (działa z -o)
-x Wyjdź, gdy błąd wewnętrzny
ZASADY
Poniższe zasady są dostępne dla -l opcja:
Abnormal_Function_Return alokatory
Array_Declarations Barrier_Expressions
Znaki Case_Statement
Deklaracje Default_Parameter
Directly_Accessed_Globals Duplicate_Initialization_Calls
Jednostki Entity_Inside_Exception
Wyrażenia wyjątku_propagacji
Globalne_Referencje Nagłówek_Komentarze
Nieprawidłowe instancje inicjalizacji
Niewystarczające_parametry Local_Hiding
Maks_puste_linii Maks_głębokość_połączenia
Max_Line_Length Max_Zagnieżdżanie
Max_Size Max_Statement_Nesting
Movable_Accept_Statements Wiele_przypisań
Konwencja nazewnictwa niestatyczna
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage Obiekt_Deklaracje
Inne_zależności aliasowanie_parametru
Deklaracje_parametrów Potencjalnie_Blokujące_Operacje
Pragmy Redukcyjny_Zakres
Reprezentacja_klauzule Return_Type
Side_Effect_Parameters Silent_Exceptions
Uproszczone_Wyrażenia Uproszczone_Wyrażenia
Oświadczenia dotyczące komentarzy specjalnych
Styl zakończenia_Zadania
Nie można sprawdzić Type_Initial_Values
Jednostki Unnecessary_Use_Clause
Unsafe_Paired_Calls Unsafe_Unchecked_Conversion
Wykorzystanie Use_klauzule
Z_klauzulami
Korzystaj z adactl online za pomocą usług onworks.net