You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The language server protocol (LSP), specified by VS Code team, promises uniform API to support multiple languages and code editors that support LSP. Implementing language server will let us implement integration with predicate linter for once and use the functionality (with minimal update) to support other code editors that support LSP besides VS Code.
The text was updated successfully, but these errors were encountered:
Implements working integration of VS Code extension + Language Server + Predicate linter.
See #71 for more details on LSP servers.
## Details:
### LSP server(`predicate-lsp-server`):
- Implements LSP server with diagnostic API.
- Diagnostic data are populated using results from `$ predicate linter ...`. Node `child_process` is used to invoke
### Predicate CLI.
- Works when policy file is opened or saved.
### VS Code extension:
- Implements LSP client.
Demo:
https://user-images.githubusercontent.com/10177602/211304158-b3646754-6082-45da-8163-ed8d307867be.mp4
What
Implement language server for predicate.
Why
The language server protocol (LSP), specified by VS Code team, promises uniform API to support multiple languages and code editors that support LSP. Implementing language server will let us implement integration with predicate linter for once and use the functionality (with minimal update) to support other code editors that support LSP besides VS Code.
The text was updated successfully, but these errors were encountered: