|
8 | 8 | [](https://gitpod.io/#https://github.com/AdaCore/ada_language_server/tree/edge)
|
9 | 9 |
|
10 | 10 | This repository contains an implementation of the [Microsoft Language Server Protocol](https://microsoft.github.io/language-server-protocol/)
|
11 |
| -for Ada/SPARK. |
| 11 | +for Ada/SPARK and GPR project files. |
12 | 12 |
|
13 |
| -Current features: |
| 13 | +Current features (general): |
14 | 14 |
|
15 | 15 | * [GNAT project files](https://docs.adacore.com/gprbuild-docs/html/gprbuild_ug/gnat_project_manager.html) support.
|
16 | 16 | * Basic [Alire](https://alire.ada.dev/) support.
|
| 17 | + |
| 18 | +For Ada/SPARK, we provide the following: |
| 19 | + |
17 | 20 | * Code completion for names, keywords, aggregates, etc.
|
18 | 21 | * Code navigation, such as Go to Definition/Declaration, Find All References, Call Hierarchies, etc.
|
19 | 22 | * [Code refactoring](#refactoring-tools) like insert named associations, auto-add `with`-clauses, etc.
|
20 | 23 | * Document/Workspace symbol search.
|
21 | 24 | * Code folding and formatting.
|
22 | 25 |
|
| 26 | +The Ada Language Server now also supports the GPR language, via the |
| 27 | +`--language-gpr` option, providing support for the most used LSP features |
| 28 | +such as navigation, outline and tooltips for GPR files. When this switch is |
| 29 | +present, the server will only support GPR files. To support both GPR and |
| 30 | +Ada/SPARK, you'll need to launch two instances of the server. |
| 31 | +You can refer to the [Supported LSP Server Requests](#supported-lsp-server-requests) |
| 32 | +section for more information. |
| 33 | + |
23 | 34 | We also provide [Visual Studio Code](https://code.visualstudio.com/)
|
24 | 35 | extension at
|
25 | 36 | [the VS Marketplace](https://marketplace.visualstudio.com/items?itemName=AdaCore.ada) and at
|
|
0 commit comments