Dit is de opdracht adactl die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
adactl - Ada regels controller
KORTE INHOUD
aanhankelijk [opties] eenheid[+|-eenheid]|[@]filet ... [-- ASIS_opties]
aanhankelijk -H [regeren id... | alle | commando's | licentie | lijst | opties | regels | versie]
PRODUCTBESCHRIJVING
AdaControl is een Ada-regelcontroller. Het wordt gebruikt om te controleren of Ada-software voldoet aan de
eisen van een aantal parametreerbare regels. Het is niet bedoeld als aanvulling op cheques
gemaakt door de compiler, maar om te zoeken naar bepaalde schendingen van goede praktijken
regels, of om te controleren of sommige regels projectbreed worden nageleefd.
Commerciële ondersteuning is beschikbaar voor AdaControl, zie bestand
/usr/share/doc/adacontrol/support.txt. Als u van plan bent om AdaControl te gebruiken voor industriële
projecten, of als u wilt dat het wordt aangepast of uitgebreid om aan uw eigen behoeften te voldoen, alstublieft
neem contact op met Adalog via: [e-mail beveiligd].
. MODES
-C Controleer alleen de syntaxis van de regels. Accepteert -d, -f, -l, -v, -x.
-D Afhankelijkheden genereren. Accepteert -o, -p, -r, -s, -w, -x.
-h Drukt een algemeen helpbericht af.
-h regeren
Beschrijven regeren.
-h allen Beschrijf alle regels.
-h commando's|licentie|opties|versie
Beschrijf alle commando's, de licentie (GPL), de opties of het versienummer.
-h lijst
Maak een lijst van de regels in een formaat dat geschikt is voor gebruik in de GNAT Programming Studio.
-h reglement
Maak een lijst van de regels in een normaal formaat.
-I Interactieve modus. Accepteert alle opties.
OPTIES
-d Schakel de foutopsporingsmodus in.
-e Behandel waarschuwingen (Zoeken) als fouten (Check)
-E Print alleen fouten (controleren).
-f filet
Te gebruiken filet voor de specificatie van regels
-F GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | GEEN
Kies uitvoerformaat.
-i Negeer lokale deactiveringen.
-l regeren...
Proces met de opgegeven regels; zie onder.
-o filet
Stuur uitvoer naar de opgegeven filet.
-p filet
Specificeer een emacs ada-mode projectbestand (.adp)
-r Recursieve
-s Verwerk alleen specificaties van Ada-eenheden
-S niveau
Statistieken maken; niveau is een geheel getal in het bereik 0 .. 4.
-t trace_bestand
Stuur een trace naar het opgegeven bestand.
-T Rapporteer uitvoeringstijd van regels.
-u Behandel alle parameters als Ada-eenheden
-v Uitgebreide modus inschakelen.
-w Overschrijf uitvoerbestand (werkt met -o)
-x Afsluiten bij interne fout
REGLEMENT
De volgende regels zijn beschikbaar voor de -l optie:
Abnormale_Functie_Retourtoewijzers
Array_Declarations Barrière_Expressies
Case_Statement-tekens
Declaraties Default_Parameter
Direct_Accessed_Globals Duplicate_Initialization_Calls
Entiteiten Entity_Inside_Exception
Exception_Propagation-expressies
Global_References Header_Comments
Onjuiste_Initialisatie Instantiaties
Onvoldoende_Parameters Local_Hiding
Max_Blank_Lines Max_Call_Depth
Max_Line_Length Max_Nesten
Max_Size Max_Statement_Nesten
Movable_Accept_Statements Meerdere_Assignments
Naamgeving_Conventie Niet_Statisch
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage Object_Declarations
Andere_afhankelijkheden Parameter_Aliasing
Parameter_Declaraties Potentieel_Blocking_Operations
Pragma's Reduceable_Scope
Representation_Clauses Return_Type
Side_Effect_Parameters Silent_Exceptions
Vereenvoudigbare_Expressies Vereenvoudigbare_Statements
Speciale_Opmerkingen Verklaringen
Stijl Beëindigende_Taken
Type_Initial_Values Niet te controleren
Eenheden Onnodige_Gebruik_Clause
Unsafe_Paired_Calls Onveilige_Unchecked_Conversion
Gebruik Use_Clauses
Met_Clauses
Gebruik adactl online met onworks.net-services
