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

jaclang/langserve/sem_manager.jac

@@ -6,7 +6,11 @@ import from typing { List, Optional, Tuple }
 
 import jaclang.compiler.unitree as uni;
 import from jaclang { JacMachineInterface as Jac }
-import utils;
+import from jaclang.langserve.utils {
+    find_surrounding_tokens,
+    get_token_start,
+    get_line_of_code
+}
 import lsprotocol.types as lspt;
 
 
@@ -65,14 +69,14 @@ class SemTokManager {
             change_end_line= change.range.end.line;
             change_end_char= change.range.end.character;
             is_delete= change.text == '';
-            (prev_token_index, next_token_index, insert_inside_token)= utils.find_surrounding_tokens(change_start_line,
+            (prev_token_index, next_token_index, insert_inside_token)= find_surrounding_tokens(change_start_line,
             change_start_char,
             change_end_line,
             change_end_char,
             sem_tokens);
-            prev_tok_pos= utils.get_token_start(prev_token_index, sem_tokens);
-            nxt_tok_pos= utils.get_token_start(next_token_index, sem_tokens);
-            changing_line_text= utils.get_line_of_code(change_start_line, document_lines);
+            prev_tok_pos= get_token_start(prev_token_index, sem_tokens);
+            nxt_tok_pos= get_token_start(next_token_index, sem_tokens);
+            changing_line_text= get_line_of_code(change_start_line, document_lines);
             if not changing_line_text {return sem_tokens ;}
             is_edit_between_tokens= bool(change_start_line > prev_tok_pos[0] or change_start_line == prev_tok_pos[0] and change_start_char > ( prev_tok_pos[
                 1
@@ -86,7 +90,7 @@ class SemTokManager {
             if is_delete {
                 next_token_index= ( prev_token_index + 5 ) if insert_inside_token and prev_token_index is not None or next_token_index and prev_token_index is not None and next_token_index >= 10 and ( next_token_index - prev_token_index ) == 10 else next_token_index;
                 if next_token_index is None {return sem_tokens ;}
-                nxt_tok_pos= utils.get_token_start(next_token_index, sem_tokens);
+                nxt_tok_pos= get_token_start(next_token_index, sem_tokens);
                 is_single_line_change= change_end_line == change_start_line;
                 is_next_token_same_line= change_end_line == nxt_tok_pos[0];
                 if is_single_line_change and insert_inside_token and prev_token_index is not None {
@@ -290,7 +294,7 @@ class SemTokManager {
                 } else {
                     is_token_boundary_edit= True;
                     next_token_index= ( prev_token_index + 5 );
-                    nxt_tok_pos= utils.get_token_start(next_token_index, sem_tokens);
+                    nxt_tok_pos= get_token_start(next_token_index, sem_tokens);
                     break ;
                 }
             }
@@ -299,7 +303,7 @@ class SemTokManager {
             selected_region= ( change_end_char - change_start_char );
             index_offset= 2;
             sem_tokens[( prev_token_index + index_offset )] += ( len(change.text) - selected_region );
-            if prev_tok_pos[0] == utils.get_token_start(( prev_token_index + 5 ),
+            if prev_tok_pos[0] == get_token_start(( prev_token_index + 5 ),
             sem_tokens)[0] {
                 sem_tokens[( ( prev_token_index + index_offset ) + 4 )] += ( len(change.text) - selected_region );
             }

jaclang/langserve/server.jac

@@ -1,6 +1,8 @@
 """Jaclang Language Server."""
 
 import asyncio;
+import sys;
+import time;
 
 import from typing { Optional }
 
@@ -9,7 +11,7 @@ import from jaclang.compiler.constant {
     JacSemTokenType as SemTokType
 }
 
-import from engine { JacLangServer }
+import from .engine { JacLangServer }
 import from jaclang.settings { settings }
 
 import lsprotocol.types as lspt;
@@ -19,16 +21,18 @@ with entry {
     server = JacLangServer();
 }
 
+
 def debug(ls: JacLangServer, msg: str) -> None {
     ls.log_py(f"[DEBUG] " + ("-" * 80));
     ls.log_py(f"[DEBUG]' {msg} ");
     ls.log_py(f"[DEBUG] " + ("-" * 80));
 }
 
+
 """Check syntax on change."""
 @server.feature(lspt.TEXT_DOCUMENT_DID_OPEN)
 async def did_open(ls: JacLangServer, params: lspt.DidOpenTextDocumentParams) -> None {
-    await ls.launch_deep_check(params.text_document.uri, delay=0.001);
+    await ls.type_check(params.text_document.uri);
     ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
 }
 
@@ -36,31 +40,31 @@ async def did_open(ls: JacLangServer, params: lspt.DidOpenTextDocumentParams) ->
 """Check syntax on change."""
 @server.feature(lspt.TEXT_DOCUMENT_DID_SAVE)
 async def did_save(ls: JacLangServer, params: lspt.DidOpenTextDocumentParams) -> None {
+
     file_path = params.text_document.uri;
-    quick_check_passed = await ls.launch_quick_check(file_path, delay=0.1);
-    if not quick_check_passed {
-        return;
-    }
-    await ls.launch_deep_check(file_path, delay=0.2);
+    await ls.type_check(file_path);
     ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
 }
 
+
 glob still_compiling = False;
 
+
 """Check syntax on change with debouncing."""
-@ server.feature(lspt.TEXT_DOCUMENT_DID_CHANGE)
+@server.feature(lspt.TEXT_DOCUMENT_DID_CHANGE)
 async def did_change(
-    ls: JacLangServer,
-    params: lspt.DidChangeTextDocumentParams
+    ls: JacLangServer, params: lspt.DidChangeTextDocumentParams
 ) -> None {
+    print("********* ->", time.time(), file=sys.stderr);
+
     global still_compiling;
     still_compiling = True;
-
     file_path = params.text_document.uri;
     try {
         document = ls.workspace.get_text_document(file_path);
         lines = document.source.splitlines();
-        fs_path = document.path;
+        fs_path :str= document.path;
+        fs_path;
         if (fs_path in ls.sem_managers) {
             sem_manager = ls.sem_managers[fs_path];
             sem_manager.update_sem_tokens(params, sem_manager.sem_tokens, lines);
@@ -69,27 +73,20 @@ async def did_change(
     } except Exception as e {
         ls.log_py(f" 'Failed to update semantic tokens: ' {e} ");
     }
+    debug(ls, "Type checking started...");
+    ls.log_py(f" 'Launching type check for ' {file_path} ");
+    await ls.type_check(file_path);
+    ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
 
-    debug(ls, "Compilation started...");
-    ls.log_py(f" 'Launching debounced quick check for ' {file_path} ");
-    quick_check_passed = await ls.launch_quick_check(file_path, delay=0.5);
-    if quick_check_passed {
-        ls.log_py(
-            f" 'Quick check passed, launching debounced deep check for ' {file_path} "
-        );
-        await ls.launch_deep_check(file_path, delay=1.0);
-
-        ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
-    }
     still_compiling = False;
-    debug(ls, "Compilation finished...");
+    debug(ls, "Type checking finished...");
 }
 
+
 """Format the given document."""
 @server.feature(lspt.TEXT_DOCUMENT_FORMATTING)
 def formatting(
-    ls: JacLangServer,
-    params: lspt.DocumentFormattingParams
+    ls: JacLangServer, params: lspt.DocumentFormattingParams
 ) -> list[lspt.TextEdit] {
     return ls.formatted_jac(params.text_document.uri);
 }
@@ -99,22 +96,26 @@ def formatting(
 @server.feature(
     lspt.WORKSPACE_DID_CREATE_FILES,
     lspt.FileOperationRegistrationOptions(
-        filters=[lspt.FileOperationFilter(pattern=lspt.FileOperationPattern('**/*.jac'))]
+        filters=[
+            lspt.FileOperationFilter(pattern=lspt.FileOperationPattern('**/*.jac'))
+        ]
     )
 )
-def did_create_files(ls: JacLangServer, params: lspt.CreateFilesParams) -> None {}
+def did_create_files(ls: JacLangServer, 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'))]
+        filters=[
+            lspt.FileOperationFilter(pattern=lspt.FileOperationPattern('**/*.jac'))
+        ]
     )
 )
 def did_rename_files(ls: JacLangServer, params: lspt.RenameFilesParams) -> None {
-    new_uris = [ file.new_uri for file in params.files ];
-    old_uris = [ file.old_uri for file in params.files ];
+    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]);
     }
@@ -125,7 +126,9 @@ def did_rename_files(ls: JacLangServer, params: lspt.RenameFilesParams) -> None
 @server.feature(
     lspt.WORKSPACE_DID_DELETE_FILES,
     lspt.FileOperationRegistrationOptions(
-        filters=[lspt.FileOperationFilter(pattern=lspt.FileOperationPattern('**/*.jac'))]
+        filters=[
+            lspt.FileOperationFilter(pattern=lspt.FileOperationPattern('**/*.jac'))
+        ]
     )
 )
 def did_delete_files(ls: JacLangServer, params: lspt.DeleteFilesParams) -> None {
@@ -140,19 +143,19 @@ def did_delete_files(ls: JacLangServer, params: lspt.DeleteFilesParams) -> None
     lspt.TEXT_DOCUMENT_COMPLETION,
     lspt.CompletionOptions(trigger_characters=['.', ':', 'a-zA-Z0-9'])
 )
-async def completion(ls: JacLangServer, params: lspt.CompletionParams) -> lspt.CompletionList {
-
+async def completion(
+    ls: JacLangServer, params: lspt.CompletionParams
+) -> lspt.CompletionList {
     debug(ls, "Waiting for compilation to finish...");
     global still_compiling;
     while still_compiling {
         await asyncio.sleep(0.1);
     }
     debug(ls, "Compilation finished, providing completions...");
-
     return ls.get_completion(
         params.text_document.uri,
         params.position,
-        params.context.trigger_character if params.context else None
+        (params.context.trigger_character if params.context else None)
     );
 }
 
@@ -160,8 +163,7 @@ async def completion(ls: JacLangServer, params: lspt.CompletionParams) -> lspt.C
 """Provide hover information for the given hover request."""
 @server.feature(lspt.TEXT_DOCUMENT_HOVER, lspt.HoverOptions(work_done_progress=True))
 def hover(
-    ls: JacLangServer,
-    params: lspt.TextDocumentPositionParams
+    ls: JacLangServer, params: lspt.TextDocumentPositionParams
 ) -> Optional[lspt.Hover] {
     return ls.get_hover_info(params.text_document.uri, params.position);
 }
@@ -170,8 +172,7 @@ def hover(
 """Provide document symbols."""
 @server.feature(lspt.TEXT_DOCUMENT_DOCUMENT_SYMBOL)
 def document_symbol(
-    ls: JacLangServer,
-    params: lspt.DocumentSymbolParams
+    ls: JacLangServer, params: lspt.DocumentSymbolParams
 ) -> list[lspt.DocumentSymbol] {
     return ls.get_outline(params.text_document.uri);
 }
@@ -180,8 +181,7 @@ def document_symbol(
 """Provide definition."""
 @server.feature(lspt.TEXT_DOCUMENT_DEFINITION)
 def definition(
-    ls: JacLangServer,
-    params: lspt.TextDocumentPositionParams
+    ls: JacLangServer, params: lspt.TextDocumentPositionParams
 ) -> Optional[lspt.Location] {
     return ls.get_definition(params.text_document.uri, params.position);
 }
@@ -196,7 +196,9 @@ def references(ls: JacLangServer, params: lspt.ReferenceParams) -> list[lspt.Loc
 
 """Rename symbol."""
 @server.feature(lspt.TEXT_DOCUMENT_RENAME)
-def rename(ls: JacLangServer, params: lspt.RenameParams) -> Optional[lspt.WorkspaceEdit] {
+def rename(
+    ls: JacLangServer, 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);
 }
@@ -206,20 +208,18 @@ def rename(ls: JacLangServer, params: lspt.RenameParams) -> Optional[lspt.Worksp
 @server.feature(
     lspt.TEXT_DOCUMENT_SEMANTIC_TOKENS_FULL,
     lspt.SemanticTokensLegend(
-        token_types=SemTokType.as_str_list(),
-        token_modifiers=SemTokMod.as_str_list()
+        token_types=SemTokType.as_str_list(), token_modifiers=SemTokMod.as_str_list()
     )
 )
 def semantic_tokens_full(
-    ls: JacLangServer,
-    params: lspt.SemanticTokensParams
+    ls: JacLangServer, params: lspt.SemanticTokensParams
 ) -> lspt.SemanticTokens {
     return ls.get_semantic_tokens(params.text_document.uri);
 }
 
 
 """Run the language server."""
-def run_lang_server() -> None {
+def run_lang_server()  -> None {
     settings.pass_timer = True;
     server.start_io();
 }

jaclang/langserve/tests/fixtures/greet.py

@@ -0,0 +1,17 @@
+
+
+
+class GreetMessage:
+
+    def pass_message(self, msg: str) -> str:
+        return f"Hello, {msg}!"
+
+
+
+class Greet:
+
+    def try_to_greet(self) -> GreetMessage:
+        return GreetMessage()
+
+    def say_hello(self) -> str:
+        return self.try_to_greet().pass_message("World")

jaclang/langserve/tests/fixtures/md_path.jac

@@ -0,0 +1,22 @@
+"""Living Workspace of Jac project."""
+
+import asyncio;
+import logging;
+import time;
+import from concurrent.futures { ThreadPoolExecutor } # TODO: go_to_def is not working here bcz threadpoolexecutor is inside some if statement
+import from typing { Callable, Optional }
+
+import jaclang.compiler.unitree as uni;
+import from jaclang { JacMachineInterface } # TODO: go_to_def is not working here
+import from jaclang.compiler.constant { SymbolType }
+import from jaclang.compiler.program { JacProgram }
+import from jaclang.compiler.type_system.type_utils { get_completion_items }
+import from jaclang.compiler.type_system.types { ClassType, FunctionType, ModuleType, TypeBase }
+import from jaclang.compiler.unitree { UniScopeNode }
+import from missing_mod { SemTokManager }
+import from circle {RAD} 
+import from jaclang.vendor.pygls { uris }
+import from jaclang.vendor.pygls.server { LanguageServer }
+
+import lsprotocol.types as lspt;
+import nonexistent_module;

jaclang/langserve/tests/fixtures/user.jac

@@ -0,0 +1,15 @@
+ """User's Greeting!"""
+ 
+import greet;
+
+
+
+def still_there -> greet.Greet {
+     print("im still here");
+    return "yes";
+ }
+ 
+ with entry {
+    a = still_there();
+    a.try_to_greet().pass_message("World");
+ }