Skip to content

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.



Last update: February 3, 2023