vdmj

plugins.lsp.servers.vdmj.enable

Whether to enable https://github.com/nickbattle/vdmj

The VDMJ language server can be installed by cloning the VDMJ repository and running mvn clean install.

Various options are provided to configure the language server (see below). In particular:

  • annotation_paths is a list of folders and/or jar file paths for annotations that should be used with the language server;
  • any value of debugger_port less than zero will disable the debugger; note that if a non-zero value is used, only one instance of the server can be active at a time.

More settings for VDMJ can be changed in a file called vdmj.properties under root_dir/.vscode. For a description of the available settings, see Section 7 of the VDMJ User Guide.

Note: proof obligations and combinatorial testing are not currently supported by neovim. .

Type: boolean

Default: false

Example: true

Declared by:

plugins.lsp.servers.vdmj.package

The package to use for vdmj. Has no default, but can be set to null.

Type: null or package

Declared by:

plugins.lsp.servers.vdmj.autostart

Controls if the FileType autocommand that launches a language server is created. If false, allows for deferring language servers until manually launched with :LspStart (|lspconfig-commands|).

Type: null or boolean or raw lua code

Default: null

Plugin default: true

Declared by:

plugins.lsp.servers.vdmj.cmd

A list where each entry corresponds to the blankspace delimited part of the command that launches the server.

The first entry is the binary used to run the language server. Additional entries are passed as arguments.

Type: null or (list of string)

Default: null

Declared by:

plugins.lsp.servers.vdmj.extraOptions

Extra options for the vdmj language server.

Type: attribute set of anything

Default: { }

Declared by:

plugins.lsp.servers.vdmj.filetypes

Set of filetypes for which to attempt to resolve {root_dir}. May be empty, or server may specify a default value.

Type: null or (list of string)

Default: null

Declared by:

plugins.lsp.servers.vdmj.rootDir

A function (or function handle) which returns the root of the project used to determine if lspconfig should launch a new language server, or attach a previously launched server when you open a new buffer matching the filetype of the server.

Type: null or lua function string

Default: null

Plugin default: "nil"

Declared by:

plugins.lsp.servers.vdmj.settings

The settings for this LSP.

Type: attribute set of anything

Default: { }

Example:

{
  callback = {
    __raw = ''
      function()
        print('nixvim')
      end
    '';
  };
  foo_bar = 42;
  hostname = "localhost:8080";
}

Declared by: