yuku-analyzer 0.5.39 → 0.5.42

package/README.md

@@ -66,6 +66,28 @@ module.resolve("name")   // scope-chain lookup, like the engine does at runtime
 
 Node identity is exact: the node you reach by walking `module.ast` and the node a semantic query returns are the same JavaScript object, so `===` always works.
 
+## Editing the AST
+
+That identity is the payoff. Because the `node` on a symbol or reference _is_ the AST node, a refactor is a plain assignment, and [`yuku-codegen`](https://www.npmjs.com/package/yuku-codegen) prints the mutated tree back to source. No visitor to register, no separate model to translate back.
+
+```js
+import { print } from "yuku-codegen";
+
+const m = analyzer.addFile("util.ts", `const tmp = load();\nexport const data = tmp.value + tmp.size;`);
+const tmp = m.rootScope.find("tmp");
+tmp.declarations[0] === m.ast.body[0].declarations[0].id; // true, literally the same node
+
+tmp.declarations[0].name = "raw"; // rename the binding
+for (const ref of tmp.references) ref.node.name = "raw"; // and every resolved use
+
+// across files, analyzer.referencesOf(symbol) hands back these same live nodes for every use
+print(m.ast).code;
+// const raw = load();
+// export const data = raw.value + raw.size;
+```
+
+The uses come from resolved references, not a name search, so a shadowing inner `tmp` is left untouched: the rename only reaches the identifiers that actually bind to this symbol.
+
 ## Walking with semantic context
 
 `module.walk` is a typed visitor walk where every handler also receives the current scope, symbol, and reference. No manual scope tracking, ever:

package/decode.js

@@ -619,15 +619,14 @@ function decode(buffer, source) {
         extraCount = _u32[1],
         spLen = _u32[2];
   const commentCount = _u32[4],
-        lineStartsCount = _u32[6],
-        diagCount = _u32[7],
-        progIdx = _u32[8];
+        diagCount = _u32[6],
+        progIdx = _u32[7];
   const attachedCommentCount = _u32[5];
-  const _flags = _u32[9];
+  const _flags = _u32[8];
   const _isTs = !!(_flags & 1);
   const _attached = !!(_flags & 2);
-  const _firstNa = _u32[10];
-  const _nodesOff = 44;
+  const _firstNa = _u32[9];
+  const _nodesOff = 40;
   const eOff = _nodesOff + nodeCount * 48;
   const _extraBase = eOff >> 2;
   const _spOff = eOff + extraCount * 4;
@@ -670,19 +669,20 @@ function decode(buffer, source) {
     if (s === e) return "";
     if (s >= _srcLen) return _poolDecode(s, e);
     if (e <= _firstNa) return _src.slice(s, e);
-    const ss = s < _firstNa ? s : pm[s - _firstNa];
-    return _src.slice(ss, pm[e - _firstNa]);
+    return _src.slice(s < _firstNa ? s : pm[s - _firstNa], pm[e - _firstNa]);
   };
   function nodeArr(s, len) {
-    const r = Array.from({ length: len });
-    for (let j = 0; j < len; j++) r[j] = node(_u32[_extraBase + s + j]);
+    const r = [];
+    const base = _extraBase + s;
+    for (let j = 0; j < len; j++) r.push(node(_u32[base + j]));
     return r;
   }
   function nodeArrHoles(s, len) {
-    const r = Array.from({ length: len });
+    const r = [];
+    const base = _extraBase + s;
     for (let j = 0; j < len; j++) {
-      const x = _u32[_extraBase + s + j];
-      r[j] = x !== NULL ? node(x) : null;
+      const x = _u32[base + j];
+      r.push(x !== NULL ? node(x) : null);
     }
     return r;
   }
@@ -722,11 +722,11 @@ function decode(buffer, source) {
     return r;
   }
   function _decode(i) {
-    const o = _nodesOff + i * 48;
-    const tag = _u8[o];
-    const flags = _u8[o + 2] | (_u8[o + 3] << 8);
-    const f0 = _u8[o + 4] | (_u8[o + 5] << 8);
-    const b = o >> 2;
+    const b = (_nodesOff + i * 48) >> 2;
+    const h0 = _u32[b];
+    const tag = h0 & 255;
+    const flags = h0 >>> 16;
+    const f0 = _u32[b + 1] & 65535;
     const f1 = _u32[b + 2], f2 = _u32[b + 3],
           f3 = _u32[b + 4], f4 = _u32[b + 5],
           f5 = _u32[b + 6], f6 = _u32[b + 7],
@@ -1164,8 +1164,7 @@ function decode(buffer, source) {
   const _nodesU32 = _nodesOff >> 2;
   function startOf(i) { return _p(_u32[_nodesU32 + i * 12 + 10]); }
   function endOf(i) { return _p(_u32[_nodesU32 + i * 12 + 11]); }
-  const lsOff = _cOff + commentCount * 20;
-  const dOff = lsOff + lineStartsCount * 4;
+  const dOff = _cOff + commentCount * 20;
   function _decodeComments() {
     const out = Array.from({ length: commentCount });
     for (let j = 0; j < commentCount; j++) {
@@ -1184,20 +1183,6 @@ function decode(buffer, source) {
     }
     return out;
   }
-  function _decodeLineStarts() {
-    const out = Array.from({ length: lineStartsCount });
-    if (_firstNa >= _srcLen) {
-      for (let j = 0; j < lineStartsCount; j++) {
-        out[j] = dv.getUint32(lsOff + j * 4, true);
-      }
-      return out;
-    }
-    for (let j = 0; j < lineStartsCount; j++) {
-      const v = dv.getUint32(lsOff + j * 4, true);
-      out[j] = v < _firstNa ? v : (v >= _srcLen ? pm[pm.length - 1] : pm[v - _firstNa]);
-    }
-    return out;
-  }
   function _decodeDiagnostics() {
     const out = Array.from({ length: diagCount });
     let dp = dOff;
@@ -1359,11 +1344,7 @@ function decode(buffer, source) {
       nodeScope: (i) => nodeScopes[i],
     });
   }
-  let _program, _lineStarts, _diagnostics, _comments;
-  function _getLineStarts() {
-    if (_lineStarts === undefined) _lineStarts = _decodeLineStarts();
-    return _lineStarts;
-  }
+  let _program, _diagnostics, _comments;
   return {
     get program() {
       return _program !== undefined ? _program : (_program = node(progIdx));
@@ -1378,16 +1359,6 @@ function decode(buffer, source) {
         ? _diagnostics
         : (_diagnostics = _decodeDiagnostics());
     },
-    get lineStarts() { return _getLineStarts(); },
-    locOf(offset) {
-      const ls = _getLineStarts();
-      let lo = 0, hi = ls.length;
-      while (lo < hi) {
-        const mid = (lo + hi) >>> 1;
-        if (ls[mid] <= offset) lo = mid + 1; else hi = mid;
-      }
-      return { line: lo, column: offset - ls[lo - 1] };
-    },
     nodeOf: node,
     indexOf: (n) => _nodeIndexes.get(n),
     parentIndex: (i) => _parents()[i],

package/index.d.ts

@@ -13,7 +13,6 @@ import type {
   NodeType,
   Program,
   SourceLang,
-  SourceLocation,
   SourceType,
   WalkContext as BaseWalkContext,
 } from "@yuku-toolchain/types";
@@ -364,10 +363,6 @@ interface Module {
   readonly diagnostics: Diagnostic[];
   /** Every comment in source order. */
   readonly comments: Comment[];
-  /** Sorted offsets where each line begins. */
-  readonly lineStarts: number[];
-  /** Resolves an offset to a `(line, column)` pair. */
-  locOf(offset: number): SourceLocation;
 
   /** Every lexical scope; index is the scope id. `scopes[0]` is global. */
   readonly scopes: Scope[];

package/module.js

@@ -256,12 +256,6 @@ export class Module {
   get comments() {
     return this.#r.comments;
   }
-  get lineStarts() {
-    return this.#r.lineStarts;
-  }
-  locOf(offset) {
-    return this.#r.locOf(offset);
-  }
 
   get scopes() {
     return (this.#scopes ??= this.#rows(Scope, this.#sem.scope.count));

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "yuku-analyzer",
-  "version": "0.5.39",
+  "version": "0.5.42",
   "description": "Full JavaScript and TypeScript semantic analysis: scopes, symbols, resolved references, closures, and cross-file module linking, computed natively in Zig and queried as plain JavaScript objects",
   "license": "MIT",
   "repository": {
@@ -21,17 +21,17 @@
     "decode.js"
   ],
   "optionalDependencies": {
-    "@yuku-analyzer/binding-linux-x64-gnu": "0.5.39",
-    "@yuku-analyzer/binding-linux-arm64-gnu": "0.5.39",
-    "@yuku-analyzer/binding-linux-arm-gnu": "0.5.39",
-    "@yuku-analyzer/binding-linux-x64-musl": "0.5.39",
-    "@yuku-analyzer/binding-linux-arm64-musl": "0.5.39",
-    "@yuku-analyzer/binding-linux-arm-musl": "0.5.39",
-    "@yuku-analyzer/binding-darwin-x64": "0.5.39",
-    "@yuku-analyzer/binding-darwin-arm64": "0.5.39",
-    "@yuku-analyzer/binding-win32-x64": "0.5.39",
-    "@yuku-analyzer/binding-win32-arm64": "0.5.39",
-    "@yuku-analyzer/binding-freebsd-x64": "0.5.39"
+    "@yuku-analyzer/binding-linux-x64-gnu": "0.5.42",
+    "@yuku-analyzer/binding-linux-arm64-gnu": "0.5.42",
+    "@yuku-analyzer/binding-linux-arm-gnu": "0.5.42",
+    "@yuku-analyzer/binding-linux-x64-musl": "0.5.42",
+    "@yuku-analyzer/binding-linux-arm64-musl": "0.5.42",
+    "@yuku-analyzer/binding-linux-arm-musl": "0.5.42",
+    "@yuku-analyzer/binding-darwin-x64": "0.5.42",
+    "@yuku-analyzer/binding-darwin-arm64": "0.5.42",
+    "@yuku-analyzer/binding-win32-x64": "0.5.42",
+    "@yuku-analyzer/binding-win32-arm64": "0.5.42",
+    "@yuku-analyzer/binding-freebsd-x64": "0.5.42"
   },
   "keywords": [
     "analyzer",
@@ -49,6 +49,6 @@
     "typescript"
   ],
   "dependencies": {
-    "@yuku-toolchain/types": "0.5.37"
+    "@yuku-toolchain/types": "0.5.41"
   }
 }