@colbymchenry/codegraph 0.9.6 → 0.9.8

package/dist/extraction/tree-sitter-types.d.ts

@@ -0,0 +1,193 @@
+/**
+ * Tree-sitter Extraction Types
+ *
+ * Defines the LanguageExtractor interface and related types used by
+ * the core TreeSitterExtractor and per-language extraction configs.
+ * Extracted to a leaf module to avoid circular imports.
+ */
+import { Node as SyntaxNode } from 'web-tree-sitter';
+import { Node, NodeKind, UnresolvedReference } from '../types';
+/**
+ * Information returned by a language's extractImport hook.
+ */
+export interface ImportInfo {
+    /** The module/package name being imported */
+    moduleName: string;
+    /** Full import statement text for display */
+    signature: string;
+    /** If true, the hook already created unresolved references itself */
+    handledRefs?: boolean;
+}
+/**
+ * Information about a single variable within a declaration.
+ * Returned by a language's extractVariables hook.
+ */
+export interface VariableInfo {
+    /** Variable name */
+    name: string;
+    /** Node kind: 'variable' or 'constant' */
+    kind: NodeKind;
+    /** Optional signature string */
+    signature?: string;
+    /** If set, this declarator is actually a function and should be extracted as such */
+    delegateToFunction?: SyntaxNode;
+    /** The AST node to use for positioning (may differ from the declaration node) */
+    positionNode?: SyntaxNode;
+}
+/**
+ * Context object passed to language hooks that need to call back into the core extractor.
+ * Provides a controlled API surface — hooks can create nodes, visit children, and add
+ * references without accessing the full TreeSitterExtractor internals.
+ */
+export interface ExtractorContext {
+    /** Create a node and add it to the extraction result */
+    createNode(kind: NodeKind, name: string, node: SyntaxNode, extra?: Partial<Node>): Node | null;
+    /** Visit a child node (dispatches through the standard visitNode logic) */
+    visitNode(node: SyntaxNode): void;
+    /** Visit a function body to extract calls */
+    visitFunctionBody(body: SyntaxNode, functionId: string): void;
+    /** Add an unresolved reference */
+    addUnresolvedReference(ref: UnresolvedReference): void;
+    /** Push a node ID onto the scope stack (for containment/qualified name building) */
+    pushScope(nodeId: string): void;
+    /** Pop the last node ID from the scope stack */
+    popScope(): void;
+    /** Current file path */
+    readonly filePath: string;
+    /** Current source text */
+    readonly source: string;
+    /** Stack of parent node IDs (current scope) */
+    readonly nodeStack: readonly string[];
+    /** All nodes extracted so far */
+    readonly nodes: readonly Node[];
+}
+/**
+ * Language-specific extraction configuration.
+ *
+ * Each supported language provides an implementation of this interface
+ * that configures which AST node types to look for and how to extract
+ * language-specific details like signatures, visibility, and imports.
+ */
+export interface LanguageExtractor {
+    /** Node types that represent functions */
+    functionTypes: string[];
+    /** Node types that represent classes */
+    classTypes: string[];
+    /** Node types that represent methods */
+    methodTypes: string[];
+    /** Node types that represent interfaces/protocols/traits */
+    interfaceTypes: string[];
+    /** Node types that represent structs */
+    structTypes: string[];
+    /** Node types that represent enums */
+    enumTypes: string[];
+    /** Node types that represent enum members/cases (e.g. Swift: 'enum_entry', Rust: 'enum_variant') */
+    enumMemberTypes?: string[];
+    /** Node types that represent type aliases (e.g. `type X = ...`) */
+    typeAliasTypes: string[];
+    /** Node types that represent imports */
+    importTypes: string[];
+    /** Node types that represent function calls */
+    callTypes: string[];
+    /** Node types that represent variable declarations (const, let, var, etc.) */
+    variableTypes: string[];
+    /** Node types that represent class fields (extracted as 'field' kind inside class bodies) */
+    fieldTypes?: string[];
+    /** Node types that represent class properties (extracted as 'property' kind inside class bodies) */
+    propertyTypes?: string[];
+    /** Field name for identifier/name */
+    nameField: string;
+    /** Field name for body */
+    bodyField: string;
+    /** Field name for parameters */
+    paramsField: string;
+    /** Field name for return type */
+    returnField?: string;
+    /** Override symbol name extraction (e.g. ObjC multi-part selectors). */
+    resolveName?: (node: SyntaxNode, source: string) => string | undefined;
+    /** Extract property name when the generic name walk fails (e.g. ObjC @property). */
+    extractPropertyName?: (node: SyntaxNode, source: string) => string | null;
+    /** Extract signature from node */
+    getSignature?: (node: SyntaxNode, source: string) => string | undefined;
+    /** Extract visibility from node */
+    getVisibility?: (node: SyntaxNode) => 'public' | 'private' | 'protected' | 'internal' | undefined;
+    /** Check if node is exported */
+    isExported?: (node: SyntaxNode, source: string) => boolean;
+    /** Check if node is async */
+    isAsync?: (node: SyntaxNode) => boolean;
+    /** Check if node is static */
+    isStatic?: (node: SyntaxNode) => boolean;
+    /** Check if variable declaration is a constant (const vs let/var) */
+    isConst?: (node: SyntaxNode) => boolean;
+    /** Additional node types to treat as class declarations (e.g. Dart: 'mixin_declaration') */
+    extraClassNodeTypes?: string[];
+    /** Whether methods can be top-level without enclosing class (Go: true) */
+    methodsAreTopLevel?: boolean;
+    /** NodeKind to use for interface-like declarations (Rust: 'trait'). Default: 'interface' */
+    interfaceKind?: NodeKind;
+    /**
+     * Custom node visitor. Return true if the node was fully handled (skip default dispatch).
+     * Used by languages with fundamentally different AST structures (e.g. Pascal).
+     */
+    visitNode?: (node: SyntaxNode, ctx: ExtractorContext) => boolean;
+    /**
+     * Classify a class_declaration node when the grammar reuses one node type
+     * for multiple concepts (e.g. Swift uses class_declaration for classes, structs, and enums).
+     */
+    classifyClassNode?: (node: SyntaxNode) => 'class' | 'struct' | 'enum' | 'interface' | 'trait';
+    /**
+     * Resolve the body node for a function/method/class when it's not a child field.
+     * (e.g. Dart puts function_body as a sibling, not a child.)
+     */
+    resolveBody?: (node: SyntaxNode, bodyField: string) => SyntaxNode | null;
+    /**
+     * Extract import information from an import node.
+     * Return null if the node isn't a recognized import form.
+     */
+    extractImport?: (node: SyntaxNode, source: string) => ImportInfo | null;
+    /**
+     * Extract variable declarations from a variable declaration node.
+     * Returns info about each declared variable, allowing the core to create nodes.
+     */
+    extractVariables?: (node: SyntaxNode, source: string) => VariableInfo[];
+    /**
+     * Extract receiver/owner type name from a method declaration.
+     * Used by Go to get the struct receiver (e.g., "scrapeLoop" from "func (sl *scrapeLoop) run()").
+     * When present, the receiver type is included in the qualified name for better searchability.
+     */
+    getReceiverType?: (node: SyntaxNode, source: string) => string | undefined;
+    /**
+     * Resolve the actual node kind for a type alias declaration.
+     * Used by Go where `type_spec` is the named declaration wrapper for structs/interfaces:
+     *   `type Foo struct { ... }` → type_spec (name: "Foo") → struct_type
+     * Returns 'struct', 'interface', etc. to override the default 'type_alias' kind,
+     * or undefined to keep it as a type alias.
+     */
+    resolveTypeAliasKind?: (node: SyntaxNode, source: string) => NodeKind | undefined;
+    /**
+     * Check if a function/method name is a misparse artifact that should be skipped.
+     * Used by C/C++ where macros (e.g. NLOHMANN_JSON_NAMESPACE_BEGIN) cause tree-sitter
+     * to misparse namespace blocks as function_definitions. When this returns true,
+     * the function node is NOT created, but the body is still visited for calls and
+     * structural nodes (classes, structs, enums).
+     */
+    isMisparsedFunction?: (name: string, node: SyntaxNode) => boolean;
+    /**
+     * Detect bare method calls that don't use call expression syntax.
+     * Used by Ruby where `reset` (no parens, no receiver) is a method call but
+     * tree-sitter parses it as a plain `identifier` node instead of `call`/`method_call`.
+     * Returns the callee name if this node is a bare call, or undefined if not.
+     */
+    extractBareCall?: (node: SyntaxNode, source: string) => string | undefined;
+    /**
+     * Node types representing a file-level package/namespace declaration
+     * (e.g. Kotlin `package_header`, Java `package_declaration`). When set,
+     * the core wraps every top-level declaration in an implicit `namespace`
+     * node carrying the FQN, so cross-file import resolution can match by
+     * qualifiedName instead of filename (Kotlin filename ≠ class name).
+     */
+    packageTypes?: string[];
+    /** Extract the dotted package name from a package declaration node. */
+    extractPackage?: (node: SyntaxNode, source: string) => string | null;
+}
+//# sourceMappingURL=tree-sitter-types.d.ts.map

package/dist/extraction/tree-sitter.d.ts

@@ -0,0 +1,291 @@
+/**
+ * Tree-sitter Parser Wrapper
+ *
+ * Handles parsing source code and extracting structural information.
+ */
+import { Language, ExtractionResult } from '../types';
+export { generateNodeId } from './tree-sitter-helpers';
+/**
+ * TreeSitterExtractor - Main extraction class
+ */
+export declare class TreeSitterExtractor {
+    private filePath;
+    private language;
+    private source;
+    private tree;
+    private nodes;
+    private edges;
+    private unresolvedReferences;
+    private errors;
+    private extractor;
+    private nodeStack;
+    private methodIndex;
+    constructor(filePath: string, source: string, language?: Language);
+    /**
+     * Parse and extract from the source code
+     */
+    extract(): ExtractionResult;
+    /**
+     * Visit a node and extract information
+     */
+    private visitNode;
+    /**
+     * Create a Node object
+     */
+    private createNode;
+    /**
+     * Find first named child whose type is in the given list.
+     * Used to locate inner type nodes (e.g. enum_specifier inside a typedef).
+     */
+    private findChildByTypes;
+    /**
+     * Find a `packageTypes` child under the root, create a `namespace` node
+     * for it, and return its id so the caller can scope top-level
+     * declarations underneath. Returns null when no package header is
+     * present (script files, .kts without a package).
+     */
+    private extractFilePackage;
+    /**
+     * Build qualified name from node stack
+     */
+    private buildQualifiedName;
+    /**
+     * Build an ExtractorContext for passing to language-specific visitNode hooks.
+     */
+    private makeExtractorContext;
+    /**
+     * Check if the current node stack indicates we are inside a class-like node
+     * (class, struct, interface, trait). File nodes do not count as class-like.
+     */
+    private isInsideClassLikeNode;
+    /**
+     * Extract a function
+     */
+    private extractFunction;
+    /**
+     * Extract a class
+     */
+    private extractClass;
+    /**
+     * Extract a method
+     */
+    private extractMethod;
+    /**
+     * Extract an interface/protocol/trait
+     */
+    private extractInterface;
+    /**
+     * Extract a struct
+     */
+    private extractStruct;
+    /**
+     * Extract an enum
+     */
+    private extractEnum;
+    /**
+     * Extract enum member names from an enum member node.
+     * Handles multi-case declarations (Swift: `case put, delete`) and single-case patterns.
+     */
+    private extractEnumMembers;
+    /**
+     * Extract a class property declaration (e.g. C# `public string Name { get; set; }`).
+     * Extracts as 'property' kind node inside the owning class.
+     */
+    private extractProperty;
+    /**
+     * Extract a class field declaration (e.g. Java field_declaration, C# field_declaration).
+     * Extracts each declarator as a 'field' kind node inside the owning class.
+     */
+    private extractField;
+    /**
+     * Extract a variable declaration (const, let, var, etc.)
+     *
+     * Extracts top-level and module-level variable declarations.
+     * Captures the variable name and first 100 chars of initializer in signature for searchability.
+     */
+    private extractVariable;
+    /**
+     * Extract a type alias (e.g. `export type X = ...` in TypeScript).
+     * For languages like Go, resolveTypeAliasKind detects when the type_spec
+     * wraps a struct or interface definition and creates the correct node kind.
+     * Returns true if children should be skipped (struct/interface handled body visiting).
+     */
+    private extractTypeAlias;
+    /**
+     * Surface the members of a TypeScript `type X = { ... }` (or intersection
+     * thereof) as `property` / `method` nodes under the type-alias node. Only
+     * walks the immediate object_type / intersection operands so anonymous
+     * nested object types inside generic arguments (`Promise<{ ok: true }>`)
+     * don't produce phantom members.
+     */
+    private extractTsTypeAliasMembers;
+    /**
+     * `foo: () => T` → property_signature whose type_annotation contains a
+     * `function_type`. Treat that as a method-shaped contract member, since
+     * the call site `obj.foo()` has identical semantics to `bar(): T`.
+     */
+    private isTsFunctionTypedProperty;
+    /**
+     * Extract an import
+     *
+     * Creates an import node with the full import statement stored in signature for searchability.
+     * Also creates unresolved references for resolution purposes.
+     */
+    private extractImport;
+    /**
+     * Extract a function call
+     */
+    private extractCall;
+    /**
+     * `new Foo(...)` / `Foo::new(...)` / object_creation_expression —
+     * emit an `instantiates` reference to the class name. The resolver
+     * then links it to the class node, producing the `instantiates`
+     * edge that powers "what creates instances of X" queries.
+     *
+     * Children are still walked so nested calls inside the constructor
+     * arguments (`new Foo(bar())`) get their own `calls` references.
+     */
+    private extractInstantiation;
+    /**
+     * Find a `class_body` child of an `object_creation_expression` — the
+     * marker for an anonymous class (`new T() { ... }`). Returns the body
+     * node so the caller can walk it as the anon class's members.
+     */
+    private findAnonymousClassBody;
+    /**
+     * Extract a Java/C# anonymous class — `new T() { ...members }`. Emits a
+     * `class` node named `<T$anon@line>`, an `extends` reference to T (so
+     * Phase 5.5 interface-impl can bridge), and walks the body so its
+     * `method_declaration` members become method nodes under the anon class.
+     *
+     * Why this matters: without anon-class extraction, the overrides inside
+     * a lambda-returned `new T() { @Override int foo(){...} }` are not nodes,
+     * so a call through T.foo (the abstract parent method) has no static
+     * target — the agent has to Read the file to find the implementation.
+     */
+    private extractAnonymousClass;
+    /**
+     * Scan `declNode` and its preceding siblings (within the parent's
+     * named children) for decorator nodes, emitting a `decorates`
+     * reference from `decoratedId` to each decorator's function name.
+     *
+     * Why preceding siblings: in TypeScript, `@Foo class Bar {}` parses
+     * as an `export_statement` (or top-level wrapper) with the
+     * `decorator` as a child *before* the `class_declaration` — so the
+     * decorator isn't a child of the class itself. For methods/
+     * properties, the decorator IS a direct child of the declaration,
+     * so we also scan declNode.namedChildren.
+     *
+     * Idempotent across grammars: if neither location yields decorators
+     * (most non-decorator-using languages), the function is a no-op.
+     */
+    private extractDecoratorsFor;
+    /**
+     * Visit function body and extract calls (and structural nodes).
+     *
+     * In addition to call expressions, this also detects class/struct/enum
+     * definitions inside function bodies. This handles two cases:
+     *   1. Local class/struct/enum definitions (valid in C++, Java, etc.)
+     *   2. C++ macro misparsing — macros like NLOHMANN_JSON_NAMESPACE_BEGIN cause
+     *      tree-sitter to interpret the namespace block as a function_definition,
+     *      hiding real class/struct/enum nodes inside the "function body".
+     */
+    private visitFunctionBody;
+    /**
+     * Extract inheritance relationships
+     */
+    private extractInheritance;
+    /**
+     * Rust `impl Trait for Type` — creates an implements edge from Type to Trait.
+     * For plain `impl Type { ... }` (no trait), no inheritance edge is needed.
+     */
+    private extractRustImplItem;
+    /**
+     * Find a previously-extracted node by name (used for back-references like impl blocks)
+     */
+    private findNodeByName;
+    /**
+     * Languages that support type annotations (TypeScript, etc.)
+     */
+    private readonly TYPE_ANNOTATION_LANGUAGES;
+    /**
+     * Built-in/primitive type names that shouldn't create references
+     */
+    private readonly BUILTIN_TYPES;
+    /**
+     * Extract type references from type annotations on a function/method/field node.
+     * Creates 'references' edges for parameter types, return types, and field types.
+     */
+    private extractTypeAnnotations;
+    /**
+     * Extract C# type references from a node that owns a type position —
+     * a method/constructor declaration, a property declaration, or a
+     * field declaration (which wraps `variable_declaration → type`).
+     *
+     * Walks ONLY into known type fields, so parameter names like
+     * `request` in `Build(UserDto request)` are never mis-emitted as
+     * type references. Once inside a type subtree, `walkCsharpTypePosition`
+     * recognizes C#'s actual type-leaf node kinds (`identifier`,
+     * `qualified_name`, `generic_name`, `array_type`, `nullable_type`,
+     * `tuple_type`, …) — none of which are `type_identifier`. Closes #381.
+     */
+    private extractCsharpTypeRefs;
+    /**
+     * Walk a C# subtree that is KNOWN to be in a type position
+     * (return type, parameter type, property type, field type, generic
+     * argument). Identifiers here are type names, not parameter names.
+     */
+    private walkCsharpTypePosition;
+    /**
+     * Extract type references from a variable's type annotation.
+     */
+    private extractVariableTypeAnnotation;
+    /**
+     * Recursively walk a subtree and extract all type_identifier references.
+     * Handles unions, intersections, generics, arrays, etc.
+     */
+    private extractTypeRefsFromSubtree;
+    /**
+     * Handle Pascal-specific AST structures.
+     * Returns true if the node was fully handled and children should be skipped.
+     */
+    private visitPascalNode;
+    /**
+     * Extract a Pascal declType node (class, interface, enum, or type alias)
+     */
+    private extractPascalDeclType;
+    /**
+     * Extract Pascal uses clause into individual import nodes
+     */
+    private extractPascalUses;
+    /**
+     * Extract a Pascal constant declaration
+     */
+    private extractPascalConst;
+    /**
+     * Extract Pascal inheritance (extends/implements) from declClass typeref children
+     */
+    private extractPascalInheritance;
+    /**
+     * Extract calls and resolve method context from a Pascal defProc (implementation body).
+     * Does not create a new node — the declaration was already captured from the interface section.
+     */
+    private extractPascalDefProc;
+    /**
+     * Extract function calls from a Pascal expression
+     */
+    private extractPascalCall;
+    /**
+     * Recursively visit a Pascal block/statement tree for call expressions
+     */
+    private visitPascalBlock;
+}
+/**
+ * Extract nodes and edges from source code.
+ *
+ * If `frameworkNames` is provided, framework-specific extractors matching
+ * those names and the file's language are run after the tree-sitter pass.
+ * Their nodes/references/errors are merged into the returned result.
+ */
+export declare function extractFromSource(filePath: string, source: string, language?: Language, frameworkNames?: string[]): ExtractionResult;
+//# sourceMappingURL=tree-sitter.d.ts.map

package/dist/extraction/vue-extractor.d.ts

@@ -0,0 +1,36 @@
+import { ExtractionResult } from '../types';
+/**
+ * VueExtractor - Extracts code relationships from Vue Single-File Component files
+ *
+ * Vue SFCs are multi-language (script + template + style). Rather than
+ * parsing the full Vue grammar, we extract the <script> block content
+ * and delegate it to the TypeScript/JavaScript TreeSitterExtractor.
+ *
+ * Every .vue file produces a component node (Vue components are always importable).
+ */
+export declare class VueExtractor {
+    private filePath;
+    private source;
+    private nodes;
+    private edges;
+    private unresolvedReferences;
+    private errors;
+    constructor(filePath: string, source: string);
+    /**
+     * Extract from Vue source
+     */
+    extract(): ExtractionResult;
+    /**
+     * Create a component node for the .vue file
+     */
+    private createComponentNode;
+    /**
+     * Extract <script> and <script setup> blocks from the Vue source
+     */
+    private extractScriptBlocks;
+    /**
+     * Process a script block by delegating to TreeSitterExtractor
+     */
+    private processScriptBlock;
+}
+//# sourceMappingURL=vue-extractor.d.ts.map

package/dist/extraction/wasm-runtime-flags.d.ts

@@ -0,0 +1,38 @@
+/**
+ * The V8 flag(s) that keep tree-sitter grammar compilation off the turboshaft
+ * optimizing tier. Single source of truth: the relaunch guard and the test
+ * suite both read this (a test asserts each is a real flag on the running
+ * runtime, so a rename can't silently regress the fix).
+ */
+export declare const WASM_RUNTIME_FLAGS: readonly string[];
+/**
+ * Env var carrying the *host* PID (the relauncher's own parent) across the
+ * re-exec. Without `--liftoff-only` the CLI re-execs itself once, inserting an
+ * intermediate process between the MCP host and the server. That intermediate
+ * stays alive (blocked in spawnSync) even after the host is killed, so the
+ * server's PPID watchdog can't detect the host's death by watching its own
+ * `process.ppid`. Passing the host PID through lets the watchdog poll it
+ * directly. Unset on the no-re-exec path (bundled launcher / flag already
+ * present), where the server is already a direct child of the host. See
+ * src/mcp/index.ts (#277).
+ */
+export declare const HOST_PPID_ENV = "CODEGRAPH_HOST_PPID";
+/** True when every required WASM runtime flag is already present in `execArgv`. */
+export declare function processHasWasmRuntimeFlags(execArgv?: readonly string[]): boolean;
+/**
+ * Build the argv for re-execing node with the WASM runtime flags: our flags
+ * first, then any node flags already in `execArgv` (deduped), then the script
+ * and its args. Pure — exported for unit testing.
+ */
+export declare function buildRelaunchArgv(scriptPath: string, scriptArgs: readonly string[], execArgv?: readonly string[]): string[];
+/**
+ * If the current process is missing the WASM runtime flags, re-exec it once
+ * with them and exit with the child's status. No-op when the flags are already
+ * present (the normal bundled-launcher path), when already relaunched, or when
+ * disabled via CODEGRAPH_NO_RELAUNCH.
+ *
+ * On spawn failure, returns so the caller runs in-process anyway — risking the
+ * OOM is still better than refusing to start.
+ */
+export declare function relaunchWithWasmRuntimeFlagsIfNeeded(scriptPath: string): void;
+//# sourceMappingURL=wasm-runtime-flags.d.ts.map

package/dist/graph/index.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Graph Module
+ *
+ * Provides graph traversal and query functionality for the code knowledge graph.
+ */
+export { GraphTraverser } from './traversal';
+export { GraphQueryManager } from './queries';
+//# sourceMappingURL=index.d.ts.map

package/dist/graph/queries.d.ts

@@ -0,0 +1,106 @@
+/**
+ * Graph Query Functions
+ *
+ * Higher-level query functions built on top of traversal algorithms.
+ */
+import { Node, Context, Subgraph } from '../types';
+import { QueryBuilder } from '../db/queries';
+import { GraphTraverser } from './traversal';
+/**
+ * Graph query manager for complex queries
+ */
+export declare class GraphQueryManager {
+    private queries;
+    private traverser;
+    constructor(queries: QueryBuilder);
+    /**
+     * Get full context for a node
+     *
+     * Returns the focal node along with its ancestors, children,
+     * and both incoming and outgoing references.
+     *
+     * @param nodeId - ID of the focal node
+     * @returns Context object with all related information
+     */
+    getContext(nodeId: string): Context;
+    /**
+     * Get dependencies of a file
+     *
+     * Returns all files that this file imports from.
+     *
+     * @param filePath - Path to the file
+     * @returns Array of file paths this file depends on
+     */
+    getFileDependencies(filePath: string): string[];
+    /**
+     * Get dependents of a file
+     *
+     * Returns all files that import from this file.
+     *
+     * @param filePath - Path to the file
+     * @returns Array of file paths that depend on this file
+     */
+    getFileDependents(filePath: string): string[];
+    /**
+     * Get all symbols exported by a file
+     *
+     * @param filePath - Path to the file
+     * @returns Array of exported nodes
+     */
+    getExportedSymbols(filePath: string): Node[];
+    /**
+     * Find symbols by qualified name pattern
+     *
+     * @param pattern - Pattern to match (supports * wildcard)
+     * @returns Array of matching nodes
+     */
+    findByQualifiedName(pattern: string): Node[];
+    /**
+     * Get the module/package structure
+     *
+     * Returns a tree structure of files organized by directory.
+     *
+     * @returns Map of directory paths to contained files
+     */
+    getModuleStructure(): Map<string, string[]>;
+    /**
+     * Find circular dependencies in the graph
+     *
+     * @returns Array of cycles, each cycle is an array of node IDs
+     */
+    findCircularDependencies(): string[][];
+    /**
+     * Get complexity metrics for a node
+     *
+     * @param nodeId - ID of the node
+     * @returns Object containing various complexity metrics
+     */
+    getNodeMetrics(nodeId: string): {
+        incomingEdgeCount: number;
+        outgoingEdgeCount: number;
+        callCount: number;
+        callerCount: number;
+        childCount: number;
+        depth: number;
+    };
+    /**
+     * Find dead code (nodes with no incoming references)
+     *
+     * @param kinds - Node kinds to check (default: functions, methods, classes)
+     * @returns Array of unreferenced nodes
+     */
+    findDeadCode(kinds?: Node['kind'][]): Node[];
+    /**
+     * Get subgraph containing nodes matching a filter
+     *
+     * @param filter - Filter function to select nodes
+     * @param includeEdges - Whether to include edges between matching nodes
+     * @returns Subgraph containing matching nodes
+     */
+    getFilteredSubgraph(filter: (node: Node) => boolean, includeEdges?: boolean): Subgraph;
+    /**
+     * Access the underlying traverser for direct traversal operations
+     */
+    getTraverser(): GraphTraverser;
+}
+//# sourceMappingURL=queries.d.ts.map