Remote IDE services #856
Remote IDE services #856
Conversation
…ed references in imports
…ITerminalIDEServer altogether
rodinaarssen
force-pushed
the
remote-ideservices
branch
from
18a8e30 to
0efa621
Compare
rodinaarssen
force-pushed
the
remote-ideservices
branch
from
0efa621 to
4002f2f
Compare
DavyLandman
left a comment
DavyLandman
left a comment
There was a problem hiding this comment.
Some small fixes, but looks good.
rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/RascalInterface.java
Outdated
Show resolved
Hide resolved
rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/terminal/RemoteIDEServicesServer.java
Show resolved
Hide resolved
rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/terminal/RemoteIDEServicesServer.java
Outdated
Show resolved
Hide resolved
rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/terminal/RemoteIDEServicesThread.java
Show resolved
Hide resolved
rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/terminal/RemoteIDEServicesThread.java
Show resolved
Hide resolved
rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/BaseLanguageServer.java
Outdated
Show resolved
Hide resolved
rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/BaseLanguageServer.java
Outdated
Show resolved
Hide resolved
rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/IBaseLanguageClient.java
Outdated
Show resolved
Hide resolved
rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/IBaseLanguageServerExtensions.java
Outdated
Show resolved
Hide resolved
rascal-lsp/src/main/java/org/rascalmpl/vscode/lsp/parametric/RascalInterface.java
Show resolved
Hide resolved
…d interface on the TS side
|
|
@rodinaarssen @DavyLandman What is this PR? "Remote IDE services" sounds interesting, but I can't tell if it really is interesting 😝 |
This is part of a large project where we want to disconnect the version of the Rascasl REPL from the rascal version in the VS Code extension. Right now you always get the packaged rascal version. But we're working towards a setup where the extension respects your pom.xml. Read more about it here: usethesource/rascal#2171 But to enable that we've had to disconnect some hard dependencies in the REPL. One of the last ones (only VFS is remaining) was this IDE Service, that now instead of being a java connection between the REPL & rascal-lsp server, it's now a jsonrcp connection. I think in summary: not so interesting, mainly internal engineering to prepare for a future where we can do more interesting stuff such as upgrading the vs code extension without forcing the users to also upgrade their rascal version. |
4 participants
No description provided.