kotharcomputing 0.81.0__tar.gz → 0.83.0__tar.gz

{kotharcomputing-0.81.0/src/kotharcomputing.egg-info → kotharcomputing-0.83.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: kotharcomputing
-Version: 0.81.0
+Version: 0.83.0
 Summary: Python SDK for the Kothar API
 Author: Kothar Computing
 License-Expression: Apache-2.0

{kotharcomputing-0.81.0 → kotharcomputing-0.83.0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "kotharcomputing"
-version = "0.81.0"
+version = "0.83.0"
 description = "Python SDK for the Kothar API"
 readme = "README.md"
 requires-python = ">=3.11"

{kotharcomputing-0.81.0 → kotharcomputing-0.83.0}/src/kotharcomputing/__init__.py

@@ -2,6 +2,10 @@ from .aleph_language_server import (
     AlephLanguageServerClient,
     AlephLanguageServerClientOptions,
     AnalyzeResult,
+    AnalyzeResultWithAst,
+    AstNode,
+    AstNodeLocation,
+    AstNodeType,
     Diagnostic,
     DiagnosticSeverity,
     Position,
@@ -127,6 +131,10 @@ __all__ = [
     "AlephLanguageServerClient",
     "AlephLanguageServerClientOptions",
     "AnalyzeResult",
+    "AnalyzeResultWithAst",
+    "AstNode",
+    "AstNodeLocation",
+    "AstNodeType",
     "Diagnostic",
     "DiagnosticSeverity",
     "Position",

kotharcomputing-0.83.0/src/kotharcomputing/aleph_language_server.py

@@ -0,0 +1,162 @@
+from __future__ import annotations
+
+from dataclasses import dataclass
+from enum import IntEnum
+from typing import Literal, NotRequired, TypedDict, cast, overload
+
+from .fetch import ApiTransport
+
+DEFAULT_BASE_URL = "https://lsp.kotharcomputing.com"
+
+
+@dataclass(slots=True)
+class AlephLanguageServerClientOptions:
+    base_url: str = DEFAULT_BASE_URL
+    timeout: float = 30.0
+
+
+class AlephLanguageServerClient:
+    def __init__(
+        self,
+        options: AlephLanguageServerClientOptions | None = None,
+        *,
+        base_url: str = DEFAULT_BASE_URL,
+        timeout: float = 30.0,
+    ) -> None:
+        if options is None:
+            options = AlephLanguageServerClientOptions(
+                base_url=base_url,
+                timeout=timeout,
+            )
+
+        self._transport = ApiTransport(
+            base_url=options.base_url,
+            access_token=None,
+            timeout=options.timeout,
+        )
+
+    def version(self) -> dict[str, str]:
+        return self._transport.get_json("version")
+
+    @overload
+    def analyze(
+        self, code: str, *, include_ast: Literal[True]
+    ) -> AnalyzeResultWithAst: ...
+    @overload
+    def analyze(self, code: str, *, include_ast: bool = ...) -> AnalyzeResult: ...
+
+    def analyze(
+        self, code: str, *, include_ast: bool = False
+    ) -> AnalyzeResult | AnalyzeResultWithAst:
+        response = self._transport.raw(
+            "post",
+            "analyze",
+            headers={"Content-Type": "application/x-aleph"},
+            search_params={"include_ast": "true"} if include_ast else None,
+            body=code,
+        )
+        return cast(
+            AnalyzeResultWithAst if include_ast else AnalyzeResult, response.json()
+        )
+
+
+# -- LSP Diagnostic types (based on LSP 3.17 specification) --
+
+
+class DiagnosticSeverity(IntEnum):
+    Error = 1
+    Warning = 2
+    Information = 3
+    Hint = 4
+
+
+class Position(TypedDict):
+    line: int
+    character: int
+
+
+class Range(TypedDict):
+    start: Position
+    end: Position
+
+
+class Diagnostic(TypedDict):
+    range: Range
+    message: str
+    severity: NotRequired[DiagnosticSeverity]
+    code: NotRequired[str | int]
+    source: NotRequired[str]
+
+
+class AnalyzeResult(TypedDict):
+    diagnostics: list[Diagnostic]
+
+
+class AnalyzeResultWithAst(AnalyzeResult):
+    ast: list[AstNode]
+
+
+class AstNode(TypedDict):
+    type: AstNodeType
+    text: NotRequired[str]
+    isSynthetic: NotRequired[Literal[True]]
+    location: NotRequired[AstNodeLocation]
+    children: NotRequired[list[AstNode]]
+
+
+class AstNodeLocation(TypedDict):
+    uri: NotRequired[str]
+    range: Range
+
+
+AstNodeType = Literal[
+    "Id",
+    "Fun_Call",
+    "Unused_Return_Fun_Call",
+    "Arg_List",
+    "Slice_List",
+    "Slice",
+    "Equation",
+    "Var_Decl",
+    "Assign_Decl",
+    "Array_Call",
+    "Dot_Access",
+    "Lambda",
+    "Block",
+    "Scopeless_Block",
+    "Include",
+    "Def",
+    "While",
+    "If",
+    "For",
+    "Ranged_For",
+    "Inline_Array",
+    "Inline_Map",
+    "Return",
+    "File",
+    "Prefix",
+    "Break",
+    "Continue",
+    "Map_Pair",
+    "Value_Range",
+    "Inline_Range",
+    "Try",
+    "Catch",
+    "Finally",
+    "Method",
+    "Attr_Decl",
+    "Logical_And",
+    "Logical_Or",
+    "Reference",
+    "Switch",
+    "Case",
+    "Default",
+    "Noop",
+    "Class",
+    "Binary",
+    "Arg",
+    "Global_Decl",
+    "Constant",
+    "Compiled",
+    "Error",
+]

{kotharcomputing-0.81.0 → kotharcomputing-0.83.0/src/kotharcomputing.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: kotharcomputing
-Version: 0.81.0
+Version: 0.83.0
 Summary: Python SDK for the Kothar API
 Author: Kothar Computing
 License-Expression: Apache-2.0

{kotharcomputing-0.81.0 → kotharcomputing-0.83.0}/tests/test_public_api.py

@@ -18,6 +18,10 @@ def test_package_import_and_public_exports() -> None:
         "AlephLanguageServerClient",
         "AlephLanguageServerClientOptions",
         "AnalyzeResult",
+        "AnalyzeResultWithAst",
+        "AstNode",
+        "AstNodeLocation",
+        "AstNodeType",
         "Diagnostic",
         "DiagnosticSeverity",
         "Position",

kotharcomputing-0.81.0/src/kotharcomputing/aleph_language_server.py

@@ -1,80 +0,0 @@
-from __future__ import annotations
-
-from dataclasses import dataclass
-from enum import IntEnum
-from typing import NotRequired, TypedDict, cast
-
-from .fetch import ApiTransport
-
-DEFAULT_BASE_URL = "https://lsp.kotharcomputing.com"
-
-
-@dataclass(slots=True)
-class AlephLanguageServerClientOptions:
-    base_url: str = DEFAULT_BASE_URL
-    timeout: float = 30.0
-
-
-class AlephLanguageServerClient:
-    def __init__(
-        self,
-        options: AlephLanguageServerClientOptions | None = None,
-        *,
-        base_url: str = DEFAULT_BASE_URL,
-        timeout: float = 30.0,
-    ) -> None:
-        if options is None:
-            options = AlephLanguageServerClientOptions(
-                base_url=base_url,
-                timeout=timeout,
-            )
-
-        self._transport = ApiTransport(
-            base_url=options.base_url,
-            access_token=None,
-            timeout=options.timeout,
-        )
-
-    def version(self) -> dict[str, str]:
-        return self._transport.get_json("version")
-
-    def analyze(self, code: str) -> AnalyzeResult:
-        response = self._transport.raw(
-            "post",
-            "analyze",
-            headers={"Content-Type": "application/x-aleph"},
-            body=code,
-        )
-        return cast(AnalyzeResult, response.json())
-
-
-# -- LSP Diagnostic types (based on LSP 3.17 specification) --
-
-
-class DiagnosticSeverity(IntEnum):
-    Error = 1
-    Warning = 2
-    Information = 3
-    Hint = 4
-
-
-class Position(TypedDict):
-    line: int
-    character: int
-
-
-class Range(TypedDict):
-    start: Position
-    end: Position
-
-
-class Diagnostic(TypedDict):
-    range: Range
-    message: str
-    severity: NotRequired[DiagnosticSeverity]
-    code: NotRequired[str | int]
-    source: NotRequired[str]
-
-
-class AnalyzeResult(TypedDict):
-    diagnostics: list[Diagnostic]