storm-lua-minify 0.2.0 → 0.3.0

package/src/resolver.ts

@@ -1,378 +0,0 @@
-// Resolveパス（#19）: 宣言ごとに一意なシンボルを持つスコープツリーを構築し、
-// 識別子の参照を対応する宣言シンボルに解決する。グローバル参照も識別する。
-// このパスは解析のみを行い、ASTやその出力を一切変更しない。
-import Parser from "luaparse";
-
-export type SymbolKind = "local" | "param" | "for" | "label";
-
-export interface Scope {
-  readonly kind: "chunk" | "function" | "block";
-  readonly parent: Scope | null;
-  readonly children: Scope[];
-  // このスコープで直接宣言されたシンボル（宣言順。同名の再宣言もすべて含む）
-  readonly symbols: Symbol[];
-}
-
-export interface Symbol {
-  readonly id: number;
-  readonly name: string;
-  readonly kind: SymbolKind;
-  readonly scope: Scope;
-  readonly declaration: Parser.Identifier;
-  // このシンボルを指す参照（宣言箇所自体は含まない）
-  readonly references: Parser.Identifier[];
-}
-
-export interface GlobalBinding {
-  readonly name: string;
-  readonly references: Parser.Identifier[];
-}
-
-export interface ResolveResult {
-  readonly chunkScope: Scope;
-  // チャンク全体で宣言された全シンボル（宣言順）
-  readonly symbols: Symbol[];
-  readonly globals: Map<string, GlobalBinding>;
-  // 宣言・参照どちらの識別子ノードからも対応するシンボルを引ける。
-  // グローバル参照やフィールド名など、シンボルを持たない識別子はundefinedを返す。
-  symbolOf(identifier: Parser.Identifier): Symbol | undefined;
-}
-
-interface MutableScope extends Scope {
-  readonly parent: MutableScope | null;
-  readonly children: MutableScope[];
-  readonly bindings: Map<string, Symbol>;
-  readonly labels: Map<string, Symbol>;
-}
-
-export function resolveScopes(chunk: Parser.Chunk): ResolveResult {
-  let nextSymbolId = 0;
-  const allSymbols: Symbol[] = [];
-  const globals = new Map<string, GlobalBinding>();
-  const identifierSymbols = new WeakMap<Parser.Identifier, Symbol>();
-
-  function createScope(
-    kind: Scope["kind"],
-    parent: MutableScope | null,
-  ): MutableScope {
-    const scope: MutableScope = {
-      kind,
-      parent,
-      children: [],
-      symbols: [],
-      bindings: new Map(),
-      labels: new Map(),
-    };
-    parent?.children.push(scope);
-    return scope;
-  }
-
-  function declare(
-    scope: MutableScope,
-    node: Parser.Identifier,
-    kind: SymbolKind,
-  ): Symbol {
-    const symbol: Symbol = {
-      id: nextSymbolId++,
-      name: node.name,
-      kind,
-      scope,
-      declaration: node,
-      references: [],
-    };
-    // 同名の再宣言はスコープ内の以後の参照から見た束縛を上書きする（Luaの通常のシャドーイング）
-    scope.symbols.push(symbol);
-    scope.bindings.set(node.name, symbol);
-    allSymbols.push(symbol);
-    identifierSymbols.set(node, symbol);
-    return symbol;
-  }
-
-  function declareLabel(scope: MutableScope, node: Parser.Identifier): Symbol {
-    const symbol: Symbol = {
-      id: nextSymbolId++,
-      name: node.name,
-      kind: "label",
-      scope,
-      declaration: node,
-      references: [],
-    };
-    scope.symbols.push(symbol);
-    scope.labels.set(node.name, symbol);
-    allSymbols.push(symbol);
-    identifierSymbols.set(node, symbol);
-    return symbol;
-  }
-
-  function lookupBinding(
-    scope: MutableScope,
-    name: string,
-  ): Symbol | undefined {
-    for (let s: MutableScope | null = scope; s; s = s.parent) {
-      const found = s.bindings.get(name);
-      if (found) {
-        return found;
-      }
-    }
-    return undefined;
-  }
-
-  function lookupLabel(scope: MutableScope, name: string): Symbol | undefined {
-    for (let s: MutableScope | null = scope; s; s = s.parent) {
-      const found = s.labels.get(name);
-      if (found) {
-        return found;
-      }
-    }
-    return undefined;
-  }
-
-  function reference(scope: MutableScope, node: Parser.Identifier) {
-    const symbol = lookupBinding(scope, node.name);
-    if (symbol) {
-      symbol.references.push(node);
-      identifierSymbols.set(node, symbol);
-      return;
-    }
-    let binding = globals.get(node.name);
-    if (!binding) {
-      binding = { name: node.name, references: [] };
-      globals.set(node.name, binding);
-    }
-    binding.references.push(node);
-  }
-
-  // ラベルはブロック内での宣言位置に関わらずブロック全体から参照できる
-  // （前方goto）ため、通常の宣言文と違い先読みで登録する。
-  function hoistLabels(body: Parser.Statement[], scope: MutableScope) {
-    body.forEach((statement) => {
-      if (statement.type === "LabelStatement") {
-        declareLabel(scope, statement.label);
-      }
-    });
-  }
-
-  function resolveBlock(body: Parser.Statement[], scope: MutableScope) {
-    hoistLabels(body, scope);
-    body.forEach((statement) => {
-      resolveStatement(statement, scope);
-    });
-  }
-
-  function resolveStatement(
-    statement: Parser.Statement,
-    scope: MutableScope,
-  ): void {
-    switch (statement.type) {
-      case "LocalStatement":
-        // 初期化式は新しいローカルが宣言される前の束縛で解決する
-        // （`local x = x` の右辺は外側のxを指す）
-        statement.init.forEach((expr) => {
-          resolveExpression(expr, scope);
-        });
-        statement.variables.forEach((v) => declare(scope, v, "local"));
-        return;
-      case "AssignmentStatement":
-        statement.init.forEach((expr) => {
-          resolveExpression(expr, scope);
-        });
-        statement.variables.forEach((v) => {
-          if (v.type === "Identifier") {
-            reference(scope, v);
-          } else {
-            resolveExpression(v, scope);
-          }
-        });
-        return;
-      case "CallStatement":
-        resolveExpression(statement.expression, scope);
-        return;
-      case "DoStatement": {
-        const inner = createScope("block", scope);
-        resolveBlock(statement.body, inner);
-        return;
-      }
-      case "WhileStatement": {
-        resolveExpression(statement.condition, scope);
-        const inner = createScope("block", scope);
-        resolveBlock(statement.body, inner);
-        return;
-      }
-      case "RepeatStatement": {
-        // `until`の条件式は本体で宣言されたローカルを参照できる
-        const inner = createScope("block", scope);
-        resolveBlock(statement.body, inner);
-        resolveExpression(statement.condition, inner);
-        return;
-      }
-      case "IfStatement":
-        statement.clauses.forEach((clause) => {
-          if (clause.type !== "ElseClause") {
-            resolveExpression(clause.condition, scope);
-          }
-          const inner = createScope("block", scope);
-          resolveBlock(clause.body, inner);
-        });
-        return;
-      case "ForNumericStatement": {
-        resolveExpression(statement.start, scope);
-        resolveExpression(statement.end, scope);
-        if (statement.step) {
-          resolveExpression(statement.step, scope);
-        }
-        const inner = createScope("block", scope);
-        declare(inner, statement.variable, "for");
-        resolveBlock(statement.body, inner);
-        return;
-      }
-      case "ForGenericStatement": {
-        statement.iterators.forEach((iterator) => {
-          resolveExpression(iterator, scope);
-        });
-        const inner = createScope("block", scope);
-        statement.variables.forEach((v) => declare(inner, v, "for"));
-        resolveBlock(statement.body, inner);
-        return;
-      }
-      case "FunctionDeclaration":
-        resolveFunctionDeclaration(statement, scope);
-        return;
-      case "ReturnStatement":
-        statement.arguments.forEach((argument) => {
-          resolveExpression(argument, scope);
-        });
-        return;
-      case "BreakStatement":
-        return;
-      case "LabelStatement":
-        // hoistLabelsで宣言済みのため、ここでは何もしない
-        return;
-      case "GotoStatement": {
-        const symbol = lookupLabel(scope, statement.label.name);
-        if (symbol) {
-          symbol.references.push(statement.label);
-          identifierSymbols.set(statement.label, symbol);
-        }
-        return;
-      }
-      default: {
-        const exhaustive: never = statement;
-        throw new TypeError(
-          "Unknown statement type: `" + JSON.stringify(exhaustive) + "`",
-        );
-      }
-    }
-  }
-
-  function resolveFunctionDeclaration(
-    fn: Parser.FunctionDeclaration,
-    scope: MutableScope,
-  ) {
-    if (fn.identifier) {
-      if (fn.identifier.type === "Identifier") {
-        if (fn.isLocal) {
-          // `local function`は再帰呼び出しのため、本体を解決する前に自身を宣言する
-          declare(scope, fn.identifier, "local");
-        } else {
-          // 非local: 既存のローカル/グローバルへの代入として扱う（新規宣言ではない）
-          reference(scope, fn.identifier);
-        }
-      } else {
-        resolveExpression(fn.identifier, scope);
-      }
-    }
-    const inner = createScope("function", scope);
-    fn.parameters.forEach((parameter) => {
-      if (parameter.type === "Identifier") {
-        declare(inner, parameter, "param");
-      }
-    });
-    resolveBlock(fn.body, inner);
-  }
-
-  function resolveExpression(
-    expr: Parser.Expression,
-    scope: MutableScope,
-  ): void {
-    switch (expr.type) {
-      case "Identifier":
-        reference(scope, expr);
-        return;
-      case "StringLiteral":
-      case "NumericLiteral":
-      case "BooleanLiteral":
-      case "NilLiteral":
-      case "VarargLiteral":
-        return;
-      case "LogicalExpression":
-      case "BinaryExpression":
-        resolveExpression(expr.left, scope);
-        resolveExpression(expr.right, scope);
-        return;
-      case "UnaryExpression":
-        resolveExpression(expr.argument, scope);
-        return;
-      case "CallExpression":
-        resolveExpression(expr.base, scope);
-        expr.arguments.forEach((argument) => {
-          resolveExpression(argument, scope);
-        });
-        return;
-      case "TableCallExpression":
-        resolveExpression(expr.base, scope);
-        resolveExpression(expr.arguments, scope);
-        return;
-      case "StringCallExpression":
-        resolveExpression(expr.base, scope);
-        resolveExpression(expr.argument, scope);
-        return;
-      case "IndexExpression":
-        resolveExpression(expr.base, scope);
-        resolveExpression(expr.index, scope);
-        return;
-      case "MemberExpression":
-        resolveExpression(expr.base, scope);
-        // フィールド名（`.identifier`）は変数参照ではないため解決しない
-        return;
-      case "FunctionDeclaration": {
-        const inner = createScope("function", scope);
-        expr.parameters.forEach((parameter) => {
-          if (parameter.type === "Identifier") {
-            declare(inner, parameter, "param");
-          }
-        });
-        resolveBlock(expr.body, inner);
-        return;
-      }
-      case "TableConstructorExpression":
-        expr.fields.forEach((field) => {
-          if (field.type === "TableKey") {
-            resolveExpression(field.key, scope);
-            resolveExpression(field.value, scope);
-          } else if (field.type === "TableValue") {
-            resolveExpression(field.value, scope);
-          } else {
-            // TableKeyString: キー名（`{ key = value }`のkey）は変数参照ではない
-            resolveExpression(field.value, scope);
-          }
-        });
-        return;
-      default: {
-        const exhaustive: never = expr;
-        throw new TypeError(
-          "Unknown expression type: `" + JSON.stringify(exhaustive) + "`",
-        );
-      }
-    }
-  }
-
-  const chunkScope = createScope("chunk", null);
-  resolveBlock(chunk.body, chunkScope);
-
-  return {
-    chunkScope,
-    symbols: allSymbols,
-    globals,
-    symbolOf: (identifier) => identifierSymbols.get(identifier),
-  };
-}

package/test/circular-require.test.ts

@@ -1,19 +0,0 @@
-import { test } from "node:test";
-import assert from "node:assert/strict";
-import { Minifier } from "../src/minifier";
-import { LUAPARSE_SETTINGS, fixtureEntryPath } from "./lib/helpers";
-
-// require/dofileの参照グラフに循環がある場合、Linkパスがエラーを投げて
-// 出力を開始しないことを検証する（#18）。
-
-void test("circular require is rejected with a clear error", () => {
-  const minifier = new Minifier(
-    fixtureEntryPath("circular-require"),
-    LUAPARSE_SETTINGS,
-    { moduleLikeLua: true },
-  );
-  assert.throws(
-    () => minifier.parse(),
-    /Circular require\/dofile detected: a -> b -> a/,
-  );
-});

package/test/fixtures/bare-require/main.lua

@@ -1,2 +0,0 @@
-require("mod")
-print("done")

package/test/fixtures/bare-require/mod.lua

@@ -1 +0,0 @@
-print("hello from mod")

package/test/fixtures/bitwise-precedence/main.lua

@@ -1,10 +0,0 @@
-local a, b, c = 1, 2, 3
-
-print(a | b & c)
-print((a | b) & c)
-print(a & b | c)
-print(a ~ b & c)
-print(a << b + c)
-print((a << b) + c)
-print(a // b // c)
-print(~a & b)

package/test/fixtures/circular-require/a.lua

@@ -1,2 +0,0 @@
-local b = require("b")
-return { fromA = b }

package/test/fixtures/circular-require/b.lua

@@ -1,2 +0,0 @@
-local a = require("a")
-return { fromB = a }

package/test/fixtures/circular-require/main.lua

@@ -1,2 +0,0 @@
-local a = require("a")
-print(a)

package/test/fixtures/dofile/greet.lua

@@ -1 +0,0 @@
-print("hello from greet")

package/test/fixtures/dofile/main.lua

@@ -1,2 +0,0 @@
-dofile("greet")
-print("done")

package/test/fixtures/entry-scope-many-requires/dep_alpha.lua

@@ -1,2 +0,0 @@
-local valueAlpha = "dep_alpha"
-return { id = valueAlpha }

package/test/fixtures/entry-scope-many-requires/dep_bravo.lua

@@ -1,2 +0,0 @@
-local valueBravo = "dep_bravo"
-return { id = valueBravo }

package/test/fixtures/entry-scope-many-requires/dep_charlie.lua

@@ -1,2 +0,0 @@
-local valueCharlie = "dep_charlie"
-return { id = valueCharlie }

package/test/fixtures/entry-scope-many-requires/dep_delta.lua

@@ -1,2 +0,0 @@
-local valueDelta = "dep_delta"
-return { id = valueDelta }

package/test/fixtures/entry-scope-many-requires/dep_echo.lua

@@ -1,2 +0,0 @@
-local valueEcho = "dep_echo"
-return { id = valueEcho }

package/test/fixtures/entry-scope-many-requires/dep_foxtrot.lua

@@ -1,2 +0,0 @@
-local valueFoxtrot = "dep_foxtrot"
-return { id = valueFoxtrot }

package/test/fixtures/entry-scope-many-requires/dep_golf.lua

@@ -1,2 +0,0 @@
-local valueGolf = "dep_golf"
-return { id = valueGolf }

package/test/fixtures/entry-scope-many-requires/dep_hotel.lua

@@ -1,2 +0,0 @@
-local valueHotel = "dep_hotel"
-return { id = valueHotel }

package/test/fixtures/entry-scope-many-requires/dep_india.lua

@@ -1,2 +0,0 @@
-local valueIndia = "dep_india"
-return { id = valueIndia }

package/test/fixtures/entry-scope-many-requires/dep_juliet.lua

@@ -1,2 +0,0 @@
-local valueJuliet = "dep_juliet"
-return { id = valueJuliet }

package/test/fixtures/entry-scope-many-requires/dep_kilo.lua

@@ -1,2 +0,0 @@
-local valueKilo = "dep_kilo"
-return { id = valueKilo }

package/test/fixtures/entry-scope-many-requires/main.lua

@@ -1,25 +0,0 @@
-local depAlpha = require("dep_alpha")
-local depBravo = require("dep_bravo")
-local depCharlie = require("dep_charlie")
-local depDelta = require("dep_delta")
-local depEcho = require("dep_echo")
-local depFoxtrot = require("dep_foxtrot")
-local depGolf = require("dep_golf")
-local depHotel = require("dep_hotel")
-local depIndia = require("dep_india")
-local depJuliet = require("dep_juliet")
-local depKilo = require("dep_kilo")
-
-print(
-  depAlpha,
-  depBravo,
-  depCharlie,
-  depDelta,
-  depEcho,
-  depFoxtrot,
-  depGolf,
-  depHotel,
-  depIndia,
-  depJuliet,
-  depKilo
-)

package/test/fixtures/multi-require/common.lua

@@ -1 +0,0 @@
-return { value = 42 }

package/test/fixtures/multi-require/main.lua

@@ -1,3 +0,0 @@
-local a = require("common")
-local b = require("common")
-print(a.value, b.value)

package/test/fixtures/nested-module/main.lua

@@ -1,2 +0,0 @@
-local deep = require("sub.deep")
-print(deep.value)

package/test/fixtures/nested-module/sub/deep.lua

@@ -1 +0,0 @@
-return { value = 1 }

package/test/fixtures/require-call/main.lua

@@ -1,2 +0,0 @@
-local greeter = require("mod")
-print(greeter.hello())

package/test/fixtures/require-call/mod.lua

@@ -1,5 +0,0 @@
-local function hello()
-  return "hello"
-end
-
-return { hello = hello }

package/test/fixtures/require-in-expression/main.lua

@@ -1 +0,0 @@
-print(require("mod").hello())

package/test/fixtures/require-in-expression/mod.lua

@@ -1 +0,0 @@
-return { hello = function() return "hello" end }

package/test/fixtures/require-string-call/main.lua

@@ -1,2 +0,0 @@
-local greeter = require "mod"
-print(greeter.hello())

package/test/fixtures/require-string-call/mod.lua

@@ -1,5 +0,0 @@
-local function hello()
-  return "hello"
-end
-
-return { hello = hello }

package/test/fixtures/single-file/main.lua

@@ -1,15 +0,0 @@
-local function add(first, second)
-  return first + second
-end
-
-local total = 0
-for index = 1, 10 do
-  total = add(total, index)
-end
-
-local i = 0
-while i < 3 do
-  i = i + 1
-end
-
-print(total, i)

package/test/identifier-collision.test.ts

@@ -1,28 +0,0 @@
-import { test } from "node:test";
-import assert from "node:assert/strict";
-import { WORKING_CASES, KNOWN_BUG_CASES, runMinifier } from "./lib/helpers";
-import { findIdentifierCollisions } from "./lib/collision";
-
-// 出力コードの同一スコープ内で、同じ短縮識別子が異なるオリジナル識別子に
-// 割り当てられていないことを検証する（#12の回帰防止）。
-
-for (const c of WORKING_CASES) {
-  void test(`identifier collision: ${c.label}`, async () => {
-    const { code, map } = runMinifier(c);
-    const collisions = await findIdentifierCollisions(code, map);
-    assert.deepEqual(collisions, []);
-  });
-}
-
-for (const c of KNOWN_BUG_CASES) {
-  const issue = String(c.issue);
-  void test(
-    `identifier collision (known bug, issue #${issue}): ${c.label}`,
-    { todo: `#${issue} の本修正待ち` },
-    async () => {
-      const { code, map } = runMinifier(c);
-      const collisions = await findIdentifierCollisions(code, map);
-      assert.deepEqual(collisions, []);
-    },
-  );
-}