Querying 'textDocument/definition' on a source file mention
in a GPR file (e.g: 'for Main use ("main.adb")' now opens
the mentioned source file.
For eng/ide/ada_language_server#1733
When the client supports it, which is the case of
VS Code.
In addition display the symbol's fully qualified
name at the top of the 'details' field.
Tests have been adapted accordingly.
For eng/ide/ada_language_server#1734
For tool switches completion.
Adapt the Python script to handle more switches formats
(e.g: switches with a short and long version, like '-v,
--verbose').
For eng/ide/ada_language_server#1741
If the client supports it, which is the case of VS Code.
labelDetails are displayed in gray, next to the completion
item's label: displaying the doc here gives a preview to
the user, which is particularly useful when trying to
understand what the selected switch is doing.
Add a test.
For eng/ide/ada_language_server#1741
* Trigger it only if 'use' has been specified after
Default_Switches or Switches
* Handle concatenation constructs
(e.g: 'for Default_Switches ("ada") use Var1 & Var2 & (')
* Add more tests
For eng/ide/ada_language_server#1741
The database is created via a Python script that parses the
--help output of tools, and encapsulates it in a JSON-structured
string database in Ada.
The GPR file parser has been modified to handle completion for
the Default_Switches and Switches attributes inside packages,
and propose completion when available.
For eng/ide/ada_language_server#1741
