wehub-resource-sync
72 lines
3.1 KiB
C
72 lines
3.1 KiB
C
/*
|
|
* kotlin_builtins.c — Minimal Kotlin universal builtins as real graph nodes.
|
|
*
|
|
* When a method call lands on an unknown-typed receiver and the member is one
|
|
* of the universal kotlin.Any methods (toString / equals / hashCode), the
|
|
* Kotlin LSP resolves it to "kotlin.Any.<member>" and emits the lsp_kt_any
|
|
* strategy (kotlin_lsp.c, kt_emit_resolved). Any is the supertype of every
|
|
* Kotlin reference, so this is the same target the fwcd LSP resolves to.
|
|
*
|
|
* The missing piece is downstream: pass_calls.c only writes a CALLS edge when
|
|
* cbm_pipeline_lsp_target_node() resolves the callee_qn to a graph node
|
|
* (src/pipeline/lsp_resolve.h). There is no "kotlin.Any" node in the graph, so
|
|
* the resolved call is dropped and the strategy never lands on an edge
|
|
* (callable=0).
|
|
*
|
|
* Fix: inject a small, fixed set of kotlin.Any definitions into result->defs
|
|
* during the per-file Kotlin LSP run (cbm_run_kotlin_lsp, which executes inside
|
|
* cbm_extract_file, BEFORE the parallel pipeline mints def nodes from
|
|
* result->defs). The graph therefore gains real "kotlin.Any[.<method>]" nodes
|
|
* that the lsp_kt_any edges target. The QNs here MUST match what kt_emit_resolved
|
|
* emits as callee_qn ("kotlin.Any.<member>").
|
|
*
|
|
* Node minting upserts by QN (cbm_gbuf_upsert_node), so injecting the same
|
|
* builtins per Kotlin file collapses to one node per QN — no duplicates.
|
|
*
|
|
* Self-contained: #included from kotlin_lsp.c only (amalgamation pattern; see
|
|
* lsp_all.c). Not a standalone translation unit. Mirror of py_builtins.c.
|
|
*/
|
|
|
|
/* A single builtin entry to mint as a graph node. */
|
|
typedef struct {
|
|
const char *qn; /* graph QN — MUST equal the kt_emit_resolved callee_qn */
|
|
const char *name; /* short name (last segment of qn) */
|
|
const char *label; /* "Class" | "Method" */
|
|
} KtBuiltinNode;
|
|
|
|
/*
|
|
* Universal kotlin.Any members the LSP falls back to (kt_any_methods in
|
|
* kotlin_lsp.c). The Any class node anchors the three methods.
|
|
*/
|
|
static const KtBuiltinNode kKtBuiltinNodes[] = {
|
|
{"kotlin.Any", "Any", "Class"},
|
|
{"kotlin.Any.toString", "toString", "Method"},
|
|
{"kotlin.Any.equals", "equals", "Method"},
|
|
{"kotlin.Any.hashCode", "hashCode", "Method"},
|
|
};
|
|
|
|
/*
|
|
* Inject the builtin definitions into result->defs so the pipeline mints them
|
|
* as graph nodes. All fields beyond name/qn/label are left zero/NULL: builtins
|
|
* have no body, so complexity/line-range/etc. are irrelevant, and a synthetic
|
|
* file_path keeps them out of any real source file's def list.
|
|
*/
|
|
static void kt_builtins_inject_defs(CBMFileResult *result, CBMArena *arena) {
|
|
if (!result || !arena) {
|
|
return;
|
|
}
|
|
const int n = (int)(sizeof(kKtBuiltinNodes) / sizeof(kKtBuiltinNodes[0]));
|
|
for (int i = 0; i < n; i++) {
|
|
const KtBuiltinNode *b = &kKtBuiltinNodes[i];
|
|
CBMDefinition def;
|
|
memset(&def, 0, sizeof(def));
|
|
def.name = b->name;
|
|
def.qualified_name = b->qn;
|
|
def.label = b->label;
|
|
def.file_path = "<kotlin-builtins>";
|
|
def.start_line = 1;
|
|
def.end_line = 1;
|
|
cbm_defs_push(&result->defs, arena, def);
|
|
}
|
|
}
|