AVR-Ada zielt darauf ab, das Ada-Teil von GCC auf AVR-Mikrocontrollern brauchbar zu bilden.

Fuzzy Seten für ada ist eine Bibliothek, die Umsetzungen der Vertrauensfaktoren mit den Arbeitsweisen nicht und, oder, xor, +, und *, klassischen Fuzzy Seten mit den einstellen-theoretischen Arbeitsweisen und den Arbeitsweisen der Möglichkeittheorie, intuitionistischen Fuzzy Seten mit den Arbeitsweisen auf ihnen, der Fuzzy-Logik basieren auf den intuitionistischen Fuzzy Seten und der Möglichkeittheorie versieht; flockige Zahlen, ganze Zahl und Gleitkomma mit herkömmlichen arithmetischen Arbeitsweisen und linguistische Variablen und Einstellungen der linguistischen Variablen mit Arbeitsweisen auf ihnen. Fuzzy Seten für ada hat Träger für stringorientierte Ein-/Ausgabe.

Sind hier einige Hauptmerkmale „der Fuzzy Seten für Ada“:

· Vertrauensfaktoren mit den Arbeitsweisen nicht und, oder, xor, +, *;
· Klassische Fuzzy Seten mit den einstellen-theoretischen Arbeitsweisen und den Arbeitsweisen der Möglichkeittheorie;
· Intuitionistische Fuzzy Seten mit den Arbeitsweisen auf ihnen;
· Fuzzy-Logik basiert auf den intuitionistischen Fuzzy Seten und der Möglichkeittheorie;
· Flockige Zahlen ganze Zahl und die Gleitkommamit herkömmlichen arithmetischen Arbeitsweisen;
· Bemessene flockige Zahlen;
· Linguistische Variablen und Einstellungen der linguistischen Variablen mit Arbeitsweisen auf ihnen;
· Stringorientierte Ein-/Ausgabe unterstützt.

Was in diesem Auslösen neu ist:

· Der Code geprüft mit MÜCKE ada 2005 (GCC 4.0.2 20051125).
· Eine Marke geregelt in Fuzzy.Linguistics.Sets.Defuzzify, das zu falsches defuzzification mit einer absteigenden Mitgliedschaftsfunktion führte.

Abstandarithmetik für ada ist eine mathematische Bibliothek, die eine Umsetzung der Abstände für ada zur Verfügung stellt. Sie einschließt die arithmetischen und relationalen Arbeitsweisen en.

Beispiele:

Tristate-Logik

Die Paket Abstände dient als Wurzelpaket und liefert auch die Tristate-Logik, die notwendig ist, relationale Arbeitsweisen auf Abständen zu definieren. Der logische Typ definiert wie:

der logische Typ ist (falsch, zutreffend, unsicher);

Die folgenden Arbeitsweisen definiert für logisches:

Funktion „nicht“ (verlassen: Logischer) Umsatz logisch;
Funktion „und“ (verlassen, recht: Logischer) Umsatz logisch;
Funktion „und“ (verlassen: Logisch; Recht: Boolesch)
Rückhollogisches;
Funktion „und“ (verlassen: Boolesch; Recht: Logisch)
Rückhollogisches;
Funktion „oder“ (verlassen, recht: Logischer) Umsatz logisch;
Funktion „oder“ (verlassen: Logisch; Recht: Boolesch)
Rückhollogisches;
Funktion „oder“ (verlassen: Boolesch; Recht: Logisch)
Rückhollogisches;
Funktion „xor“ (verlassen, recht: Logischer) Umsatz logisch;
Funktion „xor“ (gelassen: Logisch; Recht: Boolesch)
Rückhollogisches;
Funktion „xor“ (gelassen: Boolesch; Recht: Logisch)
Rückhollogisches;

Was in diesem Auslösen neu ist:

· Für MÜCKE-Benutzer waren GPS-Projektdateien enthalten;
· Auf Messen-Geräten für ada V 2.4 gegründet.

Tische für ada ist eine Bibliothek liefert eine Umsetzung der Tische, die durch Zeichenketten markiert werden. Die binäre Recherche wird für Namen der bekannten Länge verwendet. Es ist auch möglich, einen Tisch nach Namen der unbekannten Länge zu suchen, um eine Zeichenkette using irgendeinen Tisch d.h. zu analysieren. Tabellenelemente können von irgendeinem privaten Typen sein. Unempfindliche Schlüsseltische werden unterstützt.

Was in diesem Auslösen neu ist:

· Gps-Projektdateien wurden für MÜCKE-Benutzer addiert.

Einfache Teile für Ada-Bibliothek ist freie Software; Sie können sie neuverteilen und/oder sie im Sinne der GNU Öffentlichkeit Lizenz ändern, wie durch Free Software Foundation veröffentlicht; entweder Version 2 der Lizenz oder (an Ihrer Option) irgendeine neuere Version.

Diese Bibliothek verteilt in die Hoffnung, dass es nützlich ist, aber OHNE IRGENDEINE GARANTIE; ohne sogar die implizierte Garantie der MARKTGÄNGIGKEIT oder der EIGNUNG ZU EINEM BESTIMMTEN ZWECK. Die GNU Öffentlichkeit Lizenz für weitere Einzelheiten sehen.

Als spezielle Ausnahme wenn andere Dateien Generics von diesem Gerät instantiate, oder Sie dieses Gerät mit anderen Dateien binden, um ein vollziehbares zu produzieren, dieses Gerät nicht an sich veranlaßt das Resultieren vollziehbar, durch die GNU Öffentlichkeit Lizenz abgedeckt zu werden.

Diese Ausnahme ungültig erklärt jedoch keine anderen Gründe, warum die vollziehbare Datei durch die GNU-Öffentlichkeits-Lizenz abgedeckt werden konnte.

Was in diesem Auslösen neu ist:

· Funktionen Is_In addiert für doppelt-gebundenes Web und Listen. Gps-Projektdateien addiert für MÜCKE-Benutzer.

Maßeinheiten für Ada-Bibliothek zur Verfügung stellt eine Umsetzung der bemessenen Werte für Ada. Gerätenchecks durchgeführt an Ablauf auf-, wenn sie heraus nicht durch den Compiler optimiert. SI und unregelmäßige Messen-Geräte unterstützt.

Geschaltene Geräte wie Grad Celsius unterstützt auch. Konvertierungen und zurück zu von den Zeichenketten zur Verfügung gestellt für alle verschiedenen unregelmäßigen Geräte.

Sind hier einige Hauptmerkmale „der Maßeinheiten für Ada“:

· Der Typ Gerät bezeichnet die Abmessung einer körperlichen Körperschaft. Der Typ Maßnahme darstellt einen bemessenen Wert en;
· Mischgerätenarithmetik. Werte Geräten in den SI-(Le Système International dUnités) können mit unregelmäßigen Geräten gemischt werden (wie Fuß und Yard) solange das Resultat definiert;
· Geschaltener Gerätenträger (ein am meisten benutzter Fall eines geschaltenen Geräts ist Grad von Celsius);
· Der Typ Maßnahme ist generisch, parameterisiert nach einem Gleitkommatypen. Eine nicht-generische Version, die auf dem Typen Gleitbetrieb basiert, zur Verfügung gestellt auch;
· Zeichenkette, zum der Konvertierungsstützso breiten Einstellung unregelmäßiger Geräte zu messen, wie möglich.
· Aktuell liegen die Leistungen der Teile des falschen Geräts in der Reichweite -8..7. Diese Beschränkung hat einen Umsetzungsgrund (Fehlen 64-bit modularen ganzen Zahlen in vielen Ada-Compilern).

Was in diesem Auslösen neu ist:

· Der Fokus dieses Auslösens ist auf GTK Träger.
· Er versieht einen bearbeitenkasten Widget für bemessene Werte mit einem Drop-Down-kombinierten für Einerauswahl.
· Der Widget kann zu einer definitiven Abmessung begrenzt werden.
· Ein Baumansicht-Zelle renderer der bemessenen Werte zur Verfügung gestellt, sowie ein Programmbeispiel für das Abbilden von Werten von einer Abmessung zu anderen.

adanetcdf Projekt ist ein Ada-95, das an die netcdf Bibliothek bindet.

Was in diesem Auslösen neu ist:

· addiertes `varead für einzelne Aufrufextraktion von Vektoren und von Grundmassen von

Niliada ist eine Bibliothek Lispeln-wie der Nachrichten in Ada-95.

Es kennzeichnet einen Echtzeitabfallabgassammler. Niliada Bibliothek ist für massiv mehrfädige Anwendungen in einer kritischen Umgebung der Dienstreise nützlich.

Anwendungs-pauschale Teilbetrag-Bibliothek (ASCL) enthält eine Einstellung von den mehrfachverwendbaren Ada-Paketen. Der Fokus ist nicht auf leichten Teilen aber größeren Teilen wie einem Konfigurationsmanager und einer CLI-Anwendungsumgebung, die das ganzes analysierende Argument tut.

Er schließt auch eine Bauumgebung für Linux ein, der aktualisiert und unabhängig beibehalten vom tatsächlichen Quellencode sein kann. Er unterstützt den persönlichen Software-Prozeß für die Ada-Programmierung.

WIPORT ist eine Schicht über der grx Graphikbibliothek, die ein einfaches GUI API mit Memorieren der Nachrichten versieht, die in den verschiedenen Fenstern angezeigt.

Dieses bildet das Neu entwerfen und Drucken zu einer ersteigbaren Postskriptumdarstellung, die einfach ist zu tun. Dank die grx Bibliotheksprogramme, using WIPORT arbeitet identisch an der DOS-graphischen Konsole, dem Linux+svgalib und dem Linux+X11. WIPORT geschrieben in C und kommt mit einer Schwergängigkeit Ada-95.

AdaSockets ist eine Bibliothek, die Sie Bd-Kontaktbuchsen von ada (TCP, UDP und multicast) verwenden läßt.

Einbau:

% ./configure --prefix=
% bilden einzubauen

Dieses aufbaut ut und einbaut diese Software unter /lib/adasockets se. Das AdasocketsConfigprogramm und seine verbundene Mannseite eingebaut beziehungsweise unter < jedes mögliches Verzeichnis >/bin und < irgendein Verzeichnis >/man/in

In den Beispielen Unterverzeichnis, finden Sie ein Beispiel genannt „tcprelay“, das darstellt, wie dieses Paket verwendet werden kann.

GNU bilden ist nicht ausschließlich notwendig aber empfohlen. Er ist erforderlich, wenn Sie die Unterlagen umbauen möchten.

Was in diesem Auslösen neu ist:

· Verpackenstörschub geregelt jetzt, dank Dani für Bericht es.

Heuchlerische Bindefähigkeitbibliothek addiert eine Umsetzung der Bindefähigkeiten heuchlerischer/GTK+ Bibliothek (sie enthält auch ada 95 für GtkAda GTK Schwergängigkeiten, GtkAda wurde gebildet durch ACT corp.)

Bindefähigkeiten ist automatisch, Werte einiger Eigenschaften synchronisierend, um ihre Werte entsprechend zu halten miteinander, damit, wenn ein Eigentum ändert, die Eigenschaften, die mit ihm gesprungen werden automatisch, dementsprechend ändern. Auch Schwergängigkeiten mit Werttransformationsfunktionen werden unterstützt.

Bindefähigkeiten verringert viel Entwicklungszeit von Desktop-Anwendungen und von Zunahmezuverlässigkeit wie freigibt Sie von zeitraubenden und fehleranfälligen Schreibensrückrufzufuhren der Eigentumänderungen. (Vermutlich falsche Eigentumänderungszufuhren ist die häufig Ursache von Fehlern in den GUI-Anwendungen!)

Aktuelle Version 0.9.1 ist ein Alphaversion. Sie bitte prüfen.

XML Reinigungsmittel ist eine Befehlszeile das Hilfsprogramm, zum der XML Dateien zu filtern und zu validieren.

XML Reinigungsmittel geschrieben in Ada, die schnell sind 9X und so es ziemlich.

XML Reinigungsmittel ist ein XML Filter und ein Validator, die xmllint ähnlich sind. Es kann superfluos namespace-Anmeldungen von einer XML Datei entfernen, erweitert XML Körperschaften, umkodiert XML Dateien und mehr.

Sind hier einige Hauptmerkmale „des XML Reinigungsmittels“:

· entfernt überflüssige namespace-Anmeldungen;
· Unicode Träger;
· (Mehr zum Werkzeug: XML Gültigkeitserklärung, das XML canonicalization, umformatierend, whitespace Ausbau, kommentiert Ausbau, das XML charset, das umkodiert, aufbereitendes XInclude, archivieren am Aufstellungsort Modifikation, usw.; XML Reinigungsmittel ist, in eine Vollfunktionsbefehlszeile XML Filter und Validator zu wachsen.)

XML Reinigungsmittel entwickelt, um xmllint Abwechslung zu werden.

Was in diesem Auslösen neu ist:

· Eine Option zum zu wählen, ob man Apostrophe und Anführungsstriche im Ausgang hinzugefügt entweicht.

Einfache DirectMedia Schicht ist eine Kreuzplattform Multimediabibliothek, die konzipiert, um niedrigen Zugang zum Audio, zur Tastatur, zur Maus, zum Steuerknüppel, zu den Befestigungsteilen 3D über OpenGL zu bieten und zum 2D videoframebuffer. SDL verwendet durch MPEG-Playbacksoftware, Emulators und viele populären Spiele, einschließlich die award-winningLinuxöffnung „der Zivilisation: Aufruf zur Leistung.“

Einfache DirectMedia Schicht unterstützt Linux, Windows, BeOS, Mac- Osklassiker, Mac Os X, FreeBSD, OpenBSD, BSD/OS, Solarisen, IRIX und QNX. Es gibt auch Code, aber keinen amtlichen Träger, für Windows CE, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC-OS und SymbianOS.

SDL geschrieben in C, aber arbeitet mit C++ gediegen und hat Schwergängigkeiten zu einigen anderen Sprachen, einschließlich Ada, Eiffel, Java, Lua, ml, Perl, PHP, Pike, Pythonschlange und Rubin.

Was in diesem Auslösen neu ist:

· Dynamisches Laden X11 aktiviert nur mit unterstützendem GCC 4 - fvisibility=hidden. Dieses regelt die Systemabstürze, die auf Symbolzusammenstößen in Verbindung gestanden und erlaubt Gebäude auf Solarisen und IRIX.
· Örtlich festgelegtes Gebäude SDL mit Xinerama abschielt t.
· Örtlich festgelegtes DRI OpenGL Bibliotheksladen, using RTLD_GLOBAL dlopen innen ().
· Hinzugefügter pkgconfig Konfigurationsträger.

SDL_mixer ist eine Beispielmehrkanalaudiomischerbibliothek. SDL_mixer unterstützt jede mögliche Zahl von Kanäle des Stereoaudios mit 16 Bits, plus einen Einfachkanal von Musik gleichzeitig spielen, gemischt durch das populäre MikMod MOD, die Schüchternheit MIDI, das Ogg Vorbis und SMPEG MP3 die Bibliotheken.

Einfache DirectMedia Schicht ist eine Kreuzplattform Multimediabibliothek, die konzipiert, um niedrigen Zugang zum Audio, zur Tastatur, zur Maus, zum Steuerknüppel, zu den Befestigungsteilen 3D über OpenGL zu bieten und zum 2D videoframebuffer. Sie verwendet durch MPEG-Playbacksoftware, Emulators und viele populären Spiele, einschließlich die award-winningLinuxöffnung „der Zivilisation: Aufruf zur Leistung.“

Einfache DirectMedia Schicht unterstützt Linux, Windows, BeOS, Mac- Osklassiker, Mac Os X, FreeBSD, OpenBSD, BSD/OS, Solarisen, IRIX und QNX. Es gibt auch Code, aber keinen amtlichen Träger, für Windows CE, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC-OS und SymbianOS.

SDL geschrieben in C, aber arbeitet mit C++ gediegen und hat Schwergängigkeiten zu einigen anderen Sprachen, einschließlich Ada, Eiffel, Java, Lua, ml, Perl, PHP, Pike, Pythonschlange und Rubin.

SDL_net Bibliothek ist eine kleine Beispielc$kreuzplattform Vernetzungsbibliothek, mit einem Beispielschwätzchenklienten und einer Serveranwendung. Der Schwätzchenklient verwendet die GUIlib GUI-Rahmenbibliothek.

Einfache DirectMedia Schicht ist eine Kreuzplattform Multimediabibliothek, die konzipiert, um niedrigen Zugang zum Audio, zur Tastatur, zur Maus, zum Steuerknüppel, zu den Befestigungsteilen 3D über OpenGL zu bieten und zum 2D videoframebuffer. Sie verwendet durch MPEG-Playbacksoftware, Emulators und viele populären Spiele, einschließlich die award-winningLinuxöffnung „der Zivilisation: Aufruf zur Leistung.“

Einfache DirectMedia Schicht unterstützt Linux, Windows, BeOS, Mac- Osklassiker, Mac Os X, FreeBSD, OpenBSD, BSD/OS, Solarisen, IRIX und QNX. Es gibt auch Code, aber keinen amtlichen Träger, für Windows CE, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC-OS und SymbianOS.

SDL geschrieben in C, aber arbeitet mit C++ gediegen und hat Schwergängigkeiten zu einigen anderen Sprachen, einschließlich Ada, Eiffel, Java, Lua, ml, Perl, PHP, Pike, Pythonschlange und Rubin.

SDL_ttf ist eine Beispielbibliothek, die Ihnen erlaubt, TrueType Schrifttypen in Ihren SDL Anwendungen zu verwenden. SDL_ttf Bibliothek kommt mit einem Beispielprogramm „showfont“, das eine Beispielzeichenkette für eine gegebene TrueType Schrifttypdatei anzeigt.

Entpacken und aufbauen. „Das fontfile showfont“ laufen lassen, um einen Schrifttyp using die Bibliothek anzuzeigen.

Einfache DirectMedia Schicht ist eine Kreuzplattform Multimediabibliothek, die konzipiert, um niedrigen Zugang zum Audio, zur Tastatur, zur Maus, zum Steuerknüppel, zu den Befestigungsteilen 3D über OpenGL zu bieten und zum 2D videoframebuffer. Sie verwendet durch MPEG-Playbacksoftware, Emulators und viele populären Spiele, einschließlich die award-winningLinuxöffnung „der Zivilisation: Aufruf zur Leistung.“

Einfache DirectMedia Schicht unterstützt Linux, Windows, BeOS, Mac- Osklassiker, Mac Os X, FreeBSD, OpenBSD, BSD/OS, Solarisen, IRIX und QNX. Es gibt auch Code, aber keinen amtlichen Träger, für Windows CE, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC-OS und SymbianOS.

SDL geschrieben in C, aber arbeitet mit C++ gediegen und hat Schwergängigkeiten zu einigen anderen Sprachen, einschließlich Ada, Eiffel, Java, Lua, ml, Perl, PHP, Pike, Pythonschlange und Rubin.

SDL_image ist eine Bilddatei-Lademodulbibliothek. SDL_image lädt Bilder als SDL Oberflächen und unterstützt die folgenden Formate: BMP, PNM, LBM, PCX, XPM, GIF, JPEG, PNG, TGA.

Entpacken und aufbauen. „Das imagefile showimage“ laufen lassen, um ein Bild using die Bibliothek anzuzeigen.
Mitteilung: Wenn Sie Gebäude auf Mac- Osklassiker sind, können Sie die vor-aufgebauten Versionen von libpng und von libz für png-Träger wünschen.

Einfache DirectMedia Schicht ist eine Kreuzplattform Multimediabibliothek, die konzipiert, um niedrigen Zugang zum Audio, zur Tastatur, zur Maus, zum Steuerknüppel, zu den Befestigungsteilen 3D über OpenGL zu bieten und zum 2D videoframebuffer. Sie verwendet durch MPEG-Playbacksoftware, Emulators und viele populären Spiele, einschließlich die award-winningLinuxöffnung „der Zivilisation: Aufruf zur Leistung.“

Einfache DirectMedia Schicht unterstützt Linux, Windows, BeOS, Mac- Osklassiker, Mac Os X, FreeBSD, OpenBSD, BSD/OS, Solarisen, IRIX und QNX. Es gibt auch Code, aber keinen amtlichen Träger, für Windows CE, AmigaOS, Dreamcast, Atari, NetBSD, AIX, OSF/Tru64, RISC-OS und SymbianOS.

SDL geschrieben in C, aber arbeitet mit C++ gediegen und hat Schwergängigkeiten zu einigen anderen Sprachen, einschließlich Ada, Eiffel, Java, Lua, ml, Perl, PHP, Pike, Pythonschlange und Rubin.

GlGuiA ist eine Einstellung Ada-Pakete für das Erstellen der graphischen Benutzerschnittstellen. Es liefert eine komplette und ausdehnbare Einstellung graphische Punkte (Widgets), wie Tasten, Schuppen, Bäume, Meldungkästen und Dialogfelder.

Es sollte ziemlich einfach sein, neue Nachrichten von das Existieren zu erstellen. Um Plattformunabhängigkeit zu gewinnen, beruht die Bibliothek auf OpenGl für Zeichnungsprimitive. Grundlegendes Ereignis- und Fenstermanagement sind using Glfw erfolgt.

Was in diesem Auslösen neu ist:

· OpenGL-in Verbindung stehende Bedingungen sind aufgeteilt worden.
· Es verwendet nicht mehr SÄTTIGUNG, aber anstatt Glfw für niedriges Fenster- und Ereignismanagement.
· Der viel bessere handhabende Schrifttyp und die grundlegenden Dekorationen sind Text addiert worden.
· Ansichthandhabungen hinzugefügt: Mäusebewegung + mittlere Taste (Wannenansicht) und Mäuserad (Summenansicht).
· Eine Leitung der Eingabe Widget, zum des einspurigen Textes einzugeben ist hinzugefügt worden.
· Mit einem Mäuseklicken auslösen, mit validieren hereinkommen oder link-klicken und beenden mit Entweichen oder Right-click.

AdaControl ist ein freies Werkzeug (GMGPL), das den Gebrauch von verschiedenen Arten des Konstruierens in den Ada-Programmen aufspürt. AdaControls erstes Ziel ist, korrekten Verbrauch der Art oder der programmierenrichtlinien zu steuern, aber es kann auch verwendet werden da ein leistungsfähiges Werkzeug, um nach Gebrauch (oder Nichtanwendung) von verschiedenen Formularen der programmierenarten zu suchen oder Muster zu konzipieren. Suchelemente reichen von sehr einfachem, wie dem Vorkommen der certaine Körperschaften, Anmeldungen oder der Anweisungen, bis zu sehr hoch entwickeltem, wie dem Überprüfen, dass bestimmte programmierenmuster. befolgt.

Welche Elemente oder konstruiert, gesucht definiert durch Regeln; der folgende Tisch gibt eine kurze Zusammenfassung der Richtlinien, die aktuell von AdaControl überprüft. Die Zahl in Klammern nachdem der Richtlinienname die Zahl subrules gibt, wenn überhaupt. In Betracht aller möglichen Richtlinien und subrules bildet dieses 216 Prüfungen, die von AdaControl aktuell durchgeführt werden können!

· Abnormal_Function_Return steuert ein Auslegungmuster, das garantiert, dass eine Funktion immer ein Resultat zurückbringt.
· Zuweisungsprogramme steuert ocurrences der Zuweisungsprogramme, entweder alle oder die, die spezifizierte Typen zielen.
· Array_Declarations (x2) steuert einige Metriken in den Matrixvereinbarungen.
· Barrier_Expressions Bediengeräteelemente ließen im Ausdruck der geschützten Eingabensperren
· Case_Statement (x4) steuert einige Metriken falls Anweisungen.
· Control_Characters steuert Vorkommen der Steuerzeichen (wie Tabulatoren) in der Quelle.
· Anmeldungen (x75) steuert Vorkommen bestimmter Ada-Anmeldungen.
· Default_Parameter steuert Unterprogrammaufrufe und generische Instantiations, die (oder nicht) den Standardwert für einen gegebenen Parameter verwenden.
· Directly_Accessed_Globals steuert ein Auslegungmuster, das garantiert, dass alle globalen Variablen nur durch engagierte Unterprogramme erreicht.
· Körperschaft-Bediengerätevorkommen irgendeiner Ada-Körperschaft.
· Entity_Inside_Exception steuert Vorkommen der Körperschaften innerhalb der Ausnahmezufuhren.
· Exception_Propagation (x4) Bediengeräte, denen bestimmte Unterprogramme (oder Aufgaben) Ausnahmen nicht verbreiten können oder, denen keine Ausarbeitung Ausnahmen verbreiten kann.
· Ausdrücke (x9) steuert Verbrauch bestimmter Formulare von Ausdrücken
· Global_References steuert unsynchronisierte Zugriff zu den globalen Variablen.
· Header_Comments (x2) steuert das Vorhandensein des Kommentars beim Anfang jeder Baugruppes.
· If_For_Case Bediengeräte wenn Anweisungen, die durch Fallanweisungen ersetzt werden konnten.
· Instantiations steuert generische Instantiations, entweder alle oder die, die spezifizierte Körperschaften verwenden.
· Insufficient_Parameters steuert den Gebrauch von positionsgebundenen Parametern in den Aufrufen, in denen der Wert nicht genügende Informationen liefert.
· Local_Hiding steuert Vorkommen der lokalen Kennungen, die ein identisches äußeres verstecken.
· Local_Instantiation steuert Instantiations in den lokalen Bereichen.
· Max_Blank_Lines steuert das Vorkommen von mehr als eine spezifizierte Anzahl von nachfolgenden leeren Leitungen.
· Max_Call_Depth steuert die maximale Tiefe der Unterprogrammaufrufe.
· Max_Line_Length steuert maximale Länge der Programmzeilen.
· Max_Nesting Bediengerätebereiche verschachtelten tiefer als eine festgesetzte Begrenzung.
· Max_Parameters (x6) steuert die Höchstzahlen von Parametern in den abrufbaren Körperschaften (Prozeduren, Funktionen und Eingaben)
· Max_Statement_Nesting (x5) zusammengesetzte Anweisungen der Bediengeräte verschachtelten tiefer als eine festgesetzte Begrenzung.
· Movable_Accept_Statements Steueranweisungen, die verschobene Außenseite ein annehmenanweisung sein konnten.
· Naming_Convention steuert das Formular der erlaubten (oder verboten) Namen in den Anmeldungen.
· No_Safe_Initialization steuert ein Auslegungmuster, das garantiert, dass irgendwie Variable initialisiert, bevor man verwendet.
· Non_Static (x3) steuert nicht statische Ausdrücke in der Anzeigemarke oder in den diskriminierenden Begrenzungen oder in den Instantiations.
· Not_Elaboration_Calls steuert die Unterprogrammaufrufe, die von den Plätzen außerhalb des Paketausarbeitungcodes durchgeführt.
· Other_Dependencies steuert semantische Abhängigkeiten zu anderen Geräten als angezeigte die
· Parameter_Aliasing steuert Unterprogramme und Eingabenaufrufe, in denen eine Variable zu mehr als einem [innen] heraus Parameter zur Verfügung gestellt.
· Potentially_Blocking_Operations steuert den Gebrauch von Arbeitsweisen von innerhalb geschützten Arbeitsweisen möglicherweise blocken.
· Pragmas steuert den Gebrauch von spezifischen Pragmas.
· Real_Operators steuert Vorkommen von = oder/= Bediener auf realen Typen.
· Reduceable_Scope steuert Anmeldungen, die Bewegung zu tiefer verschachtelten Bereichen sein konnten.
· Representation_Clauses steuert Vorkommen der Darstellungsklauseln.
· Return_Type steuert den Gebrauch von bestimmten Arten der Typen als Rückholtypen von Funktionen.
· Side_Effect_Parameters steuert die Unterprogrammaufrufe und generische Instantiations, die Funktionen mit Nebenwirkung rufen und so erstellen eine Abhängigkeit zur Ordnung der Auswertung.
· Silent_Exceptions steuert Ausnahmezufuhren, die nicht reraise Ausnahmen noch Aufruf angezeigte Unterprogramme tun.
· Simplifiable_Expressions (x4) steuert Vorkommen der verschiedenen Formulare der Ausdrücke, die vereinfacht werden konnten.
· Special_Comments steuert das Vorhandensein bestimmter Zeichenkettemuster im Kommentar.
· Anweisungen (x42) steuert Vorkommen der Ada-Anweisungen.
· (X12) des Konstruierens anreden verschiedene Formulare der Bediengeräte, das im Allgemeinen in Artrichtlinien empfohlen.
· Terminating_Tasks steuert ein Auslegungmuster, das garantiert, dass Aufgaben nie abbrechen.
· Uncheckable (x3) steuert Konstruieren, das nicht statisch durch andere Richtlinien checkable sind
· Unnecessary_Use_Clause Bediengeräte verwenden Klauseln auf Paketen, in denen kein Element des Pakets innerhalb des Bereichs der Gebrauchklausel angesprochen.
· Unsafe_Paired_Calls steuert ein Auslegungmuster, das garantiert, dass bestimmte Aufrufe die zusammengepaßten allways sind (wie P/V Prozeduren).
· Unsafe_Unchecked_Conversion steuert Instantiations von Unchecked_Conversion zwischen Typen der verschiedenen oder nicht spezifizierten Größen.
· Verbrauch (x5) steuert Verbrauch der Nachrichten unter bestimmten Bedingungen (in den Paketbedingungen, gelesen, geschrieben geändert…).
· Use_Clauses steuert Vorkommen der Gebrauchklauseln, außer angezeigten Paketen.
· With_Clauses (x3) steuert korrekten Verbrauch von mit Klauseln.

Was in diesem Auslösen neu ist:

· Dieses Auslösen hinzufügt Richtlinien sen, um zu prüfen, ob Vorsatz Übereinstimmung ein gegebenes Muster kommentiert.
· Es hat Anzeige über mögliche falsche Positive und falschen die Negative wegen des non-statically analyzable Konstruierens.
· Es gibt eine feine Definition des Konstruierens, das in den Eingabensperren erlaubt (die einschließlich des Ravenscar Profils).
· Es gibt bessere Integration in GPS und viel mehr.