O que é o formato de ficheiro ADS?
Um arquivo .ads é uma especificação de pacote Ada - a metade da interface de um pacote Ada. Sob a convenção de nomenclatura do compilador GNAT (o padrão de fato em todo o ecossistema Ada), cada pacote Ada é dividido em dois arquivos: a especificação em .ads e o corpo da implementação em um arquivo .adb.
O arquivo .ads declara o que é publicamente visível para outras unidades de compilação: tipos, subtipos, constantes, assinaturas de subprogramas (perfis de procedimentos e funções), tipos de tarefas e parâmetros genéricos. Ele não contém código executável ou corpos de subprogramas - apenas as declarações que formam o contrato do qual outros pacotes dependem.
Sintaticamente, uma especificação abre com package <Name> is e fecha com end <Name>;. Cláusulas de contexto (instruções with e use) no topo listam os pacotes dos quais a especificação depende. Comentários em Ada começam com --.
O formato é texto simples UTF-8 (ou ASCII) com o tipo MIME text/x-ada. Não existem magic bytes; os arquivos são identificados por sua estrutura de origem Ada. O dialeto Ada em uso - Ada 83, 95, 2005, 2012 ou Ada 2022 (ISO/IEC 8652:2023) - é controlado por sinalizadores do compilador GNAT, como -gnat2022 ou um pragma Ada_2022 no nível da origem.
Arquivos .ads são abertos no GNAT Studio, Visual Studio Code com a extensão Ada/SPARK ou qualquer editor de texto simples. A toolchain GNAT os compila juntamente com seus corpos .adb; a coordenação da compilação é gerenciada por um arquivo de projeto .gpr.
Segurança e proteção
RISCO: LOWUm arquivo .ads é texto de origem Ada simples e não pode ser executado por si só, portanto, abrir um para leitura é seguro. Aplica-se a cautela normal para qualquer código-fonte: revise o código de fontes não confiáveis antes de compilar e executar, pois o projeto ao redor produzirá um executável. Não há DRM, criptografia ou manuseio especial - trate-o como qualquer arquivo de texto/código. Instale a toolchain GNAT apenas de fontes oficiais (AdaCore/GCC).
Detalhes do formato
em resumo- Arquivo de publicidade / serviço de anúncios - Alguns sistemas de anúncios e ferramentas relacionadas ao AdSense usam .ads para arquivos de conteúdo ou tags de anúncios; não relacionado ao código-fonte Ada.
- Exportação genérica de «livro de endereços» / configurações - Alguns programas legados salvam configurações ou dados de endereços com a extensão .ads; identifique pelo aplicativo de origem.
Programas que abrem arquivos ADS
Detalhes técnicos
especificação profunda| Tipo de arquivo | Código-fonte Ada em texto simples - a metade da especificação (interface) de um pacote Ada |
| Tipo MIME | text/x-ada (também aceito como text/plain) |
| Codificação de texto | UTF-8 ou ASCII; Latin-1 historicamente; codificação GNAT selecionável via sinalizador -gnatiX |
| Assinatura binária | Nenhuma - texto simples; identificado pela estrutura de palavras-chave Ada (package <Name> is … end <Name>;) |
| Tamanho típico do arquivo | 1 KB - 100 KB (apenas declarações de especificação; os corpos residem no .adb complementar) |
| Regra de nomenclatura GNAT | O nome base deve corresponder ao nome do pacote, em minúsculas com pontos substituídos por hifens - por exemplo, Ada.Containers mapeia para ada-containers.ads |
| Estrutura | Cláusulas de contexto with/use opcionais, seguidas por package <Name> is, declarações públicas, seção privada opcional, end <Name>; |
| Restrição de conteúdo | Apenas declarações - tipos, subtipos, constantes, perfis de subprogramas, genéricos; sem código executável ou corpos |
| Modelo de visibilidade | Parte pública visível para todos os pacotes dependentes; seção privada acessível apenas dentro do pacote e seus filhos |
| Dialeto da linguagem | Ada 83 / 95 / 2005 / 2012 / 2022 selecionado via sinalizadores GNAT -gnatXX ou pragma Ada_XXXX no código-fonte |
| Saída compilada | O GNAT produz um arquivo .ali (Ada Library Information) e um arquivo de objeto (.o) para cada par .ads/.adb compilado |
| Coordenação de compilação | O arquivo de Projeto GNAT (.gpr) lista as fontes .ads e controla as chaves de compilação por unidade |
| Suporte de plataforma | Multiplataforma: Linux, Windows, macOS e alvos embarcados (VxWorks, RTEMS, bare-metal ARM, RISC-V) |
| Ecossistema de compiladores | GNAT (front-end GCC Ada, AdaCore), GNAT LLVM, PTC ObjectAda, Green Hills MULTI Ada |
| Lançado | 1980 (Ada language); .ads/.adb naming from GNAT (early 1990s) |
| Versão mais recente | Ada 2022 (ISO/IEC 8652:2023) |
| Padrão aberto | Sim · livre de royalties |
| Especificação | www.adaic.org |
Conversões de ADS
Perguntas e Respostas da Comunidade
perguntado por usuáriosAinda não há perguntas - seja o primeiro a perguntar sobre arquivos ADS.