swf-toolkit 0.0.0-stage → 0.1.0

package/dist/cjs/abc/pcode/assembler.js

@@ -0,0 +1,640 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.assembleMethods = assembleMethods;
+exports.assembleMethod = assembleMethod;
+exports.assembleCode = assembleCode;
+const errors_js_1 = require("../../errors.js");
+const abc_file_js_1 = require("../abc-file.js");
+const analysis_js_1 = require("../analysis.js");
+const code_js_1 = require("../code.js");
+const constants_js_1 = require("../constants.js");
+const interner_js_1 = require("../interner.js");
+const opcodes_js_1 = require("../opcodes.js");
+const format_js_1 = require("./format.js");
+const lexer_js_1 = require("./lexer.js");
+// ---------------------------------------------------------------------------
+// Constant parsing
+// ---------------------------------------------------------------------------
+class ConstParser {
+    abc;
+    pool;
+    constructor(abc, pool) {
+        this.abc = abc;
+        this.pool = pool;
+    }
+    namespace(c) {
+        if (c.tryPunct('*'))
+            return 0;
+        const tok = c.peek();
+        const kindName = c.id();
+        const kind = constants_js_1.NAMESPACE_KIND_BY_NAME.get(kindName) ?? (/^Namespace_0x[0-9a-f]+$/i.test(kindName) ? parseInt(kindName.slice(12), 16) : undefined);
+        if (kind === undefined)
+            throw c.error(`Unknown namespace kind '${kindName}'`, tok);
+        c.punct('(');
+        const name = c.stringOrNull();
+        let hint;
+        if (c.tryPunct(','))
+            hint = c.integer(0);
+        c.punct(')');
+        try {
+            return this.pool.namespace(kind, name, hint);
+        }
+        catch (e) {
+            throw c.error(e.message, tok);
+        }
+    }
+    nsSet(c) {
+        c.punct('[');
+        const list = [];
+        if (!c.isPunct(']')) {
+            do
+                list.push(this.namespace(c));
+            while (c.tryPunct(','));
+        }
+        c.punct(']');
+        return this.pool.nsSet(list);
+    }
+    multiname(c) {
+        if (c.tryPunct('*'))
+            return 0;
+        if (c.isId('null')) {
+            c.next();
+            return 0;
+        }
+        const tok = c.peek();
+        const kindName = c.id();
+        const K = constants_js_1.MultinameKind;
+        const kind = K[kindName];
+        if (kind === undefined)
+            throw c.error(`Unknown multiname kind '${kindName}'`, tok);
+        c.punct('(');
+        let result;
+        switch (kind) {
+            case K.QName:
+            case K.QNameA: {
+                const ns = this.namespace(c);
+                c.punct(',');
+                const name = this.pool.string(c.stringOrNull());
+                result = this.pool.multiname({ kind, ns, name });
+                break;
+            }
+            case K.RTQName:
+            case K.RTQNameA:
+                result = this.pool.multiname({ kind, name: this.pool.string(c.stringOrNull()) });
+                break;
+            case K.RTQNameL:
+            case K.RTQNameLA:
+                result = this.pool.multiname({ kind });
+                break;
+            case K.Multiname:
+            case K.MultinameA: {
+                const name = this.pool.string(c.stringOrNull());
+                c.punct(',');
+                result = this.pool.multiname({ kind, name, nsSet: this.nsSet(c) });
+                break;
+            }
+            case K.MultinameL:
+            case K.MultinameLA:
+                result = this.pool.multiname({ kind, nsSet: this.nsSet(c) });
+                break;
+            case K.TypeName: {
+                const base = this.multiname(c);
+                c.punct(',');
+                c.punct('[');
+                const params = [];
+                if (!c.isPunct(']')) {
+                    do
+                        params.push(this.multiname(c));
+                    while (c.tryPunct(','));
+                }
+                c.punct(']');
+                result = this.pool.multiname({ kind, base, params });
+                break;
+            }
+            default:
+                throw c.error(`Unsupported multiname kind '${kindName}'`, tok);
+        }
+        c.punct(')');
+        return result;
+    }
+    /** Constant value → { kind, index }. */
+    value(c) {
+        const tok = c.peek();
+        const name = c.id();
+        const C = constants_js_1.ConstantKind;
+        const arg = (f) => {
+            c.punct('(');
+            const v = f();
+            c.punct(')');
+            return v;
+        };
+        switch (name) {
+            case 'Integer':
+                return { kind: C.Int, value: this.pool.int(arg(() => c.integer(-0x80000000, 0x7fffffff))) };
+            case 'UInteger':
+                return { kind: C.UInt, value: this.pool.uint(arg(() => c.integer(0, 0xffffffff))) };
+            case 'Double':
+                return { kind: C.Double, value: this.pool.double(arg(() => c.number())) };
+            case 'Utf8':
+                return { kind: C.Utf8, value: this.pool.string(arg(() => c.stringOrNull())) };
+            case 'True':
+            case 'False':
+            case 'Null':
+            case 'Undefined': {
+                const kind = name === 'True' ? C.True : name === 'False' ? C.False : name === 'Null' ? C.Null : C.Undefined;
+                const index = c.isPunct('(') ? arg(() => c.integer(0)) : kind;
+                return { kind, value: index };
+            }
+            case 'RawValue': {
+                c.punct('(');
+                const kind = c.integer(0, 255);
+                c.punct(',');
+                const value = c.integer(0);
+                c.punct(')');
+                return { kind, value };
+            }
+            default: {
+                const nsKind = constants_js_1.NAMESPACE_KIND_BY_NAME.get(name);
+                if (nsKind === undefined)
+                    throw c.error(`Unknown value '${name}'`, tok);
+                c.pos--;
+                return { kind: nsKind, value: this.namespace(c) };
+            }
+        }
+    }
+    trait(c, methodRef) {
+        c.id('trait');
+        const kindTok = c.peek();
+        const kind = format_js_1.TRAIT_KIND_BY_TEXT.get(c.id());
+        if (kind === undefined)
+            throw c.error('Unknown trait kind (slot, const, method, getter, setter, class, function)', kindTok);
+        const t = (0, abc_file_js_1.newTrait)({ name: this.multiname(c), kind });
+        while (!c.done) {
+            const keyTok = c.peek();
+            const key = c.id();
+            switch (key) {
+                case 'slotid':
+                case 'dispid':
+                    t.id = c.integer(0);
+                    break;
+                case 'type':
+                    t.typeName = this.multiname(c);
+                    break;
+                case 'value': {
+                    const v = this.value(c);
+                    t.valueKind = v.kind;
+                    t.valueIndex = v.value;
+                    break;
+                }
+                case 'class':
+                    t.classIndex = c.integer(0);
+                    break;
+                case 'method':
+                    t.method = methodRef(c);
+                    break;
+                case 'final':
+                    t.attrs |= constants_js_1.TraitAttr.Final;
+                    break;
+                case 'override':
+                    t.attrs |= constants_js_1.TraitAttr.Override;
+                    break;
+                case 'metadata':
+                    t.attrs |= constants_js_1.TraitAttr.Metadata;
+                    c.punct('[');
+                    if (!c.isPunct(']')) {
+                        do
+                            t.metadata.push(c.integer(0));
+                        while (c.tryPunct(','));
+                    }
+                    c.punct(']');
+                    break;
+                default:
+                    throw c.error(`Unknown trait attribute '${key}'`, keyTok);
+            }
+        }
+        if (kind !== constants_js_1.TraitKind.Slot && kind !== constants_js_1.TraitKind.Const && t.valueIndex !== 0)
+            throw c.error('Only slot/const traits can have a value');
+        return t;
+    }
+}
+// ---------------------------------------------------------------------------
+// Method assembly
+// ---------------------------------------------------------------------------
+function splitLines(text, source) {
+    const out = [];
+    text.split('\n').forEach((raw, i) => {
+        const tokens = (0, lexer_js_1.tokenizeLine)(raw, i + 1, source);
+        if (tokens.length)
+            out.push({ no: i + 1, cur: new lexer_js_1.LineCursor(tokens, i + 1, source) });
+    });
+    return out;
+}
+function parseFlags(c) {
+    let flags = 0;
+    do {
+        const tok = c.peek();
+        if (tok?.type === 'num') {
+            flags |= c.integer(0, 255);
+            continue;
+        }
+        const name = c.id();
+        const bit = constants_js_1.MethodFlags[name];
+        if (bit === undefined)
+            throw c.error(`Unknown method flag '${name}'`, tok);
+        flags |= bit;
+    } while (c.tryPunct('|'));
+    return flags;
+}
+function assembleOne(abc, lines, start, options, consts) {
+    const header = lines[start].cur;
+    header.id('method');
+    let methodIndex;
+    let created = false;
+    if (header.isId('new')) {
+        header.next();
+        methodIndex = abc.methods.length;
+        created = true;
+    }
+    else {
+        methodIndex = header.integer(0);
+        if (methodIndex >= abc.methods.length)
+            throw header.error(`Method index ${methodIndex} out of range (0..${abc.methods.length - 1}); use 'method new' to add one`);
+    }
+    header.end();
+    const existingBody = created ? undefined : abc.methodBody(methodIndex);
+    const method = { paramTypes: [], returnType: 0, name: 0, flags: 0, optional: [], paramNames: [] };
+    const methodRef = (c) => {
+        const tok = c.peek();
+        const v = c.integer(0);
+        if (v >= abc.methods.length + (created ? 1 : 0))
+            throw c.error(`Method index ${v} out of range`, tok);
+        return v;
+    };
+    let section = 'method';
+    let hasBody = false;
+    let maxStack = 'auto';
+    let localCount = 'auto';
+    let maxScopeDepth = 'auto';
+    let initScopeDepth = existingBody?.initScopeDepth ?? 0;
+    const traits = [];
+    const tries = [];
+    const items = [];
+    const labels = new Map();
+    const labelDefined = new Set();
+    const labelRefs = [];
+    const labelId = (name) => {
+        let id = labels.get(name);
+        if (id === undefined) {
+            id = labels.size;
+            labels.set(name, id);
+        }
+        return id;
+    };
+    const labelRef = (c) => {
+        const tok = c.next();
+        if (tok.type !== 'id')
+            throw c.error('Expected label', tok);
+        labelRefs.push({ name: tok.text, line: c, col: tok.col });
+        return labelId(tok.text);
+    };
+    const tryEndpoint = (c) => {
+        const tok = c.next();
+        if (tok.type === 'offset')
+            return tok.value;
+        if (tok.type !== 'id')
+            throw c.error('Expected label or @offset', tok);
+        labelRefs.push({ name: tok.text, line: c, col: tok.col });
+        labelId(tok.text);
+        return tok.text;
+    };
+    const limitValue = (c) => {
+        if (c.isId('auto')) {
+            c.next();
+            return 'auto';
+        }
+        return c.integer(0);
+    };
+    let i = start + 1;
+    let sawEnd = false;
+    for (; i < lines.length; i++) {
+        const { cur: c } = lines[i];
+        const first = c.peek();
+        if (first.type === 'id' && c.tokens.length === 1) {
+            if (first.text === 'end') {
+                sawEnd = true;
+                i++;
+                break;
+            }
+            if (first.text === 'body' && section === 'method') {
+                section = 'body';
+                hasBody = true;
+                continue;
+            }
+            if (first.text === 'code' && (section === 'body' || section === 'method')) {
+                section = 'code';
+                hasBody = true;
+                continue;
+            }
+        }
+        if (first.type === 'id' && first.text === 'method' && section !== 'code') {
+            throw c.error("Missing 'end' before next method");
+        }
+        if (section === 'method') {
+            const key = c.id();
+            switch (key) {
+                case 'name':
+                    method.name = consts.pool.string(c.stringOrNull());
+                    break;
+                case 'returns':
+                    method.returnType = consts.multiname(c);
+                    break;
+                case 'param':
+                    method.paramTypes.push(consts.multiname(c));
+                    break;
+                case 'flags':
+                    method.flags |= parseFlags(c);
+                    break;
+                case 'optional':
+                    method.optional.push(consts.value(c));
+                    break;
+                case 'paramname':
+                    method.paramNames.push(consts.pool.string(c.stringOrNull()));
+                    break;
+                default:
+                    throw c.error(`Unknown method field '${key}' (expected name, returns, param, flags, optional, paramname, body, code or end)`, first);
+            }
+            c.end();
+            continue;
+        }
+        if (section === 'body') {
+            if (c.isId('trait')) {
+                traits.push(consts.trait(c, methodRef));
+                continue;
+            }
+            const key = c.id();
+            switch (key) {
+                case 'maxstack':
+                    maxStack = limitValue(c);
+                    break;
+                case 'localcount':
+                    localCount = limitValue(c);
+                    break;
+                case 'initscopedepth':
+                    initScopeDepth = c.integer(0);
+                    break;
+                case 'maxscopedepth':
+                    maxScopeDepth = limitValue(c);
+                    break;
+                case 'try': {
+                    c.id('from');
+                    const from = tryEndpoint(c);
+                    c.id('to');
+                    const to = tryEndpoint(c);
+                    c.id('target');
+                    const target = tryEndpoint(c);
+                    let excType = 0;
+                    let varName = 0;
+                    while (!c.done) {
+                        const k = c.id();
+                        if (k === 'type')
+                            excType = consts.multiname(c);
+                        else if (k === 'name')
+                            varName = consts.multiname(c);
+                        else
+                            throw c.error(`Unknown try attribute '${k}'`);
+                    }
+                    tries.push({ line: c, from, to, target, excType, varName });
+                    break;
+                }
+                default:
+                    throw c.error(`Unknown body field '${key}' (expected maxstack, localcount, initscopedepth, maxscopedepth, trait, try or code)`, first);
+            }
+            c.end();
+            continue;
+        }
+        // code section
+        if (first.type === 'id' && c.peek(1)?.type === 'punct' && c.peek(1).text === ':') {
+            c.pos += 2;
+            if (labelDefined.has(first.text))
+                throw c.error(`Label '${first.text}' defined twice`, first);
+            labelDefined.add(first.text);
+            items.push({ type: 'label', id: labelId(first.text) });
+            if (c.done)
+                continue;
+        }
+        items.push(parseInstruction(c, consts, labelRef, methodRef));
+    }
+    if (!sawEnd) {
+        const last = lines[lines.length - 1];
+        throw new errors_js_1.AssemblerError(`Missing 'end' for method block starting at line ${lines[start].no}`, last.no, 1, options.source);
+    }
+    for (const ref of labelRefs) {
+        if (!labelDefined.has(ref.name))
+            throw new errors_js_1.AssemblerError(`Undefined label '${ref.name}'`, ref.line.line, ref.col, options.source);
+    }
+    // Apply ----------------------------------------------------------------
+    if (method.optional.length > 0)
+        method.flags |= constants_js_1.MethodFlags.HAS_OPTIONAL;
+    if (method.paramNames.length > 0)
+        method.flags |= constants_js_1.MethodFlags.HAS_PARAM_NAMES;
+    if (created)
+        abc.methods.push(method);
+    else
+        abc.methods[methodIndex] = method;
+    const bodyIdx = abc.bodies.findIndex((b) => b.method === methodIndex);
+    if (!hasBody) {
+        if (bodyIdx >= 0)
+            abc.bodies.splice(bodyIdx, 1);
+        return { result: { methodIndex, created }, next: i };
+    }
+    const codeExceptions = [];
+    const numericTries = [];
+    tries.forEach((t, k) => {
+        if (typeof t.from === 'number' || typeof t.to === 'number' || typeof t.target === 'number')
+            numericTries.push(k);
+        codeExceptions.push({
+            from: typeof t.from === 'string' ? labels.get(t.from) : -1,
+            to: typeof t.to === 'string' ? labels.get(t.to) : -1,
+            target: typeof t.target === 'string' ? labels.get(t.target) : -1,
+            excType: t.excType,
+            varName: t.varName,
+        });
+    });
+    let encoded;
+    try {
+        encoded = (0, code_js_1.encodeCode)(items, codeExceptions.filter((_, k) => !numericTries.includes(k)));
+    }
+    catch (e) {
+        throw new errors_js_1.AssemblerError(e.message, lines[start].no, 1, options.source);
+    }
+    const resolve = (v) => (typeof v === 'number' ? v : encoded.labelOffsets.get(labels.get(v)));
+    const exceptions = tries.map((t) => ({ from: resolve(t.from), to: resolve(t.to), target: resolve(t.target), excType: t.excType, varName: t.varName }));
+    const limits = (0, analysis_js_1.computeLimits)(abc, items, codeExceptions.filter((_, k) => !numericTries.includes(k)));
+    const mode = options.limits ?? 'grow';
+    const pick = (declared, computed) => declared === 'auto' || mode === 'auto' ? computed : mode === 'grow' ? Math.max(declared, computed) : declared;
+    const body = {
+        method: methodIndex,
+        maxStack: pick(maxStack, limits.maxStack),
+        localCount: pick(localCount, Math.max(limits.registers, (0, analysis_js_1.minLocalCount)(method))),
+        initScopeDepth,
+        maxScopeDepth: pick(maxScopeDepth, initScopeDepth + limits.maxScope),
+        code: encoded.code,
+        exceptions,
+        traits,
+    };
+    if (bodyIdx >= 0)
+        abc.bodies[bodyIdx] = body;
+    else
+        abc.bodies.push(body);
+    return { result: { methodIndex, created }, next: i };
+}
+function parseInstruction(c, consts, labelRef, methodRef) {
+    const tok = c.peek();
+    const name = c.id();
+    if (name === '.bytes') {
+        const bytes = [];
+        while (!c.done) {
+            const t = c.next();
+            const text = t.text;
+            if (!/^[0-9a-fA-F]{1,2}$/.test(text))
+                throw c.error(`Expected hex byte, got '${text}'`, t);
+            bytes.push(parseInt(text, 16));
+        }
+        return { type: 'bytes', data: new Uint8Array(bytes) };
+    }
+    const info = (0, opcodes_js_1.opByName)(name);
+    if (!info)
+        throw c.error(`Unknown instruction '${name}'`, tok);
+    const ins = { type: 'op', op: info.code, args: [], targets: [], offset: -1 };
+    const abc = consts.abc;
+    info.operands.forEach((t, k) => {
+        if (k > 0)
+            c.punct(',');
+        switch (t) {
+            case 'u8':
+                ins.args.push(c.integer(0, 255));
+                break;
+            case 's8':
+                ins.args.push(c.integer(-128, 127));
+                break;
+            case 'short':
+                ins.args.push(c.integer(-0x80000000, 0xffffffff) | 0);
+                break;
+            case 'u30':
+            case 'argc':
+            case 'reg':
+            case 'class':
+            case 'exception':
+                ins.args.push(c.integer(0, 0x3fffffff));
+                break;
+            case 'method':
+                ins.args.push(methodRef(c));
+                break;
+            case 'int':
+                ins.args.push(abc.int(c.integer(-0x80000000, 0x7fffffff)));
+                break;
+            case 'uint':
+                ins.args.push(abc.uint(c.integer(0, 0xffffffff)));
+                break;
+            case 'double':
+                ins.args.push(abc.double(c.number()));
+                break;
+            case 'string':
+                ins.args.push(consts.pool.string(c.stringOrNull()));
+                break;
+            case 'namespace':
+                ins.args.push(consts.namespace(c));
+                break;
+            case 'multiname':
+                ins.args.push(consts.multiname(c));
+                break;
+            case 'branch':
+                ins.targets.push(labelRef(c));
+                break;
+            case 'switch': {
+                ins.targets.push(labelRef(c));
+                c.punct(',');
+                c.punct('[');
+                if (!c.isPunct(']')) {
+                    do
+                        ins.targets.push(labelRef(c));
+                    while (c.tryPunct(','));
+                }
+                c.punct(']');
+                if (ins.targets.length < 2)
+                    throw c.error('lookupswitch needs at least one case');
+                break;
+            }
+        }
+    });
+    c.end();
+    return ins;
+}
+/**
+ * Assembles one or more `method ... end` blocks into `abc`, replacing the
+ * referenced methods (or appending them for `method new`).
+ */
+function assembleMethods(abc, text, options = {}) {
+    const lines = splitLines(text, options.source);
+    const consts = new ConstParser(abc, options.interner ?? new interner_js_1.Interner(abc));
+    const results = [];
+    let i = 0;
+    while (i < lines.length) {
+        const c = lines[i].cur;
+        if (!c.isId('method'))
+            throw c.error("Expected 'method'");
+        const { result, next } = assembleOne(abc, lines, i, options, consts);
+        results.push(result);
+        i = next;
+    }
+    return results;
+}
+/** Assembles a single method block. */
+function assembleMethod(abc, text, options = {}) {
+    const r = assembleMethods(abc, text, options);
+    if (r.length !== 1)
+        throw new Error(`Expected exactly one method block, got ${r.length}`);
+    return r[0];
+}
+/**
+ * Parses P-code instructions (the contents of a `code` section) into code
+ * items, interning constants into `abc`. Labels are returned by name.
+ */
+function assembleCode(abc, text, options = {}) {
+    const consts = new ConstParser(abc, options.interner ?? new interner_js_1.Interner(abc));
+    const labels = new Map();
+    const defined = new Set();
+    const labelId = (name) => {
+        let id = labels.get(name);
+        if (id === undefined) {
+            id = labels.size;
+            labels.set(name, id);
+        }
+        return id;
+    };
+    const items = [];
+    const refs = [];
+    for (const { cur: c } of splitLines(text, options.source)) {
+        const first = c.peek();
+        if (first.type === 'id' && c.peek(1)?.type === 'punct' && c.peek(1).text === ':') {
+            c.pos += 2;
+            if (defined.has(first.text))
+                throw c.error(`Label '${first.text}' defined twice`, first);
+            defined.add(first.text);
+            items.push({ type: 'label', id: labelId(first.text) });
+            if (c.done)
+                continue;
+        }
+        items.push(parseInstruction(c, consts, (lc) => {
+            const t = lc.next();
+            if (t.type !== 'id')
+                throw lc.error('Expected label', t);
+            refs.push({ name: t.text, c: lc, col: t.col });
+            return labelId(t.text);
+        }, (lc) => lc.integer(0)));
+    }
+    for (const r of refs)
+        if (!defined.has(r.name))
+            throw new errors_js_1.AssemblerError(`Undefined label '${r.name}'`, r.c.line, r.col, options.source);
+    return { items, labels };
+}

package/dist/cjs/abc/pcode/disassembler.d.ts

@@ -0,0 +1,17 @@
+import type { AbcFile } from '../abc-file.js';
+import { type CodeItem, type DecodedCode, type Instruction } from '../code.js';
+export interface DisassembleOptions {
+    /** Text appended as a comment after the `method N` header. */
+    title?: string;
+    /** Indentation for section contents (default two spaces). */
+    indent?: string;
+}
+/** Formats a single instruction (without indentation). */
+export declare function formatInstruction(abc: AbcFile, ins: Instruction): string;
+/** Formats decoded code items, one per line. */
+export declare function formatCode(abc: AbcFile, code: DecodedCode | readonly CodeItem[], indent?: string): string[];
+/**
+ * Disassembles a method (signature + body) to P-code text. The output can be
+ * edited and fed back to {@link assembleMethods}.
+ */
+export declare function disassembleMethod(abc: AbcFile, methodIndex: number, options?: DisassembleOptions): string;