Ada Language Server

This repository contains a prototype implementation of the Microsoft Language Server Protocol for Ada/SPARK.

Current features:

GNAT project files
Code completion
Go to definition
Find corresponding references
Document symbol search

We also provide Visual Studio Code extension as .vsix file.

Install

You can install binary image or build language server from sources.

To install binary image download an archive corresponding to your OS and unpack it somewhere. You will find ada_language_server inside unpacked folder. We provide binaries for

Linux x86_64 - take linux.tar.gz
Window 64 bit - take win32.zip
Mac OS X - take darwin.tar.gz

To build is from source install dependencies and run

make

It will build .obj/server/ada_language_server file.

Dependencies

To build the language server you need at least a version of the GNAT compiler, and the Libadalang library to be built and available via the GPR_PROJECT_PATH.

To run the language server you need gnatls (parts of GNAT installation) somewhere in the path.

Usage

The ada_language_server doesn't require/understand any command line options.

Supported LSP Server Requests

General Requests

Request	Supported
`initialize`	✅
`initialized`	✅
`shutdown`	✅
`exit`	✅
`$/cancelRequest`	✅

Workspace Requests

Request	Supported
`workspace/didChangeWorkspaceFolders`
`workspace/didChangeConfiguration`	✅
`workspace/didChangeWorkspaceFolders`
`workspace/didChangeWatchedFiles`
`workspace/symbol`
`workspace/executeCommand`

Synchronization Requests

Request	Supported
`textDocument/didOpen`	✅
`textDocument/didChange`	✅
`textDocument/willSave`
`textDocument/willSaveWaitUntil`
`textDocument/didSave`
`textDocument/didClose`	✅

Text Document Requests

Request	Supported
`textDocument/completion`	✅
`completionItem/resolve`
`textDocument/hover`	✅
`textDocument/signatureHelp`
`textDocument/definition`	✅
`textDocument/declaration`	✅
`textDocument/typeDefinition`	✅
`textDocument/implementation`	✅
`textDocument/references`	✅
`textDocument/documentHighlight`
`textDocument/documentSymbol`	✅
`textDocument/codeAction`
`textDocument/codeLens`
`codeLens/resolve`
`textDocument/documentLink`
`documentLink/resolve`
`textDocument/documentColor`
`textDocument/colorPresentation`
`textDocument/formatting`
`textDocument/rangeFormatting`
`textDocument/onTypeFormatting`
`textDocument/rename`	✅
`textDocument/prepareRename`
`textDocument/foldingRange`

Protocol extensions

The Ada Language Server supports some features that are not in the official Language Server Protocol specification. See corresponding document.

How to use the VScode extension

For the moment, this repository includes a vscode extension that is used as the reference extension for this implementation.

You can try it by running:

code --extensionDevelopmentPath=<path_to_this_repo>/integration/vscode/ada <workspace directory>

You can configure the GNAT Project File and scenario variables via the .vscode/settings.json settings file, via the keys "ada.projectFile" and "ada.scenarioVariables".

You can set the character set to use when the server has to use when reading files from disk by specifying an "ada.defaultCharset" key. The default is iso-8859-1.

You can explicitly deactivate the emission of diagnostics, via the "ada.enableDiagnostics" key. By default, diagnostics are enabled.

The language server is able to edit Ada comments while executing textDocument/rename request. To enable this just set ada.renameInComments setting to true.

By default, the server indexes the source files after loading a project, to speed up subsequent requests. This behavior can be controlled via the "ada.enableIndexing" flag in this request.

Here is an example config file from the gnatcov project:

{
    "ada.projectFile": "gnatcov.gpr",
    "ada.scenarioVariables": {
        "BINUTILS_BUILD_DIR": "/null",
        "BINUTILS_SRC_DIR": "/null"
    },
   "ada.defaultCharset": "utf-8",
   "ada.enableDiagnostics": false,
   "ada.renameInComments": false
}

Integration with LanguageClient-Neovim

If you want to integrate the Ada Language Server into Neovim, you can use the LanguageClient-neovim.

You'll have to install the Ada Language Server manually somewhere on your computer, and then you can add the following line to your init.vim file:

" replace the path below with the proper path to the ada_language_server executable
let g:LanguageClient_serverCommands = {
    \ 'ada': ['path/to/ada_language_server'],
    \ }
" if you already have LanguageClient_serverCommands, just add a line for ada.

To configure the Ada Language Server for a specific workspace/project, you can use the .vim/settings.json file. It is mandatory as soon as you want to use a specific .gpr project file.

This is the way to specify a project file, eg. you cannot open a project file another way.

Here is an example of a settings file:

{
    "ada.projectFile": "project.gpr",
    "ada.scenarioVariables": {
        "GLFW_Version": "3",
        "GLFW_Lib": "-lglfw",
        "Windowing_System": "x11"
    }
}

The location where the .vim folder is located will determine the relative path of the project file (so no need to prefix with ..). When vim is opened in the folder containing this .vim directory, it will use those settings for the language server even for files which might have nothing to do with that specific project, so this needs to be taken into account. Ultimately what this means is that the configuration is determined by where you open vim.

Integration with emacs lsp-mode

The configuration for each project can be provided using a .dir-locals.el file defined at the root of each project.

The scenario variables should be declared in your .emacs or any loaded Emacs configuration file.

(defgroup project-build nil
  "LSP options for Project"
  :group 'ada-mode)

(defcustom project-build-type "Debug"
  "Controls the type of build of a project.
   Default is Debug, other choices are Release and Coverage."
  :type '(choice
          (const "Debug")
          (const "Coverage")
          (const "Release"))
  :group 'project-build)

Your .dir-locals.el in the project root should be similar to:

((ada-mode .
  ((eval . (lsp-register-custom-settings
      '(("ada.scenarioVariables.BINUTILS_SRC_DIR" project-binutils-dir)
        ("ada.scenarioVariables.BUILD_TYPE" project-build-type "Release"))))
   (lsp-ada-project-file . "/home/username/project/project.gpr"))
  ))

The lsp-mode provides built-in support for the ada_language_server and defines default customizable configuration values in the lsp-ada group that can be edited similarly to lsp-ada-project-file in the example above.

Maintainer

@MaximReznik.

Contribute

Feel free to dive in! Read the developer's guide.

Don't hesitate to open an issue or submit PRs.

License

GPL-3

annexi-strayline/ada_language_server