nprasad2077/codebase-memory-mcp
1
0 Fork 0
mirror of https://github.com/DeusData/codebase-memory-mcp.git synced 2026-11-04 10:48:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

style(tests): keep the Chialisp test diffs to the lines that changed

Browse Source 
The Chialisp commit was formatted with the pinned Homebrew clang-format, which
is right for the production sources but wrong for the three test files it also
touched: tests/ is not in LINT_SRCS, so those files have never been under the
format gate and were already format-dirty on main. Running the formatter over
them rewrote code that had nothing to do with Chialisp — 478 whitespace-only
lines in repro_invariant_breadth.c alone, plus 50 in test_extraction.c and 14 in
test_lang_contract.c — which is a review burden and hides the actual change.

Restore those three files to main's bytes and re-apply only the Chialisp
additions, in each file's own house style. The result is token-identical to the
version that was tested, apart from one em-dash written as `--` in a comment.
Re-verified after the rewrite: the six chialisp extraction tests, the cross-file
Constant graph test, the matrix-B row, the breadth case
(`[INV-BREADTH] PASS chialisp calls=1 callable=1 module=0`), and `make lint-ci`.

The production sources keep their formatting: they ARE in LINT_SRCS, and the
only whitespace they carry is the trailing-comment realignment in cbm.h that
adding a longer enumerator forces, plus the re-indent in extract_defs.c from
moving the name-resolution block into an else branch.

Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
This commit is contained in:
Martin Vogel committed 2026-08-28 21:43:50 +02:00
1 parent 706bb2ce81
commit e6398fd957
3 files changed
+434 -385
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

tests/repro/repro_invariant_breadth.c
+385 -338
View File
@@ -28,7 +28,7 @@
* fsharp, racket, rescript, scheme (12 cases)
*
* Added after the original snapshot:
* chialisp (1 case, expected GREEN — lisp-family scope attribution)
* chialisp (1 case, expected GREEN -- lisp-family scope attribution)
*
* Note: the "suspicious" group (r, julia, ...) from QUALITY_ANALYSIS may be
* GREEN because the calls-breadth table (test_lang_contract.c) already shows
@@ -54,17 +54,19 @@
/* ---- helper: count CALLS edges by source-node label --------------------- */
static int ib_calls_from_label(cbm_store_t *store, const char *project, const char *label) {
static int ib_calls_from_label(cbm_store_t *store, const char *project,
const char *label) {
cbm_edge_t *edges = NULL;
int edge_count = 0;
if (cbm_store_find_edges_by_type(store, project, "CALLS", &edges, &edge_count) !=
CBM_STORE_OK) {
if (cbm_store_find_edges_by_type(store, project, "CALLS",
&edges, &edge_count) != CBM_STORE_OK) {
return -1;
}
int total = 0;
for (int i = 0; i < edge_count; i++) {
cbm_node_t src = {0};
if (cbm_store_find_node_by_id(store, edges[i].source_id, &src) != CBM_STORE_OK) {
if (cbm_store_find_node_by_id(store, edges[i].source_id,
&src) != CBM_STORE_OK) {
continue;
}
if (src.label && strcmp(src.label, label) == 0) {
@@ -136,40 +138,42 @@ static const IBCase IB_CASES[] = {
/* CALLS edge is produced -- but it may still be Module-sourced. */
/* ------------------------------------------------------------------ */
{"r", "a.R",
"helper <- function(x) {\n"
" x * 2\n"
"}\n"
"\n"
"run <- function() {\n"
" helper(21)\n"
"}\n",
/*
* R: extract_calls.c has an R branch that reads the callee from the
* call node's first child. However, enclosing-function detection
* for R may fall back to Module if func_kinds_for_lang does not
* include R's "function_definition" node type. RED when the CALLS
* edge is sourced at Module instead of the "run" Function node.
*/
0,
"R enclosing-function detection likely missing from func_kinds_for_lang; "
"call may be sourced at Module"},
{
"r", "a.R",
"helper <- function(x) {\n"
" x * 2\n"
"}\n"
"\n"
"run <- function() {\n"
" helper(21)\n"
"}\n",
/*
* R: extract_calls.c has an R branch that reads the callee from the
* call node's first child. However, enclosing-function detection
* for R may fall back to Module if func_kinds_for_lang does not
* include R's "function_definition" node type. RED when the CALLS
* edge is sourced at Module instead of the "run" Function node.
*/
0, "R enclosing-function detection likely missing from func_kinds_for_lang; "
"call may be sourced at Module"
},
{"julia", "a.jl",
"function helper(x)\n"
" return x + 1\n"
"end\n"
"\n"
"function run(n)\n"
" return helper(n)\n"
"end\n",
/*
* Julia: same issue -- function body extraction may not detect the
* enclosing Julia function node correctly, sourcing the call at Module.
*/
0,
"Julia enclosing-function detection may not map function_definition to "
"a callable QN; call sourced at Module"},
{
"julia", "a.jl",
"function helper(x)\n"
" return x + 1\n"
"end\n"
"\n"
"function run(n)\n"
" return helper(n)\n"
"end\n",
/*
* Julia: same issue -- function body extraction may not detect the
* enclosing Julia function node correctly, sourcing the call at Module.
*/
0, "Julia enclosing-function detection may not map function_definition to "
"a callable QN; call sourced at Module"
},
/* ------------------------------------------------------------------ */
/* EXPECTED-GREEN GROUP (regression guards) */
@@ -178,163 +182,191 @@ static const IBCase IB_CASES[] = {
/* them will turn the corresponding case RED. */
/* ------------------------------------------------------------------ */
{"elixir", "a.ex",
"defmodule Sample do\n"
" def helper(x) do\n"
" x + 1\n"
" end\n"
"\n"
" def run do\n"
" helper(41)\n"
" end\n"
"end\n",
1, NULL},
{
"elixir", "a.ex",
"defmodule Sample do\n"
" def helper(x) do\n"
" x + 1\n"
" end\n"
"\n"
" def run do\n"
" helper(41)\n"
" end\n"
"end\n",
1, NULL
},
{"ocaml", "a.ml",
"let helper x = x + 1\n"
"\n"
"let run () =\n"
" let result = helper 41 in\n"
" print_int result\n",
1, NULL},
{
"ocaml", "a.ml",
"let helper x = x + 1\n"
"\n"
"let run () =\n"
" let result = helper 41 in\n"
" print_int result\n",
1, NULL
},
{"fortran", "a.f90",
"function helper(x) result(y)\n"
" integer, intent(in) :: x\n"
" integer :: y\n"
" y = x + 1\n"
"end function helper\n"
"\n"
"function run(n) result(total)\n"
" integer, intent(in) :: n\n"
" integer :: total\n"
" total = helper(n) + helper(n + 1)\n"
"end function run\n",
1, NULL},
{
"fortran", "a.f90",
"function helper(x) result(y)\n"
" integer, intent(in) :: x\n"
" integer :: y\n"
" y = x + 1\n"
"end function helper\n"
"\n"
"function run(n) result(total)\n"
" integer, intent(in) :: n\n"
" integer :: total\n"
" total = helper(n) + helper(n + 1)\n"
"end function run\n",
1, NULL
},
{"pascal", "a.pas",
"procedure Helper(x: Integer);\n"
"begin\n"
" WriteLn(x);\n"
"end;\n"
"\n"
"procedure Run;\n"
"begin\n"
" Helper(1);\n"
"end;\n",
1, NULL},
{
"pascal", "a.pas",
"procedure Helper(x: Integer);\n"
"begin\n"
" WriteLn(x);\n"
"end;\n"
"\n"
"procedure Run;\n"
"begin\n"
" Helper(1);\n"
"end;\n",
1, NULL
},
{"cuda", "a.cu",
"__device__ int helper(int x) {\n"
" return x * 2;\n"
"}\n"
"\n"
"__global__ void run(int *out) {\n"
" out[0] = helper(21);\n"
"}\n",
1, NULL},
{
"cuda", "a.cu",
"__device__ int helper(int x) {\n"
" return x * 2;\n"
"}\n"
"\n"
"__global__ void run(int *out) {\n"
" out[0] = helper(21);\n"
"}\n",
1, NULL
},
{"d", "a.d",
"int helper(int x)\n"
"{\n"
" return x + 1;\n"
"}\n"
"\n"
"void run()\n"
"{\n"
" int y = helper(41);\n"
"}\n",
1, NULL},
{
"d", "a.d",
"int helper(int x)\n"
"{\n"
" return x + 1;\n"
"}\n"
"\n"
"void run()\n"
"{\n"
" int y = helper(41);\n"
"}\n",
1, NULL
},
{"glsl", "a.glsl",
"float helper(float x) {\n"
" return x * 2.0;\n"
"}\n"
"\n"
"void run() {\n"
" float y = helper(3.0);\n"
"}\n",
1, NULL},
{
"glsl", "a.glsl",
"float helper(float x) {\n"
" return x * 2.0;\n"
"}\n"
"\n"
"void run() {\n"
" float y = helper(3.0);\n"
"}\n",
1, NULL
},
{"hlsl", "a.hlsl",
"float helper(float x)\n"
"{\n"
" return x * 2.0;\n"
"}\n"
"\n"
"float run(float v)\n"
"{\n"
" return helper(v) + 1.0;\n"
"}\n",
1, NULL},
{
"hlsl", "a.hlsl",
"float helper(float x)\n"
"{\n"
" return x * 2.0;\n"
"}\n"
"\n"
"float run(float v)\n"
"{\n"
" return helper(v) + 1.0;\n"
"}\n",
1, NULL
},
{"ispc", "a.ispc",
"static inline uniform float helper(uniform float x) {\n"
" return x * 2.0f;\n"
"}\n"
"\n"
"export void run(uniform float in[], uniform float out[],\n"
" uniform int n) {\n"
" foreach (i = 0 ... n) {\n"
" out[i] = helper(in[i]);\n"
" }\n"
"}\n",
1, NULL},
{
"ispc", "a.ispc",
"static inline uniform float helper(uniform float x) {\n"
" return x * 2.0f;\n"
"}\n"
"\n"
"export void run(uniform float in[], uniform float out[],\n"
" uniform int n) {\n"
" foreach (i = 0 ... n) {\n"
" out[i] = helper(in[i]);\n"
" }\n"
"}\n",
1, NULL
},
{"odin", "a.odin",
"package fixture\n"
"\n"
"helper :: proc() -> int {\n"
"\treturn 42\n"
"}\n"
"\n"
"run :: proc() {\n"
"\tx := helper()\n"
"\t_ = x\n"
"}\n",
1, NULL},
{
"odin", "a.odin",
"package fixture\n"
"\n"
"helper :: proc() -> int {\n"
"\treturn 42\n"
"}\n"
"\n"
"run :: proc() {\n"
"\tx := helper()\n"
"\t_ = x\n"
"}\n",
1, NULL
},
{"slang", "a.slang",
"void helper()\n"
"{\n"
" int x = 1;\n"
"}\n"
"\n"
"void run()\n"
"{\n"
" helper();\n"
"}\n",
1, NULL},
{
"slang", "a.slang",
"void helper()\n"
"{\n"
" int x = 1;\n"
"}\n"
"\n"
"void run()\n"
"{\n"
" helper();\n"
"}\n",
1, NULL
},
{"squirrel", "a.nut",
"function helper(x) {\n"
" return x + 1;\n"
"}\n"
"\n"
"function run() {\n"
" return helper(41);\n"
"}\n",
1, NULL},
{
"squirrel", "a.nut",
"function helper(x) {\n"
" return x + 1;\n"
"}\n"
"\n"
"function run() {\n"
" return helper(41);\n"
"}\n",
1, NULL
},
{"vimscript", "a.vim",
"function! Helper() abort\n"
" return 1\n"
"endfunction\n"
"\n"
"function! Run() abort\n"
" call Helper()\n"
"endfunction\n",
1, NULL},
{
"vimscript", "a.vim",
"function! Helper() abort\n"
" return 1\n"
"endfunction\n"
"\n"
"function! Run() abort\n"
" call Helper()\n"
"endfunction\n",
1, NULL
},
{"cairo", "a.cairo",
"fn helper(x: felt252) -> felt252 {\n"
" x + 1\n"
"}\n"
"\n"
"fn run() -> felt252 {\n"
" helper(41)\n"
"}\n",
1, NULL},
{
"cairo", "a.cairo",
"fn helper(x: felt252) -> felt252 {\n"
" x + 1\n"
"}\n"
"\n"
"fn run() -> felt252 {\n"
" helper(41)\n"
"}\n",
1, NULL
},
/* ------------------------------------------------------------------ */
/* KNOWN-GAP GROUP */
@@ -345,169 +377,181 @@ static const IBCase IB_CASES[] = {
/* calls >= 1 AND module_calls == 0. */
/* ------------------------------------------------------------------ */
{"dart", "a.dart",
"void helper() {\n"
" print('helper');\n"
"}\n"
"\n"
"void run() {\n"
" helper();\n"
"}\n",
/*
* Dart: selector call node carries no callee field and the first child
* is not an identifier; no dart branch in extract_calls.c. No CALLS
* edge is produced at all, so callable-sourcing cannot be tested
* independently. Both gaps (no CALLS + callable-sourcing) are RED.
*/
0,
"selector call node: no callee field, first child not identifier; "
"no dart branch in extract_calls.c"},
{
"dart", "a.dart",
"void helper() {\n"
" print('helper');\n"
"}\n"
"\n"
"void run() {\n"
" helper();\n"
"}\n",
/*
* Dart: selector call node carries no callee field and the first child
* is not an identifier; no dart branch in extract_calls.c. No CALLS
* edge is produced at all, so callable-sourcing cannot be tested
* independently. Both gaps (no CALLS + callable-sourcing) are RED.
*/
0, "selector call node: no callee field, first child not identifier; "
"no dart branch in extract_calls.c"
},
{"groovy", "a.groovy",
"def helper() {\n"
" println 'helping'\n"
"}\n"
"\n"
"def run() {\n"
" helper()\n"
"}\n",
/*
* Groovy: function_call callee not on a function/name field and first
* child is not 'identifier'; no groovy branch in extract_calls.c.
*/
0,
"function_call callee not on function/name field; "
"first child is not identifier; no groovy branch in extract_calls.c"},
{
"groovy", "a.groovy",
"def helper() {\n"
" println 'helping'\n"
"}\n"
"\n"
"def run() {\n"
" helper()\n"
"}\n",
/*
* Groovy: function_call callee not on a function/name field and first
* child is not 'identifier'; no groovy branch in extract_calls.c.
*/
0, "function_call callee not on function/name field; "
"first child is not identifier; no groovy branch in extract_calls.c"
},
{"commonlisp", "a.lisp",
"(defun helper (x)\n"
" (* x 2))\n"
"\n"
"(defun run ()\n"
" (helper 21))\n",
/*
* Common Lisp: list_lit call head is sym_lit not identifier;
* no commonlisp branch in extract_callee_name.
*/
0,
"list_lit call head is sym_lit not identifier; "
"no commonlisp branch in extract_callee_name"},
{
"commonlisp", "a.lisp",
"(defun helper (x)\n"
" (* x 2))\n"
"\n"
"(defun run ()\n"
" (helper 21))\n",
/*
* Common Lisp: list_lit call head is sym_lit not identifier;
* no commonlisp branch in extract_callee_name.
*/
0, "list_lit call head is sym_lit not identifier; "
"no commonlisp branch in extract_callee_name"
},
{"powershell", "a.ps1",
"function helper {\n"
" Write-Output 'hi'\n"
"}\n"
"\n"
"function run {\n"
" helper\n"
"}\n",
/*
* PowerShell: command node child is command_name not identifier;
* extract_scripting_callee handles MATLAB not PowerShell.
*/
0,
"command node child is command_name not identifier; "
"extract_scripting_callee handles MATLAB not PowerShell"},
{
"powershell", "a.ps1",
"function helper {\n"
" Write-Output 'hi'\n"
"}\n"
"\n"
"function run {\n"
" helper\n"
"}\n",
/*
* PowerShell: command node child is command_name not identifier;
* extract_scripting_callee handles MATLAB not PowerShell.
*/
0, "command node child is command_name not identifier; "
"extract_scripting_callee handles MATLAB not PowerShell"
},
{"ada", "a.adb",
"procedure Run is\n"
" procedure Helper is\n"
" begin\n"
" null;\n"
" end Helper;\n"
"begin\n"
" Helper;\n"
"end Run;\n",
/*
* Ada: procedure_call_statement callee did not resolve to a CALLS edge;
* no Ada branch in extract_calls.c.
*/
0,
"procedure_call_statement callee not resolved; "
"no Ada branch in extract_calls.c"},
{
"ada", "a.adb",
"procedure Run is\n"
" procedure Helper is\n"
" begin\n"
" null;\n"
" end Helper;\n"
"begin\n"
" Helper;\n"
"end Run;\n",
/*
* Ada: procedure_call_statement callee did not resolve to a CALLS edge;
* no Ada branch in extract_calls.c.
*/
0, "procedure_call_statement callee not resolved; "
"no Ada branch in extract_calls.c"
},
{"clojure", "a.clj",
"(defn helper [] 42)\n"
"\n"
"(defn run [] (helper))\n",
/*
* Clojure: lisp call is a list_lit whose head is a sym_lit (not a
* field, not a first-child 'identifier'); no lisp branch in
* extract_callee_name.
*/
0,
"list_lit head is sym_lit not identifier; "
"no lisp/clojure branch in extract_callee_name"},
{
"clojure", "a.clj",
"(defn helper [] 42)\n"
"\n"
"(defn run [] (helper))\n",
/*
* Clojure: lisp call is a list_lit whose head is a sym_lit (not a
* field, not a first-child 'identifier'); no lisp branch in
* extract_callee_name.
*/
0, "list_lit head is sym_lit not identifier; "
"no lisp/clojure branch in extract_callee_name"
},
{"fsharp", "a.fs",
"let helper x = x + 1\n"
"\n"
"let run () = helper 41\n",
/*
* F#: application_expression callee head is a long_identifier_or_op
* wrapper, not a bare identifier/field; no fsharp callee branch.
*/
0,
"application_expression callee head is long_identifier_or_op wrapper; "
"no fsharp callee branch in extract_callee_name"},
{
"fsharp", "a.fs",
"let helper x = x + 1\n"
"\n"
"let run () = helper 41\n",
/*
* F#: application_expression callee head is a long_identifier_or_op
* wrapper, not a bare identifier/field; no fsharp callee branch.
*/
0, "application_expression callee head is long_identifier_or_op wrapper; "
"no fsharp callee branch in extract_callee_name"
},
{"racket", "a.rkt",
"#lang racket\n"
"\n"
"(define (helper x)\n"
" (+ x 1))\n"
"\n"
"(define (run)\n"
" (helper 41))\n",
/*
* Racket: lisp call is a 'list' whose head is a 'symbol' (grammar has
* no 'identifier' node); no racket branch in extract_callee_name.
*/
0,
"list head is symbol not identifier; "
"no racket branch in extract_callee_name"},
{
"racket", "a.rkt",
"#lang racket\n"
"\n"
"(define (helper x)\n"
" (+ x 1))\n"
"\n"
"(define (run)\n"
" (helper 41))\n",
/*
* Racket: lisp call is a 'list' whose head is a 'symbol' (grammar has
* no 'identifier' node); no racket branch in extract_callee_name.
*/
0, "list head is symbol not identifier; "
"no racket branch in extract_callee_name"
},
{"rescript", "a.res",
"let helper = (x) => x + 1\n"
"\n"
"let run = () => helper(41)\n",
/*
* ReScript: call_expression 'function' field is a 'value_identifier'
* (not in extract_callee_from_fields' accepted type list).
*/
0,
"call_expression function field is value_identifier; "
"not in extract_callee_from_fields accepted type list"},
{
"rescript", "a.res",
"let helper = (x) => x + 1\n"
"\n"
"let run = () => helper(41)\n",
/*
* ReScript: call_expression 'function' field is a 'value_identifier'
* (not in extract_callee_from_fields' accepted type list).
*/
0, "call_expression function field is value_identifier; "
"not in extract_callee_from_fields accepted type list"
},
{"scheme", "a.scm",
"(define (helper x)\n"
" (* x 2))\n"
"\n"
"(define (run)\n"
" (helper 21))\n",
/*
* Scheme: lisp call is a 'list' whose head is a 'symbol';
* no scheme branch in extract_callee_name.
*/
0,
"list head is symbol not identifier; "
"no scheme branch in extract_callee_name"},
{
"scheme", "a.scm",
"(define (helper x)\n"
" (* x 2))\n"
"\n"
"(define (run)\n"
" (helper 21))\n",
/*
* Scheme: lisp call is a 'list' whose head is a 'symbol';
* no scheme branch in extract_callee_name.
*/
0, "list head is symbol not identifier; "
"no scheme branch in extract_callee_name"
},
{"chialisp", "a.clsp",
"(mod ()\n"
" (defun helper (x)\n"
" (* x 2))\n"
" (defun run ()\n"
" (helper 21))\n"
")\n",
/*
* Chialisp: EXPECTED-GREEN. Every def is nested inside the top-level
* `(mod ...)`, so the in-body call can only be Function-sourced if
* compute_lisp_func_qn pushes a scope for the inner `(defun run ...)`
* rather than stopping at the module. That is exactly what would
* regress if the Chialisp def-head set drifted from the defs walk.
*/
1, NULL},
{
"chialisp", "a.clsp",
"(mod ()\n"
" (defun helper (x)\n"
" (* x 2))\n"
" (defun run ()\n"
" (helper 21))\n"
")\n",
/*
* Chialisp: EXPECTED-GREEN. Every def is nested inside the top-level
* `(mod ...)`, so the in-body call can only be Function-sourced if
* compute_lisp_func_qn pushes a scope for the inner `(defun run ...)`
* rather than stopping at the module. That is exactly what would
* regress if the Chialisp def-head set drifted from the defs walk.
*/
1, NULL
},
};
enum { IB_CASES_COUNT = (int)(sizeof(IB_CASES) / sizeof(IB_CASES[0])) };
@@ -541,14 +585,17 @@ TEST(repro_invariant_breadth_callable_sourcing) {
const IBCase *c = &IB_CASES[i];
IBMetrics m = ib_metrics(c->filename, c->src);
int pass = (m.ok && m.calls >= 1 && m.callable_calls >= 1 && m.module_calls == 0);
int pass = (m.ok && m.calls >= 1 && m.callable_calls >= 1 &&
m.module_calls == 0);
if (!pass) {
fprintf(stderr,
" [INV-BREADTH] FAIL %-12s ok=%d calls=%d "
"callable=%d module=%d%s%s\n",
c->lang, m.ok, m.calls, m.callable_calls, m.module_calls,
c->gap_note ? " -- " : "", c->gap_note ? c->gap_note : "");
c->lang, m.ok, m.calls, m.callable_calls,
m.module_calls,
c->gap_note ? " -- " : "",
c->gap_note ? c->gap_note : "");
failures++;
} else {
fprintf(stderr,
tests/test_extraction.c
+36 -36
View File
@@ -1225,18 +1225,19 @@ TEST(form_procedure) {
/* --- Oracle PL/SQL --- */
TEST(plsql_package_and_call) {
const char *src = "CREATE OR REPLACE PACKAGE BODY emp_pkg AS\n"
" FUNCTION hire(p_name VARCHAR2) RETURN NUMBER IS\n"
" v_sal NUMBER;\n"
" BEGIN\n"
" v_sal := util_pkg.calc_salary(p_name);\n"
" IF v_sal > 0 THEN\n"
" RETURN v_sal;\n"
" END IF;\n"
" RAISE no_data_found;\n"
" END;\n"
"END emp_pkg;\n"
"/\n";
const char *src =
"CREATE OR REPLACE PACKAGE BODY emp_pkg AS\n"
" FUNCTION hire(p_name VARCHAR2) RETURN NUMBER IS\n"
" v_sal NUMBER;\n"
" BEGIN\n"
" v_sal := util_pkg.calc_salary(p_name);\n"
" IF v_sal > 0 THEN\n"
" RETURN v_sal;\n"
" END IF;\n"
" RAISE no_data_found;\n"
" END;\n"
"END emp_pkg;\n"
"/\n";
CBMFileResult *r = extract(src, CBM_LANG_PLSQL, "t", "emp_pkg.pkb");
ASSERT_NOT_NULL(r);
ASSERT_FALSE(r->has_error);
@@ -2201,10 +2202,9 @@ TEST(dbt_source_and_two_arg_ref) {
/* Both dbt builtins name the relation in their LAST string argument:
* source('group','table') -> table, and the two-argument
* ref('package','model') form -> model. */
CBMFileResult *r =
extract("SELECT * FROM {{ source('raw', 'customers') }}\n"
"UNION ALL SELECT * FROM {{ ref('analytics', 'legacy_customers') }}\n",
CBM_LANG_SQL, "t", "models/stg_customers.sql");
CBMFileResult *r = extract("SELECT * FROM {{ source('raw', 'customers') }}\n"
"UNION ALL SELECT * FROM {{ ref('analytics', 'legacy_customers') }}\n",
CBM_LANG_SQL, "t", "models/stg_customers.sql");
ASSERT_NOT_NULL(r);
ASSERT(has_def(r, "Model", "stg_customers"));
ASSERT(has_usage(r, "customers"));
@@ -3223,8 +3223,8 @@ TEST(vue_embedded_structure_negative_controls_issue1410) {
}
TEST(vue_embedded_structure_host_controls_issue1410) {
CBMFileResult *plain =
extract("function plainTs(): void { target(); }\n", CBM_LANG_TYPESCRIPT, "t", "plain.ts");
CBMFileResult *plain = extract("function plainTs(): void { target(); }\n", CBM_LANG_TYPESCRIPT,
"t", "plain.ts");
ASSERT_NOT_NULL(plain);
ASSERT_FALSE(plain->has_error);
ASSERT_EQ(count_defs_named(plain, "Function", "plainTs"), 1);
@@ -3682,11 +3682,11 @@ TEST(extract_java_method_annotations_issue382) {
/* ── ArkTS (HarmonyOS .ets) ─────────────────────────────────────── */
TEST(arkts_component_struct) {
CBMFileResult *r =
extract("@Entry\n@Component\nstruct Index {\n @State message: string = 'Hello'\n\n"
" build() {\n Column() {\n Text(this.message).fontSize(20)\n }\n"
" .width('100%')\n }\n}\n",
CBM_LANG_ARKTS, "t", "Index.ets");
CBMFileResult *r = extract(
"@Entry\n@Component\nstruct Index {\n @State message: string = 'Hello'\n\n"
" build() {\n Column() {\n Text(this.message).fontSize(20)\n }\n"
" .width('100%')\n }\n}\n",
CBM_LANG_ARKTS, "t", "Index.ets");
ASSERT_NOT_NULL(r);
ASSERT_FALSE(r->has_error);
ASSERT(has_def(r, "Struct", "Index"));
@@ -3717,12 +3717,12 @@ TEST(arkts_exported_struct_decorators) {
}
TEST(arkts_member_decorators) {
CBMFileResult *r =
extract("@Component\nstruct S {\n @State a: number = 0\n @Prop b: string\n"
" @Link c: boolean\n @Provide('k') d: string = ''\n @Consume('k') e: string\n"
" @StorageLink('s') f: number = 1\n @State @Watch('onW') g: boolean = false\n\n"
" build() {\n }\n}\n",
CBM_LANG_ARKTS, "t", "S.ets");
CBMFileResult *r = extract(
"@Component\nstruct S {\n @State a: number = 0\n @Prop b: string\n"
" @Link c: boolean\n @Provide('k') d: string = ''\n @Consume('k') e: string\n"
" @StorageLink('s') f: number = 1\n @State @Watch('onW') g: boolean = false\n\n"
" build() {\n }\n}\n",
CBM_LANG_ARKTS, "t", "S.ets");
ASSERT_NOT_NULL(r);
ASSERT_FALSE(r->has_error);
ASSERT(decorators_contain(find_def_by_name(r, "a"), "State"));
@@ -3762,11 +3762,11 @@ TEST(arkts_no_phantom_builtin_defs) {
}
TEST(arkts_builder_extend_styles) {
CBMFileResult *r =
extract("@Builder\nfunction card(t: string) {\n Column() {\n Text(t)\n }\n}\n\n"
"@Extend(Text)\nfunction fancy(size: number) {\n .fontSize(size)\n}\n\n"
"@Styles\nfunction pressed() {\n .backgroundColor('#eee')\n}\n",
CBM_LANG_ARKTS, "t", "b.ets");
CBMFileResult *r = extract(
"@Builder\nfunction card(t: string) {\n Column() {\n Text(t)\n }\n}\n\n"
"@Extend(Text)\nfunction fancy(size: number) {\n .fontSize(size)\n}\n\n"
"@Styles\nfunction pressed() {\n .backgroundColor('#eee')\n}\n",
CBM_LANG_ARKTS, "t", "b.ets");
ASSERT_NOT_NULL(r);
ASSERT_FALSE(r->has_error);
ASSERT(has_def(r, "Function", "card"));
@@ -5110,8 +5110,8 @@ TEST(extract_c_test_dir_marks_is_test_issue1294) {
* not be (#1294). */
TEST(extract_python_method_test_dir_marks_is_test_issue1294) {
const char *src = "class Foo:\n"
" def helper(self):\n"
" pass\n";
" def helper(self):\n"
" pass\n";
/* Python's LSP layer injects synthetic builtin stub Methods (str.upper,
* dict.get, ...) into defs.items alongside real ones (py_builtins.c), so
tests/test_lang_contract.c
+13 -11
View File
@@ -463,10 +463,11 @@ TEST(contract_python_relative_import) {
/* Python: relative aliased from-import must CALLS the real def (execute). */
TEST(contract_python_aliased_from_import_calls) {
static const LangFile f[] = {{"gate.py", "def execute(x):\n return x\n"},
{"router.py",
"from .gate import execute as bridge_execute\n\n\n"
"def submit_task(y):\n return bridge_execute(y)\n"}};
static const LangFile f[] = {
{"gate.py", "def execute(x):\n return x\n"},
{"router.py",
"from .gate import execute as bridge_execute\n\n\n"
"def submit_task(y):\n return bridge_execute(y)\n"}};
LangProj lp;
cbm_store_t *store = lang_index_files(&lp, f, 2);
ASSERT_TRUE(store != NULL);
@@ -559,8 +560,10 @@ TEST(contract_python_absolute_aliased_from_import_calls) {
/* Python: unresolvable module + alias must emit no CALLS (no invented edge). */
TEST(contract_python_ghost_module_aliased_from_import_no_calls) {
static const LangFile f[] = {{"router.py", "from ghost_module import nope as alias\n\n\n"
"def submit_task(y):\n return alias(y)\n"}};
static const LangFile f[] = {
{"router.py",
"from ghost_module import nope as alias\n\n\n"
"def submit_task(y):\n return alias(y)\n"}};
LangProj lp;
cbm_store_t *store = lang_index_files(&lp, f, 1);
ASSERT_TRUE(store != NULL);
@@ -1755,11 +1758,10 @@ TEST(contract_edge_parallel_service_edges) {
if (store) {
sqlite3_stmt *stmt = NULL;
sqlite3 *db = cbm_store_get_db(store);
if (db &&
sqlite3_prepare_v2(db,
"SELECT count(*) FROM edges WHERE properties IS NOT NULL "
"AND properties != '' AND json_valid(properties)=0;",
-1, &stmt, NULL) == SQLITE_OK &&
if (db && sqlite3_prepare_v2(db,
"SELECT count(*) FROM edges WHERE properties IS NOT NULL "
"AND properties != '' AND json_valid(properties)=0;",
-1, &stmt, NULL) == SQLITE_OK &&
sqlite3_step(stmt) == SQLITE_ROW) {
invalid_props = sqlite3_column_int(stmt, 0);
}