Marcin Kostrzewa
|
4b3943ce9b
|
Create a server instrument for language server <> runtime communications (#602)
|
2020-03-12 18:32:21 +01:00 |
|
Ara Adkins
|
ac5a9eb639
|
Add a --version flag to the cli (#584)
|
2020-03-09 13:44:40 +00:00 |
|
Łukasz Olczak
|
e5530045bf
|
text/openFile method (#575)
|
2020-03-06 15:17:46 +01:00 |
|
Łukasz Olczak
|
8bf56f5e6d
|
Artefact Builds for the Language Server (#566)
|
2020-03-03 14:11:42 +01:00 |
|
Marcin Kostrzewa
|
639c2aeceb
|
Json RPC improvements & basic server structure. (#522)
|
2020-02-21 12:35:14 +01:00 |
|
Dmitry Bushev
|
8d8e95e14a
|
Update to scala 2.13.1 (#481)
|
2020-02-13 14:33:39 +00:00 |
|
Marcin Kostrzewa
|
a2703bb296
|
Language Server files interface (#462)
|
2020-01-29 16:17:36 +01:00 |
|
Dmytro Mitin
|
3412606e2a
|
Subset of LSP - Part 1 (#453)
* Rename language-server -> runner, add language-server, gateway
* Add entry point --lsp
* Add Gateway, LanguageServer
* Add stab for Initialize
* Add stubs for Initialize, Initialized
* Add GatewayTest
* fix PR
* increase timeout
* merge with master
* fix compilation after merge
* reformat with scalafmt
* Add TODOs
* Add doc for gateway
* Update CONTRIBUTING.md
* Refactor code for PR
* Add Request#response(..)
* Make Initialize, Initialized extractor objects
* Refactor for -> map
* Fix docs
* Remove DerivationConfig
* Make Request, Notification polymorphic
* Add Param.Array, Params.Array
* Replace Decoder#apply -> tryDecode
* Refactor code
* Add docs
* Refactor code
* Refactor code
* Refactor code
* Make gateway a pure actor
* Add client capabilities
* Add server capabilities
* Add docs for capabilities
* Add docs
* Add docs
* Fix Server.Config
* Update doc for Server
* Add requests, notifications and params
* Improve PR
* Rename Protocol -> JsonRpcController
* Add docs
* Add requests and notifications
* Fix Result
* Add requests and notifications
* Add WillSaveTextDocumentWaitUntil request params and result
* Add params
* Add tests for requests
* Add textDocumentSync.willSaveWaitUntil server capability
* Handle text id
* Fix Edit workspace client capability
* Clean up
* Add initialize, initialized, shutdown, exit
* Add docs
* Fix identation
* Fix identation
* Refactor code
* Add docs
* Improve PR
* Add tests
* Fix docs for RequestExtractor
* Fix docs
|
2020-01-27 13:23:32 +02:00 |
|
Dmytro Mitin
|
498587e271
|
Stub Out Gateway and Language Server Akka Services, Implement a Starting Subset of LSP (beginning) (#418)
* Rename language-server -> runner, add language-server, gateway
* Add entry point --lsp
* Add Gateway, LanguageServer
* Add stab for Initialize
* Add stubs for Initialize, Initialized
* Add GatewayTest
* fix PR
* increase timeout
* merge with master
* fix compilation after merge
* reformat with scalafmt
* Add TODOs
* Add doc for gateway
* Update CONTRIBUTING.md
* Refactor code for PR
* Add Request#response(..)
* Make Initialize, Initialized extractor objects
* Refactor for -> map
* Fix docs
* Remove DerivationConfig
* Make Request, Notification polymorphic
* Add Param.Array, Params.Array
* Replace Decoder#apply -> tryDecode
* Refactor code
* Add docs
* Refactor code
* Refactor code
* Refactor code
* Make gateway a pure actor
* Add client capabilities
* Add server capabilities
* Add docs for capabilities
* Add docs
* Add docs
* Fix Server.Config
* Update doc for Server
* Improve PR
* Rename Protocol -> JsonRpcController
* Add docs
* Fix identation.
* Fix identation
* Fix identation
* Fix identation
* Fix docs
|
2020-01-17 17:35:44 +02:00 |
|