Che cos'è il formato di file ADS?
Un file .ads è una specifica di pacchetto Ada - la metà interfaccia di un pacchetto Ada. Secondo la convenzione di denominazione del compilatore GNAT (lo standard de-facto nell'ecosistema Ada), ogni pacchetto Ada è diviso in due file: la specifica in .ads e il corpo dell'implementazione in un file .adb.
Il file .ads dichiara ciò che è pubblicamente visibile ad altre unità di compilazione: tipi, sottotipi, costanti, firme di sottoprogrammi (profili di procedure e funzioni), tipi di task e parametri generici. Non contiene codice eseguibile o corpi di sottoprogrammi - solo le dichiarazioni che formano il contratto da cui dipendono gli altri pacchetti.
Sintatticamente, una specifica si apre con package <Name> is e si chiude con end <Name>;. Le clausole di contesto (istruzioni with e use) in alto elencano i pacchetti da cui la specifica dipende. I commenti Ada iniziano con --.
Il formato è testo semplice UTF-8 (o ASCII) con tipo MIME text/x-ada. Non ci sono magic bytes; i file sono identificati dalla loro struttura sorgente Ada. Il dialetto Ada in uso - Ada 83, 95, 2005, 2012 o Ada 2022 (ISO/IEC 8652:2023) - è controllato dai flag del compilatore GNAT come -gnat2022 o da una pragma Ada_2022 a livello di sorgente.
I file .ads vengono aperti in GNAT Studio, Visual Studio Code con l'estensione Ada/SPARK o qualsiasi editor di testo semplice. La toolchain GNAT li compila insieme ai loro corpi .adb; il coordinamento della build è gestito da un file di progetto .gpr.
Sicurezza e incolumità
RISCHIO: LOWUn file .ads è testo sorgente Ada semplice e non può essere eseguito da solo, quindi aprirne uno per leggerlo è sicuro. Si applica la normale cautela per qualsiasi codice sorgente: revisionare il codice da fonti non attendibili prima di compilarlo ed eseguirlo, poiché il progetto circostante produrrà un eseguibile. Non sono presenti DRM, crittografia o gestioni speciali - trattatelo come qualsiasi file di testo/codice. Installate la toolchain GNAT solo da fonti ufficiali (AdaCore/GCC).
Dettagli del formato
in sintesi- File pubblicitario / ad-serving - Alcuni sistemi pubblicitari e strumenti relativi ad AdSense utilizzano .ads per file di contenuti pubblicitari o tag pubblicitari; non correlato al sorgente Ada.
- Esportazione generica di «rubrica» / impostazioni - Alcuni programmi legacy salvano impostazioni o dati della rubrica con estensione .ads; identificabile dall'applicazione di origine.
Programmi che aprono file ADS
Windows3 apps
Notepad
Open-source Aprite il file .ads come testo per leggerlo o modificarlo; impostate il linguaggio su Ada per l'evidenziazione della sintassi. 
GNAT Studio
Open-source Aprite il progetto Ada (.gpr) o il file .ads direttamente per l'evidenziazione della sintassi, la navigazione e la compilazione con la toolchain GNAT.
Visual Studio Code (Ada extension)
Gratuito Installate l'estensione Ada di AdaCore, quindi aprite il file .ads per l'evidenziazione, la navigazione e l'Ada Language Server. 
macOS3 apps
GNAT Studio
Open-source Aprite il progetto Ada (.gpr) o il file .ads direttamente per l'evidenziazione della sintassi, la navigazione e la compilazione con la toolchain GNAT.
Visual Studio Code (Ada extension)
Gratuito Installate l'estensione Ada di AdaCore, quindi aprite il file .ads per l'evidenziazione, la navigazione e l'Ada Language Server.
Any text editor (TextEdit/BBEdit)
Integrato Aprite il file .ads come testo semplice per leggere l'interfaccia del pacchetto. 
Linux3 apps
GNAT (GCC Ada) + gprbuild
Open-source Leggete il file .ads in qualsiasi editor; compilate con gnatmake/gprbuild dalla toolchain GNAT (gcc -c file.ads per il controllo sintattico della specifica).
GNAT Studio
Open-source Aprite il progetto Ada (.gpr) o il file .ads direttamente per l'evidenziazione della sintassi, la navigazione e la compilazione con la toolchain GNAT.
gedit / any text editor
Open-source Aprite il file .ads come testo per leggere o modificare la specifica. Dettagli tecnici
specifiche approfondite| Tipo di file | Sorgente Ada in testo semplice - la metà specifica (interfaccia) di un pacchetto Ada |
| Tipo MIME | text/x-ada (accettato anche come text/plain) |
| Codifica del testo | UTF-8 o ASCII; storicamente Latin-1; codifica GNAT selezionabile tramite flag -gnatiX |
| Firma binaria | Nessuna - testo semplice; identificato dalla struttura delle parole chiave Ada (package <Name> is … end <Name>;) |
| Dimensione tipica del file | 1 KB - 100 KB (solo dichiarazioni di specifica; i corpi risiedono nel file compagno .adb) |
| Regola di denominazione GNAT | Il nome base deve corrispondere al nome del pacchetto, in minuscolo con i punti sostituiti da trattini - ad esempio, Ada.Containers corrisponde a ada-containers.ads |
| Struttura | Clausole di contesto with/use opzionali, poi package <Name> is, dichiarazioni pubbliche, sezione privata opzionale, end <Name>; |
| Vincolo di contenuto | Solo dichiarazioni - tipi, sottotipi, costanti, profili di sottoprogrammi, generici; nessun codice eseguibile o corpi |
| Modello di visibilità | Parte pubblica visibile a tutti i pacchetti dipendenti; sezione privata accessibile solo all'interno del pacchetto e dei suoi figli |
| Dialetto del linguaggio | Ada 83 / 95 / 2005 / 2012 / 2022 selezionato tramite flag GNAT -gnatXX o pragma Ada_XXXX nel sorgente |
| Output compilato | GNAT produce un file .ali (Ada Library Information) e un file oggetto (.o) per ogni coppia .ads/.adb compilata |
| Coordinamento build | Il file di progetto GNAT (.gpr) elenca i sorgenti .ads e controlla gli switch di compilazione per unità |
| Supporto piattaforma | Cross-platform: Linux, Windows, macOS e target embedded (VxWorks, RTEMS, bare-metal ARM, RISC-V) |
| Ecosistema compilatori | GNAT (front-end GCC Ada, AdaCore), GNAT LLVM, PTC ObjectAda, Green Hills MULTI Ada |
| Rilasciato | 1980 (Ada language); .ads/.adb naming from GNAT (early 1990s) |
| Ultima versione | Ada 2022 (ISO/IEC 8652:2023) |
| Standard aperto | Sì · royalty-free |
| Specifica | www.adaic.org |
Conversioni ADS
Domande e risposte della community
chiesto dagli utentiAncora nessuna domanda - sii il primo a chiedere informazioni sui file ADS.
