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

Current features:

• GNAT project files support.
• Code completion for names, keywords, aggregates, etc.
• Code navigation, such as Go to Definition/Declaration, Find All References, Call Hierarchies, etc.
• Code refactoring like insert named associations, auto-add with-clauses.
• Document/Workspace symbol search.
• Code folding and formatting.

We also provide Visual Studio Code extension at the Marketplace and the latest build as .vsix file.

• Install
  • Dependencies
• Usage
• Supported LSP Server Requests
  • General Requests
  • Workspace Requests
  • Synchronization Requests
  • Text Document Requests
  • Protocol extensions
• How to use the VScode extension
• Integration with LanguageClient-Neovim
• Integration with Neovim's built-in LSP client
• Integration with emacs lsp-mode
• Integration with QtCreator
• Authors & Contributors
• Contribute
• License

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.

To build the language server you need:

• A GNAT compiler
• Libadalang library (it should be built)
• The VSS library
• The a process spawn library

Project files of the libraries must be available via the GPR_PROJECT_PATH environment variable.

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

The ada_language_server doesn't require any command line options, but it understands these options:

• --tracefile=<FILE> - Full path to a file containing traces configuration
• --help - Display supported command like options and exit.

You can turn some debugging and experimental features trought the traces file.

The server also gets configuration via workspace/didChangeConfiguration notification. See more details here. Each LSP client provides its-own way to set such settings.

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

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 ALS via the .vscode/settings.json settings file. See the setting list here.

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
}

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. See the setting list here.

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.

Neovim 0.5.0 and later have a built-in LSP client which can be used with the Ada Language Server. In order to use it with minimal effort, follow these steps:

• Use your favorite Neovim plugin manager to add the default set of LSP configuration files to Neovim.
• (Optional) Run :LspInstall als to ask Neovim to install the Ada Language Server for you.
• Enable the Ada Language Server by adding :lua require('nvim_lsp').als.setup{} to your init.vim.

If you decided to install the Ada Language Server yourself instead of using :LspInstall als, you will need to specify a command:

require('nvim_lsp').als.setup{ cmd = "/path/to/als/executable" }

Configuring the language server's settings can be achieved like this:

require('nvim_lsp').als.setup{
  settings = {
    ada = {
      projectFile = "project.gpr";
      scenarioVariables = { ... };
    }
  }
}

See the setting list here.

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.

Starting with version 4.9, QtCreator supports a LSP plugin. Follow the official documentation to configure the Ada Language Server in this plugin. Make sure to set Startup behavior to Start Server per Project, otherwise QtCreator won't provide the project root to the Ada Language Server. QtCreator doesn't send any configuration request to the language server, so the only option to enable project support is to have a single .gpr file in the QtCreator project folder. For a projectless configuration, you could also place all Ada sources in the project root folder, this should work as well.

• Maintained by AdaCore.
• Original author @MaximReznik.
• Support for the Visual Studio Code classifier and snippets contributed by @Entomy.

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

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

GPL-3