@boristype/bt-ir 0.1.0-alpha.0

package/build/lowering/binding.js

@@ -0,0 +1,194 @@
+/**
+ * Binding Manager - централизованная генерация уникальных имён
+ *
+ * Обеспечивает единый механизм для:
+ * - Генерации имён для временных переменных (__tmp0, __arr1, ...)
+ * - Генерации имён для анонимных функций (__arrow0, __func1, ...)
+ * - Переименования shadowed переменных (a → a__0, a__1, ...)
+ * - Защиты от коллизий с именами из исходного кода
+ *
+ * @module lowering/binding
+ */
+/**
+ * Менеджер генерации уникальных имён
+ *
+ * Все сгенерированные имена гарантированно уникальны в пределах
+ * одного экземпляра менеджера и не конфликтуют с именами из исходного кода.
+ *
+ * @example
+ * ```typescript
+ * const bindings = new BindingManager();
+ * bindings.registerSourceNames(["__item", "foo", "bar"]);
+ *
+ * bindings.create("item");   // "__item0" (если __item0 не занято)
+ * bindings.create("arrow");  // "__arrow0"
+ * bindings.create("arrow");  // "__arrow1"
+ * bindings.temp();           // "__tmp0"
+ * bindings.shadow("x");      // "x__0"
+ * ```
+ */
+export class BindingManager {
+    /** Счётчики для каждого префикса */
+    counters = new Map();
+    /** Имена из исходного кода (для проверки коллизий) */
+    sourceNames = new Set();
+    /** Все сгенерированные имена (для проверки коллизий) */
+    generatedNames = new Set();
+    /**
+     * Регистрирует имена из исходного кода для проверки коллизий
+     *
+     * @param names - Массив имён переменных/функций из исходного файла
+     */
+    registerSourceNames(names) {
+        for (const name of names) {
+            this.sourceNames.add(name);
+        }
+    }
+    /**
+     * Проверяет, занято ли имя (в исходнике или уже сгенерировано)
+     */
+    isNameTaken(name) {
+        return this.sourceNames.has(name) || this.generatedNames.has(name);
+    }
+    /**
+     * Создаёт уникальное имя с заданным префиксом
+     *
+     * Гарантирует что имя не конфликтует с:
+     * - Именами из исходного кода
+     * - Ранее сгенерированными именами
+     *
+     * @param prefix - Префикс имени (без __)
+     * @returns Уникальное имя вида __prefix0, __prefix1, ...
+     *
+     * @example
+     * bindings.create("arrow")  // "__arrow0"
+     * bindings.create("obj")    // "__obj0"
+     */
+    create(prefix) {
+        let count = this.counters.get(prefix) ?? 0;
+        let name;
+        // Ищем свободное имя
+        do {
+            name = `__${prefix}${count}`;
+            count++;
+        } while (this.isNameTaken(name));
+        this.counters.set(prefix, count);
+        this.generatedNames.add(name);
+        return name;
+    }
+    /**
+     * Создаёт уникальное имя для временной переменной
+     *
+     * @returns Уникальное имя вида __tmp0, __tmp1, ...
+     */
+    temp() {
+        return this.create("tmp");
+    }
+    /**
+     * Создаёт уникальное имя для shadowed переменной
+     *
+     * Используется когда let/const во вложенном блоке перекрывает
+     * переменную из внешнего scope.
+     *
+     * @param original - Оригинальное имя переменной
+     * @returns Уникальное имя вида original__0, original__1, ...
+     *
+     * @example
+     * bindings.shadow("a")  // "a__0"
+     * bindings.shadow("a")  // "a__1"
+     * bindings.shadow("b")  // "b__0"
+     */
+    shadow(original) {
+        const key = `shadow:${original}`;
+        let count = this.counters.get(key) ?? 0;
+        let name;
+        // Ищем свободное имя
+        do {
+            name = `${original}__${count}`;
+            count++;
+        } while (this.isNameTaken(name));
+        this.counters.set(key, count);
+        this.generatedNames.add(name);
+        return name;
+    }
+    /**
+     * Создаёт уникальное имя для env переменной функции
+     *
+     * @param funcName - Имя функции
+     * @returns Имя env вида funcName_env
+     */
+    envName(funcName) {
+        return `${funcName}_env`;
+    }
+    /**
+     * Создаёт уникальное имя для descriptor функции
+     *
+     * @param funcName - Имя функции
+     * @returns Имя descriptor вида funcName_desc
+     */
+    descName(funcName) {
+        return `${funcName}_desc`;
+    }
+    /**
+     * Создаёт уникальное имя для hoisted вложенной функции (module mode)
+     *
+     * @param originalName - Оригинальное имя функции
+     * @returns Уникальное имя вида __hoisted_originalName_N
+     */
+    hoistedName(originalName) {
+        const key = `hoisted:${originalName}`;
+        let count = this.counters.get(key) ?? 0;
+        let name;
+        do {
+            name = `__hoisted_${originalName}_${count}`;
+            count++;
+        } while (this.isNameTaken(name));
+        this.counters.set(key, count);
+        this.generatedNames.add(name);
+        return name;
+    }
+    /**
+     * Сбрасывает все счётчики и имена (для тестирования)
+     */
+    reset() {
+        this.counters.clear();
+        this.sourceNames.clear();
+        this.generatedNames.clear();
+    }
+    /**
+     * Получает текущее значение счётчика (для отладки)
+     */
+    getCount(prefix) {
+        return this.counters.get(prefix) ?? 0;
+    }
+}
+/**
+ * Глобальный экземпляр для использования в pipeline
+ * Создаётся заново для каждой компиляции
+ */
+let globalBindings = null;
+/**
+ * Получает текущий BindingManager
+ * @throws Если менеджер не инициализирован
+ */
+export function getBindings() {
+    if (!globalBindings) {
+        throw new Error("BindingManager not initialized. Call initBindings() first.");
+    }
+    return globalBindings;
+}
+/**
+ * Инициализирует новый BindingManager для компиляции
+ * @returns Созданный менеджер
+ */
+export function initBindings() {
+    globalBindings = new BindingManager();
+    return globalBindings;
+}
+/**
+ * Создаёт изолированный BindingManager (для тестов)
+ */
+export function createBindings() {
+    return new BindingManager();
+}
+//# sourceMappingURL=binding.js.map

package/build/lowering/binding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding.js","sourceRoot":"","sources":["../../src/lowering/binding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,OAAO,cAAc;IACzB,oCAAoC;IAC5B,QAAQ,GAAwB,IAAI,GAAG,EAAE,CAAC;IAElD,sDAAsD;IAC9C,WAAW,GAAgB,IAAI,GAAG,EAAE,CAAC;IAE7C,wDAAwD;IAChD,cAAc,GAAgB,IAAI,GAAG,EAAE,CAAC;IAEhD;;;;OAIG;IACH,mBAAmB,CAAC,KAAuB;QACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,IAAY;QAC9B,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,MAAM,CAAC,MAAc;QACnB,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,IAAY,CAAC;QAEjB,qBAAqB;QACrB,GAAG,CAAC;YACF,IAAI,GAAG,KAAK,MAAM,GAAG,KAAK,EAAE,CAAC;YAC7B,KAAK,EAAE,CAAC;QACV,CAAC,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE;QAEjC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;OAIG;IACH,IAAI;QACF,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,MAAM,CAAC,QAAgB;QACrB,MAAM,GAAG,GAAG,UAAU,QAAQ,EAAE,CAAC;QACjC,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,IAAY,CAAC;QAEjB,qBAAqB;QACrB,GAAG,CAAC;YACF,IAAI,GAAG,GAAG,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC/B,KAAK,EAAE,CAAC;QACV,CAAC,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE;QAEjC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;OAKG;IACH,OAAO,CAAC,QAAgB;QACtB,OAAO,GAAG,QAAQ,MAAM,CAAC;IAC3B,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,QAAgB;QACvB,OAAO,GAAG,QAAQ,OAAO,CAAC;IAC5B,CAAC;IAED;;;;;OAKG;IACH,WAAW,CAAC,YAAoB;QAC9B,MAAM,GAAG,GAAG,WAAW,YAAY,EAAE,CAAC;QACtC,IAAI,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,IAAY,CAAC;QACjB,GAAG,CAAC;YACF,IAAI,GAAG,aAAa,YAAY,IAAI,KAAK,EAAE,CAAC;YAC5C,KAAK,EAAE,CAAC;QACV,CAAC,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE;QACjC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;IAC9B,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,MAAc;QACrB,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;CACF;AAED;;;GAGG;AACH,IAAI,cAAc,GAA0B,IAAI,CAAC;AAEjD;;;GAGG;AACH,MAAM,UAAU,WAAW;IACzB,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY;IAC1B,cAAc,GAAG,IAAI,cAAc,EAAE,CAAC;IACtC,OAAO,cAAc,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc;IAC5B,OAAO,IAAI,cAAc,EAAE,CAAC;AAC9B,CAAC"}

package/build/lowering/expressions.d.ts

@@ -0,0 +1,106 @@
+/**
+ * Expression Visitors - обработка expressions TypeScript AST
+ *
+ * Содержит:
+ * - visitExpression (dispatch)
+ * - visitIdentifier
+ * - visitTemplateExpression
+ * - visitBinaryExpression
+ * - visitPrefixUnaryExpression, visitPostfixUnaryExpression
+ * - visitCallExpression
+ * - visitObjectLiteral, visitArrayLiteral
+ * - visitArrowFunction, visitFunctionExpression
+ * - visitNewExpression
+ *
+ * @module lowering/expressions
+ */
+import * as ts from "typescript";
+import { type IRExpression } from "../ir/index.ts";
+import type { VisitorContext } from "./visitor.ts";
+/**
+ * Обрабатывает expression
+ * @param objectName - имя объекта если это инициализатор переменной
+ */
+export declare function visitExpression(node: ts.Expression, ctx: VisitorContext, objectName?: string): IRExpression;
+/**
+ * Обрабатывает identifier
+ */
+export declare function visitIdentifier(node: ts.Identifier, ctx: VisitorContext): IRExpression;
+/**
+ * Обрабатывает template expression
+ */
+export declare function visitTemplateExpression(node: ts.TemplateExpression, ctx: VisitorContext): IRExpression;
+/**
+ * Обрабатывает binary expression
+ */
+export declare function visitBinaryExpression(node: ts.BinaryExpression, ctx: VisitorContext): IRExpression;
+/**
+ * Обрабатывает prefix unary expression
+ */
+export declare function visitPrefixUnaryExpression(node: ts.PrefixUnaryExpression, ctx: VisitorContext): IRExpression;
+/**
+ * Обрабатывает postfix unary expression
+ */
+export declare function visitPostfixUnaryExpression(node: ts.PostfixUnaryExpression, ctx: VisitorContext): IRExpression;
+/**
+ * Обрабатывает call expression
+ */
+export declare function visitCallExpression(node: ts.CallExpression, ctx: VisitorContext): IRExpression;
+/**
+ * Обрабатывает object literal
+ *
+ * Spread-свойства преобразуются в вызовы ObjectUnion.
+ * Если объект содержит методы:
+ * 1. Создаём временную переменную __objN
+ * 2. Генерируем функции, env, desc для каждого метода
+ * 3. Присваиваем obj в дескрипторе после создания объекта
+ * 4. Возвращаем __objN
+ */
+export declare function visitObjectLiteral(node: ts.ObjectLiteralExpression, ctx: VisitorContext, objectName?: string): IRExpression;
+/**
+ * Обрабатывает array literal.
+ * Spread-элементы преобразуются в вызов ArrayUnion([...], spreadExpr, [...]).
+ */
+export declare function visitArrayLiteral(node: ts.ArrayLiteralExpression, ctx: VisitorContext): IRExpression;
+/**
+ * Обрабатывает arrow function
+ *
+ * Использует buildFunction для генерации env/desc паттерна
+ * Возвращает: __env.__arrowN
+ */
+export declare function visitArrowFunction(node: ts.ArrowFunction, ctx: VisitorContext): IRExpression;
+/**
+ * Обрабатывает function expression
+ */
+export declare function visitFunctionExpression(node: ts.FunctionExpression, ctx: VisitorContext): IRExpression;
+/**
+ * Обрабатывает new expression
+ */
+export declare function visitNewExpression(node: ts.NewExpression, ctx: VisitorContext): IRExpression;
+/**
+ * Строит ссылку на переменную импортированного модуля (__module_X) через __env цепочку.
+ *
+ * Если какой-либо именованный импорт из модуля используется во вложенной функции
+ * (isCaptured), переменная `__module_X` записывается в __env на уровне модуля.
+ * Доступ к ней из вложенных функций осуществляется через __env.__parent цепочку,
+ * аналогично обычным captured-переменным.
+ *
+ * @param moduleVar - Имя переменной модуля (например "__module___utils")
+ * @param isCapturedImport - Является ли этот импорт captured (используется во вложенной функции)
+ * @param ctx - Текущий VisitorContext
+ * @returns IR выражение: прямой IR.id(moduleVar) или __env[.__parent...].moduleVar
+ */
+export declare function importModuleVarAccess(moduleVar: string, isCapturedImport: boolean, ctx: VisitorContext): IRExpression;
+/**
+ * Строит ссылку на helper-функцию через цепочку __env.__parent.
+ *
+ * Хелперы (__ImportMeta_*, __AbsoluteUrl) зарегистрированы в top-level __env
+ * (moduleScope). Если текущий код — внутри вложенной функции, нужно
+ * пройти цепочку __parent до module-level __env.
+ *
+ * @param helperName - Имя хелпера (например "__ImportMeta_dirUrl")
+ * @param ctx - Текущий VisitorContext
+ * @returns IR выражение вида __env.__ImportMeta_dirUrl или __env.__parent.__ImportMeta_dirUrl
+ */
+export declare function helperEnvAccess(helperName: string, ctx: VisitorContext): IRExpression;
+//# sourceMappingURL=expressions.d.ts.map

package/build/lowering/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../src/lowering/expressions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAGL,KAAK,YAAY,EAIlB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AA0HnD;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,EAAE,CAAC,UAAU,EACnB,GAAG,EAAE,cAAc,EACnB,UAAU,CAAC,EAAE,MAAM,GAClB,YAAY,CAoPd;AAMD;;GAEG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,cAAc,GAAG,YAAY,CA4DtF;AAMD;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,EAAE,CAAC,kBAAkB,EAC3B,GAAG,EAAE,cAAc,GAClB,YAAY,CA4Bd;AAMD;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,EAAE,CAAC,gBAAgB,EACzB,GAAG,EAAE,cAAc,GAClB,YAAY,CAoId;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,EAAE,CAAC,qBAAqB,EAC9B,GAAG,EAAE,cAAc,GAClB,YAAY,CA4Bd;AAED;;GAEG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,EAAE,CAAC,sBAAsB,EAC/B,GAAG,EAAE,cAAc,GAClB,YAAY,CAwBd;AAMD;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE,cAAc,GAAG,YAAY,CAwO9F;AAmCD;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,EAAE,CAAC,uBAAuB,EAChC,GAAG,EAAE,cAAc,EACnB,UAAU,CAAC,EAAE,MAAM,GAClB,YAAY,CA8Md;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,EAAE,CAAC,sBAAsB,EAC/B,GAAG,EAAE,cAAc,GAClB,YAAY,CAoCd;AAMD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE,cAAc,GAAG,YAAY,CAmF5F;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,EAAE,CAAC,kBAAkB,EAC3B,GAAG,EAAE,cAAc,GAClB,YAAY,CA0Dd;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,EAAE,GAAG,EAAE,cAAc,GAAG,YAAY,CAO5F;AAMD;;;;;;;;;;;;GAYG;AACH,wBAAgB,qBAAqB,CACnC,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,OAAO,EACzB,GAAG,EAAE,cAAc,GAClB,YAAY,CAwBd;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,cAAc,GAAG,YAAY,CAgBrF"}