Ada语言服务器 该存储库包含用于Ada / SPARK的实现。 当前功能： 支持。 名称，关键字，集合等的代码完成 代码导航，例如转到定义/声明，查找所有引用，呼叫层次结构等。 代码重构，如插入命名关联， with -clauses自动添加。 文档/工作区符号搜索。 代码折叠和格式化。 我们还在提供扩展并。 目录 安装 您可以从源代码安装或构建语言服务器。 要安装二进制映像，请下载与您的操作系统相对应的存档，然后将其解压缩到某处。 您会在解压后的文件夹中找到ada_langu