code-graph-cli 3.0.1

use std::sync::OnceLock;

use tree_sitter::{Language, Node, Query, QueryCursor, StreamingIterator, Tree};

// ---------------------------------------------------------------------------
// Data structures
// ---------------------------------------------------------------------------

/// The kind of import statement.
#[derive(Debug, Clone, PartialEq, Eq, Hash)]
pub enum ImportKind {
    /// ESM static import: `import { X } from './module'`
    Esm,
    /// CommonJS require: `const X = require('./module')`
    Cjs,
    /// Dynamic import: `import('./module')`
    DynamicImport,
    /// Python absolute import: `import os` or `from pkg import name`
    PythonAbsolute,
    /// Python relative import: `from . import X` (level=1) or `from ..pkg import Y` (level=2)
    PythonRelative { level: usize },
    /// Python conditional absolute import (inside try/except block): `try: from fast import X`
    PythonConditionalAbsolute,
    /// Python conditional relative import (inside try/except block): `try: from . import X`
    PythonConditionalRelative { level: usize },
    /// Go absolute import: `import "pkg"`.
    GoAbsolute,
    /// Go blank import: `import _ "pkg"` — side-effect only.
    GoBlank,
    /// Go dot import: `import . "pkg"` — all names imported.
    GoDot,
}

/// A single imported name from a module.
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct ImportSpecifier {
    /// The local name used in this file.
    pub name: String,
    /// The alias (original name) when using `import { original as alias }`.
    pub alias: Option<String>,
    /// True for `import React from 'react'` (default import).
    pub is_default: bool,
    /// True for `import * as ns from 'module'` (namespace import).
    pub is_namespace: bool,
}

/// An import extracted from a source file.
#[derive(Debug, Clone)]
pub struct ImportInfo {
    /// Kind of import (ESM / CJS / dynamic / Python).
    pub kind: ImportKind,
    /// The raw module specifier string, e.g. `"react"` or `"./utils"`.
    pub module_path: String,
    /// The names imported from the module.
    pub specifiers: Vec<ImportSpecifier>,
    /// 1-based line number where the import statement begins.
    /// 0 for imports extracted from older code paths that do not set this field.
    /// Used by Python import extraction (Plan 17-02); consumed by pipeline in Plan 17-03.
    #[allow(dead_code)]
    pub line: usize,
}

/// The kind of export statement.
#[derive(Debug, Clone, PartialEq, Eq)]
pub enum ExportKind {
    /// `export { Foo, Bar }`
    Named,
    /// `export default X`
    Default,
    /// `export { X } from './module'`
    ReExport,
    /// `export * from './module'`
    ReExportAll,
}

/// An export extracted from a source file.
#[derive(Debug, Clone)]
pub struct ExportInfo {
    /// Kind of export.
    pub kind: ExportKind,
    /// The names being exported (empty for Default and ReExportAll).
    pub names: Vec<String>,
    /// The source module for re-exports.
    pub source: Option<String>,
}

// ---------------------------------------------------------------------------
// Query strings
// ---------------------------------------------------------------------------

/// Tree-sitter query for ESM static imports.
/// Matches `import { X } from 'module'`, `import X from 'module'`, `import * as X from 'module'`.
const IMPORT_QUERY_TS: &str = r#"
    (import_statement
      source: (string (string_fragment) @module_path)) @import
"#;

/// Tree-sitter query for CJS require calls.
/// Note: we do not use #eq? predicate here because tree-sitter 0.26 StreamingIterator
/// does not auto-filter custom predicates. We filter for "require" in code instead.
const REQUIRE_QUERY: &str = r#"
    (call_expression
      function: (identifier) @fn
      arguments: (arguments (string (string_fragment) @module_path)))
"#;

/// Tree-sitter query for dynamic import() calls.
const DYNAMIC_IMPORT_QUERY: &str = r#"
    (call_expression
      function: (import)
      arguments: (arguments (string (string_fragment) @module_path))) @dynamic_import
"#;

/// Tree-sitter query for export statements.
const EXPORT_QUERY: &str = r#"
    (export_statement) @export_stmt
"#;

// ---------------------------------------------------------------------------
// Query cache — one set of statics per grammar (TS / TSX / JS).
// Queries are grammar-specific: a Query compiled for one grammar cannot be
// used against a tree parsed with a different grammar.
// ---------------------------------------------------------------------------

// TypeScript (.ts)
static TS_IMPORT_QUERY: OnceLock<Query> = OnceLock::new();
static TS_REQUIRE_QUERY: OnceLock<Query> = OnceLock::new();
static TS_DYNAMIC_QUERY: OnceLock<Query> = OnceLock::new();
static TS_EXPORT_QUERY: OnceLock<Query> = OnceLock::new();

// TypeScript-TSX (.tsx / .jsx)
static TSX_IMPORT_QUERY: OnceLock<Query> = OnceLock::new();
static TSX_REQUIRE_QUERY: OnceLock<Query> = OnceLock::new();
static TSX_DYNAMIC_QUERY: OnceLock<Query> = OnceLock::new();
static TSX_EXPORT_QUERY: OnceLock<Query> = OnceLock::new();

// JavaScript (.js)
static JS_IMPORT_QUERY: OnceLock<Query> = OnceLock::new();
static JS_REQUIRE_QUERY: OnceLock<Query> = OnceLock::new();
static JS_DYNAMIC_QUERY: OnceLock<Query> = OnceLock::new();
static JS_EXPORT_QUERY: OnceLock<Query> = OnceLock::new();

/// Which language group a file falls into.
/// Note: `Language::name()` returns `None` for TypeScript/TSX grammars in tree-sitter 0.26.
/// We therefore use `is_tsx` (derived from file extension) for TS vs TSX discrimination,
/// and `language.name() == Some("javascript")` only for the JavaScript grammar check.
/// This mirrors the pattern established in symbols.rs.
enum LangGroup {
    TypeScript,
    Tsx,
    JavaScript,
}

fn lang_group(language: &Language, is_tsx: bool) -> LangGroup {
    // JavaScript grammar reliably returns Some("javascript") from name().
    // TypeScript and TSX grammars may return None; use is_tsx flag instead.
    match language.name().unwrap_or("") {
        "javascript" => LangGroup::JavaScript,
        _ => {
            if is_tsx {
                LangGroup::Tsx
            } else {
                LangGroup::TypeScript
            }
        }
    }
}

fn import_query(language: &Language, is_tsx: bool) -> &'static Query {
    match lang_group(language, is_tsx) {
        LangGroup::TypeScript => TS_IMPORT_QUERY.get_or_init(|| {
            Query::new(language, IMPORT_QUERY_TS).expect("invalid TS import query")
        }),
        LangGroup::Tsx => TSX_IMPORT_QUERY.get_or_init(|| {
            Query::new(language, IMPORT_QUERY_TS).expect("invalid TSX import query")
        }),
        LangGroup::JavaScript => JS_IMPORT_QUERY.get_or_init(|| {
            Query::new(language, IMPORT_QUERY_TS).expect("invalid JS import query")
        }),
    }
}

fn require_query(language: &Language, is_tsx: bool) -> &'static Query {
    match lang_group(language, is_tsx) {
        LangGroup::TypeScript => TS_REQUIRE_QUERY
            .get_or_init(|| Query::new(language, REQUIRE_QUERY).expect("invalid TS require query")),
        LangGroup::Tsx => TSX_REQUIRE_QUERY.get_or_init(|| {
            Query::new(language, REQUIRE_QUERY).expect("invalid TSX require query")
        }),
        LangGroup::JavaScript => JS_REQUIRE_QUERY
            .get_or_init(|| Query::new(language, REQUIRE_QUERY).expect("invalid JS require query")),
    }
}

fn dynamic_import_query(language: &Language, is_tsx: bool) -> &'static Query {
    match lang_group(language, is_tsx) {
        LangGroup::TypeScript => TS_DYNAMIC_QUERY.get_or_init(|| {
            Query::new(language, DYNAMIC_IMPORT_QUERY).expect("invalid TS dynamic import query")
        }),
        LangGroup::Tsx => TSX_DYNAMIC_QUERY.get_or_init(|| {
            Query::new(language, DYNAMIC_IMPORT_QUERY).expect("invalid TSX dynamic import query")
        }),
        LangGroup::JavaScript => JS_DYNAMIC_QUERY.get_or_init(|| {
            Query::new(language, DYNAMIC_IMPORT_QUERY).expect("invalid JS dynamic import query")
        }),
    }
}

fn export_query(language: &Language, is_tsx: bool) -> &'static Query {
    match lang_group(language, is_tsx) {
        LangGroup::TypeScript => TS_EXPORT_QUERY
            .get_or_init(|| Query::new(language, EXPORT_QUERY).expect("invalid TS export query")),
        LangGroup::Tsx => TSX_EXPORT_QUERY
            .get_or_init(|| Query::new(language, EXPORT_QUERY).expect("invalid TSX export query")),
        LangGroup::JavaScript => JS_EXPORT_QUERY
            .get_or_init(|| Query::new(language, EXPORT_QUERY).expect("invalid JS export query")),
    }
}

// ---------------------------------------------------------------------------
// Helper utilities
// ---------------------------------------------------------------------------

fn node_text<'a>(node: Node<'a>, source: &'a [u8]) -> &'a str {
    node.utf8_text(source).unwrap_or("")
}

// ---------------------------------------------------------------------------
// Import extraction
// ---------------------------------------------------------------------------

/// Extract all ESM specifiers from an import_statement node.
///
/// Handles:
/// - Named: `import { useState, useEffect } from 'react'`
/// - Default: `import React from 'react'`
/// - Namespace: `import * as path from 'path'`
/// - Combined: `import React, { useState } from 'react'`
fn extract_esm_specifiers(import_node: Node, source: &[u8]) -> Vec<ImportSpecifier> {
    let mut specifiers = Vec::new();

    // Walk direct children of the import_statement to find import clauses.
    let mut cursor = import_node.walk();
    for child in import_node.children(&mut cursor) {
        match child.kind() {
            "import_clause" => {
                extract_import_clause(child, source, &mut specifiers);
            }
            "namespace_import" => {
                // `import * as ns from 'module'` (direct child, rare but handle it)
                if let Some(name) = extract_namespace_import_name(child, source) {
                    specifiers.push(ImportSpecifier {
                        name,
                        alias: None,
                        is_default: false,
                        is_namespace: true,
                    });
                }
            }
            _ => {}
        }
    }

    specifiers
}

/// Recursively extract specifiers from an `import_clause` node.
fn extract_import_clause(clause_node: Node, source: &[u8], specifiers: &mut Vec<ImportSpecifier>) {
    let mut cursor = clause_node.walk();
    for child in clause_node.children(&mut cursor) {
        match child.kind() {
            "identifier" => {
                // Default import: `import React from ...`
                specifiers.push(ImportSpecifier {
                    name: node_text(child, source).to_owned(),
                    alias: None,
                    is_default: true,
                    is_namespace: false,
                });
            }
            "named_imports" => {
                // Named: `{ useState, useEffect as UE }`
                extract_named_imports(child, source, specifiers);
            }
            "namespace_import" => {
                // `* as ns` — the identifier has no field name, just find the identifier child
                if let Some(name) = extract_namespace_import_name(child, source) {
                    specifiers.push(ImportSpecifier {
                        name,
                        alias: None,
                        is_default: false,
                        is_namespace: true,
                    });
                }
            }
            _ => {}
        }
    }
}

/// Extract the identifier name from a `namespace_import` node (`* as identifier`).
/// The identifier is not assigned a field name in the grammar — find it by kind.
fn extract_namespace_import_name(ns_node: Node, source: &[u8]) -> Option<String> {
    let mut cursor = ns_node.walk();
    for child in ns_node.children(&mut cursor) {
        if child.kind() == "identifier" {
            return Some(node_text(child, source).to_owned());
        }
    }
    None
}

/// Extract individual import_specifier nodes from a named_imports node.
fn extract_named_imports(
    named_imports_node: Node,
    source: &[u8],
    specifiers: &mut Vec<ImportSpecifier>,
) {
    let mut cursor = named_imports_node.walk();
    for child in named_imports_node.children(&mut cursor) {
        if child.kind() == "import_specifier" {
            // `name` field: the local binding name
            // `alias` field in tree-sitter is actually the "name" field (what was exported)
            // In `import { foo as bar }`: name="foo", alias="bar"
            // tree-sitter field: name -> original, alias -> local
            let name_node = child.child_by_field_name("name");
            let alias_node = child.child_by_field_name("alias");

            match (name_node, alias_node) {
                (Some(n), Some(a)) => {
                    // `import { foo as bar }` — n="foo", a="bar"
                    specifiers.push(ImportSpecifier {
                        name: node_text(a, source).to_owned(),        // local binding
                        alias: Some(node_text(n, source).to_owned()), // original name
                        is_default: false,
                        is_namespace: false,
                    });
                }
                (Some(n), None) => {
                    specifiers.push(ImportSpecifier {
                        name: node_text(n, source).to_owned(),
                        alias: None,
                        is_default: false,
                        is_namespace: false,
                    });
                }
                _ => {}
            }
        }
    }
}

/// Find the variable name from a CJS require statement's parent variable_declarator.
/// e.g. `const fs = require('fs')` → "fs"
fn find_require_binding(call_node: Node, source: &[u8]) -> Option<String> {
    // Walk up to variable_declarator
    let mut current = call_node.parent();
    while let Some(n) = current {
        if n.kind() == "variable_declarator" {
            if let Some(name_node) = n.child_by_field_name("name") {
                return Some(node_text(name_node, source).to_owned());
            }
            break;
        }
        current = n.parent();
    }
    None
}

/// Extract all imports (ESM, CJS, dynamic) from a parsed syntax tree.
///
/// `is_tsx` must be `true` for `.tsx` and `.jsx` files — used to select the correct
/// per-grammar query cache. This mirrors the `is_tsx` convention from `extract_symbols`.
pub fn extract_imports(
    tree: &Tree,
    source: &[u8],
    language: &Language,
    is_tsx: bool,
) -> Vec<ImportInfo> {
    let mut imports = Vec::new();

    // --- ESM static imports ---
    {
        let query = import_query(language, is_tsx);
        let module_path_idx = query
            .capture_index_for_name("module_path")
            .expect("import query must have @module_path");
        let import_idx = query
            .capture_index_for_name("import")
            .expect("import query must have @import");

        let mut cursor = QueryCursor::new();
        let mut matches = cursor.matches(query, tree.root_node(), source);

        while let Some(m) = matches.next() {
            let mut import_node: Option<Node> = None;
            let mut module_path: Option<String> = None;

            for capture in m.captures {
                if capture.index == import_idx {
                    import_node = Some(capture.node);
                } else if capture.index == module_path_idx {
                    module_path = Some(node_text(capture.node, source).to_owned());
                }
            }

            if let (Some(imp_node), Some(path)) = (import_node, module_path) {
                let specifiers = extract_esm_specifiers(imp_node, source);
                imports.push(ImportInfo {
                    kind: ImportKind::Esm,
                    module_path: path,
                    specifiers,
                    line: 0,
                });
            }
        }
    }

    // --- CJS require() calls ---
    {
        // The require query matches ALL call_expression(identifier, ...) patterns.
        // We filter for "require" in code (tree-sitter 0.26 StreamingIterator does not
        // auto-apply #eq? predicates).
        let query = require_query(language, is_tsx);
        let module_path_idx = match query.capture_index_for_name("module_path") {
            Some(idx) => idx,
            None => {
                // query compiled without expected captures — skip CJS
                return imports;
            }
        };
        let fn_idx = query.capture_index_for_name("fn");

        let mut cursor = QueryCursor::new();
        let mut matches = cursor.matches(query, tree.root_node(), source);

        while let Some(m) = matches.next() {
            let mut module_path: Option<String> = None;
            let mut call_node: Option<Node> = None;
            let mut fn_name: Option<String> = None;

            for capture in m.captures {
                if capture.index == module_path_idx {
                    module_path = Some(node_text(capture.node, source).to_owned());
                    call_node = Some(capture.node);
                } else if fn_idx == Some(capture.index) {
                    fn_name = Some(node_text(capture.node, source).to_owned());
                }
            }

            // Only process calls to `require(...)`, not arbitrary identifier calls.
            if fn_name.as_deref() != Some("require") {
                continue;
            }

            if let Some(path) = module_path {
                // Walk up to find the call_expression node for binding detection.
                let call_expr = call_node.and_then(|n| {
                    let mut c = Some(n);
                    while let Some(node) = c {
                        if node.kind() == "call_expression" {
                            return Some(node);
                        }
                        c = node.parent();
                    }
                    None
                });

                let mut specifiers = Vec::new();
                if let Some(call) = call_expr
                    && let Some(binding) = find_require_binding(call, source)
                {
                    specifiers.push(ImportSpecifier {
                        name: binding,
                        alias: None,
                        is_default: false,
                        is_namespace: false,
                    });
                }

                imports.push(ImportInfo {
                    kind: ImportKind::Cjs,
                    module_path: path,
                    specifiers,
                    line: 0,
                });
            }
        }
    }

    // --- Dynamic import() calls ---
    {
        let query = dynamic_import_query(language, is_tsx);
        let module_path_idx = query
            .capture_index_for_name("module_path")
            .expect("dynamic import query must have @module_path");

        let mut cursor = QueryCursor::new();
        let mut matches = cursor.matches(query, tree.root_node(), source);

        while let Some(m) = matches.next() {
            let mut module_path: Option<String> = None;

            for capture in m.captures {
                if capture.index == module_path_idx {
                    module_path = Some(node_text(capture.node, source).to_owned());
                }
            }

            if let Some(path) = module_path {
                imports.push(ImportInfo {
                    kind: ImportKind::DynamicImport,
                    module_path: path,
                    specifiers: Vec::new(),
                    line: 0,
                });
            }
        }
    }

    imports
}

// ---------------------------------------------------------------------------
// Export extraction
// ---------------------------------------------------------------------------

// ---------------------------------------------------------------------------
// Rust use declaration extraction
// ---------------------------------------------------------------------------

/// Extract all Rust `use` and `pub use` declarations from a parsed syntax tree.
///
/// Returns a `Vec<RustUseInfo>` with the raw use path string and `is_pub_use` flag.
/// Phase 8 stores raw source text; Phase 9 handles use-tree expansion.
pub fn extract_rust_use(tree: &Tree, source: &[u8]) -> Vec<crate::parser::RustUseInfo> {
    let mut results = Vec::new();
    let root = tree.root_node();

    let mut cursor = root.walk();
    for child in root.children(&mut cursor) {
        if child.kind() != "use_declaration" {
            continue;
        }

        // Check for pub visibility modifier
        let is_pub_use = {
            let mut c = child.walk();
            child
                .children(&mut c)
                .any(|n| n.kind() == "visibility_modifier")
        };

        // Extract the use path from the "argument" field
        let path = match child.child_by_field_name("argument") {
            Some(arg_node) => node_text(arg_node, source).to_owned(),
            None => continue,
        };

        results.push(crate::parser::RustUseInfo { path, is_pub_use });
    }

    results
}

/// Extract all exports from a parsed syntax tree.
///
/// `is_tsx` must be `true` for `.tsx` and `.jsx` files — used to select the correct
/// per-grammar query cache. This mirrors the `is_tsx` convention from `extract_symbols`.
pub fn extract_exports(
    tree: &Tree,
    source: &[u8],
    language: &Language,
    is_tsx: bool,
) -> Vec<ExportInfo> {
    let mut exports = Vec::new();

    let query = export_query(language, is_tsx);
    let export_stmt_idx = query
        .capture_index_for_name("export_stmt")
        .expect("export query must have @export_stmt");

    let mut cursor = QueryCursor::new();
    let mut matches = cursor.matches(query, tree.root_node(), source);

    while let Some(m) = matches.next() {
        let mut export_node: Option<Node> = None;

        for capture in m.captures {
            if capture.index == export_stmt_idx {
                export_node = Some(capture.node);
            }
        }

        if let Some(node) = export_node
            && let Some(info) = classify_export(node, source)
        {
            exports.push(info);
        }
    }

    exports
}

/// Classify a single export_statement node.
fn classify_export(node: Node, source: &[u8]) -> Option<ExportInfo> {
    // Check if this is a re-export (has a `source` field).
    let source_str = find_export_source(node, source);

    // Check for wildcard export: `export * from './module'`
    let has_star = (0..node.child_count()).any(|i| {
        node.child(i as u32)
            .map(|c| c.kind() == "*")
            .unwrap_or(false)
    });

    if has_star {
        // `export * from './module'`
        return Some(ExportInfo {
            kind: ExportKind::ReExportAll,
            names: Vec::new(),
            source: source_str,
        });
    }

    // Check for export_clause (named or re-export with names).
    let export_clause = find_child_of_kind(node, "export_clause");

    if let Some(clause) = export_clause {
        let names = extract_export_clause_names(clause, source);
        if source_str.is_some() {
            // `export { X } from './module'`
            return Some(ExportInfo {
                kind: ExportKind::ReExport,
                names,
                source: source_str,
            });
        } else {
            // `export { X, Y }`
            return Some(ExportInfo {
                kind: ExportKind::Named,
                names,
                source: None,
            });
        }
    }

    // Check for `default` keyword — `export default X`
    let has_default = (0..node.child_count()).any(|i| {
        node.child(i as u32)
            .map(|c| node_text(c, source) == "default")
            .unwrap_or(false)
    });

    if has_default {
        return Some(ExportInfo {
            kind: ExportKind::Default,
            names: Vec::new(),
            source: None,
        });
    }

    // Inline export (export function/class/etc.) — skip here; symbols.rs captures these.
    None
}

/// Find the source module string from a re-export statement.
/// e.g. `export { X } from './utils'` → Some("./utils")
fn find_export_source(export_node: Node, source: &[u8]) -> Option<String> {
    let mut cursor = export_node.walk();
    for child in export_node.children(&mut cursor) {
        if child.kind() == "string" {
            // The string's first named child is string_fragment
            if let Some(frag) = child.named_child(0) {
                return Some(node_text(frag, source).to_owned());
            }
        }
    }
    None
}

/// Find the first direct child of `node` with the given kind.
fn find_child_of_kind<'a>(node: Node<'a>, kind: &str) -> Option<Node<'a>> {
    let mut cursor = node.walk();
    node.children(&mut cursor)
        .find(|child| child.kind() == kind)
}

/// Extract the exported names from an export_clause node.
fn extract_export_clause_names(clause_node: Node, source: &[u8]) -> Vec<String> {
    let mut names = Vec::new();
    let mut cursor = clause_node.walk();
    for child in clause_node.children(&mut cursor) {
        if child.kind() == "export_specifier" {
            // The `name` field holds the original name being exported.
            if let Some(name_node) = child.child_by_field_name("name") {
                names.push(node_text(name_node, source).to_owned());
            }
        }
    }
    names
}

// ---------------------------------------------------------------------------
// Tests
// ---------------------------------------------------------------------------

#[cfg(test)]
mod tests {
    use super::*;
    use crate::parser::languages::language_for_extension;

    fn parse_ts(source: &str) -> (tree_sitter::Tree, Language) {
        let lang = language_for_extension("ts").unwrap();
        let mut parser = tree_sitter::Parser::new();
        parser.set_language(&lang).unwrap();
        let tree = parser.parse(source.as_bytes(), None).unwrap();
        (tree, lang)
    }

    fn parse_js(source: &str) -> (tree_sitter::Tree, Language) {
        let lang = language_for_extension("js").unwrap();
        let mut parser = tree_sitter::Parser::new();
        parser.set_language(&lang).unwrap();
        let tree = parser.parse(source.as_bytes(), None).unwrap();
        (tree, lang)
    }

    fn parse_tsx(source: &str) -> (tree_sitter::Tree, Language) {
        let lang = language_for_extension("tsx").unwrap();
        let mut parser = tree_sitter::Parser::new();
        parser.set_language(&lang).unwrap();
        let tree = parser.parse(source.as_bytes(), None).unwrap();
        (tree, lang)
    }

    // Test 1: ESM named imports
    #[test]
    fn test_esm_named_imports() {
        let src = "import { useState, useEffect } from 'react';";
        let (tree, lang) = parse_ts(src);
        let imports = extract_imports(&tree, src.as_bytes(), &lang, false);
        assert_eq!(imports.len(), 1, "should find 1 import");
        let imp = &imports[0];
        assert_eq!(imp.kind, ImportKind::Esm);
        assert_eq!(imp.module_path, "react");
        assert_eq!(imp.specifiers.len(), 2, "should have 2 specifiers");
        let names: Vec<_> = imp.specifiers.iter().map(|s| s.name.as_str()).collect();
        assert!(names.contains(&"useState"), "missing useState");
        assert!(names.contains(&"useEffect"), "missing useEffect");
        assert!(
            imp.specifiers
                .iter()
                .all(|s| !s.is_default && !s.is_namespace)
        );
    }

    // Test 2: ESM default import
    #[test]
    fn test_esm_default_import() {
        let src = "import React from 'react';";
        let (tree, lang) = parse_ts(src);
        let imports = extract_imports(&tree, src.as_bytes(), &lang, false);
        assert_eq!(imports.len(), 1);
        let imp = &imports[0];
        assert_eq!(imp.kind, ImportKind::Esm);
        assert_eq!(imp.module_path, "react");
        assert_eq!(imp.specifiers.len(), 1);
        assert_eq!(imp.specifiers[0].name, "React");
        assert!(imp.specifiers[0].is_default);
        assert!(!imp.specifiers[0].is_namespace);
    }

    // Test 3: ESM namespace import
    #[test]
    fn test_esm_namespace_import() {
        let src = "import * as path from 'path';";
        let (tree, lang) = parse_ts(src);
        let imports = extract_imports(&tree, src.as_bytes(), &lang, false);
        assert_eq!(imports.len(), 1);
        let imp = &imports[0];
        assert_eq!(imp.kind, ImportKind::Esm);
        assert_eq!(imp.module_path, "path");
        assert_eq!(imp.specifiers.len(), 1);
        assert_eq!(imp.specifiers[0].name, "path");
        assert!(imp.specifiers[0].is_namespace);
        assert!(!imp.specifiers[0].is_default);
    }

    // Test 4: CJS require
    #[test]
    fn test_cjs_require() {
        let src = "const fs = require('fs');";
        let (tree, lang) = parse_js(src);
        let imports = extract_imports(&tree, src.as_bytes(), &lang, false);
        assert_eq!(imports.len(), 1, "should find 1 import");
        let imp = &imports[0];
        assert_eq!(imp.kind, ImportKind::Cjs);
        assert_eq!(imp.module_path, "fs");
    }

    // Test 5: Dynamic import
    #[test]
    fn test_dynamic_import() {
        let src = "const mod = await import('./lazy');";
        let (tree, lang) = parse_ts(src);
        let imports = extract_imports(&tree, src.as_bytes(), &lang, false);
        assert_eq!(imports.len(), 1, "should find 1 dynamic import");
        let imp = &imports[0];
        assert_eq!(imp.kind, ImportKind::DynamicImport);
        assert_eq!(imp.module_path, "./lazy");
    }

    // Test 6: Named export
    #[test]
    fn test_named_export() {
        let src = "export { foo, bar };";
        let (tree, lang) = parse_ts(src);
        let exports = extract_exports(&tree, src.as_bytes(), &lang, false);
        assert_eq!(exports.len(), 1, "should find 1 export");
        let exp = &exports[0];
        assert_eq!(exp.kind, ExportKind::Named);
        assert_eq!(exp.names.len(), 2, "should have 2 names");
        assert!(exp.names.contains(&"foo".to_string()));
        assert!(exp.names.contains(&"bar".to_string()));
        assert!(exp.source.is_none());
    }

    // Test 7: Default export
    #[test]
    fn test_default_export() {
        let src = "export default MyComponent;";
        let (tree, lang) = parse_ts(src);
        let exports = extract_exports(&tree, src.as_bytes(), &lang, false);
        assert_eq!(exports.len(), 1, "should find 1 export");
        let exp = &exports[0];
        assert_eq!(exp.kind, ExportKind::Default);
        assert!(exp.names.is_empty());
        assert!(exp.source.is_none());
    }

    // Test 8: Re-export
    #[test]
    fn test_reexport() {
        let src = "export { helper } from './utils';";
        let (tree, lang) = parse_ts(src);
        let exports = extract_exports(&tree, src.as_bytes(), &lang, false);
        assert_eq!(exports.len(), 1, "should find 1 re-export");
        let exp = &exports[0];
        assert_eq!(exp.kind, ExportKind::ReExport);
        assert!(exp.names.contains(&"helper".to_string()));
        assert_eq!(exp.source.as_deref(), Some("./utils"));
    }

    // Test 9: Re-export all
    #[test]
    fn test_reexport_all() {
        let src = "export * from './types';";
        let (tree, lang) = parse_ts(src);
        let exports = extract_exports(&tree, src.as_bytes(), &lang, false);
        assert_eq!(exports.len(), 1, "should find 1 re-export-all");
        let exp = &exports[0];
        assert_eq!(exp.kind, ExportKind::ReExportAll);
        assert!(exp.names.is_empty());
        assert_eq!(exp.source.as_deref(), Some("./types"));
    }

    #[test]
    fn test_appfile_imports() {
        let src = "import { useState } from 'react';\nimport * as path from 'path';\nconst fs = require('fs');";
        let (tree, lang) = parse_ts(src);
        let imports = extract_imports(&tree, src.as_bytes(), &lang, false);
        let summary = imports
            .iter()
            .map(|i| format!("{:?}:{}", i.kind, i.module_path))
            .collect::<Vec<_>>()
            .join(", ");
        assert_eq!(
            imports.len(),
            3,
            "Expected 3 imports, got {}: [{}]",
            imports.len(),
            summary
        );
    }

    // This test verifies that TSX processing does not contaminate TS import statics.
    #[test]
    fn test_tsx_then_ts_imports() {
        // Process TSX file first (initializes TSX statics)
        let tsx_src = "export const b = 2;";
        let (tsx_tree, tsx_lang) = parse_tsx(tsx_src);
        let tsx_imports = extract_imports(&tsx_tree, tsx_src.as_bytes(), &tsx_lang, true);
        assert_eq!(tsx_imports.len(), 0, "TSX file should have 0 imports");

        // Now process TS file — must use its own TS statics, not TSX statics
        let ts_src = "import { useState } from 'react';";
        let (ts_tree, ts_lang) = parse_ts(ts_src);
        let ts_imports = extract_imports(&ts_tree, ts_src.as_bytes(), &ts_lang, false);
        assert_eq!(
            ts_imports.len(),
            1,
            "TS file after TSX should still find 1 import"
        );
    }
}