Skip to content

Latest commit

 

History

History
266 lines (202 loc) · 8.07 KB

settings.md

File metadata and controls

266 lines (202 loc) · 8.07 KB
Raw

Ada Language Server configuration

The ALS reads initial configuration from the initializationOptions property of the initialize request (if any) and then updates the configuration with each workspace/didChangeConfiguration notification.

In the context of Visual Studio Code, configuration settings can be set in the workspace settings.json file or the multi-root workspace file by prefixing each setting name with ada., e.g.

{
   "ada.projectFile": "right_project.gpr",
   "ada.scenarioVariables": {
       "LIBRARY_TYPE": "static"
   },
   "ada.onTypeFormatting.indentOnly": true
}

At the protocol level, any setting in workspace/didChangeConfiguration should be inside an ada JSON object, while there is no such wrapping object for initializationOptions. On the protocol level messages look like:

{
    "jsonrpc": "2.0",
    "id": 123,
    "method": "initialize",
    "params": {
        "initializationOptions": {
            "projectFile": "right_project.gpr"
        },
        ...
    }
}

{
    "jsonrpc": "2.0",
    "method": "workspace/didChangeConfiguration",
    "params": {
       "settings": {
          "ada": {
             "projectFile": "right_project.gpr"
          }
       }
    }
}

Ada Language Server understands these settings:

projectFile

You can configure the GNAT Project File via the projectFile key. The setting has a string value, that points to the .gpr file. It could be a full path or relative path. It could be prefixed with file: schema. If no project provided and there is a single project file in the root folder, then ALS will use it.

    'projectFile': 'gnat/lsp_server.gpr'

scenarioVariables

You can configure scenario variables via the scenarioVariables key. The setting has an object value. Keys in this object correspond to scenario variables names and string values to variables values.

    'scenarioVariables': {
        'BUILD_MODE': 'DEBUG'
    }

defaultCharset

You can set the character set to use when the server has to use when reading files from disk by specifying an defaultCharset key. The default is iso-8859-1. This should have a string value.

    'defaultCharset': 'UTF-8'

relocateBuildTree

With this option it is possible to achieve out-of-tree build. That is, real object, library or exec directories are relocated to the current working directory or dir if specified. Ensure that it is full normalized path ended with the directory separator. Visit the gprbuild documentation for more details about the corresponding gprbuild switch.

    'relocateBuildTree': '/home/user/project/build/'

rootDir

This option is to be used with relocateBuildTree above and cannot be specified alone. This option specifies the root directory for artifacts for proper relocation. Ensure that it is full normalized path ended with the directory separator. Visit the gprbuild documentation for more details about the corresponding gprbuild switch.

    'relocateBuildTree': '/home/user/project/'

enableDiagnostics

You can explicitly deactivate the emission of diagnostics, via the enableDiagnostics key. By default, diagnostics are enabled. The value is a boolean.

    'enableDiagnostics': false

enableIndexing

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

    'enableIndexing': false

renameInComments

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

    'renameInComments': false

useCompletionSnippets

Whether we should use snippets in completion results. Snippets can be returned in case of subprogram calls for instance, with placeholders for each parameter needed by the subprogram. The value is a boolean.

    'useCompletionSnippets': true

displayMethodAncestryOnNavigation

This setting controls the policy for displaying overriding and overridden subprograms on navigation requests such as textDocument/definition, textDocument/declaration or textDocument/implementation.

The different policies are:

  • never: Never list overridding and/or overridden suprograms.
  • usage_and_abstract_only: List overridding and/or overridden suprograms on dispatching calls and on abstract subprogram declarations.
  • definition_only: List overridding and/or overridden suprograms on declarations only.
  • always: Always list overridding and/or overridden suprograms when possible.
    'displayMethodAncestryOnNavigation': 'always'

namedNotationThreshold

This setting defines the number of parameters/components at which point named notation is used for subprogram/aggregate completion snippets. The value is a number. The default value is 3.

    'namedNotationThreshold': 2

foldComments

When this setting is true the server sends blocks information for comments which can be used for folding comment blocks. The value is a boolean. The default is true.

    'foldComments': false

followSymlinks

When this setting is false the server doesn't do any attempts to normalize file names sent by a client. This means that symlinks stay unresolved and character case is unchanged (on case insensitive file systems). This setting mainly is for the GNAT Studio integration. The value is a boolean. The default is true.

    'followSymlinks': false

documentationStyle

The language server supports different styles to document entities in the source code. This setting controls primary documentation style of entities. When documentation for the entity is not found, the language server uses a few mechanisms to find the best fallback (lookup for comments before/after entity declaration, extract documentation from subprogram's body, etc.)

Supported styles are:

  • gnat: Default style, based on GNAT coding standard with some enhancements.
  • leading: Documentation for the entities extracted from the comments before the entity declaration.

For more information about documentation styles see GNATdoc User's Manual.

    'documentationStyle': 'gnat'

trace.server

This option controls the tracing of the communication between VS Code and the Ada language server. It causes the client to trace each message sent and received to/from the Ada language server in the Ada Language Server Output view.

The possible values are:

  • off: no tracing.
  • messages: brief traces are emitted for each request sent and each response received.
  • verbose: verbose traces are emitted for each request sent and each response received, including the message content.

On the server side this option does not trigger any additional logging.

An equivalent setting gpr.trace.server exists for tracing the communcation between VS Code and the GPR language server.

onTypeFormatting.indentOnly

This option controls if the textDocument/onTypeFormatting request only indents a new line, or if it additionally tries to format the previous node. By default, this option is enabled, that is, textDocument/onTypeFormatting only indents new lines.