Setup Language Server#17

Merged

mjossdev merged 20 commits intomainfrom

language-server-setup

May 7, 2023

Commits on May 7, 2023

build(ls): initialized language server project

mjossdev
authored and
PascalHonegger
committed
build(ls): add lsp4j dependency

mjossdev
authored and
PascalHonegger
committed
feat(ls): create language server

mjossdev
authored and
PascalHonegger
committed
feat(ls): redirect logs to client

mjossdev
authored and
PascalHonegger
committed
feat(ls): implement exit

mjossdev
authored and
PascalHonegger
committed
feat(ls): remove untested server-port option

mjossdev
authored and
PascalHonegger
committed
feat(ide): add run config for remote debugging

mjossdev
authored and
PascalHonegger
committed
feat(ls): basic text document service

mjossdev
authored and
PascalHonegger
committed
feat(ls): show diagnostics via LSP
PascalHonegger
committed
feat(ci): release samt-ls.jar
PascalHonegger
committed
feat(ls): report diagnostics and keep up with changes

mjossdev
authored and
PascalHonegger
committed
fix(ls): if a workspace contains nested folders, only use the outermost one

mjossdev
authored and
PascalHonegger
committed
refactor(common): use URI instead of String for paths
PascalHonegger
committed
feat(common): ensure .samt directory is never read as a file
PascalHonegger
committed
feat(cli): add more tests for ASTPrinter
PascalHonegger
committed
feat(parser): make name accessible in base import node
PascalHonegger
committed
feat(common): use `||` instead of `or`
PascalHonegger
committed
feat(semantic): AST node for constraint should be whole constraint and not just the argument
PascalHonegger
committed
feat(ls): only look for single workspace as same file shouldn't exist in multiple workspaces
PascalHonegger
committed
fix(ci): satisfy Qodana
mjossdev
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Setup Language Server#17

Setup Language Server#17
mjossdev merged 20 commits intomainfrom
language-server-setup

Commits on May 7, 2023

build(ls): initialized language server project

build(ls): add lsp4j dependency

feat(ls): create language server

feat(ls): redirect logs to client

feat(ls): implement exit

feat(ls): remove untested server-port option

feat(ide): add run config for remote debugging

feat(ls): basic text document service

feat(ls): show diagnostics via LSP

feat(ci): release samt-ls.jar

feat(ls): report diagnostics and keep up with changes

fix(ls): if a workspace contains nested folders, only use the outermost one

refactor(common): use URI instead of String for paths

feat(common): ensure .samt directory is never read as a file

feat(cli): add more tests for ASTPrinter

feat(parser): make name accessible in base import node

feat(common): use `||` instead of `or`

feat(semantic): AST node for constraint should be whole constraint and not just the argument

feat(ls): only look for single workspace as same file shouldn't exist in multiple workspaces

fix(ci): satisfy Qodana