¿Qué es el formato de archivo ADS?
Un archivo .ads es una especificación de paquete Ada: la mitad de la interfaz de un paquete Ada. Bajo la convención de nomenclatura del compilador GNAT (el estándar de facto en el ecosistema Ada), cada paquete Ada se divide en dos archivos: la especificación en .ads y el cuerpo de implementación en un archivo .adb.
El archivo .ads declara lo que es visible públicamente para otras unidades de compilación: tipos, subtipos, constantes, firmas de subprogramas (perfiles de procedimientos y funciones), tipos de tareas y parámetros genéricos. No contiene código ejecutable ni cuerpos de subprogramas, solo las declaraciones que forman el contrato del que dependen otros paquetes.
Sintácticamente, una especificación comienza con package <Nombre> is y cierra con end <Nombre>;. Las cláusulas de contexto (sentencias with y use) en la parte superior enumeran los paquetes de los que depende la especificación. Los comentarios en Ada comienzan con --.
El formato es texto plano UTF-8 (o ASCII) con tipo MIME text/x-ada. No existen «magic bytes»; los archivos se identifican por su estructura de código fuente Ada. El dialecto de Ada en uso -Ada 83, 95, 2005, 2012 o Ada 2022 (ISO/IEC 8652:2023)- se controla mediante modificadores del compilador GNAT como -gnat2022 o una pragma Ada_2022 a nivel de fuente.
Los archivos .ads se abren en GNAT Studio, Visual Studio Code con la extensión Ada/SPARK, o cualquier editor de texto plano. La cadena de herramientas GNAT los compila junto con sus cuerpos .adb; la coordinación de la construcción se gestiona mediante un archivo de proyecto .gpr.
Seguridad y protección
RIESGO: LOWUn archivo .ads es texto fuente de Ada simple y no puede ejecutarse por sí mismo, por lo que abrir uno para leerlo es seguro. Se aplica la precaución normal para cualquier código fuente: revise el código de fuentes no confiables antes de compilarlo y ejecutarlo, ya que el proyecto circundante producirá un ejecutable. No hay DRM, cifrado ni manejo especial; trátelo como cualquier archivo de texto o código. Instale la cadena de herramientas GNAT solo desde fuentes oficiales (AdaCore/GCC).
Detalles del formato
en pocas palabras- Archivo de publicidad / servidor de anuncios - Algunos sistemas de anuncios y herramientas relacionadas con AdSense usan .ads para archivos de contenido publicitario o etiquetas de anuncios; no relacionado con el código fuente de Ada.
- Exportación genérica de «libreta de direcciones» / ajustes - Algunos programas antiguos guardan ajustes o datos de direcciones con la extensión .ads; identifíquelo por la aplicación de origen.
Programas que abren archivos ADS
Detalles técnicos
especificación profunda| Tipo de archivo | Fuente Ada en texto plano: la mitad de la especificación (interfaz) de un paquete Ada |
| Tipo MIME | text/x-ada (también aceptado como text/plain) |
| Codificación de texto | UTF-8 o ASCII; Latin-1 históricamente; codificación GNAT seleccionable mediante el modificador -gnatiX |
| Firma binaria | Ninguna (texto plano); identificado por la estructura de palabras clave de Ada (package <Nombre> is … end <Nombre>;) |
| Tamaño típico del archivo | 1 KB - 100 KB (solo declaraciones de especificación; los cuerpos residen en el .adb complementario) |
| Regla de nomenclatura GNAT | El nombre base debe coincidir con el nombre del paquete, en minúsculas y con los puntos reemplazados por guiones (ej. Ada.Containers se mapea a ada-containers.ads) |
| Estructura | Cláusulas de contexto with/use opcionales, seguidas de package <Nombre> is, declaraciones públicas, sección privada opcional, end <Nombre>; |
| Restricción de contenido | Solo declaraciones: tipos, subtipos, constantes, perfiles de subprogramas, genéricos; sin código ejecutable ni cuerpos |
| Modelo de visibilidad | Parte pública visible para todos los paquetes dependientes; sección privada accesible solo dentro del paquete y sus hijos |
| Dialecto del lenguaje | Ada 83 / 95 / 2005 / 2012 / 2022 seleccionado mediante modificadores GNAT -gnatXX o pragma Ada_XXXX en el código |
| Salida compilada | GNAT produce un archivo .ali (Ada Library Information) y un archivo objeto (.o) por cada par .ads/.adb compilado |
| Coordinación de construcción | El archivo de proyecto GNAT (.gpr) enumera las fuentes .ads y controla los interruptores de compilación por unidad |
| Soporte de plataformas | Multiplataforma: Linux, Windows, macOS y objetivos embebidos (VxWorks, RTEMS, bare-metal ARM, RISC-V) |
| Ecosistema de compiladores | GNAT (front-end GCC Ada, AdaCore), GNAT LLVM, PTC ObjectAda, Green Hills MULTI Ada |
| Lanzado | 1980 (Ada language); .ads/.adb naming from GNAT (early 1990s) |
| Última versión | Ada 2022 (ISO/IEC 8652:2023) |
| Estándar abierto | Sí · libre de regalías |
| Especificación | www.adaic.org |
Conversiones de ADS
Preguntas y respuestas de la comunidad
preguntado por usuariosAún no hay preguntas; sea el primero en preguntar sobre los archivos ADS.