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

jaclang/langserve/server.jac

@@ -1,5 +1,7 @@
 """Jaclang Language Server."""
 
+import asyncio;
+
 import from typing { Optional }
 
 import from jaclang.compiler.constant {
@@ -17,11 +19,16 @@ 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);
+    await ls.launch_deep_check(params.text_document.uri, delay=0.001);
     ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
 }
 
@@ -30,38 +37,54 @@ async def did_open(ls: JacLangServer, params: lspt.DidOpenTextDocumentParams) ->
 @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);
+    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);
+    await ls.launch_deep_check(file_path, delay=0.2);
     ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
 }
 
+glob still_compiling = False;
 
-"""Check syntax on change."""
-@server.feature(lspt.TEXT_DOCUMENT_DID_CHANGE)
+"""Check syntax on change with debouncing."""
+@ server.feature(lspt.TEXT_DOCUMENT_DID_CHANGE)
 async def did_change(
     ls: JacLangServer,
     params: lspt.DidChangeTextDocumentParams
 ) -> None {
-    file_path = params.text_document.uri;
-    quick_check_passed = await ls.launch_quick_check(file_path);
+    global still_compiling;
+    still_compiling = True;
 
-    if quick_check_passed {
+    file_path = params.text_document.uri;
+    try {
         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
+        fs_path = document.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);
+            ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
+        }
+    } except Exception as e {
+        ls.log_py(f" 'Failed to update semantic tokens: ' {e} ");
+    }
+
+    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} "
         );
-        ls.lsp.send_request(lspt.WORKSPACE_SEMANTIC_TOKENS_REFRESH);
-        await ls.launch_deep_check(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...");
 }
 
-
 """Format the given document."""
 @server.feature(lspt.TEXT_DOCUMENT_FORMATTING)
 def formatting(
@@ -117,7 +140,15 @@ def did_delete_files(ls: JacLangServer, params: lspt.DeleteFilesParams) -> None
     lspt.TEXT_DOCUMENT_COMPLETION,
     lspt.CompletionOptions(trigger_characters=['.', ':', 'a-zA-Z0-9'])
 )
-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,

jaclang/langserve/tests/fixtures/circle.jac

@@ -63,15 +63,15 @@ with entry:__main__ {
 glob expected_area = 78.53981633974483;
 
 test calc_area {
-    check almostEqual(calculate_area(RAD), expected_area);
+    assert almostEqual(calculate_area(RAD), expected_area);
 }
 
 test circle_area {
     c = Circle(RAD);
-    check almostEqual(c.area(), expected_area);
+    assert almostEqual(c.area(), expected_area);
 }
 
 test circle_type {
     c = Circle(RAD);
-    check c.shape_type == ShapeType.CIRCLE;
+    assert c.shape_type == ShapeType.CIRCLE;
 }

jaclang/langserve/tests/fixtures/circle_err.jac

@@ -59,15 +59,15 @@ print(f"Area of a {c.shape_type.value} with radius {RAD} using class: {c.area()}
 glob expected_area = 78.53981633974483;
 
 test calc_area   {
-    check almostEqual(calculate_area(RAD), expected_area);
+    assert almostEqual(calculate_area(RAD), expected_area);
 }
 
 test circle_area   {
     c = Circle(RAD);
-    check almostEqual(c.area(), expected_area);
+    assert almostEqual(c.area(), expected_area);
 }
 
 test circle_type   {
     c = Circle(RAD);
-    check c.shape_type == ShapeType.CIRCLE;
+    assert c.shape_type == ShapeType.CIRCLE;
 }

jaclang/langserve/tests/fixtures/circle_pure.test.jac

@@ -1,15 +1,15 @@
 glob expected_area = 78.53981633974483;
 
 test a1 {
-    check almostEqual(calculate_area(RAD), expected_area);
+    assert almostEqual(calculate_area(RAD), expected_area);
 }
 
 test a2 {
     c = Circle(RAD);
-    check almostEqual(c.area(), expected_area);
+    assert almostEqual(c.area(), expected_area);
 }
 
 test a3 {
     c = Circle(RAD);
-    check c.shape_type == ShapeType.CIRCLE;
+    assert c.shape_type == ShapeType.CIRCLE;
 }

jaclang/langserve/tests/fixtures/completion_test_err.jac

@@ -0,0 +1,10 @@
+
+class Foo {
+    has bar: int;
+    has baz: int;
+}
+
+with entry {
+    foo = Foo();
+    foo.
+}

jaclang/langserve/tests/server_test/circle_template.jac

@@ -0,0 +1,80 @@
+"""
+This module demonstrates a simple circle class and a function to calculate
+the area of a circle in all of Jac's glory.
+"""
+
+import math;
+
+# Module-level global variable
+glob RAD = 5;
+
+"""Function to calculate the area of a circle."""
+def calculate_area(radius: float) -> float {
+    return math.pi * radius * radius;
+}
+
+#* (This is a multiline comment in Jac)
+Above we have the demonstration of a function to calculate the area of a circle.
+Below we have the demonstration of a class to calculate the area of a circle.
+*#
+
+"""Enum for shape types"""
+enum ShapeType {
+    CIRCLE = "Circle",
+    UNKNOWN = "Unknown"
+}
+
+"""Base class for a shape."""
+obj Shape {
+    has shape_type: ShapeType;
+
+    """Abstract method to calculate the area of a shape."""
+    def area -> float abs;
+}
+
+"""Circle class inherits from Shape."""
+obj Circle(Shape) {
+    def init(radius: float) {
+        super.init(ShapeType.CIRCLE);
+        self.radius = radius;
+    }
+
+    """Overridden method to calculate the area of the circle."""
+    override def area -> float {
+        return math.pi * self.radius * self.radius;
+    }
+}
+
+with entry {
+    c = Circle(RAD);
+}
+
+# Global also works here
+
+with entry:__main__ {
+    # To run the program functionality
+    print(
+        f"Area of a circle with radius {RAD} using function: {calculate_area(RAD)}"
+    );
+    print(
+        f"Area of a {c.shape_type.value} with radius {RAD} using class: {c.area()}"
+    );
+}
+
+# Unit Tests!
+glob expected_area = 78.53981633974483;
+#{{INJECT_CODE}}
+
+test calc_area {
+    assert almostEqual(calculate_area(RAD), expected_area);
+}
+
+test circle_area {
+    c = Circle(RAD);
+    assert almostEqual(c.area(), expected_area);
+}
+
+test circle_type {
+    c = Circle(RAD);
+    assert c.shape_type == ShapeType.CIRCLE;
+}

jaclang/langserve/tests/server_test/glob_template.jac

@@ -0,0 +1,4 @@
+glob expected_area0 = 78.53981633974483;
+glob expected_area1 = 78.53981633974483;
+#{{INJECT_CODE}}
+glob expected_area2 = 78.53981633974483;