Das GNAT Community Edition 2021 Entwicklerpaket wurde veröffentlicht. Es enthält den Compiler, die integrierte Entwicklungsumgebung GNAT Studio, einen statischen Analyse-Checker für das Teilset von SPARK, den Debugger GDB und eine Sammlung von Bibliotheken. Das Paket wird unter der GPL-Lizenz vertrieben.
Die neue Version des Compilers nutzt das GCC 10.3.1 Backend und bietet eine Reihe neuer Funktionen. Die Implementierung der folgenden Neuerungen des kommenden Ada Standards 202x wurde hinzugefügt:
- Ein neues Profil für eingebettete Systeme: Jorvik;
- Unterstützung für Arithmetik mit beliebiger Genauigkeit;
- Deklarationsausdrücke;
- Umbenennung von Werten mit automatischer Typableitung;
- Verträge für Aufrufreferenzen auf Unterprogramme;
- Filter in Iteratoren;
- Aggregaten für Container.
Wir haben auch mehrere experimentelle (nicht standardisierte) Funktionen implementiert:
- Zusätzliches „when“ für die return/raise/goto Operatoren;
- Pattern Matching;
- Festgelegte Untergrenze für Arrays;
- Aufruf von Unterprogrammen über einen Punkt für nicht-typisierte Typen.
Diese Version des Compilers wird voraussichtlich die letzte in der Reihe der Releases der GNAT Community Edition sein. Zukünftig kann der Compiler, der aus den offenen Quelltexten von GCC erstellt wird, mit dem Paketmanager alire installiert werden.
Quelle: opennet.ru
