@gtkx/codegen 0.21.0

package/dist/writers/runtime-override.js

@@ -0,0 +1,44 @@
+const RUNTIME_OVERRIDES = new Map([
+    [
+        "g_value_get_boxed",
+        {
+            generics: "<T = unknown>",
+            signature: "",
+            returnType: "T",
+            body: 'throw new Error("g_value_get_boxed: runtime override not installed");',
+        },
+    ],
+    [
+        "g_value_set_boxed",
+        {
+            signature: "boxed: object | null",
+            returnType: "void",
+            body: 'throw new Error("g_value_set_boxed: runtime override not installed");',
+        },
+    ],
+]);
+/**
+ * Renders the method body for a callable whose marshaling is provided by a
+ * hand-written runtime override.
+ *
+ * `gpointer` exchanges (`GValue` boxed accessors and similar) cannot be
+ * marshaled from GIR alone; the FFI runtime replaces them on the prototype
+ * at module load. The codegen emits a stub with the override's signature
+ * so the consumer types resolve to the runtime shape and the runtime's
+ * `prototype` assignment type-checks.
+ *
+ * Returns `undefined` for callables without a registered override.
+ *
+ * @param callable - The callable to consider
+ * @param memberName - The camelCase JS method name
+ */
+export const renderRuntimeOverride = (callable, memberName) => {
+    if (callable.cIdentifier === undefined)
+        return undefined;
+    const override = RUNTIME_OVERRIDES.get(callable.cIdentifier);
+    if (override === undefined)
+        return undefined;
+    const generics = override.generics ?? "";
+    return `${memberName}${generics}(${override.signature}): ${override.returnType} {\n    ${override.body}\n}`;
+};
+//# sourceMappingURL=runtime-override.js.map

package/dist/writers/runtime-override.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-override.js","sourceRoot":"","sources":["../../src/writers/runtime-override.ts"],"names":[],"mappings":"AAiBA,MAAM,iBAAiB,GAAyC,IAAI,GAAG,CAAC;IACpE;QACI,mBAAmB;QACnB;YACI,QAAQ,EAAE,eAAe;YACzB,SAAS,EAAE,EAAE;YACb,UAAU,EAAE,GAAG;YACf,IAAI,EAAE,uEAAuE;SAChF;KACJ;IACD;QACI,mBAAmB;QACnB;YACI,SAAS,EAAE,sBAAsB;YACjC,UAAU,EAAE,MAAM;YAClB,IAAI,EAAE,uEAAuE;SAChF;KACJ;CACJ,CAAC,CAAC;AAEH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,QAAqB,EAAE,UAAkB,EAAsB,EAAE;IACnG,IAAI,QAAQ,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC7D,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC;IACzC,OAAO,GAAG,UAAU,GAAG,QAAQ,IAAI,QAAQ,CAAC,SAAS,MAAM,QAAQ,CAAC,UAAU,WAAW,QAAQ,CAAC,IAAI,KAAK,CAAC;AAChH,CAAC,CAAC"}

package/dist/writers/signal.d.ts

@@ -0,0 +1,21 @@
+import type { ModuleContext } from "../dsl/context.js";
+import type { GirClass } from "../gir/class.js";
+/**
+ * Renders the `connect` and `emit` instance methods for a class that owns or
+ * inherits-by-interface at least one signal.
+ *
+ * Each method is a `switch` over the type's own signals. `connect` resolves the
+ * per-signal trampoline, wraps the handler, and hands it to the thin
+ * `connectSignal` wrapper around the non-introspectable `g_signal_connect_data`.
+ * `emit` marshals the arguments into `GValue`s with `valueFromFfi` and calls the
+ * generated `signalLookup` / `signalEmitv` directly. Unknown signals route up
+ * the class chain via `super.connect` / `super.emit`; the root `GObject.Object`
+ * throws because it bottoms out the hierarchy.
+ *
+ * Returns an empty array when the class contributes no signals of its own.
+ *
+ * @param context - The module context
+ * @param klass - The class whose signal methods to render
+ */
+export declare const renderSignalMembers: (context: ModuleContext, klass: GirClass) => readonly string[];
+//# sourceMappingURL=signal.d.ts.map

package/dist/writers/signal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signal.d.ts","sourceRoot":"","sources":["../../src/writers/signal.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AA+BhD;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,mBAAmB,GAAI,SAAS,aAAa,EAAE,OAAO,QAAQ,KAAG,SAAS,MAAM,EA0B5F,CAAC"}

package/dist/writers/signal.js

@@ -0,0 +1,260 @@
+import { quote, toCamelCase } from "@gtkx/utils";
+import { indent } from "../dsl/emit.js";
+import { isOutParameter } from "../gir/parameter.js";
+import { qualifyTypeRef } from "../gir/qualify.js";
+import { forEachAncestor, resolveImplementedInterface } from "./inheritance.js";
+import { planTrampolineArgs, renderTupleWriteback } from "./method.js";
+import { isHandlePassing } from "./param-classify.js";
+import { isCellInout, renderFfiType } from "./value.js";
+const SIGNAL_HANDLER_TYPE = "(...args: any[]) => any";
+/**
+ * Renders the `connect` and `emit` instance methods for a class that owns or
+ * inherits-by-interface at least one signal.
+ *
+ * Each method is a `switch` over the type's own signals. `connect` resolves the
+ * per-signal trampoline, wraps the handler, and hands it to the thin
+ * `connectSignal` wrapper around the non-introspectable `g_signal_connect_data`.
+ * `emit` marshals the arguments into `GValue`s with `valueFromFfi` and calls the
+ * generated `signalLookup` / `signalEmitv` directly. Unknown signals route up
+ * the class chain via `super.connect` / `super.emit`; the root `GObject.Object`
+ * throws because it bottoms out the hierarchy.
+ *
+ * Returns an empty array when the class contributes no signals of its own.
+ *
+ * @param context - The module context
+ * @param klass - The class whose signal methods to render
+ */
+export const renderSignalMembers = (context, klass) => {
+    if (klass.glibGetType === undefined)
+        return [];
+    const signals = collectClassSignals(context, klass);
+    if (signals.length === 0)
+        return [];
+    const isRootObject = context.namespace.name === "GObject" && klass.name === "Object";
+    context.addRuntimeImport("connectSignal");
+    context.addRuntimeImport("signalBaseName");
+    context.addRuntimeImport("t");
+    const connectCases = signals.map((collected) => renderConnectCase(context, collected));
+    const emitCases = signals.map((collected) => renderEmitCase(context, collected));
+    const connectDefault = isRootObject
+        ? `default:\n    throw new globalThis.Error("Unknown signal '" + signal + "'");`
+        : "default:\n    return super.connect(signal, handler, after);";
+    const emitDefault = isRootObject
+        ? `default:\n    throw new globalThis.Error("Unknown signal '" + sigName + "'");`
+        : "default:\n    super.emit(sigName, ...args);";
+    const connectSwitch = `switch (signalBaseName(signal)) {\n${indent([...connectCases, connectDefault].join("\n"), 1)}\n}`;
+    const emitSwitch = `switch (sigName) {\n${indent([...emitCases, emitDefault].join("\n"), 1)}\n}`;
+    return [
+        `connect(signal: string, handler: ${SIGNAL_HANDLER_TYPE}, after?: boolean): number {\n${indent(connectSwitch, 1)}\n}`,
+        `emit(sigName: string, ...args: unknown[]): void {\n${indent(emitSwitch, 1)}\n}`,
+    ];
+};
+/**
+ * Renders one `connect` switch case: it resolves the signal's typed trampoline,
+ * wraps the user handler with the per-signal in-parameter marshalling closure,
+ * and dispatches `g_signal_connect_data` through {@link connectSignal} with the
+ * full detailed signal name.
+ */
+const renderConnectCase = (context, collected) => {
+    const { signal } = collected;
+    const { trampoline, invoke } = renderTrampolineAndInvoke(context, collected);
+    const body = [
+        `const invoke = ${invoke};`,
+        "const handlerWrapper = (...args: unknown[]): unknown => invoke(handler, args);",
+        `return connectSignal(this, signal, ${trampoline}, handlerWrapper, after ?? false);`,
+    ].join("\n");
+    return `case ${quote(signal.name)}: {\n${indent(body, 1)}\n}`;
+};
+/**
+ * Renders one `emit` switch case: it marshals the emitting instance and each
+ * signal parameter into a `GValue` with `valueFromFfi`, resolves the signal id
+ * from the instance's runtime `GType`, and dispatches `g_signal_emitv`. Signals
+ * with a non-void return supply an initialized return `GValue`.
+ */
+const renderEmitCase = (context, collected) => {
+    const { signal, namespaceName } = collected;
+    const params = signal.parameters.filter((parameter) => !parameter.isVarargs);
+    const paramFfi = params.map((parameter) => renderFfiType(context, qualifyTypeRef(parameter.type, namespaceName), parameter.transferOwnership));
+    context.addValueFromFfiImport();
+    const refs = gobjectRefs(context);
+    const valueArgs = [
+        'valueFromFfi(t.object("full"), this)',
+        ...paramFfi.map((ffi, index) => `valueFromFfi(${ffi}, args[${index}])`),
+    ];
+    const values = `[${valueArgs.join(", ")}]`;
+    const lookup = `${refs.signalLookup}(${quote(signal.name)}, this.__gtype__)`;
+    const returnRef = qualifyTypeRef(signal.returnValue.type, namespaceName);
+    const emitStatements = returnRef === undefined || isVoidRef(returnRef)
+        ? `${refs.signalEmitv}(${values}, ${lookup}, 0);`
+        : [
+            `const returnValue = new ${refs.Value}();`,
+            `returnValue.init(${renderReturnGType(context, returnRef)});`,
+            `${refs.signalEmitv}(${values}, ${lookup}, 0, returnValue);`,
+        ].join("\n");
+    return `case ${quote(signal.name)}: {\n${indent(`${emitStatements}\nreturn;`, 1)}\n}`;
+};
+/**
+ * Resolves the `GObject` marshalling references the inline `emit` switch needs.
+ * Within the `GObject` namespace the generated `Value`, `signalEmitv`, and
+ * `signalLookup` are local; elsewhere they are reached through the cross-
+ * namespace `GObject` alias.
+ */
+const gobjectRefs = (context) => {
+    if (context.namespace.name === "GObject") {
+        return { Value: "Value", signalEmitv: "signalEmitv", signalLookup: "signalLookup" };
+    }
+    const alias = context.addCrossNamespaceImport("GObject");
+    return { Value: `${alias}.Value`, signalEmitv: `${alias}.signalEmitv`, signalLookup: `${alias}.signalLookup` };
+};
+/**
+ * Renders the trampoline FFI descriptor used to connect a handler and the
+ * `invoke` closure that marshals the trampoline arguments into the user handler.
+ *
+ * Out-parameter cells are wrapped in `t.ref(...)` so the native trampoline can
+ * write them back; the `invoke` closure mirrors the out-parameter tuple
+ * convention used by method out-parameters.
+ */
+const renderTrampolineAndInvoke = (context, collected) => {
+    const { signal, namespaceName } = collected;
+    const params = signal.parameters.filter((parameter) => !parameter.isVarargs);
+    const paramFfi = params.map((parameter) => renderFfiType(context, qualifyTypeRef(parameter.type, namespaceName), parameter.transferOwnership));
+    const trampolineParamFfi = params.map((parameter, index) => isOutParameter(parameter) || isCellInout(context, parameter) ? `t.ref(${paramFfi[index]})` : paramFfi[index]);
+    const returnRef = qualifyTypeRef(signal.returnValue.type, namespaceName);
+    const isVoid = isVoidRef(returnRef);
+    const returnFfi = isVoid ? "t.void" : renderFfiType(context, returnRef, signal.returnValue.transferOwnership);
+    const trampolineArgs = ['t.object("borrowed")', ...trampolineParamFfi, "t.void"].join(", ");
+    const trampoline = `t.trampoline([${trampolineArgs}], ${returnFfi}, { hasDestroy: true, userDataIndex: ${params.length + 1} })`;
+    const invoke = renderInvokeClosure(context, collected, params, isVoid ? undefined : returnRef);
+    return { trampoline, invoke };
+};
+const collectClassSignals = (context, klass) => {
+    const inheritedNames = collectInheritedSignalNames(context, klass);
+    const seen = new Set();
+    const result = [];
+    for (const signal of klass.signals) {
+        const name = toCamelCase(signal.name);
+        if (inheritedNames.has(name) || seen.has(name))
+            continue;
+        seen.add(name);
+        result.push({ signal, namespaceName: context.namespace.name });
+    }
+    for (const implementName of klass.implements) {
+        const iface = resolveImplementedInterface(context, implementName);
+        if (iface === undefined)
+            continue;
+        for (const signal of iface.klass.signals) {
+            const name = toCamelCase(signal.name);
+            if (inheritedNames.has(name) || seen.has(name))
+                continue;
+            seen.add(name);
+            result.push({ signal, namespaceName: iface.namespaceName });
+        }
+    }
+    return result;
+};
+const collectInheritedSignalNames = (context, klass) => {
+    const names = new Set();
+    forEachAncestor(context, klass, (ancestor) => {
+        for (const signal of ancestor.klass.signals)
+            names.add(toCamelCase(signal.name));
+        for (const implementName of ancestor.klass.implements) {
+            const iface = resolveImplementedInterface(context, implementName, ancestor.namespaceName);
+            if (iface === undefined)
+                continue;
+            for (const signal of iface.klass.signals)
+                names.add(toCamelCase(signal.name));
+        }
+    });
+    return names;
+};
+const renderInvokeClosure = (context, collected, params, returnRef) => {
+    const { namespaceName } = collected;
+    const { callArgs, outArgIndices } = planTrampolineArgs(context, params, namespaceName, 1);
+    if (outArgIndices.length === 0) {
+        if (returnRef !== undefined && isHandlePassing(context, returnRef)) {
+            context.addRuntimeImport("tryGetHandle");
+            return `(handler, args) => {\n    const _result = handler(${callArgs});\n    return tryGetHandle(_result);\n}`;
+        }
+        return `(handler, args) => handler(${callArgs})`;
+    }
+    return renderOutParamInvoke(context, callArgs, outArgIndices, returnRef);
+};
+/**
+ * Renders the invoke closure for a signal with out-parameters.
+ *
+ * The handler returns its results as the tuple {@link renderMethodReturnType}
+ * describes (`[primary, ...outs]` when both exist, the scalar out alone for a
+ * void return with a single out, or an out-only tuple otherwise). The shared
+ * {@link renderTupleWriteback} destructures that tuple and writes each out
+ * value into its trampoline cell's `value` slot — the native side flushes
+ * those cells through the matching C out-pointers, so the tuple convention
+ * stays entirely in generated code.
+ *
+ * @param context - The module context
+ * @param callArgs - The rendered in-parameter call arguments
+ * @param outArgIndices - Trampoline-arg indices of the out-parameter cells
+ * @param returnRef - The signal's return type, or `undefined` for void
+ */
+const renderOutParamInvoke = (context, callArgs, outArgIndices, returnRef) => {
+    const body = renderTupleWriteback(context, `handler(${callArgs})`, outArgIndices, returnRef);
+    return `(handler, args) => {\n    ${body}\n}`;
+};
+const renderReturnGType = (context, ref) => {
+    if (ref.kind === "primitive") {
+        return `${typeFromNameReference(context)}(${quote(primitiveGTypeName(ref.category))})`;
+    }
+    if (ref.kind === "named") {
+        const owner = ref.namespaceName ?? context.namespace.name;
+        const resolved = context.repository.resolveNamed(owner, ref.typeName);
+        if (resolved !== undefined && resolved.kind === "enum") {
+            context.addNativeImport("call");
+            context.addRuntimeImport("t");
+            const lib = resolved.namespace.sharedLibrary ?? "";
+            const getter = resolved.value.glibGetType ?? "";
+            return `call(${quote(lib)}, ${quote(getter)}, [], t.uint64)`;
+        }
+        if (resolved !== undefined &&
+            (resolved.kind === "class" || resolved.kind === "interface" || resolved.kind === "boxed")) {
+            const glibTypeName = glibTypeNameOf(resolved.value) ?? ref.typeName;
+            return `${typeFromNameReference(context)}(${quote(glibTypeName)})`;
+        }
+    }
+    return `${typeFromNameReference(context)}("GObject")`;
+};
+const isVoidRef = (ref) => ref === undefined || (ref.kind === "primitive" && ref.category === "void");
+const glibTypeNameOf = (value) => value.glibTypeName ?? value.cType;
+const typeFromNameReference = (context) => {
+    if (context.namespace.name === "GObject")
+        return "typeFromName";
+    const alias = context.addCrossNamespaceImport("GObject");
+    return `${alias}.typeFromName`;
+};
+const primitiveGTypeName = (category) => {
+    switch (category) {
+        case "boolean":
+            return "gboolean";
+        case "int8":
+        case "int16":
+        case "int32":
+            return "gint";
+        case "uint8":
+        case "uint16":
+        case "uint32":
+        case "unichar":
+            return "guint";
+        case "int64":
+            return "gint64";
+        case "uint64":
+        case "pointer":
+            return "guint64";
+        case "float32":
+            return "gfloat";
+        case "float64":
+            return "gdouble";
+        case "string":
+            return "gchararray";
+        case "void":
+            return "void";
+    }
+};
+//# sourceMappingURL=signal.js.map

package/dist/writers/signal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signal.js","sourceRoot":"","sources":["../../src/writers/signal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAGxC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGnD,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,MAAM,kBAAkB,CAAC;AAChF,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAExD,MAAM,mBAAmB,GAAG,yBAAyB,CAAC;AAoBtD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAsB,EAAE,KAAe,EAAqB,EAAE;IAC9F,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC/C,MAAM,OAAO,GAAG,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACpD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;IAErF,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC;IAC1C,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;IAC3C,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAE9B,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IACvF,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IACjF,MAAM,cAAc,GAAG,YAAY;QAC/B,CAAC,CAAC,8EAA8E;QAChF,CAAC,CAAC,6DAA6D,CAAC;IACpE,MAAM,WAAW,GAAG,YAAY;QAC5B,CAAC,CAAC,+EAA+E;QACjF,CAAC,CAAC,6CAA6C,CAAC;IAEpD,MAAM,aAAa,GAAG,sCAAsC,MAAM,CAAC,CAAC,GAAG,YAAY,EAAE,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC;IACzH,MAAM,UAAU,GAAG,uBAAuB,MAAM,CAAC,CAAC,GAAG,SAAS,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC;IAEjG,OAAO;QACH,oCAAoC,mBAAmB,iCAAiC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,KAAK;QACrH,sDAAsD,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,KAAK;KACnF,CAAC;AACN,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,iBAAiB,GAAG,CAAC,OAAsB,EAAE,SAA0B,EAAU,EAAE;IACrF,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAC7B,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,yBAAyB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IAC7E,MAAM,IAAI,GAAG;QACT,kBAAkB,MAAM,GAAG;QAC3B,gFAAgF;QAChF,sCAAsC,UAAU,oCAAoC;KACvF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,QAAQ,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC;AAClE,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,cAAc,GAAG,CAAC,OAAsB,EAAE,SAA0B,EAAU,EAAE;IAClF,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,SAAS,CAAC;IAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACtC,aAAa,CAAC,OAAO,EAAE,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,SAAS,CAAC,iBAAiB,CAAC,CACrG,CAAC;IACF,OAAO,CAAC,qBAAqB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,SAAS,GAAG;QACd,sCAAsC;QACtC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,GAAG,UAAU,KAAK,IAAI,CAAC;KAC1E,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC3C,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC;IAC7E,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACzE,MAAM,cAAc,GAChB,SAAS,KAAK,SAAS,IAAI,SAAS,CAAC,SAAS,CAAC;QAC3C,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,IAAI,MAAM,KAAK,MAAM,OAAO;QACjD,CAAC,CAAC;YACI,2BAA2B,IAAI,CAAC,KAAK,KAAK;YAC1C,oBAAoB,iBAAiB,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI;YAC7D,GAAG,IAAI,CAAC,WAAW,IAAI,MAAM,KAAK,MAAM,oBAAoB;SAC/D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvB,OAAO,QAAQ,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,GAAG,cAAc,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC;AAC1F,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,GAAG,CAAC,OAAsB,EAAe,EAAE;IACxD,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC;IACxF,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC;IACzD,OAAO,EAAE,KAAK,EAAE,GAAG,KAAK,QAAQ,EAAE,WAAW,EAAE,GAAG,KAAK,cAAc,EAAE,YAAY,EAAE,GAAG,KAAK,eAAe,EAAE,CAAC;AACnH,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,yBAAyB,GAAG,CAC9B,OAAsB,EACtB,SAA0B,EAC8B,EAAE;IAC1D,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,SAAS,CAAC;IAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CACtC,aAAa,CAAC,OAAO,EAAE,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,SAAS,CAAC,iBAAiB,CAAC,CACrG,CAAC;IACF,MAAM,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CACvD,cAAc,CAAC,SAAS,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAC/G,CAAC;IACF,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACzE,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC;IAC9G,MAAM,cAAc,GAAG,CAAC,sBAAsB,EAAE,GAAG,kBAAkB,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,UAAU,GAAG,iBAAiB,cAAc,MAAM,SAAS,wCAAwC,MAAM,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;IAChI,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC/F,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,OAAsB,EAAE,KAAe,EAA8B,EAAE;IAChG,MAAM,cAAc,GAAG,2BAA2B,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACjC,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACzD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,KAAK,MAAM,aAAa,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,2BAA2B,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QAClE,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACzD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC;QAChE,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAAC,OAAsB,EAAE,KAAe,EAAuB,EAAE;IACjG,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,EAAE;QACzC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO;YAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACjF,KAAK,MAAM,aAAa,IAAI,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YACpD,MAAM,KAAK,GAAG,2BAA2B,CAAC,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;YAC1F,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO;gBAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CACxB,OAAsB,EACtB,SAA0B,EAC1B,MAA+B,EAC/B,SAAiC,EAC3B,EAAE;IACR,MAAM,EAAE,aAAa,EAAE,GAAG,SAAS,CAAC;IACpC,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;IAC1F,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,IAAI,SAAS,KAAK,SAAS,IAAI,eAAe,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;YACjE,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC;YACzC,OAAO,qDAAqD,QAAQ,0CAA0C,CAAC;QACnH,CAAC;QACD,OAAO,8BAA8B,QAAQ,GAAG,CAAC;IACrD,CAAC;IACD,OAAO,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;AAC7E,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,oBAAoB,GAAG,CACzB,OAAsB,EACtB,QAAgB,EAChB,aAAgC,EAChC,SAAiC,EAC3B,EAAE;IACR,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,EAAE,WAAW,QAAQ,GAAG,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC;IAC7F,OAAO,6BAA6B,IAAI,KAAK,CAAC;AAClD,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,OAAsB,EAAE,GAAe,EAAU,EAAE;IAC1E,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC3B,OAAO,GAAG,qBAAqB,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC;IAC3F,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,GAAG,CAAC,aAAa,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QAC1D,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtE,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrD,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;YAChC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC,aAAa,IAAI,EAAE,CAAC;YACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC;YAChD,OAAO,QAAQ,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,iBAAiB,CAAC;QACjE,CAAC;QACD,IACI,QAAQ,KAAK,SAAS;YACtB,CAAC,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,CAAC,EAC3F,CAAC;YACC,MAAM,YAAY,GAAG,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC;YACpE,OAAO,GAAG,qBAAqB,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC;QACvE,CAAC;IACL,CAAC;IACD,OAAO,GAAG,qBAAqB,CAAC,OAAO,CAAC,aAAa,CAAC;AAC1D,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,GAA2B,EAAW,EAAE,CACvD,GAAG,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC;AAE/E,MAAM,cAAc,GAAG,CAAC,KAGvB,EAAsB,EAAE,CAAC,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,KAAK,CAAC;AAE5D,MAAM,qBAAqB,GAAG,CAAC,OAAsB,EAAU,EAAE;IAC7D,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,cAAc,CAAC;IAChE,MAAM,KAAK,GAAG,OAAO,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC;IACzD,OAAO,GAAG,KAAK,eAAe,CAAC;AACnC,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,QAAsC,EAAU,EAAE;IAC1E,QAAQ,QAAQ,EAAE,CAAC;QACf,KAAK,SAAS;YACV,OAAO,UAAU,CAAC;QACtB,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO,CAAC;QACb,KAAK,OAAO;YACR,OAAO,MAAM,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACV,OAAO,OAAO,CAAC;QACnB,KAAK,OAAO;YACR,OAAO,QAAQ,CAAC;QACpB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS;YACV,OAAO,SAAS,CAAC;QACrB,KAAK,SAAS;YACV,OAAO,QAAQ,CAAC;QACpB,KAAK,SAAS;YACV,OAAO,SAAS,CAAC;QACrB,KAAK,QAAQ;YACT,OAAO,YAAY,CAAC;QACxB,KAAK,MAAM;YACP,OAAO,MAAM,CAAC;IACtB,CAAC;AACL,CAAC,CAAC"}

package/dist/writers/ts-type.d.ts

@@ -0,0 +1,50 @@
+import type { ModuleContext } from "../dsl/context.js";
+import type { GirTypeRef, NamedTypeRef } from "../gir/type-ref.js";
+/**
+ * TypeScript type annotations the writers emit alongside runtime values.
+ *
+ * Generated `.ts` files are consumed both as runtime modules (transpiled to
+ * `.js`) and as declaration sources (`ts.transpileDeclaration` extracts the
+ * `.d.ts` shape). Every exported value, parameter, and return position
+ * therefore carries an explicit annotation so isolated declaration emit
+ * succeeds without inference. The helpers below produce those annotations
+ * from the same `GirTypeRef` shapes the runtime FFI writers consume,
+ * importing referenced cross-namespace classes on demand.
+ */
+/**
+ * Strategy describing the type-ref shapes the FFI and React generators render
+ * differently: container style (`Map` vs `Record`), the callback placeholder,
+ * whether a `GByteArray` collapses to `number[]`, and how a named reference is
+ * qualified and imported. {@link renderBaseTypeFor} renders every other shape
+ * identically for both.
+ */
+export type TsTypeTarget = {
+    /** `"map"` → `Map<K, V>`; `"record"` → `Record<K, V>`. */
+    readonly containerStyle: "map" | "record";
+    /** The placeholder emitted for a callback type. */
+    readonly callbackType: string;
+    /** Whether a `GByteArray` renders as `number[]` instead of `element[]`. */
+    readonly byteArrayAsNumber: boolean;
+    /** Renders a named reference (class/interface/boxed/enum/callback/alias). */
+    readonly renderNamed: (ref: NamedTypeRef) => string;
+};
+/**
+ * Renders the TypeScript annotation for a `GirTypeRef`, dispatching the shapes
+ * both generators share and delegating the divergent ones to {@link target}.
+ *
+ * @param target - The per-generator rendering strategy
+ * @param ref - The type reference, or `undefined` for void
+ */
+export declare const renderBaseTypeFor: (target: TsTypeTarget, ref: GirTypeRef | undefined) => string;
+/**
+ * Renders a TypeScript type annotation for a `GirTypeRef` in an FFI module:
+ * classes/interfaces/boxeds/enums/callbacks as their qualified identifier,
+ * arrays and lists as `T[]`, hashtables as `Map<K, V>`, primitives to their TS
+ * counterpart, and `undefined` to `void`.
+ *
+ * @param context - The module context
+ * @param ref - The type reference, or `undefined` for void
+ * @param isNullable - Whether the slot accepts `null`
+ */
+export declare const renderTsType: (context: ModuleContext, ref: GirTypeRef | undefined, isNullable?: boolean) => string;
+//# sourceMappingURL=ts-type.d.ts.map

package/dist/writers/ts-type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-type.d.ts","sourceRoot":"","sources":["../../src/writers/ts-type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAIvD,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEnE;;;;;;;;;;GAUG;AAEH;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,GAAG;IACvB,0DAA0D;IAC1D,QAAQ,CAAC,cAAc,EAAE,KAAK,GAAG,QAAQ,CAAC;IAC1C,mDAAmD;IACnD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,2EAA2E;IAC3E,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,6EAA6E;IAC7E,QAAQ,CAAC,WAAW,EAAE,CAAC,GAAG,EAAE,YAAY,KAAK,MAAM,CAAC;CACvD,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,YAAY,EAAE,KAAK,UAAU,GAAG,SAAS,KAAG,MAsBrF,CAAC;AASF;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,GAAI,SAAS,aAAa,EAAE,KAAK,UAAU,GAAG,SAAS,EAAE,oBAAkB,KAAG,MAGtG,CAAC"}

package/dist/writers/ts-type.js

@@ -0,0 +1,75 @@
+import { aliasExportName } from "../dsl/identifier.js";
+import { PRIMITIVE_TS_TYPE } from "../gir/primitives.js";
+/**
+ * Renders the TypeScript annotation for a `GirTypeRef`, dispatching the shapes
+ * both generators share and delegating the divergent ones to {@link target}.
+ *
+ * @param target - The per-generator rendering strategy
+ * @param ref - The type reference, or `undefined` for void
+ */
+export const renderBaseTypeFor = (target, ref) => {
+    if (ref === undefined)
+        return "void";
+    switch (ref.kind) {
+        case "primitive":
+            return PRIMITIVE_TS_TYPE[ref.category];
+        case "varargs":
+            return "unknown[]";
+        case "callback":
+            return target.callbackType;
+        case "named":
+            return target.renderNamed(ref);
+        case "array":
+            return `${renderBaseTypeFor(target, ref.element)}[]`;
+        case "list":
+            if (ref.flavor === "gbytearray" && target.byteArrayAsNumber)
+                return "number[]";
+            return `${renderBaseTypeFor(target, ref.element)}[]`;
+        case "hashtable": {
+            const key = renderBaseTypeFor(target, ref.key);
+            const value = renderBaseTypeFor(target, ref.value);
+            return target.containerStyle === "record" ? `Record<${key}, ${value}>` : `Map<${key}, ${value}>`;
+        }
+    }
+};
+const moduleTarget = (context) => ({
+    containerStyle: "map",
+    callbackType: "((...args: any[]) => any)",
+    byteArrayAsNumber: true,
+    renderNamed: (ref) => namedTsType(context, ref),
+});
+/**
+ * Renders a TypeScript type annotation for a `GirTypeRef` in an FFI module:
+ * classes/interfaces/boxeds/enums/callbacks as their qualified identifier,
+ * arrays and lists as `T[]`, hashtables as `Map<K, V>`, primitives to their TS
+ * counterpart, and `undefined` to `void`.
+ *
+ * @param context - The module context
+ * @param ref - The type reference, or `undefined` for void
+ * @param isNullable - Whether the slot accepts `null`
+ */
+export const renderTsType = (context, ref, isNullable = false) => {
+    const base = renderBaseTypeFor(moduleTarget(context), ref);
+    return isNullable ? `${base} | null` : base;
+};
+const namedTsType = (context, ref) => {
+    const namespaceName = ref.namespaceName ?? context.namespace.name;
+    const resolved = context.repository.resolveNamed(namespaceName, ref.typeName);
+    if (resolved === undefined) {
+        return context.qualify(namespaceName, ref.typeName);
+    }
+    return resolvedTsType(context, namespaceName, ref.typeName, resolved);
+};
+const resolvedTsType = (context, namespaceName, typeName, resolved) => {
+    switch (resolved.kind) {
+        case "class":
+        case "interface":
+        case "boxed":
+        case "enum":
+        case "callback":
+            return context.qualify(namespaceName, typeName);
+        case "alias":
+            return context.qualify(namespaceName, aliasExportName(namespaceName, typeName));
+    }
+};
+//# sourceMappingURL=ts-type.js.map

package/dist/writers/ts-type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-type.js","sourceRoot":"","sources":["../../src/writers/ts-type.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAkCzD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAoB,EAAE,GAA2B,EAAU,EAAE;IAC3F,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACrC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW;YACZ,OAAO,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3C,KAAK,SAAS;YACV,OAAO,WAAW,CAAC;QACvB,KAAK,UAAU;YACX,OAAO,MAAM,CAAC,YAAY,CAAC;QAC/B,KAAK,OAAO;YACR,OAAO,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACnC,KAAK,OAAO;YACR,OAAO,GAAG,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;QACzD,KAAK,MAAM;YACP,IAAI,GAAG,CAAC,MAAM,KAAK,YAAY,IAAI,MAAM,CAAC,iBAAiB;gBAAE,OAAO,UAAU,CAAC;YAC/E,OAAO,GAAG,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;QACzD,KAAK,WAAW,CAAC,CAAC,CAAC;YACf,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/C,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACnD,OAAO,MAAM,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK,KAAK,GAAG,CAAC;QACrG,CAAC;IACL,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,OAAsB,EAAgB,EAAE,CAAC,CAAC;IAC5D,cAAc,EAAE,KAAK;IACrB,YAAY,EAAE,2BAA2B;IACzC,iBAAiB,EAAE,IAAI;IACvB,WAAW,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,GAAG,CAAC;CAClD,CAAC,CAAC;AAEH;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,OAAsB,EAAE,GAA2B,EAAE,UAAU,GAAG,KAAK,EAAU,EAAE;IAC5G,MAAM,IAAI,GAAG,iBAAiB,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC;IAC3D,OAAO,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,OAAsB,EAAE,GAAiB,EAAU,EAAE;IACtE,MAAM,aAAa,GAAG,GAAG,CAAC,aAAa,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;IAClE,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,aAAa,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9E,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,cAAc,CAAC,OAAO,EAAE,aAAa,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACnB,OAAsB,EACtB,aAAqB,EACrB,QAAgB,EAChB,QAAuB,EACjB,EAAE;IACR,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,OAAO,CAAC;QACb,KAAK,WAAW,CAAC;QACjB,KAAK,OAAO,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU;YACX,OAAO,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QACpD,KAAK,OAAO;YACR,OAAO,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,eAAe,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxF,CAAC;AACL,CAAC,CAAC"}

package/dist/writers/types-ts.d.ts

@@ -0,0 +1,27 @@
+import type { ModuleContext } from "../dsl/context.js";
+import type { GirTypeRef } from "../gir/type-ref.js";
+/**
+ * TypeScript type annotations the writers emit alongside runtime values.
+ *
+ * Generated `.ts` files are consumed both as runtime modules (transpiled to
+ * `.js`) and as declaration sources (`ts.transpileDeclaration` extracts the
+ * `.d.ts` shape). Every exported value, parameter, and return position
+ * therefore carries an explicit annotation so isolated declaration emit
+ * succeeds without inference. The helpers below produce those annotations
+ * from the same `GirTypeRef` shapes the runtime FFI writers consume,
+ * importing referenced cross-namespace classes on demand.
+ */
+/**
+ * Renders a TypeScript type annotation for a `GirTypeRef`.
+ *
+ * Routes through resolution (classes/interfaces/boxeds/enums as their
+ * PascalCase type, callbacks as `Function`,
+ * arrays as `T[]`, lists as `T[]`, hashtables as `Record<K, V>`, primitive
+ * categories to their TS counterpart, and `undefined` to `void`).
+ *
+ * @param ctx - The module context
+ * @param ref - The type reference, or `undefined` for void
+ * @param isNullable - Whether the slot accepts `null`
+ */
+export declare const writeTsType: (ctx: ModuleContext, ref: GirTypeRef | undefined, isNullable?: boolean) => string;
+//# sourceMappingURL=types-ts.d.ts.map

package/dist/writers/types-ts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-ts.d.ts","sourceRoot":"","sources":["../../src/writers/types-ts.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGvD,OAAO,KAAK,EAER,UAAU,EAKb,MAAM,oBAAoB,CAAC;AAE5B;;;;;;;;;;GAUG;AAEH;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,aAAa,EAAE,KAAK,UAAU,GAAG,SAAS,EAAE,oBAAkB,KAAG,MAGjG,CAAC"}

package/dist/writers/types-ts.js

@@ -0,0 +1,97 @@
+import { toPascalCase } from "@gtkx/utils";
+import { PRIMITIVE_TS_TYPE } from "../gir/primitives.js";
+/**
+ * TypeScript type annotations the writers emit alongside runtime values.
+ *
+ * Generated `.ts` files are consumed both as runtime modules (transpiled to
+ * `.js`) and as declaration sources (`ts.transpileDeclaration` extracts the
+ * `.d.ts` shape). Every exported value, parameter, and return position
+ * therefore carries an explicit annotation so isolated declaration emit
+ * succeeds without inference. The helpers below produce those annotations
+ * from the same `GirTypeRef` shapes the runtime FFI writers consume,
+ * importing referenced cross-namespace classes on demand.
+ */
+/**
+ * Renders a TypeScript type annotation for a `GirTypeRef`.
+ *
+ * Routes through resolution (classes/interfaces/boxeds/enums as their
+ * PascalCase type, callbacks as `Function`,
+ * arrays as `T[]`, lists as `T[]`, hashtables as `Record<K, V>`, primitive
+ * categories to their TS counterpart, and `undefined` to `void`).
+ *
+ * @param ctx - The module context
+ * @param ref - The type reference, or `undefined` for void
+ * @param isNullable - Whether the slot accepts `null`
+ */
+export const writeTsType = (ctx, ref, isNullable = false) => {
+    const base = writeBaseType(ctx, ref);
+    return isNullable ? `${base} | null` : base;
+};
+const writeBaseType = (ctx, ref) => {
+    if (ref === undefined)
+        return "void";
+    switch (ref.kind) {
+        case "primitive":
+            return primitiveTsType(ref);
+        case "varargs":
+            return "unknown[]";
+        case "callback":
+            return "((...args: any[]) => any)";
+        case "named":
+            return namedTsType(ctx, ref);
+        case "array":
+            return arrayTsType(ctx, ref);
+        case "list":
+            return listTsType(ctx, ref);
+        case "hashtable":
+            return hashTableTsType(ctx, ref);
+    }
+};
+const primitiveTsType = (ref) => PRIMITIVE_TS_TYPE[ref.category];
+const namedTsType = (ctx, ref) => {
+    const namespaceName = ref.namespaceName ?? ctx.namespace.name;
+    const resolved = ctx.repository.resolveNamed(namespaceName, ref.typeName);
+    if (resolved === undefined) {
+        return qualifiedTypeReference(ctx, namespaceName, ref.typeName);
+    }
+    return resolvedTsType(ctx, namespaceName, ref.typeName, resolved);
+};
+const resolvedTsType = (ctx, namespaceName, typeName, resolved) => {
+    switch (resolved.kind) {
+        case "class":
+        case "interface":
+        case "boxed":
+        case "enum":
+            return qualifiedTypeReference(ctx, namespaceName, typeName);
+        case "callback":
+            return "((...args: any[]) => any)";
+        case "alias": {
+            const exportName = resolved.cType ?? toPascalCase(typeName);
+            if (namespaceName === ctx.namespace.name)
+                return exportName;
+            return `${ctx.addCrossNamespaceImport(namespaceName)}.${exportName}`;
+        }
+    }
+};
+const qualifiedTypeReference = (ctx, namespaceName, typeName) => {
+    if (namespaceName === ctx.namespace.name)
+        return toPascalCase(typeName);
+    const alias = ctx.addCrossNamespaceImport(namespaceName);
+    return `${alias}.${toPascalCase(typeName)}`;
+};
+const arrayTsType = (ctx, ref) => {
+    const element = writeBaseType(ctx, ref.element);
+    return `${element}[]`;
+};
+const listTsType = (ctx, ref) => {
+    if (ref.flavor === "gbytearray")
+        return "number[]";
+    const element = writeBaseType(ctx, ref.element);
+    return `${element}[]`;
+};
+const hashTableTsType = (ctx, ref) => {
+    const key = writeBaseType(ctx, ref.key);
+    const value = writeBaseType(ctx, ref.value);
+    return `Map<${key}, ${value}>`;
+};
+//# sourceMappingURL=types-ts.js.map

package/dist/writers/types-ts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-ts.js","sourceRoot":"","sources":["../../src/writers/types-ts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAWzD;;;;;;;;;;GAUG;AAEH;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,GAAkB,EAAE,GAA2B,EAAE,UAAU,GAAG,KAAK,EAAU,EAAE;IACvG,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACrC,OAAO,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,GAAkB,EAAE,GAA2B,EAAU,EAAE;IAC9E,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACrC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW;YACZ,OAAO,eAAe,CAAC,GAAG,CAAC,CAAC;QAChC,KAAK,SAAS;YACV,OAAO,WAAW,CAAC;QACvB,KAAK,UAAU;YACX,OAAO,2BAA2B,CAAC;QACvC,KAAK,OAAO;YACR,OAAO,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,OAAO;YACR,OAAO,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM;YACP,OAAO,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAChC,KAAK,WAAW;YACZ,OAAO,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,GAAqB,EAAU,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAE3F,MAAM,WAAW,GAAG,CAAC,GAAkB,EAAE,GAAiB,EAAU,EAAE;IAClE,MAAM,aAAa,GAAG,GAAG,CAAC,aAAa,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;IAC9D,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,aAAa,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1E,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,sBAAsB,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,cAAc,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AACtE,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACnB,GAAkB,EAClB,aAAqB,EACrB,QAAgB,EAChB,QAAuB,EACjB,EAAE;IACR,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,OAAO,CAAC;QACb,KAAK,WAAW,CAAC;QACjB,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACP,OAAO,sBAAsB,CAAC,GAAG,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;QAChE,KAAK,UAAU;YACX,OAAO,2BAA2B,CAAC;QACvC,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,IAAI,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC5D,IAAI,aAAa,KAAK,GAAG,CAAC,SAAS,CAAC,IAAI;gBAAE,OAAO,UAAU,CAAC;YAC5D,OAAO,GAAG,GAAG,CAAC,uBAAuB,CAAC,aAAa,CAAC,IAAI,UAAU,EAAE,CAAC;QACzE,CAAC;IACL,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,GAAkB,EAAE,aAAqB,EAAE,QAAgB,EAAU,EAAE;IACnG,IAAI,aAAa,KAAK,GAAG,CAAC,SAAS,CAAC,IAAI;QAAE,OAAO,YAAY,CAAC,QAAQ,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,GAAG,CAAC,uBAAuB,CAAC,aAAa,CAAC,CAAC;IACzD,OAAO,GAAG,KAAK,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,GAAkB,EAAE,GAAiB,EAAU,EAAE;IAClE,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAChD,OAAO,GAAG,OAAO,IAAI,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,GAAkB,EAAE,GAAgB,EAAU,EAAE;IAChE,IAAI,GAAG,CAAC,MAAM,KAAK,YAAY;QAAE,OAAO,UAAU,CAAC;IACnD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAChD,OAAO,GAAG,OAAO,IAAI,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,GAAkB,EAAE,GAAqB,EAAU,EAAE;IAC1E,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5C,OAAO,OAAO,GAAG,KAAK,KAAK,GAAG,CAAC;AACnC,CAAC,CAAC"}