tree-sitter-analyzer 1.6.0__py3-none-any.whl → 1.6.2__py3-none-any.whl

tree_sitter_analyzer/languages/typescript_plugin.py

@@ -0,0 +1,1553 @@
+#!/usr/bin/env python3
+"""
+TypeScript Language Plugin
+
+Enhanced TypeScript-specific parsing and element extraction functionality.
+Provides comprehensive support for TypeScript features including interfaces,
+type aliases, enums, generics, decorators, and modern JavaScript features.
+Equivalent to JavaScript plugin capabilities with TypeScript-specific enhancements.
+"""
+
+import re
+from typing import TYPE_CHECKING, Any, Optional
+
+if TYPE_CHECKING:
+    import tree_sitter
+
+try:
+    import tree_sitter
+
+    TREE_SITTER_AVAILABLE = True
+except ImportError:
+    TREE_SITTER_AVAILABLE = False
+
+from ..core.analysis_engine import AnalysisRequest
+from ..encoding_utils import extract_text_slice, safe_encode
+from ..language_loader import loader
+from ..models import AnalysisResult, Class, CodeElement, Function, Import, Variable
+from ..plugins.base import ElementExtractor, LanguagePlugin
+from ..utils import log_debug, log_error, log_warning
+
+
+class TypeScriptElementExtractor(ElementExtractor):
+    """Enhanced TypeScript-specific element extractor with comprehensive feature support"""
+
+    def __init__(self) -> None:
+        """Initialize the TypeScript element extractor."""
+        self.current_file: str = ""
+        self.source_code: str = ""
+        self.content_lines: list[str] = []
+        self.imports: list[str] = []
+        self.exports: list[dict[str, Any]] = []
+
+        # Performance optimization caches
+        self._node_text_cache: dict[int, str] = {}
+        self._processed_nodes: set[int] = set()
+        self._element_cache: dict[tuple[int, str], Any] = {}
+        self._file_encoding: str | None = None
+        self._tsdoc_cache: dict[int, str] = {}
+        self._complexity_cache: dict[int, int] = {}
+
+        # TypeScript-specific tracking
+        self.is_module: bool = False
+        self.is_tsx: bool = False
+        self.framework_type: str = ""  # react, angular, vue, etc.
+        self.typescript_version: str = "4.0"  # default
+
+    def extract_functions(
+        self, tree: "tree_sitter.Tree", source_code: str
+    ) -> list[Function]:
+        """Extract TypeScript function definitions with comprehensive details"""
+        self.source_code = source_code
+        self.content_lines = source_code.split("\n")
+        self._reset_caches()
+        self._detect_file_characteristics()
+
+        functions: list[Function] = []
+
+        # Use optimized traversal for multiple function types
+        extractors = {
+            "function_declaration": self._extract_function_optimized,
+            "function_expression": self._extract_function_optimized,
+            "arrow_function": self._extract_arrow_function_optimized,
+            "method_definition": self._extract_method_optimized,
+            "generator_function_declaration": self._extract_generator_function_optimized,
+            "method_signature": self._extract_method_signature_optimized,
+        }
+
+        self._traverse_and_extract_iterative(
+            tree.root_node, extractors, functions, "function"
+        )
+
+        log_debug(f"Extracted {len(functions)} TypeScript functions")
+        return functions
+
+    def extract_classes(
+        self, tree: "tree_sitter.Tree", source_code: str
+    ) -> list[Class]:
+        """Extract TypeScript class and interface definitions with detailed information"""
+        self.source_code = source_code
+        self.content_lines = source_code.split("\n")
+        self._reset_caches()
+
+        classes: list[Class] = []
+
+        # Extract classes, interfaces, and type aliases
+        extractors = {
+            "class_declaration": self._extract_class_optimized,
+            "interface_declaration": self._extract_interface_optimized,
+            "type_alias_declaration": self._extract_type_alias_optimized,
+            "enum_declaration": self._extract_enum_optimized,
+            "abstract_class_declaration": self._extract_class_optimized,
+        }
+
+        self._traverse_and_extract_iterative(
+            tree.root_node, extractors, classes, "class"
+        )
+
+        log_debug(f"Extracted {len(classes)} TypeScript classes/interfaces/types")
+        return classes
+
+    def extract_variables(
+        self, tree: "tree_sitter.Tree", source_code: str
+    ) -> list[Variable]:
+        """Extract TypeScript variable definitions with type annotations"""
+        self.source_code = source_code
+        self.content_lines = source_code.split("\n")
+        self._reset_caches()
+
+        variables: list[Variable] = []
+
+        # Handle all TypeScript variable declaration types
+        extractors = {
+            "variable_declaration": self._extract_variable_optimized,
+            "lexical_declaration": self._extract_lexical_variable_optimized,
+            "property_definition": self._extract_property_optimized,
+            "property_signature": self._extract_property_signature_optimized,
+        }
+
+        self._traverse_and_extract_iterative(
+            tree.root_node, extractors, variables, "variable"
+        )
+
+        log_debug(f"Extracted {len(variables)} TypeScript variables")
+        return variables
+
+    def extract_imports(
+        self, tree: "tree_sitter.Tree", source_code: str
+    ) -> list[Import]:
+        """Extract TypeScript import statements with ES6+ and type import support"""
+        self.source_code = source_code
+        self.content_lines = source_code.split("\n")
+
+        imports: list[Import] = []
+
+        # Extract imports efficiently
+        for child in tree.root_node.children:
+            if child.type == "import_statement":
+                import_info = self._extract_import_info_simple(child)
+                if import_info:
+                    imports.append(import_info)
+            elif child.type == "expression_statement":
+                # Check for dynamic imports
+                dynamic_import = self._extract_dynamic_import(child)
+                if dynamic_import:
+                    imports.append(dynamic_import)
+
+        # Also check for CommonJS requires (for compatibility)
+        commonjs_imports = self._extract_commonjs_requires(tree, source_code)
+        imports.extend(commonjs_imports)
+
+        log_debug(f"Extracted {len(imports)} TypeScript imports")
+        return imports
+
+    def _reset_caches(self) -> None:
+        """Reset performance caches"""
+        self._node_text_cache.clear()
+        self._processed_nodes.clear()
+        self._element_cache.clear()
+        self._tsdoc_cache.clear()
+        self._complexity_cache.clear()
+
+    def _detect_file_characteristics(self) -> None:
+        """Detect TypeScript file characteristics"""
+        # Check if it's a module
+        self.is_module = "import " in self.source_code or "export " in self.source_code
+
+        # Check if it contains TSX/JSX
+        self.is_tsx = "</" in self.source_code and self.current_file.lower().endswith(('.tsx', '.jsx'))
+
+        # Detect framework
+        if "react" in self.source_code.lower() or "jsx" in self.source_code:
+            self.framework_type = "react"
+        elif "angular" in self.source_code.lower() or "@angular" in self.source_code:
+            self.framework_type = "angular"
+        elif "vue" in self.source_code.lower():
+            self.framework_type = "vue"
+
+    def _traverse_and_extract_iterative(
+        self,
+        root_node: "tree_sitter.Node",
+        extractors: dict[str, Any],
+        results: list[Any],
+        element_type: str,
+    ) -> None:
+        """Iterative node traversal and extraction with caching"""
+        if not root_node:
+            return
+
+        target_node_types = set(extractors.keys())
+        container_node_types = {
+            "program",
+            "class_body",
+            "interface_body",
+            "statement_block",
+            "object_type",
+            "class_declaration",
+            "interface_declaration",
+            "function_declaration",
+            "method_definition",
+            "export_statement",
+            "variable_declaration",
+            "lexical_declaration",
+            "variable_declarator",
+            "assignment_expression",
+            "type_alias_declaration",
+            "enum_declaration",
+        }
+
+        node_stack = [(root_node, 0)]
+        processed_nodes = 0
+        max_depth = 50
+
+        while node_stack:
+            current_node, depth = node_stack.pop()
+
+            if depth > max_depth:
+                log_warning(f"Maximum traversal depth ({max_depth}) exceeded")
+                continue
+
+            processed_nodes += 1
+            node_type = current_node.type
+
+            # Early termination for irrelevant nodes
+            if (
+                depth > 0
+                and node_type not in target_node_types
+                and node_type not in container_node_types
+            ):
+                continue
+
+            # Process target nodes
+            if node_type in target_node_types:
+                node_id = id(current_node)
+
+                if node_id in self._processed_nodes:
+                    continue
+
+                cache_key = (node_id, element_type)
+                if cache_key in self._element_cache:
+                    element = self._element_cache[cache_key]
+                    if element:
+                        if isinstance(element, list):
+                            results.extend(element)
+                        else:
+                            results.append(element)
+                    self._processed_nodes.add(node_id)
+                    continue
+
+                # Extract and cache
+                extractor = extractors.get(node_type)
+                if extractor:
+                    element = extractor(current_node)
+                    self._element_cache[cache_key] = element
+                    if element:
+                        if isinstance(element, list):
+                            results.extend(element)
+                        else:
+                            results.append(element)
+                    self._processed_nodes.add(node_id)
+
+            # Add children to stack
+            if current_node.children:
+                for child in reversed(current_node.children):
+                    node_stack.append((child, depth + 1))
+
+        log_debug(f"Iterative traversal processed {processed_nodes} nodes")
+
+    def _get_node_text_optimized(self, node: "tree_sitter.Node") -> str:
+        """Get node text with optimized caching"""
+        node_id = id(node)
+
+        if node_id in self._node_text_cache:
+            return self._node_text_cache[node_id]
+
+        try:
+            start_byte = node.start_byte
+            end_byte = node.end_byte
+
+            encoding = self._file_encoding or "utf-8"
+            content_bytes = safe_encode("\n".join(self.content_lines), encoding)
+            text = extract_text_slice(content_bytes, start_byte, end_byte, encoding)
+
+            self._node_text_cache[node_id] = text
+            return text
+        except Exception as e:
+            log_error(f"Error in _get_node_text_optimized: {e}")
+            # Fallback to simple text extraction
+            try:
+                start_point = node.start_point
+                end_point = node.end_point
+
+                if start_point[0] == end_point[0]:
+                    line = self.content_lines[start_point[0]]
+                    return line[start_point[1] : end_point[1]]
+                else:
+                    lines = []
+                    for i in range(start_point[0], end_point[0] + 1):
+                        if i < len(self.content_lines):
+                            line = self.content_lines[i]
+                            if i == start_point[0]:
+                                lines.append(line[start_point[1] :])
+                            elif i == end_point[0]:
+                                lines.append(line[: end_point[1]])
+                            else:
+                                lines.append(line)
+                    return "\n".join(lines)
+            except Exception as fallback_error:
+                log_error(f"Fallback text extraction also failed: {fallback_error}")
+                return ""
+
+    def _extract_function_optimized(self, node: "tree_sitter.Node") -> Function | None:
+        """Extract regular function information with detailed metadata"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Extract function details
+            function_info = self._parse_function_signature_optimized(node)
+            if not function_info:
+                return None
+
+            name, parameters, is_async, is_generator, return_type, generics = function_info
+
+            # Extract TSDoc
+            tsdoc = self._extract_tsdoc_for_line(start_line)
+
+            # Calculate complexity
+            complexity_score = self._calculate_complexity_optimized(node)
+
+            # Extract raw text
+            start_line_idx = max(0, start_line - 1)
+            end_line_idx = min(len(self.content_lines), end_line)
+            raw_text = "\n".join(self.content_lines[start_line_idx:end_line_idx])
+
+            return Function(
+                name=name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                parameters=parameters,
+                return_type=return_type or "any",
+                is_async=is_async,
+                is_generator=is_generator,
+                docstring=tsdoc,
+                complexity_score=complexity_score,
+                # TypeScript-specific properties
+                is_arrow=False,
+                is_method=False,
+                framework_type=self.framework_type,
+            )
+        except Exception as e:
+            log_error(f"Failed to extract function info: {e}")
+            import traceback
+
+            traceback.print_exc()
+            return None
+
+    def _extract_arrow_function_optimized(
+        self, node: "tree_sitter.Node"
+    ) -> Function | None:
+        """Extract arrow function information"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # For arrow functions, we need to find the variable declaration
+            parent = node.parent
+            name = "anonymous"
+
+            if parent and parent.type == "variable_declarator":
+                for child in parent.children:
+                    if child.type == "identifier":
+                        name = self._get_node_text_optimized(child)
+                        break
+
+            # Extract parameters and return type
+            parameters = []
+            return_type = None
+            is_async = False
+
+            for child in node.children:
+                if child.type == "formal_parameters":
+                    parameters = self._extract_parameters_with_types(child)
+                elif child.type == "identifier":
+                    # Single parameter without parentheses
+                    param_name = self._get_node_text_optimized(child)
+                    parameters = [param_name]
+                elif child.type == "type_annotation":
+                    return_type = self._get_node_text_optimized(child).lstrip(": ")
+
+            # Check if async
+            node_text = self._get_node_text_optimized(node)
+            is_async = "async" in node_text
+
+            # Extract TSDoc (look at parent variable declaration)
+            tsdoc = self._extract_tsdoc_for_line(start_line)
+
+            # Calculate complexity
+            complexity_score = self._calculate_complexity_optimized(node)
+
+            # Extract raw text
+            raw_text = self._get_node_text_optimized(node)
+
+            return Function(
+                name=name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                parameters=parameters,
+                return_type=return_type or "any",
+                is_async=is_async,
+                is_generator=False,
+                docstring=tsdoc,
+                complexity_score=complexity_score,
+                # TypeScript-specific properties
+                is_arrow=True,
+                is_method=False,
+                framework_type=self.framework_type,
+            )
+        except Exception as e:
+            log_debug(f"Failed to extract arrow function info: {e}")
+            return None
+
+    def _extract_method_optimized(self, node: "tree_sitter.Node") -> Function | None:
+        """Extract method information from class"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Extract method details
+            method_info = self._parse_method_signature_optimized(node)
+            if not method_info:
+                return None
+
+            (
+                name,
+                parameters,
+                is_async,
+                is_static,
+                is_getter,
+                is_setter,
+                is_constructor,
+                return_type,
+                visibility,
+                generics,
+            ) = method_info
+
+            # Extract TSDoc
+            tsdoc = self._extract_tsdoc_for_line(start_line)
+
+            # Calculate complexity
+            complexity_score = self._calculate_complexity_optimized(node)
+
+            # Extract raw text
+            raw_text = self._get_node_text_optimized(node)
+
+            return Function(
+                name=name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                parameters=parameters,
+                return_type=return_type or "any",
+                is_async=is_async,
+                is_static=is_static,
+                is_constructor=is_constructor,
+                docstring=tsdoc,
+                complexity_score=complexity_score,
+                # TypeScript-specific properties
+                is_arrow=False,
+                is_method=True,
+                framework_type=self.framework_type,
+                visibility=visibility,
+            )
+        except Exception as e:
+            log_debug(f"Failed to extract method info: {e}")
+            return None
+
+    def _extract_method_signature_optimized(
+        self, node: "tree_sitter.Node"
+    ) -> Function | None:
+        """Extract method signature information from interfaces"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Extract method signature details
+            method_info = self._parse_method_signature_optimized(node)
+            if not method_info:
+                return None
+
+            (
+                name,
+                parameters,
+                is_async,
+                is_static,
+                is_getter,
+                is_setter,
+                is_constructor,
+                return_type,
+                visibility,
+                generics,
+            ) = method_info
+
+            # Extract TSDoc
+            tsdoc = self._extract_tsdoc_for_line(start_line)
+
+            # Extract raw text
+            raw_text = self._get_node_text_optimized(node)
+
+            return Function(
+                name=name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                parameters=parameters,
+                return_type=return_type or "any",
+                is_async=is_async,
+                is_static=is_static,
+                docstring=tsdoc,
+                complexity_score=0,  # Signatures have no complexity
+                # TypeScript-specific properties
+                is_arrow=False,
+                is_method=True,
+                is_signature=True,
+                framework_type=self.framework_type,
+                visibility=visibility,
+                is_getter=is_getter,
+                is_setter=is_setter,
+                # TypeScript-specific properties handled above
+            )
+        except Exception as e:
+            log_debug(f"Failed to extract method signature info: {e}")
+            return None
+
+    def _extract_generator_function_optimized(
+        self, node: "tree_sitter.Node"
+    ) -> Function | None:
+        """Extract generator function information"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Extract function details
+            function_info = self._parse_function_signature_optimized(node)
+            if not function_info:
+                return None
+
+            name, parameters, is_async, _, return_type, generics = function_info
+
+            # Extract TSDoc
+            tsdoc = self._extract_tsdoc_for_line(start_line)
+
+            # Calculate complexity
+            complexity_score = self._calculate_complexity_optimized(node)
+
+            # Extract raw text
+            raw_text = self._get_node_text_optimized(node)
+
+            return Function(
+                name=name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                parameters=parameters,
+                return_type=return_type or "Generator",
+                is_async=is_async,
+                is_generator=True,
+                docstring=tsdoc,
+                complexity_score=complexity_score,
+                # TypeScript-specific properties
+                is_arrow=False,
+                is_method=False,
+                framework_type=self.framework_type,
+                # TypeScript-specific properties handled above
+            )
+        except Exception as e:
+            log_debug(f"Failed to extract generator function info: {e}")
+            return None
+
+    def _extract_class_optimized(self, node: "tree_sitter.Node") -> Class | None:
+        """Extract class information with detailed metadata"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Extract class name
+            class_name = None
+            superclass = None
+            interfaces = []
+            generics = []
+            is_abstract = node.type == "abstract_class_declaration"
+
+            for child in node.children:
+                if child.type == "type_identifier":
+                    class_name = child.text.decode("utf8") if child.text else None
+                elif child.type == "class_heritage":
+                    # Extract extends and implements clauses
+                    heritage_text = self._get_node_text_optimized(child)
+                    extends_match = re.search(r"extends\s+(\w+)", heritage_text)
+                    if extends_match:
+                        superclass = extends_match.group(1)
+                    
+                    implements_matches = re.findall(r"implements\s+([\w,\s]+)", heritage_text)
+                    if implements_matches:
+                        interfaces = [iface.strip() for iface in implements_matches[0].split(",")]
+                elif child.type == "type_parameters":
+                    generics = self._extract_generics(child)
+
+            if not class_name:
+                return None
+
+            # Extract TSDoc
+            tsdoc = self._extract_tsdoc_for_line(start_line)
+
+            # Check if it's a framework component
+            is_component = self._is_framework_component(node, class_name)
+
+            # Extract raw text
+            raw_text = self._get_node_text_optimized(node)
+
+            return Class(
+                name=class_name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                class_type="abstract_class" if is_abstract else "class",
+                superclass=superclass,
+                interfaces=interfaces,
+                docstring=tsdoc,
+                # TypeScript-specific properties
+                is_react_component=is_component,
+                framework_type=self.framework_type,
+                is_exported=self._is_exported_class(class_name),
+                is_abstract=is_abstract,
+                # TypeScript-specific properties handled above
+            )
+        except Exception as e:
+            log_debug(f"Failed to extract class info: {e}")
+            return None
+
+    def _extract_interface_optimized(self, node: "tree_sitter.Node") -> Class | None:
+        """Extract interface information"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Extract interface name
+            interface_name = None
+            extends_interfaces = []
+            generics = []
+
+            for child in node.children:
+                if child.type == "type_identifier":
+                    interface_name = child.text.decode("utf8") if child.text else None
+                elif child.type == "extends_clause":
+                    # Extract extends clause for interfaces
+                    extends_text = self._get_node_text_optimized(child)
+                    extends_matches = re.findall(r"extends\s+([\w,\s]+)", extends_text)
+                    if extends_matches:
+                        extends_interfaces = [iface.strip() for iface in extends_matches[0].split(",")]
+                elif child.type == "type_parameters":
+                    generics = self._extract_generics(child)
+
+            if not interface_name:
+                return None
+
+            # Extract TSDoc
+            tsdoc = self._extract_tsdoc_for_line(start_line)
+
+            # Extract raw text
+            raw_text = self._get_node_text_optimized(node)
+
+            return Class(
+                name=interface_name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                class_type="interface",
+                interfaces=extends_interfaces,
+                docstring=tsdoc,
+                # TypeScript-specific properties
+                framework_type=self.framework_type,
+                is_exported=self._is_exported_class(interface_name),
+                # TypeScript-specific properties handled above
+            )
+        except Exception as e:
+            log_debug(f"Failed to extract interface info: {e}")
+            return None
+
+    def _extract_type_alias_optimized(self, node: "tree_sitter.Node") -> Class | None:
+        """Extract type alias information"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Extract type alias name
+            type_name = None
+            generics = []
+
+            for child in node.children:
+                if child.type == "type_identifier":
+                    type_name = child.text.decode("utf8") if child.text else None
+                elif child.type == "type_parameters":
+                    generics = self._extract_generics(child)
+
+            if not type_name:
+                return None
+
+            # Extract TSDoc
+            tsdoc = self._extract_tsdoc_for_line(start_line)
+
+            # Extract raw text
+            raw_text = self._get_node_text_optimized(node)
+
+            return Class(
+                name=type_name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                class_type="type",
+                docstring=tsdoc,
+                # TypeScript-specific properties
+                framework_type=self.framework_type,
+                is_exported=self._is_exported_class(type_name),
+                # TypeScript-specific properties handled above
+            )
+        except Exception as e:
+            log_debug(f"Failed to extract type alias info: {e}")
+            return None
+
+    def _extract_enum_optimized(self, node: "tree_sitter.Node") -> Class | None:
+        """Extract enum information"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Extract enum name
+            enum_name = None
+
+            for child in node.children:
+                if child.type == "identifier":
+                    enum_name = child.text.decode("utf8") if child.text else None
+
+            if not enum_name:
+                return None
+
+            # Extract TSDoc
+            tsdoc = self._extract_tsdoc_for_line(start_line)
+
+            # Extract raw text
+            raw_text = self._get_node_text_optimized(node)
+
+            return Class(
+                name=enum_name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                class_type="enum",
+                docstring=tsdoc,
+                # TypeScript-specific properties
+                framework_type=self.framework_type,
+                is_exported=self._is_exported_class(enum_name),
+                # TypeScript-specific properties handled above
+            )
+        except Exception as e:
+            log_debug(f"Failed to extract enum info: {e}")
+            return None
+
+    def _extract_variable_optimized(self, node: "tree_sitter.Node") -> list[Variable]:
+        """Extract var declaration variables"""
+        return self._extract_variables_from_declaration(node, "var")
+
+    def _extract_lexical_variable_optimized(
+        self, node: "tree_sitter.Node"
+    ) -> list[Variable]:
+        """Extract let/const declaration variables"""
+        # Determine if it's let or const
+        node_text = self._get_node_text_optimized(node)
+        kind = "let" if node_text.strip().startswith("let") else "const"
+        return self._extract_variables_from_declaration(node, kind)
+
+    def _extract_property_optimized(self, node: "tree_sitter.Node") -> Variable | None:
+        """Extract class property definition"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Extract property name and type
+            prop_name = None
+            prop_type = None
+            prop_value = None
+            is_static = False
+            visibility = "public"
+
+            for child in node.children:
+                if child.type == "property_identifier":
+                    prop_name = self._get_node_text_optimized(child)
+                elif child.type == "type_annotation":
+                    prop_type = self._get_node_text_optimized(child).lstrip(": ")
+                elif child.type in ["string", "number", "true", "false", "null"]:
+                    prop_value = self._get_node_text_optimized(child)
+
+            # Check modifiers from parent or node text
+            node_text = self._get_node_text_optimized(node)
+            is_static = "static" in node_text
+            if "private" in node_text:
+                visibility = "private"
+            elif "protected" in node_text:
+                visibility = "protected"
+
+            if not prop_name:
+                return None
+
+            # Extract raw text
+            raw_text = self._get_node_text_optimized(node)
+
+            return Variable(
+                name=prop_name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                variable_type=prop_type or "any",
+                value=prop_value,
+                is_static=is_static,
+                is_constant=False,  # Class properties are not const
+                # TypeScript-specific properties
+                visibility=visibility,
+            )
+        except Exception as e:
+            log_debug(f"Failed to extract property info: {e}")
+            return None
+
+    def _extract_property_signature_optimized(
+        self, node: "tree_sitter.Node"
+    ) -> Variable | None:
+        """Extract property signature from interface"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Extract property signature name and type
+            prop_name = None
+            prop_type = None
+            is_optional = False
+
+            for child in node.children:
+                if child.type == "property_identifier":
+                    prop_name = self._get_node_text_optimized(child)
+                elif child.type == "type_annotation":
+                    prop_type = self._get_node_text_optimized(child).lstrip(": ")
+
+            # Check for optional property
+            node_text = self._get_node_text_optimized(node)
+            is_optional = "?" in node_text
+
+            if not prop_name:
+                return None
+
+            # Extract raw text
+            raw_text = self._get_node_text_optimized(node)
+
+            return Variable(
+                name=prop_name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                variable_type=prop_type or "any",
+                is_constant=False,
+                # TypeScript-specific properties
+                visibility="public",  # Interface properties are always public
+            )
+        except Exception as e:
+            log_debug(f"Failed to extract property signature info: {e}")
+            return None
+
+    def _extract_variables_from_declaration(
+        self, node: "tree_sitter.Node", kind: str
+    ) -> list[Variable]:
+        """Extract variables from declaration node"""
+        variables: list[Variable] = []
+
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Find variable declarators
+            for child in node.children:
+                if child.type == "variable_declarator":
+                    var_info = self._parse_variable_declarator(
+                        child, kind, start_line, end_line
+                    )
+                    if var_info:
+                        variables.append(var_info)
+
+        except Exception as e:
+            log_debug(f"Failed to extract variables from declaration: {e}")
+
+        return variables
+
+    def _parse_variable_declarator(
+        self, node: "tree_sitter.Node", kind: str, start_line: int, end_line: int
+    ) -> Variable | None:
+        """Parse individual variable declarator with TypeScript type annotations"""
+        try:
+            var_name = None
+            var_type = None
+            var_value = None
+
+            # Find identifier, type annotation, and value in children
+            for child in node.children:
+                if child.type == "identifier":
+                    var_name = self._get_node_text_optimized(child)
+                elif child.type == "type_annotation":
+                    var_type = self._get_node_text_optimized(child).lstrip(": ")
+                elif child.type == "=" and child.next_sibling:
+                    # Get the value after the assignment operator
+                    value_node = child.next_sibling
+                    var_value = self._get_node_text_optimized(value_node)
+
+            if not var_name:
+                return None
+
+            # Skip variables that are arrow functions (handled by function extractor)
+            for child in node.children:
+                if child.type == "arrow_function":
+                    return None
+
+            # Extract TSDoc
+            tsdoc = self._extract_tsdoc_for_line(start_line)
+
+            # Extract raw text
+            raw_text = self._get_node_text_optimized(node)
+
+            return Variable(
+                name=var_name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                variable_type=var_type or self._infer_type_from_value(var_value),
+                is_static=False,
+                is_constant=(kind == "const"),
+                docstring=tsdoc,
+                initializer=var_value,
+                # TypeScript-specific properties
+                visibility="public",  # Variables are typically public in TypeScript
+            )
+        except Exception as e:
+            log_debug(f"Failed to parse variable declarator: {e}")
+            return None
+
+    def _parse_function_signature_optimized(
+        self, node: "tree_sitter.Node"
+    ) -> tuple[str, list[str], bool, bool, str | None, list[str]] | None:
+        """Parse function signature for TypeScript functions"""
+        try:
+            name = None
+            parameters = []
+            is_async = False
+            is_generator = False
+            return_type = None
+            generics = []
+
+            # Check for async/generator keywords
+            node_text = self._get_node_text_optimized(node)
+            is_async = "async" in node_text
+            is_generator = node.type == "generator_function_declaration"
+
+            for child in node.children:
+                if child.type == "identifier":
+                    name = child.text.decode("utf8") if child.text else None
+                elif child.type == "formal_parameters":
+                    parameters = self._extract_parameters_with_types(child)
+                elif child.type == "type_annotation":
+                    return_type = self._get_node_text_optimized(child).lstrip(": ")
+                elif child.type == "type_parameters":
+                    generics = self._extract_generics(child)
+
+            return name or "", parameters, is_async, is_generator, return_type, generics
+        except Exception:
+            return None
+
+    def _parse_method_signature_optimized(
+        self, node: "tree_sitter.Node"
+    ) -> tuple[str, list[str], bool, bool, bool, bool, bool, str | None, str, list[str]] | None:
+        """Parse method signature for TypeScript class methods"""
+        try:
+            name = None
+            parameters = []
+            is_async = False
+            is_static = False
+            is_getter = False
+            is_setter = False
+            is_constructor = False
+            return_type = None
+            visibility = "public"
+            generics = []
+
+            # Check for method type
+            node_text = self._get_node_text_optimized(node)
+            is_async = "async" in node_text
+            is_static = "static" in node_text
+
+            # Check visibility
+            if "private" in node_text:
+                visibility = "private"
+            elif "protected" in node_text:
+                visibility = "protected"
+
+            for child in node.children:
+                if child.type == "property_identifier":
+                    name = self._get_node_text_optimized(child)
+                    is_constructor = name == "constructor"
+                elif child.type == "formal_parameters":
+                    parameters = self._extract_parameters_with_types(child)
+                elif child.type == "type_annotation":
+                    return_type = self._get_node_text_optimized(child).lstrip(": ")
+                elif child.type == "type_parameters":
+                    generics = self._extract_generics(child)
+
+            # Check for getter/setter
+            if "get " in node_text:
+                is_getter = True
+            elif "set " in node_text:
+                is_setter = True
+
+            return (
+                name,
+                parameters,
+                is_async,
+                is_static,
+                is_getter,
+                is_setter,
+                is_constructor,
+                return_type,
+                visibility,
+                generics,
+            )
+        except Exception:
+            return None
+
+    def _extract_parameters_with_types(self, params_node: "tree_sitter.Node") -> list[str]:
+        """Extract function parameters with TypeScript type annotations"""
+        parameters = []
+
+        for child in params_node.children:
+            if child.type == "identifier":
+                param_name = self._get_node_text_optimized(child)
+                parameters.append(param_name)
+            elif child.type == "required_parameter":
+                # Handle typed parameters
+                param_text = self._get_node_text_optimized(child)
+                parameters.append(param_text)
+            elif child.type == "optional_parameter":
+                # Handle optional parameters
+                param_text = self._get_node_text_optimized(child)
+                parameters.append(param_text)
+            elif child.type == "rest_parameter":
+                # Handle rest parameters (...args)
+                rest_text = self._get_node_text_optimized(child)
+                parameters.append(rest_text)
+            elif child.type in ["object_pattern", "array_pattern"]:
+                # Handle destructuring parameters
+                destructure_text = self._get_node_text_optimized(child)
+                parameters.append(destructure_text)
+
+        return parameters
+
+    def _extract_generics(self, type_params_node: "tree_sitter.Node") -> list[str]:
+        """Extract generic type parameters"""
+        generics = []
+
+        for child in type_params_node.children:
+            if child.type == "type_parameter":
+                generic_text = self._get_node_text_optimized(child)
+                generics.append(generic_text)
+
+        return generics
+
+    def _extract_import_info_simple(self, node: "tree_sitter.Node") -> Import | None:
+        """Extract import information from import_statement node"""
+        try:
+            start_line = node.start_point[0] + 1
+            end_line = node.end_point[0] + 1
+
+            # Get raw text using byte positions
+            start_byte = node.start_byte
+            end_byte = node.end_byte
+            source_bytes = self.source_code.encode("utf-8")
+            raw_text = source_bytes[start_byte:end_byte].decode("utf-8")
+
+            # Extract import details from AST structure
+            import_names = []
+            module_path = ""
+            is_type_import = "type" in raw_text
+
+            for child in node.children:
+                if child.type == "import_clause":
+                    import_names.extend(self._extract_import_names(child))
+                elif child.type == "string":
+                    # Module path
+                    module_text = source_bytes[
+                        child.start_byte : child.end_byte
+                    ].decode("utf-8")
+                    module_path = module_text.strip("\"'")
+
+            # Use first import name or "unknown"
+            primary_name = import_names[0] if import_names else "unknown"
+
+            return Import(
+                name=primary_name,
+                start_line=start_line,
+                end_line=end_line,
+                raw_text=raw_text,
+                language="typescript",
+                module_path=module_path,
+                module_name=module_path,
+                imported_names=import_names,
+            )
+
+        except Exception as e:
+            log_debug(f"Failed to extract import info: {e}")
+            return None
+
+    def _extract_import_names(
+        self, import_clause_node: "tree_sitter.Node"
+    ) -> list[str]:
+        """Extract import names from import clause"""
+        names = []
+        source_bytes = self.source_code.encode("utf-8")
+
+        for child in import_clause_node.children:
+            if child.type == "import_default_specifier":
+                # Default import
+                for grandchild in child.children:
+                    if grandchild.type == "identifier":
+                        name_text = source_bytes[
+                            grandchild.start_byte : grandchild.end_byte
+                        ].decode("utf-8")
+                        names.append(name_text)
+            elif child.type == "named_imports":
+                # Named imports
+                for grandchild in child.children:
+                    if grandchild.type == "import_specifier":
+                        for ggchild in grandchild.children:
+                            if ggchild.type == "identifier":
+                                name_text = source_bytes[
+                                    ggchild.start_byte : ggchild.end_byte
+                                ].decode("utf-8")
+                                names.append(name_text)
+
+        return names
+
+    def _extract_dynamic_import(self, node: "tree_sitter.Node") -> Import | None:
+        """Extract dynamic import() calls"""
+        try:
+            node_text = self._get_node_text_optimized(node)
+
+            # Look for import() calls
+            import_match = re.search(
+                r"import\s*\(\s*[\"']([^\"']+)[\"']\s*\)", node_text
+            )
+            if not import_match:
+                return None
+
+            source = import_match.group(1)
+
+            return Import(
+                name="dynamic_import",
+                start_line=node.start_point[0] + 1,
+                end_line=node.end_point[0] + 1,
+                raw_text=node_text,
+                language="typescript",
+                module_path=source,
+                # TypeScript-specific properties
+                import_type="dynamic",
+                is_dynamic=True,
+                framework_type=self.framework_type,
+            )
+        except Exception as e:
+            log_debug(f"Failed to extract dynamic import: {e}")
+            return None
+
+    def _extract_commonjs_requires(
+        self, tree: "tree_sitter.Tree", source_code: str
+    ) -> list[Import]:
+        """Extract CommonJS require() statements (for compatibility)"""
+        imports = []
+
+        try:
+            # Use regex to find require statements
+            require_pattern = r"(?:const|let|var)\s+(\w+)\s*=\s*require\s*\(\s*[\"']([^\"']+)[\"']\s*\)"
+
+            for match in re.finditer(require_pattern, source_code):
+                var_name = match.group(1)
+                module_path = match.group(2)
+
+                # Find line number
+                line_num = source_code[: match.start()].count("\n") + 1
+
+                import_obj = Import(
+                    name=var_name,
+                    start_line=line_num,
+                    end_line=line_num,
+                    raw_text=match.group(0),
+                    language="typescript",
+                    module_path=module_path,
+                    module_name=module_path,
+                    imported_names=[var_name],
+                    # TypeScript-specific properties
+                    import_type="commonjs",
+                    framework_type=self.framework_type,
+                )
+                imports.append(import_obj)
+
+        except Exception as e:
+            log_debug(f"Failed to extract CommonJS requires: {e}")
+
+        return imports
+
+    def _is_framework_component(self, node: "tree_sitter.Node", class_name: str) -> bool:
+        """Check if class is a framework component"""
+        if self.framework_type == "react":
+            # Check if extends React.Component or Component
+            node_text = self._get_node_text_optimized(node)
+            return "extends" in node_text and (
+                "Component" in node_text or "PureComponent" in node_text
+            )
+        elif self.framework_type == "angular":
+            # Check for Angular component decorator
+            return "@Component" in self.source_code
+        elif self.framework_type == "vue":
+            # Check for Vue component patterns
+            return "Vue" in self.source_code or "@Component" in self.source_code
+        return False
+
+    def _is_exported_class(self, class_name: str) -> bool:
+        """Check if class is exported"""
+        # Simple check for export statements
+        return f"export class {class_name}" in self.source_code or f"export default {class_name}" in self.source_code
+
+    def _infer_type_from_value(self, value: str | None) -> str:
+        """Infer TypeScript type from value"""
+        if not value:
+            return "any"
+
+        value = value.strip()
+
+        if value.startswith('"') or value.startswith("'") or value.startswith("`"):
+            return "string"
+        elif value in ["true", "false"]:
+            return "boolean"
+        elif value == "null":
+            return "null"
+        elif value == "undefined":
+            return "undefined"
+        elif value.startswith("[") and value.endswith("]"):
+            return "array"
+        elif value.startswith("{") and value.endswith("}"):
+            return "object"
+        elif value.replace(".", "").replace("-", "").isdigit():
+            return "number"
+        elif "function" in value or "=>" in value:
+            return "function"
+        else:
+            return "any"
+
+    def _extract_tsdoc_for_line(self, target_line: int) -> str | None:
+        """Extract TSDoc comment immediately before the specified line"""
+        if target_line in self._tsdoc_cache:
+            return self._tsdoc_cache[target_line]
+
+        try:
+            if not self.content_lines or target_line <= 1:
+                return None
+
+            # Search backwards from target_line
+            tsdoc_lines = []
+            current_line = target_line - 1
+
+            # Skip empty lines
+            while current_line > 0:
+                line = self.content_lines[current_line - 1].strip()
+                if line:
+                    break
+                current_line -= 1
+
+            # Check for TSDoc end
+            if current_line > 0:
+                line = self.content_lines[current_line - 1].strip()
+                if line.endswith("*/"):
+                    tsdoc_lines.append(self.content_lines[current_line - 1])
+                    current_line -= 1
+
+                    # Collect TSDoc content
+                    while current_line > 0:
+                        line_content = self.content_lines[current_line - 1]
+                        line_stripped = line_content.strip()
+                        tsdoc_lines.append(line_content)
+
+                        if line_stripped.startswith("/**"):
+                            tsdoc_lines.reverse()
+                            tsdoc_text = "\n".join(tsdoc_lines)
+                            cleaned = self._clean_tsdoc(tsdoc_text)
+                            self._tsdoc_cache[target_line] = cleaned
+                            return cleaned
+                        current_line -= 1
+
+            self._tsdoc_cache[target_line] = None
+            return None
+
+        except Exception as e:
+            log_debug(f"Failed to extract TSDoc: {e}")
+            return None
+
+    def _clean_tsdoc(self, tsdoc_text: str) -> str:
+        """Clean TSDoc text by removing comment markers"""
+        if not tsdoc_text:
+            return ""
+
+        lines = tsdoc_text.split("\n")
+        cleaned_lines = []
+
+        for line in lines:
+            line = line.strip()
+
+            if line.startswith("/**"):
+                line = line[3:].strip()
+            elif line.startswith("*/"):
+                line = line[2:].strip()
+            elif line.startswith("*"):
+                line = line[1:].strip()
+
+            if line:
+                cleaned_lines.append(line)
+
+        return " ".join(cleaned_lines) if cleaned_lines else ""
+
+    def _calculate_complexity_optimized(self, node: "tree_sitter.Node") -> int:
+        """Calculate cyclomatic complexity efficiently"""
+        node_id = id(node)
+        if node_id in self._complexity_cache:
+            return self._complexity_cache[node_id]
+
+        complexity = 1
+        try:
+            node_text = self._get_node_text_optimized(node).lower()
+            keywords = [
+                "if",
+                "else if",
+                "while",
+                "for",
+                "catch",
+                "case",
+                "switch",
+                "&&",
+                "||",
+                "?",
+            ]
+            for keyword in keywords:
+                complexity += node_text.count(keyword)
+        except Exception as e:
+            log_debug(f"Failed to calculate complexity: {e}")
+
+        self._complexity_cache[node_id] = complexity
+        return complexity
+
+
+class TypeScriptPlugin(LanguagePlugin):
+    """Enhanced TypeScript language plugin with comprehensive feature support"""
+
+    def __init__(self) -> None:
+        self._extractor = TypeScriptElementExtractor()
+        self._language: tree_sitter.Language | None = None
+
+    @property
+    def language_name(self) -> str:
+        return "typescript"
+
+    @property
+    def file_extensions(self) -> list[str]:
+        return [".ts", ".tsx", ".d.ts"]
+
+    def get_language_name(self) -> str:
+        """Return the name of the programming language this plugin supports"""
+        return "typescript"
+
+    def get_file_extensions(self) -> list[str]:
+        """Return list of file extensions this plugin supports"""
+        return [".ts", ".tsx", ".d.ts"]
+
+    def create_extractor(self) -> ElementExtractor:
+        """Create and return an element extractor for this language"""
+        return TypeScriptElementExtractor()
+
+    def get_extractor(self) -> ElementExtractor:
+        return self._extractor
+
+    def get_tree_sitter_language(self) -> Optional["tree_sitter.Language"]:
+        """Load and return TypeScript tree-sitter language"""
+        if self._language is None:
+            self._language = loader.load_language("typescript")
+        return self._language
+
+    def get_supported_queries(self) -> list[str]:
+        """Get list of supported query names for this language"""
+        return [
+            "function",
+            "class",
+            "interface",
+            "type_alias",
+            "enum",
+            "variable",
+            "import",
+            "export",
+            "async_function",
+            "arrow_function",
+            "method",
+            "constructor",
+            "generic",
+            "decorator",
+            "signature",
+            "react_component",
+            "angular_component",
+            "vue_component",
+        ]
+
+    def is_applicable(self, file_path: str) -> bool:
+        """Check if this plugin is applicable for the given file"""
+        return any(
+            file_path.lower().endswith(ext.lower())
+            for ext in self.get_file_extensions()
+        )
+
+    def get_plugin_info(self) -> dict:
+        """Get information about this plugin"""
+        return {
+            "name": "TypeScript Plugin",
+            "language": self.get_language_name(),
+            "extensions": self.get_file_extensions(),
+            "version": "2.0.0",
+            "supported_queries": self.get_supported_queries(),
+            "features": [
+                "TypeScript syntax support",
+                "Interface declarations",
+                "Type aliases",
+                "Enums",
+                "Generics",
+                "Decorators",
+                "Async/await functions",
+                "Arrow functions",
+                "Classes and methods",
+                "Module imports/exports",
+                "TSX/JSX support",
+                "React component detection",
+                "Angular component detection",
+                "Vue component detection",
+                "Type annotations",
+                "Method signatures",
+                "TSDoc extraction",
+                "Complexity analysis",
+            ],
+        }
+
+    async def analyze_file(
+        self, file_path: str, request: AnalysisRequest
+    ) -> AnalysisResult:
+        """Analyze a TypeScript file and return the analysis results."""
+        if not TREE_SITTER_AVAILABLE:
+            return AnalysisResult(
+                file_path=file_path,
+                language=self.language_name,
+                success=False,
+                error_message="Tree-sitter library not available.",
+            )
+
+        language = self.get_tree_sitter_language()
+        if not language:
+            return AnalysisResult(
+                file_path=file_path,
+                language=self.language_name,
+                success=False,
+                error_message="Could not load TypeScript language for parsing.",
+            )
+
+        try:
+            with open(file_path, encoding="utf-8") as f:
+                source_code = f.read()
+
+            parser = tree_sitter.Parser()
+            parser.language = language
+            tree = parser.parse(bytes(source_code, "utf8"))
+
+            extractor = self.create_extractor()
+            extractor.current_file = file_path  # Set current file for context
+
+            elements: list[CodeElement] = []
+
+            # Extract all element types
+            functions = extractor.extract_functions(tree, source_code)
+            classes = extractor.extract_classes(tree, source_code)
+            variables = extractor.extract_variables(tree, source_code)
+            imports = extractor.extract_imports(tree, source_code)
+
+            elements.extend(functions)
+            elements.extend(classes)
+            elements.extend(variables)
+            elements.extend(imports)
+
+            def count_nodes(node: "tree_sitter.Node") -> int:
+                count = 1
+                for child in node.children:
+                    count += count_nodes(child)
+                return count
+
+            return AnalysisResult(
+                file_path=file_path,
+                language=self.language_name,
+                success=True,
+                elements=elements,
+                line_count=len(source_code.splitlines()),
+                node_count=count_nodes(tree.root_node),
+            )
+        except Exception as e:
+            log_error(f"Error analyzing TypeScript file {file_path}: {e}")
+            return AnalysisResult(
+                file_path=file_path,
+                language=self.language_name,
+                success=False,
+                error_message=str(e),
+            )