gnatcheck – Online in der Cloud

PROGRAMM:

NAME/FUNKTION

gnatcheck – Tool zur Überprüfung von GNAT-Regeln

ZUSAMMENFASSUNG

Mückencheck [zur Auswahl] ... Dateinamen [-Ladungen gcc_switches] [-Regeln Regelschalter]

Mückencheck [zur Auswahl]... -files=Dateinamen [-Ladungen gcc_switches] [-Regeln Regelschalter]

BESCHREIBUNG

Mückencheck prüft die Konformität des Ada-Quelltextes mit den Regeln und erstellt eine Berichtsdatei
zur späteren Analyse sowie auf der Standardausgabe.

In der ersten Form, Mückencheck untersucht die angegebenen Ada-Quelldateien (Platzhalter sind
dürfen).

In der zweiten Form, Mückencheck untersucht die in der angegebenen Datei aufgeführten Ada-Quelldateien.

Mückencheck ist eine ASIS-Anwendung, die auf der ASIS-Implementierung für GNAT basiert. Als
so liest es Baumdateien (*.adt), die vom Compiler erstellt wurden, um seine Ziele zu erreichen, und
ruft auf gnatgcc dafür.

OPTIONAL

-a Verarbeiten Sie RTL-Einheiten.

-Ladungen gcc_switches
Passieren gcc_switches an GCC bei der Erstellung der Baumdateien.

-d Debug-Modus.

-dd Fortschrittsanzeigemodus zur Verwendung im GNAT Programming Studio.

-h Drucken Sie die Liste der integrierten Regeln.

-l Vollständige Quellenstandortketten in der Berichtsdatei.

-q Stiller Modus: Erkennungen werden nicht auf der Standardausgabe gemeldet.

-Regeln Regelschalter
Regelschalter kann eine beliebige Kombination der folgenden sein:

-von=Datei
Regeloptionen lesen von Datei

+ALLE Schalten Sie alle Regeln ein.

-ALLE Schalten Sie alle Regeln aus.

+Rrule_id[:stoppen[,stoppen...]]
Aktivieren Sie die angegebene Regel und übergeben Sie ihr optionale Parameter.

-Rrule_id
Deaktivieren Sie die angegebene Regel.

+Rrule_id[:stoppen[,stoppen...]]
Deaktivieren Sie einige Prüfungen für die angegebene Regel.

rule_id ist eine der mit aufgeführten Regeln -h .

-s Kurzform der Berichtsdatei.

-sn Nur Abschnitt einschließen n (n in 1 .. 3) in der Berichtsdatei.

-v Ausführlicher Modus.

Nutzen Sie Gnatcheck online über die Dienste von onworks.net