GE Smallworld Magik#
Server#
For more information about the LSP server, check magik-language-server.
Installation#
This Server supports automatic install.
Install this language server with M-xlsp-install-serverRETmagik-lsRET.
Automatic by lsp-mode withlsp-install-server``
Debugger: Yes#
Available configurations#
lsp-magik-download-url-lsp#
Type: string
Default: https://github.com/StevenLooman/magik-tools/releases/download/0.6.0/magik-language-server-0.6.0.jar
URL of LSP server to download.
lsp-magik-java-home#
Type: string
Default: nil
Path to Java Runtime, Java 11 minimum.
lsp-magik-java-path#
Type: string
Default: java
Path of the java executable.
lsp-magik-lint-override-config-file#
Type: string
Default: nil
Override path to magiklintrc.properties.
lsp-magik-ls-path#
Type: string
Default: /home/runner/.emacs.d/.cache/lsp/magik-ls/magik-language-server-0.6.0.jar
Path of the language server.
lsp-magik-smallworld-gis#
Type: string
Default: nil
Path to Smallworld Core.
lsp-magik-trace-server#
Type: (choice (const off) (const message) (const verbose))
Default: off
Traces the communication between VS Code and the Magik language server.
lsp-magik-typing-enable-checks#
Type: boolean
Default: nil
Enable typing checks.
lsp-magik-typing-type-database-paths#
Type: lsp-string-vector
Default: []
Paths to type databases.
lsp-magik-version#
Type: string
Default: 0.6.0
Version of LSP server.