openpectus.aggregator.routers.lsp

Attributes

logger
router

Functions

get_registered_engine_data_or_fail(engine_id, agg)
get_pcode_language_configuration()
get_pcode_tm_grammar(engine_id[, agg])
lsp_server_endpoint(websocket)

Module Contents

openpectus.aggregator.routers.lsp.logger

openpectus.aggregator.routers.lsp.router

openpectus.aggregator.routers.lsp.get_registered_engine_data_or_fail(engine_id, agg)

Parameters:

• engine_id (str)

• agg (openpectus.aggregator.aggregator.Aggregator)

Return type:

openpectus.aggregator.models.EngineData

openpectus.aggregator.routers.lsp.get_pcode_language_configuration()

openpectus.aggregator.routers.lsp.get_pcode_tm_grammar(engine_id, agg=Depends(agg_deps.get_aggregator))

Parameters:

• engine_id (str)

• agg (openpectus.aggregator.aggregator.Aggregator)

async openpectus.aggregator.routers.lsp.lsp_server_endpoint(websocket)

Parameters:

websocket (fastapi.WebSocket)