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.

Debugging

You can activate traces that show all the server input/output. This is done by creating a file $HOME/.als/traces.cfg with the following contents:

ALS.IN=yes > inout.txt:buffer_size=0
ALS.OUT=yes > inout.txt:buffer_size=0

When this is present, the ALS will generate a file $HOME/.als/inout.txt which logs the input received and the output sent by the language server.

Testsuite

See more about the project testsuite in a separate document.

Supported LSP Server Requests

General Requests

Request	Supported	Notes
initialize	✅
initialized	✅
shutdown	✅
exit	✅
$/cancelRequest		Planned for 2020

Workspace Requests

Request	Supported
workspace/didChangeWorkspaceFolders
workspace/didChangeConfiguration	✅
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/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.

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,
}

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! Open an issue or submit PRs.

License

GPL-3