1. 首页
  2. 数据库
  3. 其它
  4. ada_language_server:服务器为Ada和SPARK实现Microsoft语言协议 源码

ada_language_server:服务器为Ada和SPARK实现Microsoft语言协议 源码

上传者: 2021-02-19 03:02:20上传 ZIP文件 976.73KB 热度 8次
Ada语言服务器 该存储库包含用于Ada / SPARK的实现。 当前功能: 支持。 名称,关键字,集合等的代码完成 代码导航,例如转到定义/声明,查找所有引用,呼叫层次结构等。 代码重构,如插入命名关联, with -clauses自动添加。 文档/工作区符号搜索。 代码折叠和格式化。 我们还在提供扩展并。 目录 安装 您可以从源代码安装或构建语言服务器。 要安装二进制映像,请下载与您的操作系统相对应的存档,然后将其解压缩到某处。 您会在解压后的文件夹中找到ada_language_server 。 我们为提供二进制文件 Linux 以 视窗64位元-采用 Mac OS
下载地址
用户评论