@tsonic/emitter 0.0.74 → 0.0.75

package/dist/core/semantic/mutable-storage-expression-visitor.js

@@ -0,0 +1,126 @@
+/**
+ * Mutable storage detection — expression visitor.
+ *
+ * Extracted from mutable-storage-detection.ts — contains the large
+ * visitExpression function that walks all IR expression kinds to detect
+ * mutable array bindings and property slots.
+ */
+import { checkArrayMutationOnCall, collectPatternNames, declarePattern, popScope, pushScope, } from "./mutable-storage-helpers.js";
+export const visitExpression = (expr, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn) => {
+    checkArrayMutationOnCall(expr, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+    switch (expr.kind) {
+        case "literal":
+        case "identifier":
+        case "this":
+        case "defaultof":
+        case "nameof":
+        case "sizeof":
+            return;
+        case "array":
+            for (const element of expr.elements) {
+                if (!element)
+                    continue;
+                if (element.kind === "spread") {
+                    visitExpression(element.expression, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+                    continue;
+                }
+                visitExpression(element, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            }
+            return;
+        case "object":
+            for (const property of expr.properties) {
+                if (property.kind === "spread") {
+                    visitExpression(property.expression, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+                    continue;
+                }
+                if (typeof property.key !== "string") {
+                    visitExpression(property.key, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+                }
+                visitExpression(property.value, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            }
+            return;
+        case "functionExpression": {
+            const names = [
+                ...(expr.name ? [expr.name] : []),
+                ...expr.parameters.flatMap((param) => collectPatternNames(param.pattern)),
+            ];
+            pushScope(scopes, names);
+            visitStatementFn(expr.body, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            popScope(scopes);
+            return;
+        }
+        case "arrowFunction": {
+            pushScope(scopes, expr.parameters.flatMap((param) => collectPatternNames(param.pattern)));
+            if (expr.body.kind === "blockStatement") {
+                visitStatementFn(expr.body, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            }
+            else {
+                visitExpression(expr.body, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            }
+            popScope(scopes);
+            return;
+        }
+        case "memberAccess":
+            visitExpression(expr.object, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            if (expr.isComputed && typeof expr.property !== "string") {
+                visitExpression(expr.property, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            }
+            return;
+        case "call":
+        case "new":
+            visitExpression(expr.callee, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            for (const arg of expr.arguments) {
+                const value = arg.kind === "spread" ? arg.expression : arg;
+                visitExpression(value, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            }
+            return;
+        case "update":
+        case "unary":
+        case "await":
+            visitExpression(expr.expression, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            return;
+        case "binary":
+        case "logical":
+            visitExpression(expr.left, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            visitExpression(expr.right, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            return;
+        case "conditional":
+            visitExpression(expr.condition, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            visitExpression(expr.whenTrue, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            visitExpression(expr.whenFalse, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            return;
+        case "assignment":
+            if ("kind" in expr.left) {
+                if (expr.left.kind === "identifierPattern") {
+                    declarePattern(expr.left, scopes);
+                }
+                else if (expr.left.kind !== "objectPattern" &&
+                    expr.left.kind !== "arrayPattern") {
+                    visitExpression(expr.left, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+                }
+            }
+            visitExpression(expr.right, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            return;
+        case "templateLiteral":
+            for (const nested of expr.expressions) {
+                visitExpression(nested, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            }
+            return;
+        case "spread":
+        case "numericNarrowing":
+        case "typeAssertion":
+        case "asinterface":
+        case "trycast":
+            visitExpression(expr.expression, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            return;
+        case "yield":
+            if (!expr.expression)
+                return;
+            visitExpression(expr.expression, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            return;
+        case "stackalloc":
+            visitExpression(expr.size, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatementFn);
+            return;
+    }
+};
+//# sourceMappingURL=mutable-storage-expression-visitor.js.map

package/dist/core/semantic/mutable-storage-expression-visitor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutable-storage-expression-visitor.js","sourceRoot":"","sources":["../../../src/core/semantic/mutable-storage-expression-visitor.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AASH,OAAO,EAGL,wBAAwB,EACxB,mBAAmB,EACnB,cAAc,EACd,QAAQ,EACR,SAAS,GACV,MAAM,8BAA8B,CAAC;AAEtC,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,IAAkB,EAClB,OAAuB,EACvB,OAAgD,EAChD,UAAuD,EACvD,qBAA0C,EAC1C,qBAAkC,EAClC,oBAAiC,EACjC,MAAkB,EAClB,gBAAkC,EAC5B,EAAE;IACR,wBAAwB,CACtB,IAAI,EACJ,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;IAEF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,SAAS,CAAC;QACf,KAAK,YAAY,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,WAAW,CAAC;QACjB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,OAAO;QACT,KAAK,OAAO;YACV,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACpC,IAAI,CAAC,OAAO;oBAAE,SAAS;gBACvB,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC9B,eAAe,CACb,OAAO,CAAC,UAAU,EAClB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;oBACF,SAAS;gBACX,CAAC;gBACD,eAAe,CACb,OAAO,EACP,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,QAAQ;YACX,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACvC,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC/B,eAAe,CACb,QAAQ,CAAC,UAAU,EACnB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;oBACF,SAAS;gBACX,CAAC;gBACD,IAAI,OAAO,QAAQ,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;oBACrC,eAAe,CACb,QAAQ,CAAC,GAAG,EACZ,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;gBACJ,CAAC;gBACD,eAAe,CACb,QAAQ,CAAC,KAAK,EACd,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,MAAM,KAAK,GAAG;gBACZ,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjC,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAkB,EAAE,EAAE,CAChD,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CACnC;aACF,CAAC;YACF,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACzB,gBAAgB,CACd,IAAI,CAAC,IAAI,EACT,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACF,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjB,OAAO;QACT,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,SAAS,CACP,MAAM,EACN,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAkB,EAAE,EAAE,CAC7C,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CACnC,CACF,CAAC;YACF,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACxC,gBAAgB,CACd,IAAI,CAAC,IAAI,EACT,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,eAAe,CACb,IAAI,CAAC,IAAI,EACT,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACJ,CAAC;YACD,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjB,OAAO;QACT,CAAC;QACD,KAAK,cAAc;YACjB,eAAe,CACb,IAAI,CAAC,MAAM,EACX,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACzD,eAAe,CACb,IAAI,CAAC,QAAQ,EACb,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK;YACR,eAAe,CACb,IAAI,CAAC,MAAM,EACX,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC;gBAC3D,eAAe,CACb,KAAK,EACL,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO,CAAC;QACb,KAAK,OAAO;YACV,eAAe,CACb,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,OAAO;QACT,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACZ,eAAe,CACb,IAAI,CAAC,IAAI,EACT,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,eAAe,CACb,IAAI,CAAC,KAAK,EACV,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,OAAO;QACT,KAAK,aAAa;YAChB,eAAe,CACb,IAAI,CAAC,SAAS,EACd,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,eAAe,CACb,IAAI,CAAC,QAAQ,EACb,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,eAAe,CACb,IAAI,CAAC,SAAS,EACd,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,OAAO;QACT,KAAK,YAAY;YACf,IAAI,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxB,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC3C,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;gBACpC,CAAC;qBAAM,IACL,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe;oBAClC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,EACjC,CAAC;oBACD,eAAe,CACb,IAAI,CAAC,IAAI,EACT,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,eAAe,CACb,IAAI,CAAC,KAAK,EACV,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,OAAO;QACT,KAAK,iBAAiB;YACpB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACtC,eAAe,CACb,MAAM,EACN,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,QAAQ,CAAC;QACd,KAAK,kBAAkB,CAAC;QACxB,KAAK,eAAe,CAAC;QACrB,KAAK,aAAa,CAAC;QACnB,KAAK,SAAS;YACZ,eAAe,CACb,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,OAAO;QACT,KAAK,OAAO;YACV,IAAI,CAAC,IAAI,CAAC,UAAU;gBAAE,OAAO;YAC7B,eAAe,CACb,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,OAAO;QACT,KAAK,YAAY;YACf,eAAe,CACb,IAAI,CAAC,IAAI,EACT,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,gBAAgB,CACjB,CAAC;YACF,OAAO;IACX,CAAC;AACH,CAAC,CAAC"}

package/dist/core/semantic/mutable-storage-helpers.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Mutable storage detection — types, utilities, and property-owner resolution.
+ *
+ * Extracted from mutable-storage-detection.ts — contains type definitions,
+ * scope management, class/interface map builders, and property-owner chain
+ * traversal helpers used by the expression visitor and statement visitors.
+ */
+import { IrClassDeclaration, IrExpression, IrInterfaceDeclaration, IrModule, IrPattern, IrStatement } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+export type MutableStorageAnalysis = {
+    readonly mutableModuleBindings: ReadonlySet<string>;
+    readonly mutablePropertySlots: ReadonlySet<string>;
+};
+export type ScopeStack = Set<string>[];
+export type VisitStatementFn = (stmt: IrStatement, context: EmitterContext, classes: ReadonlyMap<string, IrClassDeclaration>, interfaces: ReadonlyMap<string, IrInterfaceDeclaration>, topLevelConstBindings: ReadonlySet<string>, mutableModuleBindings: Set<string>, mutablePropertySlots: Set<string>, scopes: ScopeStack) => void;
+export declare const propertySlotKey: (typeName: string, propertyName: string) => string;
+export declare const collectPatternNames: (pattern: IrPattern) => readonly string[];
+export declare const collectTopLevelConstBindings: (module: IrModule) => ReadonlySet<string>;
+export declare const buildClassMap: (module: IrModule) => ReadonlyMap<string, IrClassDeclaration>;
+export declare const buildInterfaceMap: (module: IrModule) => ReadonlyMap<string, IrInterfaceDeclaration>;
+export declare const pushScope: (scopes: ScopeStack, names?: readonly string[]) => void;
+export declare const popScope: (scopes: ScopeStack) => void;
+export declare const declarePattern: (pattern: IrPattern, scopes: ScopeStack) => void;
+export declare const checkArrayMutationOnCall: (expr: IrExpression, context: EmitterContext, classes: ReadonlyMap<string, IrClassDeclaration>, interfaces: ReadonlyMap<string, IrInterfaceDeclaration>, topLevelConstBindings: ReadonlySet<string>, mutableModuleBindings: Set<string>, mutablePropertySlots: Set<string>, scopes: ScopeStack) => void;
+export declare const isMutablePropertySlot: (declaringTypeName: string | undefined, propertyName: string, context: EmitterContext) => boolean;
+//# sourceMappingURL=mutable-storage-helpers.d.ts.map

package/dist/core/semantic/mutable-storage-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutable-storage-helpers.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/mutable-storage-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,sBAAsB,EACtB,QAAQ,EACR,SAAS,EACT,WAAW,EAEZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAGrD,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;AAEvC,MAAM,MAAM,gBAAgB,GAAG,CAC7B,IAAI,EAAE,WAAW,EACjB,OAAO,EAAE,cAAc,EACvB,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,EAChD,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,EACvD,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,EAC1C,qBAAqB,EAAE,GAAG,CAAC,MAAM,CAAC,EAClC,oBAAoB,EAAE,GAAG,CAAC,MAAM,CAAC,EACjC,MAAM,EAAE,UAAU,KACf,IAAI,CAAC;AAcV,eAAO,MAAM,eAAe,GAC1B,UAAU,MAAM,EAChB,cAAc,MAAM,KACnB,MAAwC,CAAC;AAE5C,eAAO,MAAM,mBAAmB,GAAI,SAAS,SAAS,KAAG,SAAS,MAAM,EAevE,CAAC;AAEF,eAAO,MAAM,4BAA4B,GACvC,QAAQ,QAAQ,KACf,WAAW,CAAC,MAAM,CAYpB,CAAC;AAeF,eAAO,MAAM,aAAa,GACxB,QAAQ,QAAQ,KACf,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAOtC,CAAC;AAEJ,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,QAAQ,KACf,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAQ1C,CAAC;AAwLJ,eAAO,MAAM,SAAS,GACpB,QAAQ,UAAU,EAClB,QAAO,SAAS,MAAM,EAAO,KAC5B,IAEF,CAAC;AAEF,eAAO,MAAM,QAAQ,GAAI,QAAQ,UAAU,KAAG,IAE7C,CAAC;AAEF,eAAO,MAAM,cAAc,GACzB,SAAS,SAAS,EAClB,QAAQ,UAAU,KACjB,IAMF,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,MAAM,YAAY,EAClB,SAAS,cAAc,EACvB,SAAS,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,EAChD,YAAY,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,EACvD,uBAAuB,WAAW,CAAC,MAAM,CAAC,EAC1C,uBAAuB,GAAG,CAAC,MAAM,CAAC,EAClC,sBAAsB,GAAG,CAAC,MAAM,CAAC,EACjC,QAAQ,UAAU,KACjB,IAuCF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,mBAAmB,MAAM,GAAG,SAAS,EACrC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,OAKO,CAAC"}

package/dist/core/semantic/mutable-storage-helpers.js

@@ -0,0 +1,203 @@
+/**
+ * Mutable storage detection — types, utilities, and property-owner resolution.
+ *
+ * Extracted from mutable-storage-detection.ts — contains type definitions,
+ * scope management, class/interface map builders, and property-owner chain
+ * traversal helpers used by the expression visitor and statement visitors.
+ */
+import { resolveTypeAlias, stripNullish } from "./type-resolution.js";
+const nativeArrayMutationMembers = new Set([
+    "push",
+    "pop",
+    "shift",
+    "unshift",
+    "splice",
+    "sort",
+    "reverse",
+    "fill",
+    "copyWithin",
+]);
+export const propertySlotKey = (typeName, propertyName) => `${typeName}::${propertyName}`;
+export const collectPatternNames = (pattern) => {
+    switch (pattern.kind) {
+        case "identifierPattern":
+            return [pattern.name];
+        case "arrayPattern":
+            return pattern.elements.flatMap((element) => element ? collectPatternNames(element.pattern) : []);
+        case "objectPattern":
+            return pattern.properties.flatMap((property) => property.kind === "property"
+                ? collectPatternNames(property.value)
+                : collectPatternNames(property.pattern));
+    }
+};
+export const collectTopLevelConstBindings = (module) => {
+    const result = new Set();
+    for (const stmt of module.body) {
+        if (stmt.kind !== "variableDeclaration")
+            continue;
+        if (stmt.declarationKind !== "const")
+            continue;
+        for (const decl of stmt.declarations) {
+            for (const name of collectPatternNames(decl.name)) {
+                result.add(name);
+            }
+        }
+    }
+    return result;
+};
+const normalizeLocalTypeNameCandidates = (typeName) => {
+    const candidates = new Set([typeName]);
+    if (typeName.endsWith("$instance")) {
+        candidates.add(typeName.slice(0, -"$instance".length));
+    }
+    if (typeName.startsWith("__") && typeName.endsWith("$views")) {
+        candidates.add(typeName.slice("__".length, -"$views".length));
+    }
+    return Array.from(candidates);
+};
+export const buildClassMap = (module) => new Map(module.body
+    .filter((stmt) => stmt.kind === "classDeclaration")
+    .map((stmt) => [stmt.name, stmt]));
+export const buildInterfaceMap = (module) => new Map(module.body
+    .filter((stmt) => stmt.kind === "interfaceDeclaration")
+    .map((stmt) => [stmt.name, stmt]));
+const collectLocalNominalTypes = (type, context, classes, interfaces, seen = new Set()) => {
+    if (!type)
+        return new Set();
+    const resolved = resolveTypeAlias(stripNullish(type), context);
+    switch (resolved.kind) {
+        case "referenceType": {
+            const result = new Set();
+            for (const candidate of normalizeLocalTypeNameCandidates(resolved.name)) {
+                if (seen.has(candidate))
+                    continue;
+                if (classes.has(candidate) || interfaces.has(candidate)) {
+                    result.add(candidate);
+                }
+            }
+            return result;
+        }
+        case "unionType":
+        case "intersectionType": {
+            const result = new Set();
+            for (const entry of resolved.types) {
+                for (const candidate of collectLocalNominalTypes(entry, context, classes, interfaces, seen)) {
+                    result.add(candidate);
+                }
+            }
+            return result;
+        }
+        default:
+            return new Set();
+    }
+};
+const findPropertyOwnersInClassChain = (className, propertyName, classes, interfaces, context, seen = new Set()) => {
+    if (seen.has(className))
+        return new Set();
+    seen.add(className);
+    const decl = classes.get(className);
+    if (!decl)
+        return new Set();
+    if (decl.members.some((member) => member.kind === "propertyDeclaration" && member.name === propertyName)) {
+        return new Set([className]);
+    }
+    const result = new Set();
+    if (decl.superClass) {
+        for (const parentName of collectLocalNominalTypes(decl.superClass, context, classes, interfaces)) {
+            for (const owner of findPropertyOwnersInClassChain(parentName, propertyName, classes, interfaces, context, seen)) {
+                result.add(owner);
+            }
+        }
+    }
+    return result;
+};
+const findPropertyOwnersInInterfaceChain = (interfaceName, propertyName, interfaces, classes, context, seen = new Set()) => {
+    if (seen.has(interfaceName))
+        return new Set();
+    seen.add(interfaceName);
+    const decl = interfaces.get(interfaceName);
+    if (!decl)
+        return new Set();
+    if (decl.members.some((member) => member.kind === "propertySignature" && member.name === propertyName)) {
+        return new Set([interfaceName]);
+    }
+    const result = new Set();
+    for (const ext of decl.extends) {
+        for (const parentName of collectLocalNominalTypes(ext, context, classes, interfaces)) {
+            for (const owner of findPropertyOwnersInInterfaceChain(parentName, propertyName, interfaces, classes, context, seen)) {
+                result.add(owner);
+            }
+        }
+    }
+    return result;
+};
+const collectPropertyOwners = (receiverType, propertyName, context, classes, interfaces) => {
+    const result = new Set();
+    for (const typeName of collectLocalNominalTypes(receiverType, context, classes, interfaces)) {
+        if (classes.has(typeName)) {
+            for (const owner of findPropertyOwnersInClassChain(typeName, propertyName, classes, interfaces, context)) {
+                result.add(owner);
+            }
+            continue;
+        }
+        if (interfaces.has(typeName)) {
+            for (const owner of findPropertyOwnersInInterfaceChain(typeName, propertyName, interfaces, classes, context)) {
+                result.add(owner);
+            }
+        }
+    }
+    return result;
+};
+const isShadowed = (name, scopes) => {
+    for (let i = scopes.length - 1; i >= 0; i -= 1) {
+        if (scopes[i]?.has(name))
+            return true;
+    }
+    return false;
+};
+export const pushScope = (scopes, names = []) => {
+    scopes.push(new Set(names));
+};
+export const popScope = (scopes) => {
+    scopes.pop();
+};
+export const declarePattern = (pattern, scopes) => {
+    const current = scopes[scopes.length - 1];
+    if (!current)
+        return;
+    for (const name of collectPatternNames(pattern)) {
+        current.add(name);
+    }
+};
+export const checkArrayMutationOnCall = (expr, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes) => {
+    if (expr.kind !== "call" ||
+        expr.callee.kind !== "memberAccess" ||
+        expr.callee.isComputed ||
+        typeof expr.callee.property !== "string" ||
+        !nativeArrayMutationMembers.has(expr.callee.property)) {
+        return;
+    }
+    const receiver = expr.callee.object;
+    const receiverType = receiver.inferredType
+        ? resolveTypeAlias(stripNullish(receiver.inferredType), context)
+        : undefined;
+    if (receiverType?.kind !== "arrayType")
+        return;
+    if (receiver.kind === "identifier") {
+        if (topLevelConstBindings.has(receiver.name) &&
+            !isShadowed(receiver.name, scopes)) {
+            mutableModuleBindings.add(receiver.name);
+        }
+    }
+    else if (receiver.kind === "memberAccess" &&
+        !receiver.isComputed &&
+        typeof receiver.property === "string") {
+        for (const owner of collectPropertyOwners(receiver.object.inferredType, receiver.property, context, classes, interfaces)) {
+            mutablePropertySlots.add(propertySlotKey(owner, receiver.property));
+        }
+    }
+};
+export const isMutablePropertySlot = (declaringTypeName, propertyName, context) => !!declaringTypeName &&
+    (context.mutablePropertySlots?.has(propertySlotKey(declaringTypeName, propertyName)) ??
+        false);
+//# sourceMappingURL=mutable-storage-helpers.js.map

package/dist/core/semantic/mutable-storage-helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutable-storage-helpers.js","sourceRoot":"","sources":["../../../src/core/semantic/mutable-storage-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAYH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAoBtE,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IACzC,MAAM;IACN,KAAK;IACL,OAAO;IACP,SAAS;IACT,QAAQ;IACR,MAAM;IACN,SAAS;IACT,MAAM;IACN,YAAY;CACb,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,QAAgB,EAChB,YAAoB,EACZ,EAAE,CAAC,GAAG,QAAQ,KAAK,YAAY,EAAE,CAAC;AAE5C,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAkB,EAAqB,EAAE;IAC3E,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB;YACtB,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxB,KAAK,cAAc;YACjB,OAAO,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAC1C,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CACpD,CAAC;QACJ,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC7C,QAAQ,CAAC,IAAI,KAAK,UAAU;gBAC1B,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACrC,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAC1C,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,MAAgB,EACK,EAAE;IACvB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB;YAAE,SAAS;QAClD,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO;YAAE,SAAS;QAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACrC,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,gCAAgC,GAAG,CACvC,QAAgB,EACG,EAAE;IACrB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACnC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7D,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,MAAgB,EACyB,EAAE,CAC3C,IAAI,GAAG,CACL,MAAM,CAAC,IAAI;KACR,MAAM,CACL,CAAC,IAAI,EAA8B,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,CACvE;KACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CACpC,CAAC;AAEJ,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAAgB,EAC6B,EAAE,CAC/C,IAAI,GAAG,CACL,MAAM,CAAC,IAAI;KACR,MAAM,CACL,CAAC,IAAI,EAAkC,EAAE,CACvC,IAAI,CAAC,IAAI,KAAK,sBAAsB,CACvC;KACA,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CACpC,CAAC;AAEJ,MAAM,wBAAwB,GAAG,CAC/B,IAAwB,EACxB,OAAuB,EACvB,OAAgD,EAChD,UAAuD,EACvD,OAAoB,IAAI,GAAG,EAAU,EAChB,EAAE;IACvB,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IAEpC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;YACjC,KAAK,MAAM,SAAS,IAAI,gCAAgC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxE,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;oBAAE,SAAS;gBAClC,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;oBACxD,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,KAAK,WAAW,CAAC;QACjB,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;YACjC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBACnC,KAAK,MAAM,SAAS,IAAI,wBAAwB,CAC9C,KAAK,EACL,OAAO,EACP,OAAO,EACP,UAAU,EACV,IAAI,CACL,EAAE,CAAC;oBACF,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD;YACE,OAAO,IAAI,GAAG,EAAU,CAAC;IAC7B,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,SAAiB,EACjB,YAAoB,EACpB,OAAgD,EAChD,UAAuD,EACvD,OAAuB,EACvB,OAAoB,IAAI,GAAG,EAAU,EAChB,EAAE;IACvB,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IAClD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAEpB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IACpC,IACE,IAAI,CAAC,OAAO,CAAC,IAAI,CACf,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CACxE,EACD,CAAC;QACD,OAAO,IAAI,GAAG,CAAS,CAAC,SAAS,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,KAAK,MAAM,UAAU,IAAI,wBAAwB,CAC/C,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,EACP,UAAU,CACX,EAAE,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,8BAA8B,CAChD,UAAU,EACV,YAAY,EACZ,OAAO,EACP,UAAU,EACV,OAAO,EACP,IAAI,CACL,EAAE,CAAC;gBACF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,kCAAkC,GAAG,CACzC,aAAqB,EACrB,YAAoB,EACpB,UAAuD,EACvD,OAAgD,EAChD,OAAuB,EACvB,OAAoB,IAAI,GAAG,EAAU,EAChB,EAAE;IACvB,IAAI,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IACtD,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAExB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,GAAG,EAAU,CAAC;IACpC,IACE,IAAI,CAAC,OAAO,CAAC,IAAI,CACf,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CACtE,EACD,CAAC;QACD,OAAO,IAAI,GAAG,CAAS,CAAC,aAAa,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,KAAK,MAAM,UAAU,IAAI,wBAAwB,CAC/C,GAAG,EACH,OAAO,EACP,OAAO,EACP,UAAU,CACX,EAAE,CAAC;YACF,KAAK,MAAM,KAAK,IAAI,kCAAkC,CACpD,UAAU,EACV,YAAY,EACZ,UAAU,EACV,OAAO,EACP,OAAO,EACP,IAAI,CACL,EAAE,CAAC;gBACF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,YAAgC,EAChC,YAAoB,EACpB,OAAuB,EACvB,OAAgD,EAChD,UAAuD,EAClC,EAAE;IACvB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,QAAQ,IAAI,wBAAwB,CAC7C,YAAY,EACZ,OAAO,EACP,OAAO,EACP,UAAU,CACX,EAAE,CAAC;QACF,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,KAAK,MAAM,KAAK,IAAI,8BAA8B,CAChD,QAAQ,EACR,YAAY,EACZ,OAAO,EACP,UAAU,EACV,OAAO,CACR,EAAE,CAAC;gBACF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,KAAK,MAAM,KAAK,IAAI,kCAAkC,CACpD,QAAQ,EACR,YAAY,EACZ,UAAU,EACV,OAAO,EACP,OAAO,CACR,EAAE,CAAC;gBACF,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,MAAkB,EAAW,EAAE;IAC/D,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IACxC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,MAAkB,EAClB,QAA2B,EAAE,EACvB,EAAE;IACR,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,CAAS,KAAK,CAAC,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAkB,EAAQ,EAAE;IACnD,MAAM,CAAC,GAAG,EAAE,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,OAAkB,EAClB,MAAkB,EACZ,EAAE;IACR,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1C,IAAI,CAAC,OAAO;QAAE,OAAO;IACrB,KAAK,MAAM,IAAI,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAkB,EAClB,OAAuB,EACvB,OAAgD,EAChD,UAAuD,EACvD,qBAA0C,EAC1C,qBAAkC,EAClC,oBAAiC,EACjC,MAAkB,EACZ,EAAE;IACR,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;QACpB,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,cAAc;QACnC,IAAI,CAAC,MAAM,CAAC,UAAU;QACtB,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,QAAQ;QACxC,CAAC,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EACrD,CAAC;QACD,OAAO;IACT,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACpC,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY;QACxC,CAAC,CAAC,gBAAgB,CAAC,YAAY,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;QAChE,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,YAAY,EAAE,IAAI,KAAK,WAAW;QAAE,OAAO;IAE/C,IAAI,QAAQ,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACnC,IACE,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YACxC,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,EAClC,CAAC;YACD,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;SAAM,IACL,QAAQ,CAAC,IAAI,KAAK,cAAc;QAChC,CAAC,QAAQ,CAAC,UAAU;QACpB,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ,EACrC,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,qBAAqB,CACvC,QAAQ,CAAC,MAAM,CAAC,YAAY,EAC5B,QAAQ,CAAC,QAAQ,EACjB,OAAO,EACP,OAAO,EACP,UAAU,CACX,EAAE,CAAC;YACF,oBAAoB,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,iBAAqC,EACrC,YAAoB,EACpB,OAAuB,EACd,EAAE,CACX,CAAC,CAAC,iBAAiB;IACnB,CAAC,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAChC,eAAe,CAAC,iBAAiB,EAAE,YAAY,CAAC,CACjD;QACC,KAAK,CAAC,CAAC"}

package/dist/core/semantic/mutable-storage-statement-visitor.d.ts

@@ -0,0 +1,5 @@
+import { IrClassDeclaration, IrInterfaceDeclaration, IrStatement } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import { type ScopeStack } from "./mutable-storage-detection.js";
+export declare const visitStatement: (stmt: IrStatement, context: EmitterContext, classes: ReadonlyMap<string, IrClassDeclaration>, interfaces: ReadonlyMap<string, IrInterfaceDeclaration>, topLevelConstBindings: ReadonlySet<string>, mutableModuleBindings: Set<string>, mutablePropertySlots: Set<string>, scopes: ScopeStack) => void;
+//# sourceMappingURL=mutable-storage-statement-visitor.d.ts.map

package/dist/core/semantic/mutable-storage-statement-visitor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutable-storage-statement-visitor.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/mutable-storage-statement-visitor.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,sBAAsB,EACtB,WAAW,EACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EACL,KAAK,UAAU,EAMhB,MAAM,gCAAgC,CAAC;AAiCxC,eAAO,MAAM,cAAc,GACzB,MAAM,WAAW,EACjB,SAAS,cAAc,EACvB,SAAS,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,EAChD,YAAY,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,EACvD,uBAAuB,WAAW,CAAC,MAAM,CAAC,EAC1C,uBAAuB,GAAG,CAAC,MAAM,CAAC,EAClC,sBAAsB,GAAG,CAAC,MAAM,CAAC,EACjC,QAAQ,UAAU,KACjB,IAqbF,CAAC"}

package/dist/core/semantic/mutable-storage-statement-visitor.js

@@ -0,0 +1,158 @@
+import { collectPatternNames, declarePattern, popScope, pushScope, visitExpression, } from "./mutable-storage-detection.js";
+const visitVariableDeclaration = (stmt, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes) => {
+    for (const decl of stmt.declarations) {
+        if (decl.initializer) {
+            visitExpression(decl.initializer, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+        }
+    }
+    if (scopes.length === 0)
+        return;
+    for (const decl of stmt.declarations) {
+        declarePattern(decl.name, scopes);
+    }
+};
+export const visitStatement = (stmt, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes) => {
+    switch (stmt.kind) {
+        case "variableDeclaration":
+            visitVariableDeclaration(stmt, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            return;
+        case "functionDeclaration": {
+            if (scopes.length > 0) {
+                scopes[scopes.length - 1]?.add(stmt.name);
+            }
+            pushScope(scopes, stmt.parameters.flatMap((param) => collectPatternNames(param.pattern)));
+            visitStatement(stmt.body, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            popScope(scopes);
+            return;
+        }
+        case "classDeclaration":
+            if (scopes.length > 0) {
+                scopes[scopes.length - 1]?.add(stmt.name);
+            }
+            for (const member of stmt.members) {
+                if (member.kind === "propertyDeclaration" && member.initializer) {
+                    visitExpression(member.initializer, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+                    continue;
+                }
+                if (member.kind === "methodDeclaration" && member.body) {
+                    pushScope(scopes, member.parameters.flatMap((param) => collectPatternNames(param.pattern)));
+                    visitStatement(member.body, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+                    popScope(scopes);
+                    continue;
+                }
+                if (member.kind === "constructorDeclaration" && member.body) {
+                    pushScope(scopes, member.parameters.flatMap((param) => collectPatternNames(param.pattern)));
+                    visitStatement(member.body, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+                    popScope(scopes);
+                    continue;
+                }
+                if (member.kind === "propertyDeclaration") {
+                    if (member.getterBody) {
+                        pushScope(scopes);
+                        visitStatement(member.getterBody, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+                        popScope(scopes);
+                    }
+                    if (member.setterBody) {
+                        pushScope(scopes, member.setterParamName ? [member.setterParamName] : ["value"]);
+                        visitStatement(member.setterBody, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+                        popScope(scopes);
+                    }
+                }
+            }
+            return;
+        case "interfaceDeclaration":
+        case "enumDeclaration":
+        case "typeAliasDeclaration":
+        case "emptyStatement":
+        case "breakStatement":
+        case "continueStatement":
+            return;
+        case "expressionStatement":
+            visitExpression(stmt.expression, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+            return;
+        case "returnStatement":
+        case "throwStatement":
+        case "generatorReturnStatement":
+            if (stmt.expression) {
+                visitExpression(stmt.expression, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+            }
+            return;
+        case "ifStatement":
+            visitExpression(stmt.condition, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+            visitStatement(stmt.thenStatement, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            if (stmt.elseStatement) {
+                visitStatement(stmt.elseStatement, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            }
+            return;
+        case "whileStatement":
+            visitExpression(stmt.condition, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+            visitStatement(stmt.body, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            return;
+        case "forStatement":
+            pushScope(scopes);
+            if (stmt.initializer) {
+                if (stmt.initializer.kind === "variableDeclaration") {
+                    visitVariableDeclaration(stmt.initializer, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+                }
+                else {
+                    visitExpression(stmt.initializer, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+                }
+            }
+            if (stmt.condition) {
+                visitExpression(stmt.condition, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+            }
+            if (stmt.update) {
+                visitExpression(stmt.update, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+            }
+            visitStatement(stmt.body, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            popScope(scopes);
+            return;
+        case "forOfStatement":
+        case "forInStatement":
+            visitExpression(stmt.expression, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+            pushScope(scopes);
+            declarePattern(stmt.variable, scopes);
+            visitStatement(stmt.body, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            popScope(scopes);
+            return;
+        case "switchStatement":
+            visitExpression(stmt.expression, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+            for (const caseStmt of stmt.cases) {
+                if (caseStmt.test) {
+                    visitExpression(caseStmt.test, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+                }
+                pushScope(scopes);
+                for (const nested of caseStmt.statements) {
+                    visitStatement(nested, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+                }
+                popScope(scopes);
+            }
+            return;
+        case "tryStatement":
+            visitStatement(stmt.tryBlock, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            if (stmt.catchClause) {
+                pushScope(scopes, stmt.catchClause.parameter
+                    ? collectPatternNames(stmt.catchClause.parameter)
+                    : []);
+                visitStatement(stmt.catchClause.body, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+                popScope(scopes);
+            }
+            if (stmt.finallyBlock) {
+                visitStatement(stmt.finallyBlock, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            }
+            return;
+        case "blockStatement":
+            pushScope(scopes);
+            for (const nested of stmt.statements) {
+                visitStatement(nested, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes);
+            }
+            popScope(scopes);
+            return;
+        case "yieldStatement":
+            if (stmt.output) {
+                visitExpression(stmt.output, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, scopes, visitStatement);
+            }
+            return;
+    }
+};
+//# sourceMappingURL=mutable-storage-statement-visitor.js.map

package/dist/core/semantic/mutable-storage-statement-visitor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutable-storage-statement-visitor.js","sourceRoot":"","sources":["../../../src/core/semantic/mutable-storage-statement-visitor.ts"],"names":[],"mappings":"AAMA,OAAO,EAEL,mBAAmB,EACnB,cAAc,EACd,QAAQ,EACR,SAAS,EACT,eAAe,GAChB,MAAM,gCAAgC,CAAC;AAExC,MAAM,wBAAwB,GAAG,CAC/B,IAA2D,EAC3D,OAAuB,EACvB,OAAgD,EAChD,UAAuD,EACvD,qBAA0C,EAC1C,qBAAkC,EAClC,oBAAiC,EACjC,MAAkB,EACZ,EAAE;IACR,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,eAAe,CACb,IAAI,CAAC,WAAW,EAChB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAChC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QACrC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAiB,EACjB,OAAuB,EACvB,OAAgD,EAChD,UAAuD,EACvD,qBAA0C,EAC1C,qBAAkC,EAClC,oBAAiC,EACjC,MAAkB,EACZ,EAAE;IACR,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,qBAAqB;YACxB,wBAAwB,CACtB,IAAI,EACJ,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACF,OAAO;QACT,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC;YACD,SAAS,CACP,MAAM,EACN,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CACvE,CAAC;YACF,cAAc,CACZ,IAAI,CAAC,IAAI,EACT,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACF,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjB,OAAO;QACT,CAAC;QACD,KAAK,kBAAkB;YACrB,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5C,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;oBAChE,eAAe,CACb,MAAM,CAAC,WAAW,EAClB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;oBACF,SAAS;gBACX,CAAC;gBAED,IAAI,MAAM,CAAC,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBACvD,SAAS,CACP,MAAM,EACN,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAClC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CACnC,CACF,CAAC;oBACF,cAAc,CACZ,MAAM,CAAC,IAAI,EACX,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;oBACF,QAAQ,CAAC,MAAM,CAAC,CAAC;oBACjB,SAAS;gBACX,CAAC;gBAED,IAAI,MAAM,CAAC,IAAI,KAAK,wBAAwB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBAC5D,SAAS,CACP,MAAM,EACN,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAClC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CACnC,CACF,CAAC;oBACF,cAAc,CACZ,MAAM,CAAC,IAAI,EACX,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;oBACF,QAAQ,CAAC,MAAM,CAAC,CAAC;oBACjB,SAAS;gBACX,CAAC;gBAED,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBAC1C,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBACtB,SAAS,CAAC,MAAM,CAAC,CAAC;wBAClB,cAAc,CACZ,MAAM,CAAC,UAAU,EACjB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;wBACF,QAAQ,CAAC,MAAM,CAAC,CAAC;oBACnB,CAAC;oBACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;wBACtB,SAAS,CACP,MAAM,EACN,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAC9D,CAAC;wBACF,cAAc,CACZ,MAAM,CAAC,UAAU,EACjB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;wBACF,QAAQ,CAAC,MAAM,CAAC,CAAC;oBACnB,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO;QACT,KAAK,sBAAsB,CAAC;QAC5B,KAAK,iBAAiB,CAAC;QACvB,KAAK,sBAAsB,CAAC;QAC5B,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB,CAAC;QACtB,KAAK,mBAAmB;YACtB,OAAO;QACT,KAAK,qBAAqB;YACxB,eAAe,CACb,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;YACF,OAAO;QACT,KAAK,iBAAiB,CAAC;QACvB,KAAK,gBAAgB,CAAC;QACtB,KAAK,0BAA0B;YAC7B,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,eAAe,CACb,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,aAAa;YAChB,eAAe,CACb,IAAI,CAAC,SAAS,EACd,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;YACF,cAAc,CACZ,IAAI,CAAC,aAAa,EAClB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACF,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACvB,cAAc,CACZ,IAAI,CAAC,aAAa,EAClB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,gBAAgB;YACnB,eAAe,CACb,IAAI,CAAC,SAAS,EACd,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;YACF,cAAc,CACZ,IAAI,CAAC,IAAI,EACT,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACF,OAAO;QACT,KAAK,cAAc;YACjB,SAAS,CAAC,MAAM,CAAC,CAAC;YAClB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;oBACpD,wBAAwB,CACtB,IAAI,CAAC,WAAW,EAChB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,eAAe,CACb,IAAI,CAAC,WAAW,EAChB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,eAAe,CACb,IAAI,CAAC,SAAS,EACd,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,eAAe,CACb,IAAI,CAAC,MAAM,EACX,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;YACJ,CAAC;YACD,cAAc,CACZ,IAAI,CAAC,IAAI,EACT,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACF,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjB,OAAO;QACT,KAAK,gBAAgB,CAAC;QACtB,KAAK,gBAAgB;YACnB,eAAe,CACb,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;YACF,SAAS,CAAC,MAAM,CAAC,CAAC;YAClB,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACtC,cAAc,CACZ,IAAI,CAAC,IAAI,EACT,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACF,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjB,OAAO;QACT,KAAK,iBAAiB;YACpB,eAAe,CACb,IAAI,CAAC,UAAU,EACf,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;YACF,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAClC,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;oBAClB,eAAe,CACb,QAAQ,CAAC,IAAI,EACb,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;gBACJ,CAAC;gBACD,SAAS,CAAC,MAAM,CAAC,CAAC;gBAClB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;oBACzC,cAAc,CACZ,MAAM,EACN,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;gBACJ,CAAC;gBACD,QAAQ,CAAC,MAAM,CAAC,CAAC;YACnB,CAAC;YACD,OAAO;QACT,KAAK,cAAc;YACjB,cAAc,CACZ,IAAI,CAAC,QAAQ,EACb,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACF,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,SAAS,CACP,MAAM,EACN,IAAI,CAAC,WAAW,CAAC,SAAS;oBACxB,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC;oBACjD,CAAC,CAAC,EAAE,CACP,CAAC;gBACF,cAAc,CACZ,IAAI,CAAC,WAAW,CAAC,IAAI,EACrB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;gBACF,QAAQ,CAAC,MAAM,CAAC,CAAC;YACnB,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBACtB,cAAc,CACZ,IAAI,CAAC,YAAY,EACjB,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACJ,CAAC;YACD,OAAO;QACT,KAAK,gBAAgB;YACnB,SAAS,CAAC,MAAM,CAAC,CAAC;YAClB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACrC,cAAc,CACZ,MAAM,EACN,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,CACP,CAAC;YACJ,CAAC;YACD,QAAQ,CAAC,MAAM,CAAC,CAAC;YACjB,OAAO;QACT,KAAK,gBAAgB;YACnB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,eAAe,CACb,IAAI,CAAC,MAAM,EACX,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,MAAM,EACN,cAAc,CACf,CAAC;YACJ,CAAC;YACD,OAAO;IACX,CAAC;AACH,CAAC,CAAC"}

package/dist/core/semantic/mutable-storage-visitors.d.ts

@@ -0,0 +1,5 @@
+import { IrModule } from "@tsonic/frontend";
+import type { EmitterContext } from "../../types.js";
+import { type MutableStorageAnalysis } from "./mutable-storage-detection.js";
+export declare const analyzeMutableStorage: (module: IrModule, context: EmitterContext) => MutableStorageAnalysis;
+//# sourceMappingURL=mutable-storage-visitors.d.ts.map

package/dist/core/semantic/mutable-storage-visitors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutable-storage-visitors.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/mutable-storage-visitors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EACL,KAAK,sBAAsB,EAI5B,MAAM,gCAAgC,CAAC;AAGxC,eAAO,MAAM,qBAAqB,GAChC,QAAQ,QAAQ,EAChB,SAAS,cAAc,KACtB,sBAwBF,CAAC"}

package/dist/core/semantic/mutable-storage-visitors.js

@@ -0,0 +1,17 @@
+import { buildClassMap, buildInterfaceMap, collectTopLevelConstBindings, } from "./mutable-storage-detection.js";
+import { visitStatement } from "./mutable-storage-statement-visitor.js";
+export const analyzeMutableStorage = (module, context) => {
+    const classes = buildClassMap(module);
+    const interfaces = buildInterfaceMap(module);
+    const topLevelConstBindings = collectTopLevelConstBindings(module);
+    const mutableModuleBindings = new Set();
+    const mutablePropertySlots = new Set();
+    for (const stmt of module.body) {
+        visitStatement(stmt, context, classes, interfaces, topLevelConstBindings, mutableModuleBindings, mutablePropertySlots, []);
+    }
+    return {
+        mutableModuleBindings,
+        mutablePropertySlots,
+    };
+};
+//# sourceMappingURL=mutable-storage-visitors.js.map

package/dist/core/semantic/mutable-storage-visitors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutable-storage-visitors.js","sourceRoot":"","sources":["../../../src/core/semantic/mutable-storage-visitors.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,aAAa,EACb,iBAAiB,EACjB,4BAA4B,GAC7B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AAExE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,MAAgB,EAChB,OAAuB,EACC,EAAE;IAC1B,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,qBAAqB,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC;IACnE,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAC;IAChD,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,cAAc,CACZ,IAAI,EACJ,OAAO,EACP,OAAO,EACP,UAAU,EACV,qBAAqB,EACrB,qBAAqB,EACrB,oBAAoB,EACpB,EAAE,CACH,CAAC;IACJ,CAAC;IAED,OAAO;QACL,qBAAqB;QACrB,oBAAoB;KACrB,CAAC;AACJ,CAAC,CAAC"}

package/dist/core/semantic/mutable-storage.d.ts

@@ -1,10 +1,3 @@
-import { IrModule } from "@tsonic/frontend";
-import type { EmitterContext } from "../../types.js";
-type MutableStorageAnalysis = {
-    readonly mutableModuleBindings: ReadonlySet<string>;
-    readonly mutablePropertySlots: ReadonlySet<string>;
-};
-export declare const analyzeMutableStorage: (module: IrModule, context: EmitterContext) => MutableStorageAnalysis;
-export declare const isMutablePropertySlot: (declaringTypeName: string | undefined, propertyName: string, context: EmitterContext) => boolean;
-export {};
+export { analyzeMutableStorage } from "./mutable-storage-visitors.js";
+export { isMutablePropertySlot, type MutableStorageAnalysis, } from "./mutable-storage-detection.js";
 //# sourceMappingURL=mutable-storage.d.ts.map

package/dist/core/semantic/mutable-storage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"mutable-storage.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/mutable-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,QAAQ,EAIT,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAGrD,KAAK,sBAAsB,GAAG;IAC5B,QAAQ,CAAC,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpD,CAAC;AA8mCF,eAAO,MAAM,qBAAqB,GAChC,QAAQ,QAAQ,EAChB,SAAS,cAAc,KACtB,sBAwBF,CAAC;AAEF,eAAO,MAAM,qBAAqB,GAChC,mBAAmB,MAAM,GAAG,SAAS,EACrC,cAAc,MAAM,EACpB,SAAS,cAAc,KACtB,OAKO,CAAC"}
+{"version":3,"file":"mutable-storage.d.ts","sourceRoot":"","sources":["../../../src/core/semantic/mutable-storage.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EACL,qBAAqB,EACrB,KAAK,sBAAsB,GAC5B,MAAM,gCAAgC,CAAC"}