webfuscator 1.0.0 → 1.1.0

package/dist/preparation/rewrite-class-fields.js

@@ -1,270 +0,0 @@
-import traverse from '@babel/traverse';
-import * as t from '@babel/types';
-import { isInsideWith, isProtoKey } from '../utils/ast.js';
-import { isPrimitiveLiteral } from '../utils/literal.js';
-/**
- * Moves safe instance fields into the constructor and safe static fields into
- * static blocks. The whole class stays intact unless every field can be lowered.
- *
- * `Object.defineProperty` preserves CreateDataProperty semantics. A plain
- * assignment could invoke an inherited setter or fail on an inherited read-only
- * property. Static blocks also preserve the class binding and `this`.
- *
- * Accessor collisions, special keys, inferred names, constructor parameter
- * scope, and relocated `this`, `super`, or `new.target` can all expose a rewrite.
- * Private or computed fields, derived classes, `with`, and a shadowed `Object`
- * are therefore refused.
- *
- * @example
- * // ◀️ before
- * class A {
- *   x = 1;
- *   static z = 2;
- * }
- *
- * // ▶️ after
- * class A {
- *   constructor() {
- *     Object.defineProperty(this, "x", {
- *       value: 1,
- *       writable: true,
- *       enumerable: true,
- *       configurable: true
- *     });
- *   }
- *   static {
- *     Object.defineProperty(this, "z", {
- *       value: 2,
- *       writable: true,
- *       enumerable: true,
- *       configurable: true
- *     });
- *   }
- * }
- */
-export function rewriteClassFields(ast) {
-    traverse(ast, visitor);
-}
-const FORBIDDEN_STATIC_KEYS = new Set([
-    'length',
-    'name',
-    'prototype',
-    '__proto__',
-    'caller',
-    'arguments',
-]);
-const visitor = {
-    Class(path) {
-        const memberPaths = path.get('body.body');
-        const instanceFields = [];
-        const staticFields = [];
-        let hasPrivateField = false;
-        let hasComputedAccessor = false;
-        const instanceAccessorKeys = new Set();
-        const staticAccessorKeys = new Set();
-        let ctorPath = null;
-        for (const memberPath of memberPaths) {
-            const member = memberPath.node;
-            if (t.isClassProperty(member)) {
-                ;
-                (member.static ? staticFields : instanceFields).push(member);
-            }
-            else if (t.isClassPrivateProperty(member)) {
-                hasPrivateField = true;
-            }
-            else if (t.isClassMethod(member) && member.kind === 'constructor') {
-                ctorPath = memberPath;
-            }
-            else if (t.isClassMethod(member) && (member.kind === 'get' || member.kind === 'set')) {
-                const name = plainKeyName(member.key);
-                if (member.computed || name === null) {
-                    hasComputedAccessor = true;
-                }
-                else {
-                    ;
-                    (member.static ? staticAccessorKeys : instanceAccessorKeys).add(name);
-                }
-            }
-        }
-        if (instanceFields.length === 0 && staticFields.length === 0) {
-            return;
-        }
-        if (!canDesugar(path, {
-            instanceFields,
-            staticFields,
-            hasPrivateField,
-            hasComputedAccessor,
-            instanceAccessorKeys,
-            staticAccessorKeys,
-            ctorPath,
-        })) {
-            return;
-        }
-        // Path methods keep Babel's queued sibling paths aligned after each edit.
-        for (const memberPath of memberPaths) {
-            const member = memberPath.node;
-            if (!t.isClassProperty(member)) {
-                continue;
-            }
-            if (member.static) {
-                memberPath.replaceWith(t.staticBlock([defineField(t.thisExpression(), member)]));
-            }
-            else {
-                memberPath.remove();
-            }
-        }
-        if (instanceFields.length > 0) {
-            const installs = instanceFields.map((field) => defineField(t.thisExpression(), field));
-            if (ctorPath) {
-                ctorPath.get('body').unshiftContainer('body', installs);
-            }
-            else {
-                path
-                    .get('body')
-                    .unshiftContainer('body', t.classMethod('constructor', t.identifier('constructor'), [], t.blockStatement(installs)));
-            }
-        }
-    },
-};
-function canDesugar(path, c) {
-    if (c.hasPrivateField || c.hasComputedAccessor || path.node.superClass != null) {
-        return false;
-    }
-    // `with` and outer bindings can redirect the synthesized `Object` reference.
-    if (isInsideWith(path) || objectIsShadowed(path, c.ctorPath)) {
-        return false;
-    }
-    if (c.instanceFields.length > 0 && c.ctorPath && !hasSimpleParams(c.ctorPath.node)) {
-        return false;
-    }
-    for (const field of c.instanceFields) {
-        if (!instanceFieldIsSafe(field, c.ctorPath != null, c.instanceAccessorKeys)) {
-            return false;
-        }
-    }
-    for (const field of c.staticFields) {
-        if (!staticFieldIsSafe(field, c.staticAccessorKeys)) {
-            return false;
-        }
-    }
-    return true;
-}
-function objectIsShadowed(path, ctorPath) {
-    return (path.scope.getBinding('Object') != null ||
-        (ctorPath != null && ctorPath.scope.getBinding('Object') != null));
-}
-// ECMA-262 10.2.2 initializes base-class fields before parameter defaults.
-// Moving fields into the body reverses that order for non-simple parameters.
-function hasSimpleParams(ctor) {
-    return ctor.params.every((param) => t.isIdentifier(param));
-}
-function instanceFieldIsSafe(field, hasCtor, accessorKeys) {
-    if (field.computed || !isPlainKey(field.key) || isProtoKey(field.key)) {
-        return false;
-    }
-    if (shadowsAccessor(field.key, accessorKeys)) {
-        return false;
-    }
-    if (field.value != null && isAnonymousFunctionDefinition(field.value)) {
-        return false;
-    }
-    if (hasCtor) {
-        // Only a literal cannot capture a constructor parameter or local.
-        return field.value == null || isPrimitiveLiteral(field.value);
-    }
-    return field.value == null || !initObservesMethodContext(field.value, false);
-}
-function staticFieldIsSafe(field, accessorKeys) {
-    if (field.computed || !isPlainKey(field.key) || isForbiddenStaticKey(field.key)) {
-        return false;
-    }
-    if (shadowsAccessor(field.key, accessorKeys)) {
-        return false;
-    }
-    if (field.value == null) {
-        return true;
-    }
-    if (isAnonymousFunctionDefinition(field.value)) {
-        return false;
-    }
-    // Static blocks can change how these context-sensitive forms resolve.
-    return !containsPrivateName(field.value) && !initObservesMethodContext(field.value, true);
-}
-// CreateDataProperty ignores a same-named accessor. Lowering could reorder it.
-function shadowsAccessor(key, accessorKeys) {
-    const name = plainKeyName(key);
-    return name !== null && accessorKeys.has(name);
-}
-function containsPrivateName(node) {
-    let found = false;
-    t.traverseFast(node, (child) => {
-        if (t.isPrivateName(child)) {
-            found = true;
-        }
-        return found ? t.traverseFast.stop : undefined;
-    });
-    return found;
-}
-// These descriptor flags match CreateDataProperty.
-function defineField(target, field) {
-    return t.expressionStatement(t.callExpression(t.memberExpression(t.identifier('Object'), t.identifier('defineProperty')), [
-        target,
-        t.stringLiteral(plainKeyName(field.key)),
-        t.objectExpression([
-            t.objectProperty(t.identifier('value'), fieldValue(field)),
-            t.objectProperty(t.identifier('writable'), t.booleanLiteral(true)),
-            t.objectProperty(t.identifier('enumerable'), t.booleanLiteral(true)),
-            t.objectProperty(t.identifier('configurable'), t.booleanLiteral(true)),
-        ]),
-    ]));
-}
-function fieldValue(field) {
-    return field.value ?? t.unaryExpression('void', t.numericLiteral(0));
-}
-// Numeric and BigInt keys both pass through ToPropertyKey, so `1` and `1n`
-// name `"1"`.
-function plainKeyName(key) {
-    if (t.isIdentifier(key)) {
-        return key.name;
-    }
-    if (t.isStringLiteral(key)) {
-        return key.value;
-    }
-    if (t.isNumericLiteral(key) || t.isBigIntLiteral(key)) {
-        return String(key.value);
-    }
-    return null;
-}
-function isPlainKey(key) {
-    return plainKeyName(key) !== null;
-}
-function isForbiddenStaticKey(key) {
-    if (t.isIdentifier(key) || t.isStringLiteral(key)) {
-        return FORBIDDEN_STATIC_KEYS.has(plainKeyName(key));
-    }
-    return false;
-}
-// A descriptor would infer `"value"` instead of the field key as `.name`.
-function isAnonymousFunctionDefinition(node) {
-    return (t.isArrowFunctionExpression(node) ||
-        (t.isFunctionExpression(node) && node.id == null) ||
-        (t.isClassExpression(node) && node.id == null));
-}
-// Relocation changes `new.target`, `super`, and static `this`. Nested non-arrow
-// functions rebind them and do not count.
-function initObservesMethodContext(node, forbidThis) {
-    let found = false;
-    t.traverseFast(node, (child) => {
-        if (t.isFunction(child) && !t.isArrowFunctionExpression(child)) {
-            return t.traverseFast.skip;
-        }
-        if (t.isSuper(child) ||
-            (t.isMetaProperty(child) && child.meta.name === 'new' && child.property.name === 'target') ||
-            (forbidThis && t.isThisExpression(child))) {
-            found = true;
-        }
-        return found ? t.traverseFast.skip : undefined;
-    });
-    return found;
-}
-//# sourceMappingURL=rewrite-class-fields.js.map

package/dist/preparation/rewrite-class-fields.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"rewrite-class-fields.js","sourceRoot":"","sources":["../../src/preparation/rewrite-class-fields.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,MAAM,iBAAiB,CAAA;AAEtC,OAAO,KAAK,CAAC,MAAM,cAAc,CAAA;AAGjC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,eAAe,CAAA;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAS;IAC1C,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;AACxB,CAAC;AAED,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,QAAQ;IACR,MAAM;IACN,WAAW;IACX,WAAW;IACX,QAAQ;IACR,WAAW;CACZ,CAAC,CAAA;AAEF,MAAM,OAAO,GAAG;IACd,KAAK,CAAC,IAAuB;QAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;QACzC,MAAM,cAAc,GAAsB,EAAE,CAAA;QAC5C,MAAM,YAAY,GAAsB,EAAE,CAAA;QAC1C,IAAI,eAAe,GAAG,KAAK,CAAA;QAC3B,IAAI,mBAAmB,GAAG,KAAK,CAAA;QAC/B,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9C,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAA;QAC5C,IAAI,QAAQ,GAAmC,IAAI,CAAA;QAEnD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAA;YAC9B,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,CAAC;gBAAA,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YAC/D,CAAC;iBAAM,IAAI,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5C,eAAe,GAAG,IAAI,CAAA;YACxB,CAAC;iBAAM,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACpE,QAAQ,GAAG,UAAqC,CAAA;YAClD,CAAC;iBAAM,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBACvF,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBACrC,IAAI,MAAM,CAAC,QAAQ,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBACrC,mBAAmB,GAAG,IAAI,CAAA;gBAC5B,CAAC;qBAAM,CAAC;oBACN,CAAC;oBAAA,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBACxE,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7D,OAAM;QACR,CAAC;QACD,IACE,CAAC,UAAU,CAAC,IAAI,EAAE;YAChB,cAAc;YACd,YAAY;YACZ,eAAe;YACf,mBAAmB;YACnB,oBAAoB;YACpB,kBAAkB;YAClB,QAAQ;SACT,CAAC,EACF,CAAC;YACD,OAAM;QACR,CAAC;QAED,0EAA0E;QAC1E,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAA;YAC9B,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/B,SAAQ;YACV,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClB,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;YAClF,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,MAAM,EAAE,CAAA;YACrB,CAAC;QACH,CAAC;QAED,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,cAAc,EAAE,EAAE,KAAK,CAAC,CAAC,CAAA;YACtF,IAAI,QAAQ,EAAE,CAAC;gBACb,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;YACzD,CAAC;iBAAM,CAAC;gBACN,IAAI;qBACD,GAAG,CAAC,MAAM,CAAC;qBACX,gBAAgB,CACf,MAAM,EACN,CAAC,CAAC,WAAW,CACX,aAAa,EACb,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,EAC3B,EAAE,EACF,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAC3B,CACF,CAAA;YACL,CAAC;QACH,CAAC;IACH,CAAC;CACF,CAAA;AAYD,SAAS,UAAU,CAAC,IAAuB,EAAE,CAAY;IACvD,IAAI,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,mBAAmB,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QAC/E,OAAO,KAAK,CAAA;IACd,CAAC;IACD,6EAA6E;IAC7E,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7D,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,CAAC,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACnF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,cAAc,EAAE,CAAC;QACrC,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAC,CAAC,QAAQ,IAAI,IAAI,EAAE,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAC;YAC5E,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;QACnC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC;YACpD,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAuB,EACvB,QAAwC;IAExC,OAAO,CACL,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI;QACvC,CAAC,QAAQ,IAAI,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,CAClE,CAAA;AACH,CAAC;AAED,2EAA2E;AAC3E,6EAA6E;AAC7E,SAAS,eAAe,CAAC,IAAmB;IAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;AAC5D,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAsB,EACtB,OAAgB,EAChB,YAAyB;IAEzB,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACtE,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,eAAe,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,6BAA6B,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,kEAAkE;QAClE,OAAO,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC/D,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,yBAAyB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAC9E,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAsB,EAAE,YAAyB;IAC1E,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAChF,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,eAAe,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,CAAC,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,IAAI,IAAI,EAAE,CAAC;QACxB,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,6BAA6B,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,OAAO,KAAK,CAAA;IACd,CAAC;IACD,sEAAsE;IACtE,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;AAC3F,CAAC;AAED,+EAA+E;AAC/E,SAAS,eAAe,CAAC,GAAW,EAAE,YAAyB;IAC7D,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAA;IAC9B,OAAO,IAAI,KAAK,IAAI,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AAChD,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAY;IACvC,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QAC7B,IAAI,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3B,KAAK,GAAG,IAAI,CAAA;QACd,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AACd,CAAC;AAED,mDAAmD;AACnD,SAAS,WAAW,CAAC,MAAoB,EAAE,KAAsB;IAC/D,OAAO,CAAC,CAAC,mBAAmB,CAC1B,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,EAAE;QAC3F,MAAM;QACN,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC;QACzC,CAAC,CAAC,gBAAgB,CAAC;YACjB,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;YAC1D,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;YAClE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;YACpE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;SACvE,CAAC;KACH,CAAC,CACH,CAAA;AACH,CAAC;AAED,SAAS,UAAU,CAAC,KAAsB;IACxC,OAAO,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAA;AACtE,CAAC;AAED,2EAA2E;AAC3E,cAAc;AACd,SAAS,YAAY,CAAC,GAAW;IAC/B,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,GAAG,CAAC,IAAI,CAAA;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,GAAG,CAAC,KAAK,CAAA;IAClB,CAAC;IACD,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAC1B,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,SAAS,UAAU,CAAC,GAAW;IAC7B,OAAO,YAAY,CAAC,GAAG,CAAC,KAAK,IAAI,CAAA;AACnC,CAAC;AAED,SAAS,oBAAoB,CAAC,GAAW;IACvC,IAAI,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,qBAAqB,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAE,CAAC,CAAA;IACtD,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,0EAA0E;AAC1E,SAAS,6BAA6B,CAAC,IAAY;IACjD,OAAO,CACL,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC;QACjC,CAAC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,CAC/C,CAAA;AACH,CAAC;AAED,gFAAgF;AAChF,0CAA0C;AAC1C,SAAS,yBAAyB,CAAC,IAAY,EAAE,UAAmB;IAClE,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;QAC7B,IAAI,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/D,OAAO,CAAC,CAAC,YAAY,CAAC,IAAI,CAAA;QAC5B,CAAC;QACD,IACE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;YAChB,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC;YAC1F,CAAC,UAAU,IAAI,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EACzC,CAAC;YACD,KAAK,GAAG,IAAI,CAAA;QACd,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;IAChD,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AACd,CAAC"}

package/src/preparation/rewrite-class-fields.ts

@@ -1,320 +0,0 @@
-import traverse from '@babel/traverse'
-import type { NodePath } from '@babel/traverse'
-import * as t from '@babel/types'
-import type { File } from '@babel/types'
-
-import { isInsideWith, isProtoKey } from 'src/utils/ast'
-import { isPrimitiveLiteral } from 'src/utils/literal'
-
-/**
- * Moves safe instance fields into the constructor and safe static fields into
- * static blocks. The whole class stays intact unless every field can be lowered.
- *
- * `Object.defineProperty` preserves CreateDataProperty semantics. A plain
- * assignment could invoke an inherited setter or fail on an inherited read-only
- * property. Static blocks also preserve the class binding and `this`.
- *
- * Accessor collisions, special keys, inferred names, constructor parameter
- * scope, and relocated `this`, `super`, or `new.target` can all expose a rewrite.
- * Private or computed fields, derived classes, `with`, and a shadowed `Object`
- * are therefore refused.
- *
- * @example
- * // ◀️ before
- * class A {
- *   x = 1;
- *   static z = 2;
- * }
- *
- * // ▶️ after
- * class A {
- *   constructor() {
- *     Object.defineProperty(this, "x", {
- *       value: 1,
- *       writable: true,
- *       enumerable: true,
- *       configurable: true
- *     });
- *   }
- *   static {
- *     Object.defineProperty(this, "z", {
- *       value: 2,
- *       writable: true,
- *       enumerable: true,
- *       configurable: true
- *     });
- *   }
- * }
- */
-export function rewriteClassFields(ast: File): void {
-  traverse(ast, visitor)
-}
-
-const FORBIDDEN_STATIC_KEYS = new Set([
-  'length',
-  'name',
-  'prototype',
-  '__proto__',
-  'caller',
-  'arguments',
-])
-
-const visitor = {
-  Class(path: NodePath<t.Class>) {
-    const memberPaths = path.get('body.body')
-    const instanceFields: t.ClassProperty[] = []
-    const staticFields: t.ClassProperty[] = []
-    let hasPrivateField = false
-    let hasComputedAccessor = false
-    const instanceAccessorKeys = new Set<string>()
-    const staticAccessorKeys = new Set<string>()
-    let ctorPath: NodePath<t.ClassMethod> | null = null
-
-    for (const memberPath of memberPaths) {
-      const member = memberPath.node
-      if (t.isClassProperty(member)) {
-        ;(member.static ? staticFields : instanceFields).push(member)
-      } else if (t.isClassPrivateProperty(member)) {
-        hasPrivateField = true
-      } else if (t.isClassMethod(member) && member.kind === 'constructor') {
-        ctorPath = memberPath as NodePath<t.ClassMethod>
-      } else if (t.isClassMethod(member) && (member.kind === 'get' || member.kind === 'set')) {
-        const name = plainKeyName(member.key)
-        if (member.computed || name === null) {
-          hasComputedAccessor = true
-        } else {
-          ;(member.static ? staticAccessorKeys : instanceAccessorKeys).add(name)
-        }
-      }
-    }
-
-    if (instanceFields.length === 0 && staticFields.length === 0) {
-      return
-    }
-    if (
-      !canDesugar(path, {
-        instanceFields,
-        staticFields,
-        hasPrivateField,
-        hasComputedAccessor,
-        instanceAccessorKeys,
-        staticAccessorKeys,
-        ctorPath,
-      })
-    ) {
-      return
-    }
-
-    // Path methods keep Babel's queued sibling paths aligned after each edit.
-    for (const memberPath of memberPaths) {
-      const member = memberPath.node
-      if (!t.isClassProperty(member)) {
-        continue
-      }
-      if (member.static) {
-        memberPath.replaceWith(t.staticBlock([defineField(t.thisExpression(), member)]))
-      } else {
-        memberPath.remove()
-      }
-    }
-
-    if (instanceFields.length > 0) {
-      const installs = instanceFields.map((field) => defineField(t.thisExpression(), field))
-      if (ctorPath) {
-        ctorPath.get('body').unshiftContainer('body', installs)
-      } else {
-        path
-          .get('body')
-          .unshiftContainer(
-            'body',
-            t.classMethod(
-              'constructor',
-              t.identifier('constructor'),
-              [],
-              t.blockStatement(installs),
-            ),
-          )
-      }
-    }
-  },
-}
-
-interface Collected {
-  instanceFields: t.ClassProperty[]
-  staticFields: t.ClassProperty[]
-  hasPrivateField: boolean
-  hasComputedAccessor: boolean
-  instanceAccessorKeys: Set<string>
-  staticAccessorKeys: Set<string>
-  ctorPath: NodePath<t.ClassMethod> | null
-}
-
-function canDesugar(path: NodePath<t.Class>, c: Collected): boolean {
-  if (c.hasPrivateField || c.hasComputedAccessor || path.node.superClass != null) {
-    return false
-  }
-  // `with` and outer bindings can redirect the synthesized `Object` reference.
-  if (isInsideWith(path) || objectIsShadowed(path, c.ctorPath)) {
-    return false
-  }
-  if (c.instanceFields.length > 0 && c.ctorPath && !hasSimpleParams(c.ctorPath.node)) {
-    return false
-  }
-  for (const field of c.instanceFields) {
-    if (!instanceFieldIsSafe(field, c.ctorPath != null, c.instanceAccessorKeys)) {
-      return false
-    }
-  }
-  for (const field of c.staticFields) {
-    if (!staticFieldIsSafe(field, c.staticAccessorKeys)) {
-      return false
-    }
-  }
-  return true
-}
-
-function objectIsShadowed(
-  path: NodePath<t.Class>,
-  ctorPath: NodePath<t.ClassMethod> | null,
-): boolean {
-  return (
-    path.scope.getBinding('Object') != null ||
-    (ctorPath != null && ctorPath.scope.getBinding('Object') != null)
-  )
-}
-
-// ECMA-262 10.2.2 initializes base-class fields before parameter defaults.
-// Moving fields into the body reverses that order for non-simple parameters.
-function hasSimpleParams(ctor: t.ClassMethod): boolean {
-  return ctor.params.every((param) => t.isIdentifier(param))
-}
-
-function instanceFieldIsSafe(
-  field: t.ClassProperty,
-  hasCtor: boolean,
-  accessorKeys: Set<string>,
-): boolean {
-  if (field.computed || !isPlainKey(field.key) || isProtoKey(field.key)) {
-    return false
-  }
-  if (shadowsAccessor(field.key, accessorKeys)) {
-    return false
-  }
-  if (field.value != null && isAnonymousFunctionDefinition(field.value)) {
-    return false
-  }
-  if (hasCtor) {
-    // Only a literal cannot capture a constructor parameter or local.
-    return field.value == null || isPrimitiveLiteral(field.value)
-  }
-  return field.value == null || !initObservesMethodContext(field.value, false)
-}
-
-function staticFieldIsSafe(field: t.ClassProperty, accessorKeys: Set<string>): boolean {
-  if (field.computed || !isPlainKey(field.key) || isForbiddenStaticKey(field.key)) {
-    return false
-  }
-  if (shadowsAccessor(field.key, accessorKeys)) {
-    return false
-  }
-  if (field.value == null) {
-    return true
-  }
-  if (isAnonymousFunctionDefinition(field.value)) {
-    return false
-  }
-  // Static blocks can change how these context-sensitive forms resolve.
-  return !containsPrivateName(field.value) && !initObservesMethodContext(field.value, true)
-}
-
-// CreateDataProperty ignores a same-named accessor. Lowering could reorder it.
-function shadowsAccessor(key: t.Node, accessorKeys: Set<string>): boolean {
-  const name = plainKeyName(key)
-  return name !== null && accessorKeys.has(name)
-}
-
-function containsPrivateName(node: t.Node): boolean {
-  let found = false
-  t.traverseFast(node, (child) => {
-    if (t.isPrivateName(child)) {
-      found = true
-    }
-    return found ? t.traverseFast.stop : undefined
-  })
-  return found
-}
-
-// These descriptor flags match CreateDataProperty.
-function defineField(target: t.Expression, field: t.ClassProperty): t.ExpressionStatement {
-  return t.expressionStatement(
-    t.callExpression(t.memberExpression(t.identifier('Object'), t.identifier('defineProperty')), [
-      target,
-      t.stringLiteral(plainKeyName(field.key)!),
-      t.objectExpression([
-        t.objectProperty(t.identifier('value'), fieldValue(field)),
-        t.objectProperty(t.identifier('writable'), t.booleanLiteral(true)),
-        t.objectProperty(t.identifier('enumerable'), t.booleanLiteral(true)),
-        t.objectProperty(t.identifier('configurable'), t.booleanLiteral(true)),
-      ]),
-    ]),
-  )
-}
-
-function fieldValue(field: t.ClassProperty): t.Expression {
-  return field.value ?? t.unaryExpression('void', t.numericLiteral(0))
-}
-
-// Numeric and BigInt keys both pass through ToPropertyKey, so `1` and `1n`
-// name `"1"`.
-function plainKeyName(key: t.Node): string | null {
-  if (t.isIdentifier(key)) {
-    return key.name
-  }
-  if (t.isStringLiteral(key)) {
-    return key.value
-  }
-  if (t.isNumericLiteral(key) || t.isBigIntLiteral(key)) {
-    return String(key.value)
-  }
-  return null
-}
-
-function isPlainKey(key: t.Node): boolean {
-  return plainKeyName(key) !== null
-}
-
-function isForbiddenStaticKey(key: t.Node): boolean {
-  if (t.isIdentifier(key) || t.isStringLiteral(key)) {
-    return FORBIDDEN_STATIC_KEYS.has(plainKeyName(key)!)
-  }
-  return false
-}
-
-// A descriptor would infer `"value"` instead of the field key as `.name`.
-function isAnonymousFunctionDefinition(node: t.Node): boolean {
-  return (
-    t.isArrowFunctionExpression(node) ||
-    (t.isFunctionExpression(node) && node.id == null) ||
-    (t.isClassExpression(node) && node.id == null)
-  )
-}
-
-// Relocation changes `new.target`, `super`, and static `this`. Nested non-arrow
-// functions rebind them and do not count.
-function initObservesMethodContext(node: t.Node, forbidThis: boolean): boolean {
-  let found = false
-  t.traverseFast(node, (child) => {
-    if (t.isFunction(child) && !t.isArrowFunctionExpression(child)) {
-      return t.traverseFast.skip
-    }
-    if (
-      t.isSuper(child) ||
-      (t.isMetaProperty(child) && child.meta.name === 'new' && child.property.name === 'target') ||
-      (forbidThis && t.isThisExpression(child))
-    ) {
-      found = true
-    }
-    return found ? t.traverseFast.skip : undefined
-  })
-  return found
-}