raesl.server
¶
Language server module impemented according to the Language Server Protocol.
Reference
cli
¶
ESL Language Server Command Line interface.
serve
¶
Start the ESL Language Server.
Source code in src/raesl/server/cli.py
config
¶
ESL Language Server config object.
EslConfig
¶
ESL workspace configuration.
Attributes:
Name | Type | Description |
---|---|---|
paths |
Optional[List[Path]]
|
ESL input paths derived from workspace config. |
output |
Optional[Path]
|
Graph output path derived from workspace config. |
Source code in src/raesl/server/config.py
get_paths
¶
Current set of ESL paths.
Source code in src/raesl/server/config.py
parse_config
¶
Parse workspace config.
Source code in src/raesl/server/config.py
server
¶
Language Server class module.
EslServer
¶
Bases: LanguageServer
ESL Language Server.
Source code in src/raesl/server/server.py
update_config
async
¶
Handle a config update request.
Source code in src/raesl/server/server.py
did_change_config
async
¶
did_change_config(
ls: EslServer, params: DidChangeConfigurationParams
)
Config changed handling.
Source code in src/raesl/server/server.py
did_change_watched
async
¶
did_change_watched(
ls: EslServer, params: DidChangeWatchedFilesParams
)
Changed watched files handling.
Source code in src/raesl/server/server.py
did_close
async
¶
did_close(
ls: EslServer, params: DidCloseTextDocumentParams
)
Closed document handling.
Source code in src/raesl/server/server.py
did_open
async
¶
did_open(ls: EslServer, params: DidOpenTextDocumentParams)
Opened document handling.
Source code in src/raesl/server/server.py
did_save
async
¶
did_save(ls: EslServer, params: DidSaveTextDocumentParams)
Saved document handling.