Sublime如何配置Ada语言语法支持？（高可靠系统开发）

安装ada插件后需手动绑定.adb/.ads文件关联至ada语法，否则显示纯文本；编译需额外配置gnat构建系统；gnatchop/gnatpp需外部集成；sublime无语义分析能力，补全仅限关键词。

安装 Ada 语法包后仍显示纯文本

Sublime 默认不带 Ada 支持，装完插件却没高亮，大概率是文件关联没生效。不是插件坏了，而是 sublime-text 没把 .adb 或 .ads 后缀和 Ada 语法绑定。

• 手动触发：打开一个 .adb 文件 → 点右下角当前语法名（比如 “Plain Text”）→ 选 Ada
• 永久绑定：菜单栏 View → Syntax → Open all with current extension as… → Ada，这样以后所有 .adb 都自动用 Ada 语法
• 注意：部分 Ada 插件（如 Ada Language Support）安装后不会自动注册文件类型，必须走上面两步之一

使用 ada_language_support 插件报 No build system found

这个错误不是语法问题，而是你点了 Ctrl+B 想编译，但 Sublime 根本没配 Ada 构建系统。语法高亮和编译是两件事，插件只管前者。

• 确认已安装 gnat：终端跑 gnat --version，没输出就先装 GNAT 编译器（推荐 libregeode 或 gcc-ada 包）
• 在 Sublime 中新建构建系统：Tools → Build System → New Build System，贴入：

{   "cmd": ["gnat", "make", "$file_base_name"],   "file_regex": "^(..[^:]*):([0-9]+):([0-9]+):? (.*)$",   "working_dir": "$file_path",   "selector": "source.ada" }

• 保存为 Ada.sublime-build，再在 Tools → Build System 里选它
• 路径中不能有中文或空格，否则 gnat make 会静默失败

高可靠场景下，gnatchop 和 gnatpp 怎么集成进工作流

航天/轨交类 Ada 项目常要求源文件严格按规范切分（gnatchop）和格式统一（gnatpp），但 Sublime 不原生支持。得靠自定义命令或外部工具链配合。

• gnatchop 适合预处理：把单个大文件拆成标准 .ads/.adb，建议在提交前手动跑一次，别塞进构建系统——它不生成可执行文件，塞进去反而干扰编译流程
• gnatpp 可作为保存钩子：用 SublimeOnSave 插件 + shell 命令，但注意它默认覆盖原文件，务必先备份或加 -r 参数生成新文件
• 关键限制：gnatpp 对泛型包、任务体等复杂结构的格式化结果可能和 DO-178C 工具链不一致，别直接用于认证代码生成阶段

为什么 with 语句不提示、use 后类型不补全

Sublime 是纯文本编辑器，没有 Ada 编译器那样的符号表解析能力。所谓“智能提示”，本质是正则匹配或简单词典查表，对依赖分析、作用域嵌套、泛型实例化完全无感。

• 所有 Ada 插件的补全都基于静态关键词（procedure、task 等），不识别用户定义的包名或类型名
• 想获得真实语义级提示，必须换用 GNAT Studio 或 VS Code + ada_language_server；Sublime 里硬上只会误补、漏补
• 如果坚持用 Sublime，建议把常用包名加到 Preferences → Settings – User 的 auto_complete_triggers 里，至少能快速打出 Ada.Text_IO

真正在做 DO-178B/C 或 IEC 61508 项目时，语法高亮只是起点，类型检查、跨文件引用、运行时堆栈映射这些，Sublime 做不了也不该让它做。