Helper: parse "|"-separated "name:type" field definitions and populate a registered type. Format: "Binder:Binder|Name:string|Count:int" type_text is r

Parse a chain of MATCH / OPTIONAL MATCH patterns into query. * Returns -1 on error (fills p->error). */

Parse a single MATCH pattern into pat */

Parse node: (variable:Label {props}) */

Parse a type-text into a CBMType, with full inner-class qualification. * `parent_class` is the QN of the enclosing class (NULL at file scope), used

Parse relationship: -[:TYPE|TYPE2*min..max]-> or <-[...]- */

Parse RETURN/WITH clause (shared logic) */

Parse a decimal index string via strtol, returning CBM_NOT_FOUND on parse * failure. Centralizes the atoi-replacement pattern for token_map lookups.

Parse WHERE clause — builds expression tree */

Append a single path segment to a mutable buffer that already holds a * normalized slash-separated path. Adds a '/' separator when needed, * return

Get the basename from a relative path. Returns pointer into rel_path. */

Pop the last segment from a mutable slash-separated path. */

Add a cell to the current leaf page. For table leaves: varint(payload_len) + varint(rowid) + payload For index leaves: varint(payload_len) + payload

Check if a cell of given size fits in the current page

Count nodes by label. Returns -1 on store error. */

True for languages whose module QN derives from the CONTAINING DIRECTORY * (Java/Go package). MUST match cbm_lang_module_is_dir() (internal/cbm/helpe

Strip leading "/**", trailing "*​/", and per-line "*" prefixes. Returns a * mutable arena-allocated cleaned copy. */

Pick the best-resolving node among name matches. Sets *ambiguous when the * matches can't be reduced to one logical symbol, so resolution never silen

Escaped length of a string under json_escape_char's rules: escaped * characters expand to 2 bytes, everything else stays 1. */

Process a single node for body-level type references.

Process assignment nodes (assignment, short_var_declaration, variable_declarator, let_declaration).

Push a single method definition

Shared: push an import whose path is the (quote-stripped) text of `node`. Strips a leading "./" so relative-import resolution matches the sibling file

Append cross-file results from `src_out` (allocated in a scratch arena * about to be destroyed) into `dst_calls` (lives in cache_entry->arena), * co

True for languages whose module QN is derived from the CONTAINING DIRECTORY * (Java package, Go package) rather than the filename stem. MUST match th

Slurp a file into a malloc'd, NUL-terminated buffer. Mirrors the * read_file helper in pass_calls.c / pass_parallel.c (kept local so the * pipeline

Element type of an iterable. For TEMPLATE("list"|"set"|"Iterable"|..., * [T]), return T. For TEMPLATE("dict", [K, V]) — `for x in d` iterates * keys

Append a (name, type) entry to a registered class's field arrays. * Idempotent — re-registering the same name overwrites the existing * entry. Mutat

Build a registry from CBMLSPDef[] supplied by the caller — covers both * the source file's own defs and cross-file referenced defs. */

Split a comma-separated argument string at depth 0 (ignoring commas * inside [], (), {}). Returns NULL-terminated arena array of trimmed * substring

Helper for stripping quotes from a tree-sitter `string` node text. */

Read entire file into heap-allocated buffer. Caller must free(). */

Read file into a malloc'd buffer (= mimalloc in production). * *out_size receives the on-disk size and *out_status the failure reason so the * calle

Read schema_version from artifact.json. Returns -1 if missing/invalid. */

Read up to (bufsz-1) bytes from `path` into `buf`, NUL-terminate, and strip * trailing whitespace. Returns the (stripped) byte count, or -1 if the fi

Register an edge in secondary indexes (source_type, target_type, type). */

Register a node in primary (QN, ID) and secondary (label, name) indexes. */

Register the session project with the background watcher for ongoing * change detection — unless auto_watch is disabled. */

Resolve a class/type name through the registry. Returns borrowed QN or NULL. */

C++: resolve trailing return type (auto f() -> Type) on a declarator node. Updates def->return_type and def->return_types if trailing type found.

Resolve exception name from the first meaningful child of a throw/raise node.

Resolve an assignment LHS node to the bare name being written. Handles common wrappers so WRITES resolve for more languages than a raw identifier: -

Try to extract method name from a node, with language-specific fallbacks.

Resolve a method reference (Class::method or instance::method) to a * concrete callee, using the surrounding SAM context for arg-count. * * Emits a

Extract param_names from a parameter list node. Returns NULL-terminated arena-allocated array. Extract the parameter name from a single parameter AST

Resolve parameter type text for a single param node.

Walk a parsed type and replace NAMED references whose bare name matches a known import binding. Recurses through TEMPLATE / UNION / INTERSECTION compo

Resolve the write target of a node in an assignment_node_types set. For a plain assignment the target is the "left" field (or first child). For an i

Check response contains a specific key (in nested JSON) */

Round up to page boundary. */

Inject a synthetic CBMCall into result->calls so the downstream pipeline * (cbm_pipeline_find_lsp_resolution) can pair it with the resolved_call and

Public-ish helper used by the cross-file path. */

Populate + finalize a Rust cross-file type registry from `defs`. Shared by the * per-file resolver (cbm_run_rust_lsp_cross_with_manifest) and the bui

Process a single function: bind parameters / `self`, then walk body. */

For a method call where the receiver is a `dyn Trait` or `impl Trait`, * try to resolve through the trait's known impls. Returns the chosen * concre

Look up a `use` alias and return its fully-qualified module path, * or NULL if absent. The returned pointer aliases into the use map. */

In-place strip turbofish segments (`::<...>`) from a Rust path. The * grammar exposes paths like `Vec::<i32>::new` or `parse::<u32>(s)` — * the LSP

Hardcoded Deref<Target=U> map for stdlib smart pointers + guards. The * format mirrors the de-facto rule: `<smart-pointer-QN-prefix>` → * `<inner-ty

Safe properties: returns "{}" if NULL. */

Safe string: returns "" if NULL. */

Canonical name for a single-argument scalar / entity-introspection function * invoked by identifier — labels/type/id/keys/properties and the numeric/

Scan an edge from current row of stmt. */