lsprotocol_server_capabilities_and_initialize_result_quickstart.py

1import lsprotocol.types as lsp
2
3# Define a set of server capabilities using the lsprotocol types
4capabilities = lsp.ServerCapabilities(
5    text_document_sync=lsp.TextDocumentSyncOptions(
6        open_close=True,
7        change=lsp.TextDocumentSyncKind.Incremental,
8    ),
9    completion_provider=lsp.CompletionOptions(
10        resolve_provider=True,
11        trigger_characters=['.']
12    ),
13    hover_provider=True,
14)
15
16# Example of creating an InitializeResult to send back to a client
17initialize_result = lsp.InitializeResult(
18    capabilities=capabilities,
19    server_info=lsp.InitializeResultServerInfoType(
20        name="Example LSP Server",
21        version="0.1.0"
22    )
23)
24
25# Accessing properties with type safety
26print(f"Server Name: {initialize_result.server_info.name}")
27print(f"Sync Kind: {initialize_result.capabilities.text_document_sync.change}")