Qu'est-ce que le format de fichier ADS ?
Un fichier .ads est une spécification de paquet Ada - la moitié « interface » d'un paquet Ada. Selon la convention de nommage du compilateur GNAT (le standard de facto dans l'écosystème Ada), chaque paquet Ada est divisé en deux fichiers : la spécification dans .ads et le corps de l'implémentation dans un fichier .adb.
Le fichier .ads déclare ce qui est publiquement visible pour les autres unités de compilation : types, sous-types, constantes, signatures de sous-programmes (profils de procédures et fonctions), types de tâches et paramètres génériques. Il ne contient aucun code exécutable ni corps de sous-programme - seulement les déclarations qui forment le contrat dont dépendent les autres paquets.
Syntaxiquement, une spécification s'ouvre par package <Name> is et se ferme par end <Name>;. Les clauses de contexte (instructions with et use) en haut listent les paquets dont la spécification dépend. Les commentaires Ada commencent par --.
Le format est du texte brut UTF-8 (ou ASCII) avec le type MIME text/x-ada. Il n'y a pas d'octets magiques ; les fichiers sont identifiés par leur structure source Ada. Le dialecte Ada utilisé - Ada 83, 95, 2005, 2012 ou Ada 2022 (ISO/IEC 8652:2023) - est contrôlé par des drapeaux du compilateur GNAT tels que -gnat2022 ou un pragma Ada_2022 au niveau de la source.
Les fichiers .ads sont ouverts dans GNAT Studio, Visual Studio Code avec l'extension Ada/SPARK, ou n'importe quel éditeur de texte brut. La chaîne d'outils GNAT les compile aux côtés de leurs corps .adb ; la coordination de la construction est gérée par un fichier de projet .gpr.
Sécurité et sûreté
RISQUE : LOWUn fichier .ads est du texte source Ada brut et ne peut pas s'exécuter seul, donc en ouvrir un pour le lire est sûr. La prudence habituelle pour tout code source s'applique : examinez le code provenant de sources non fiables avant de le compiler et de l'exécuter, car le projet global produira un exécutable. Il n'y a pas de DRM, de chiffrement ou de manipulation spéciale - traitez-le comme n'importe quel fichier texte ou de code. Installez la chaîne d'outils GNAT uniquement à partir des sources officielles (AdaCore/GCC).
Détails du format
en bref- Fichier publicitaire / de service d'annonces - Certains systèmes publicitaires et outils liés à AdSense utilisent .ads pour des fichiers de contenu ou de balises publicitaires ; sans rapport avec la source Ada.
- Exportation générique de « carnet d'adresses » / paramètres - Quelques programmes anciens enregistrent des paramètres ou des données d'adresses avec une extension .ads ; à identifier selon l'application d'origine.
Programmes qui ouvrent les fichiers ADS
Détails techniques
spécifications approfondies| Type de fichier | Source Ada en texte brut - la moitié spécification (interface) d'un paquet Ada |
| Type MIME | text/x-ada (également accepté comme text/plain) |
| Encodage du texte | UTF-8 ou ASCII ; Latin-1 historiquement ; encodage GNAT sélectionnable via le drapeau -gnatiX |
| Signature binaire | Aucune - texte brut ; identifié par la structure des mots-clés Ada (package <Name> is … end <Name>;) |
| Taille typique du fichier | 1 Ko - 100 Ko (déclarations de spécification uniquement ; les corps résident dans le .adb compagnon) |
| Règle de nommage GNAT | Le nom de base doit correspondre au nom du paquet, en minuscules avec les points remplacés par des tirets - ex: Ada.Containers devient ada-containers.ads |
| Structure | Clauses de contexte with/use optionnelles, puis package <Name> is, déclarations publiques, section privée optionnelle, end <Name>; |
| Contrainte de contenu | Déclarations uniquement - types, sous-types, constantes, profils de sous-programmes, génériques ; pas de code exécutable ni de corps |
| Modèle de visibilité | Partie publique visible par tous les paquets dépendants ; section privée accessible uniquement au sein du paquet et de ses enfants |
| Dialecte du langage | Ada 83 / 95 / 2005 / 2012 / 2022 sélectionné via les drapeaux GNAT -gnatXX ou pragma Ada_XXXX dans la source |
| Sortie compilée | GNAT produit un fichier .ali (Ada Library Information) et un fichier objet (.o) pour chaque paire .ads/.adb compilée |
| Coordination de construction | Le fichier de projet GNAT (.gpr) liste les sources .ads et contrôle les commutateurs de compilation par unité |
| Support plateforme | Multiplateforme : Linux, Windows, macOS et cibles embarquées (VxWorks, RTEMS, bare-metal ARM, RISC-V) |
| Écosystème de compilateurs | GNAT (front-end GCC Ada, AdaCore), GNAT LLVM, PTC ObjectAda, Green Hills MULTI Ada |
| Publié | 1980 (Ada language); .ads/.adb naming from GNAT (early 1990s) |
| Dernière version | Ada 2022 (ISO/IEC 8652:2023) |
| Standard ouvert | Oui · libre de droits |
| Spécification | www.adaic.org |
Conversions ADS
Q&R de la communauté
posées par les utilisateursPas encore de questions - soyez le premier à poser une question sur les fichiers ADS.