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: