jaclang 0.8.6__py3-none-any.whl → 0.8.8__py3-none-any.whl

jaclang/langserve/dev_server.jac

@@ -1,201 +0,0 @@
-"""Jaclang Language Server."""
-
-import from typing { Optional }
-
-import from jaclang.compiler.constant {
-    JacSemTokenModifier as SemTokMod,
-    JacSemTokenType as SemTokType
-}
-
-import from dev_engine { JacLangServer }
-import from jaclang.settings { settings }
-
-import lsprotocol.types as lspt;
-
-
-with entry {
-    server = JacLangServer();
-}
-
-
-"""Check syntax on change."""
-@server.feature(lspt.TEXT_DOCUMENT_DID_OPEN)
-async def did_open(ls: JacLangServerV2, params: lspt.DidOpenTextDocumentParams) -> None {
-    await ls.launch_deep_check(params.text_document.uri);
-    ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
-}
-
-
-"""Check syntax on change."""
-@server.feature(lspt.TEXT_DOCUMENT_DID_SAVE)
-async def did_save(ls: JacLangServerV2, params: lspt.DidOpenTextDocumentParams) -> None {
-    file_path = params.text_document.uri;
-    quick_check_passed = await ls.launch_quick_check(file_path);
-    if not quick_check_passed {
-        return;
-    }
-    await ls.launch_deep_check(file_path);
-    ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
-}
-
-
-"""Check syntax on change."""
-@server.feature(lspt.TEXT_DOCUMENT_DID_CHANGE)
-async def did_change(
-    ls: JacLangServerV2,
-    params: lspt.DidChangeTextDocumentParams
-) -> None {
-    file_path = params.text_document.uri;
-    quick_check_passed = await ls.launch_quick_check(file_path);
-
-    if quick_check_passed {
-        document = ls.workspace.get_text_document(file_path);
-        lines = document.source.splitlines();
-        sem_manager = ls.sem_managers[file_path.removeprefix('file://')];
-        sem_manager.update_sem_tokens(
-            params,sem_manager.sem_tokens,lines
-        );
-        ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
-        await ls.launch_deep_check(file_path);
-        ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
-    }
-}
-
-
-"""Format the given document."""
-@server.feature(lspt.TEXT_DOCUMENT_FORMATTING)
-def formatting(
-    ls: JacLangServerV2,
-    params: lspt.DocumentFormattingParams
-) -> list[lspt.TextEdit] {
-    return ls.formatted_jac(params.text_document.uri);
-}
-
-
-"""Check syntax on file creation."""
-@server.feature(
-    lspt.WORKSPACE_DID_CREATE_FILES,
-    lspt.FileOperationRegistrationOptions(
-        filters=[lspt.FileOperationFilter(pattern=lspt.FileOperationPattern('**/*.jac'))]
-    )
-)
-def did_create_files(ls: JacLangServerV2, params: lspt.CreateFilesParams) -> None {}
-
-
-"""Check syntax on file rename."""
-@server.feature(
-    lspt.WORKSPACE_DID_RENAME_FILES,
-    lspt.FileOperationRegistrationOptions(
-        filters=[lspt.FileOperationFilter(pattern=lspt.FileOperationPattern('**/*.jac'))]
-    )
-)
-def did_rename_files(ls: JacLangServerV2, params: lspt.RenameFilesParams) -> None {
-    new_uris = [ file.new_uri for file in params.files ];
-    old_uris = [ file.old_uri for file in params.files ];
-    for i in range(len(new_uris)) {
-        ls.rename_module(old_uris[i], new_uris[i]);
-    }
-}
-
-
-"""Check syntax on file delete."""
-@server.feature(
-    lspt.WORKSPACE_DID_DELETE_FILES,
-    lspt.FileOperationRegistrationOptions(
-        filters=[lspt.FileOperationFilter(pattern=lspt.FileOperationPattern('**/*.jac'))]
-    )
-)
-def did_delete_files(ls: JacLangServerV2, params: lspt.DeleteFilesParams) -> None {
-    for file in params.files {
-        ls.delete_module(file.uri);
-    }
-}
-
-
-"""Provide completion."""
-@server.feature(
-    lspt.TEXT_DOCUMENT_COMPLETION,
-    lspt.CompletionOptions(trigger_characters=['.', ':', 'a-zA-Z0-9'])
-)
-def completion(ls: JacLangServerV2, params: lspt.CompletionParams) -> lspt.CompletionList {
-    return ls.get_completion(
-        params.text_document.uri,
-        params.position,
-        params.context.trigger_character if params.context else None
-    );
-}
-
-
-"""Provide hover information for the given hover request."""
-@server.feature(lspt.TEXT_DOCUMENT_HOVER, lspt.HoverOptions(work_done_progress=True))
-def hover(
-    ls: JacLangServerV2,
-    params: lspt.TextDocumentPositionParams
-) -> Optional[lspt.Hover] {
-    return ls.get_hover_info(params.text_document.uri, params.position);
-}
-
-
-"""Provide document symbols."""
-@server.feature(lspt.TEXT_DOCUMENT_DOCUMENT_SYMBOL)
-def document_symbol(
-    ls: JacLangServerV2,
-    params: lspt.DocumentSymbolParams
-) -> list[lspt.DocumentSymbol] {
-    return ls.get_outline(params.text_document.uri);
-}
-
-
-"""Provide definition."""
-@server.feature(lspt.TEXT_DOCUMENT_DEFINITION)
-def definition(
-    ls: JacLangServerV2,
-    params: lspt.TextDocumentPositionParams
-) -> Optional[lspt.Location] {
-    return ls.get_definition(params.text_document.uri, params.position);
-}
-
-
-"""Provide references."""
-@server.feature(lspt.TEXT_DOCUMENT_REFERENCES)
-def references(ls: JacLangServerV2, params: lspt.ReferenceParams) -> list[lspt.Location] {
-    return ls.get_references(params.text_document.uri, params.position);
-}
-
-
-"""Rename symbol."""
-@server.feature(lspt.TEXT_DOCUMENT_RENAME)
-def rename(ls: JacLangServerV2, params: lspt.RenameParams) -> Optional[lspt.WorkspaceEdit] {
-    ls.log_warning('Auto Rename is Experimental, Please use with caution.');
-    return ls.rename_symbol(params.text_document.uri, params.position, params.new_name);
-}
-
-
-"""Provide semantic tokens."""
-@server.feature(
-    lspt.TEXT_DOCUMENT_SEMANTIC_TOKENS_FULL,
-    lspt.SemanticTokensLegend(
-        token_types=SemTokType.as_str_list(),
-        token_modifiers=SemTokMod.as_str_list()
-    )
-)
-def semantic_tokens_full(
-    ls: JacLangServerV2,
-    params: lspt.SemanticTokensParams
-) -> lspt.SemanticTokens {
-    return ls.get_semantic_tokens(params.text_document.uri);
-}
-
-
-"""Run the language server."""
-def run_lang_server() -> None {
-    settings.pass_timer = True;
-    server.start_io();
-}
-
-
-with entry {
-    if __name__ == '__main__' {
-        run_lang_server();
-    }
-}