Das GNAT Community Edition 2021-Paket fĂŒr die Ada-Entwicklung wurde veröffentlicht. Es enthĂ€lt den Compiler, die integrierte Entwicklungsumgebung GNAT Studio, einen statischen Analyse-Checker fĂŒr eine Teilmenge der Sprache SPARK, den Debugger GDB und eine Sammlung von Bibliotheken. Das Paket wird unter der GPL-Lizenz verteilt.
Die neue Version des Compilers verwendet das GCC 10.3.1 Backend und bietet eine Reihe neuer Funktionen. Es wurden neue Implementierungen fĂŒr den kommenden Ada 202x Standard hinzugefĂŒgt:
- Ein neues Profil fĂŒr eingebettete Systeme, Jorvik;
- UnterstĂŒtzung fĂŒr Arithmetik mit beliebiger PrĂ€zision;
- AusdruckserklÀrungen;
- Umbenennung von Werten mit automatischer Typableitung;
- VertrĂ€ge fĂŒr Verweise auf Unterprogramme;
- Filter in Iteratoren;
- Aggregaten fĂŒr Container.
ZusÀtzlich wurden mehrere experimentelle (nicht standardisierte) Funktionen implementiert:
- ZusĂ€tzliches «when» fĂŒr die Operatoren return/raise/goto;
- Musterabgleich;
- Feste untere Grenze fĂŒr Arrays;
- Aufruf von Unterprogrammen ĂŒber einen Punkt fĂŒr nicht-tĂ€gliche Typen.
Wahrscheinlich wird diese Version des Compilers die letzte in der Reihe der GNAT Community Edition-Releases sein. In Zukunft kann der aus den offenen GCC-Quelltexten gebaute Compiler ĂŒber den Paketmanager Alire installiert werden.
Quelle: opennet.ru
