@gtkx/codegen 0.21.0 → 1.0.0-rc.1

package/dist/khronos/parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../../src/khronos/parse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAI5C,MAAM,cAAc,GAAG,IAAI,CAAC;AAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC;AAEzB,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC;IACzB,gBAAgB,EAAE,KAAK;IACvB,mBAAmB,EAAE,IAAI;IACzB,mBAAmB,EAAE,KAAK;IAC1B,aAAa,EAAE,KAAK;IACpB,UAAU,EAAE,KAAK;IACjB,aAAa,EAAE,IAAI;CACtB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAiB,EAAE;IAC7D,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACxC,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAkB,CAAC;IACzD,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,UAAU;YAAE,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,EAAE,CAAC,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,IAAiB,EAAU,EAAE;IACjD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,IAAI,GAAG,KAAK,cAAc,IAAI,GAAG,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC;IAC/D,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAiB,EAAiB,EAAE;IAC7D,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,GAAG,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAE,QAA0B,CAAC,CAAC,CAAC,EAAE,CAAC;AACtE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAiB,EAAE,IAAY,EAAsB,EAAE;IAC5E,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC;IACxC,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5E,MAAM,KAAK,GAAI,UAAsC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACnE,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACzD,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAC,IAAiB,EAAsB,EAAE;IACvD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACzD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAiB,EAAE,QAAqB,EAAU,EAAE;IAC5E,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,IAAI,SAAS,CAAC;YAClB,SAAS;QACb,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAChC,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACzC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC","sourcesContent":["import { readFileSync } from \"node:fs\";\nimport { XMLParser } from \"fast-xml-parser\";\n\nexport type OrderedNode = { [key: string]: unknown };\n\nconst ATTRIBUTES_KEY = \":@\";\nconst TEXT_KEY = \"#text\";\n\nconst PARSER = new XMLParser({\n    ignoreAttributes: false,\n    attributeNamePrefix: \"@_\",\n    parseAttributeValue: false,\n    parseTagValue: false,\n    trimValues: false,\n    preserveOrder: true,\n});\n\nexport const parseRegistryFile = (path: string): OrderedNode[] => {\n    const xml = readFileSync(path, \"utf-8\");\n    const documentNodes = PARSER.parse(xml) as OrderedNode[];\n    for (const node of documentNodes) {\n        if (nodeTag(node) === \"registry\") return nodeChildren(node);\n    }\n    throw new Error(`No <registry> root element found in ${path}`);\n};\n\nexport const nodeTag = (node: OrderedNode): string => {\n    for (const key of Object.keys(node)) {\n        if (key !== ATTRIBUTES_KEY && key !== TEXT_KEY) return key;\n    }\n    return TEXT_KEY;\n};\n\nexport const nodeChildren = (node: OrderedNode): OrderedNode[] => {\n    const tag = nodeTag(node);\n    if (tag === TEXT_KEY) return [];\n    const children = node[tag];\n    return Array.isArray(children) ? (children as OrderedNode[]) : [];\n};\n\nexport const nodeAttr = (node: OrderedNode, name: string): string | undefined => {\n    const attributes = node[ATTRIBUTES_KEY];\n    if (typeof attributes !== \"object\" || attributes === null) return undefined;\n    const value = (attributes as Record<string, unknown>)[`@_${name}`];\n    return typeof value === \"string\" ? value : undefined;\n};\n\nconst nodeText = (node: OrderedNode): string | undefined => {\n    const value = node[TEXT_KEY];\n    return typeof value === \"string\" ? value : undefined;\n};\n\nexport const collectText = (node: OrderedNode, skipTags: Set<string>): string => {\n    let text = \"\";\n    for (const child of nodeChildren(node)) {\n        const childText = nodeText(child);\n        if (childText !== undefined) {\n            text += childText;\n            continue;\n        }\n        if (!skipTags.has(nodeTag(child))) {\n            text += collectText(child, skipTags);\n        }\n    }\n    return text;\n};\n"]}

package/dist/khronos/pipeline.d.ts

@@ -0,0 +1,24 @@
+import { type GlExclusionReason } from "./plan.js";
+import { type GlSelection } from "./select.js";
+type GlExclusion = {
+    command: string;
+    reason: GlExclusionReason;
+};
+export type GlGenerationReport = {
+    selection: GlSelection;
+    selectedCommands: number;
+    emittedCommands: number;
+    derivedSingulars: number;
+    exclusions: GlExclusion[];
+};
+export type GlGenerationResult = {
+    files: Map<string, string>;
+    report: GlGenerationReport;
+};
+type GlGenerationOptions = {
+    registryPath: string;
+    overrideExports: Set<string>;
+};
+export declare const generateGlModules: (options: GlGenerationOptions) => GlGenerationResult;
+export {};
+//# sourceMappingURL=pipeline.d.ts.map

package/dist/khronos/pipeline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline.d.ts","sourceRoot":"","sources":["../../src/khronos/pipeline.ts"],"names":[],"mappings":"AAGA,OAAO,EAAoB,KAAK,iBAAiB,EAAiD,MAAM,WAAW,CAAC;AAEpH,OAAO,EAAE,KAAK,WAAW,EAA6B,MAAM,aAAa,CAAC;AAmD1E,KAAK,WAAW,GAAG;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,iBAAiB,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC7B,SAAS,EAAE,WAAW,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,EAAE,WAAW,EAAE,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC7B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3B,MAAM,EAAE,kBAAkB,CAAC;CAC9B,CAAC;AA0CF,KAAK,mBAAmB,GAAG;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAChC,CAAC;AAiFF,eAAO,MAAM,iBAAiB,YAAa,mBAAmB,KAAG,kBAmChE,CAAC"}

package/dist/khronos/pipeline.js

@@ -0,0 +1,182 @@
+import { sanitizeIdentifier, sortStrings, sortStringsBy } from "@gtkx/utils";
+import { loadGlRegistry } from "./model.js";
+import { renderCommandsModule, renderEnumsModule, renderTypesModule } from "./modules.js";
+import { planCommand } from "./plan.js";
+import { deriveDeleteSingular, deriveGenSingular, renderCommand } from "./render.js";
+import { resolveEnum, selectSubset } from "./select.js";
+const BYTE_OFFSET_PARAMS = new Set([
+    "glVertexAttribPointer:pointer",
+    "glVertexAttribIPointer:pointer",
+    "glVertexAttribLPointer:pointer",
+    "glDrawElements:indices",
+    "glDrawRangeElements:indices",
+    "glDrawElementsBaseVertex:indices",
+    "glDrawRangeElementsBaseVertex:indices",
+    "glDrawElementsInstanced:indices",
+    "glDrawElementsInstancedBaseVertex:indices",
+    "glDrawElementsInstancedBaseInstance:indices",
+    "glDrawElementsInstancedBaseVertexBaseInstance:indices",
+    "glMultiDrawElements:indices",
+    "glMultiDrawElementsBaseVertex:indices",
+    "glDrawArraysIndirect:indirect",
+    "glDrawElementsIndirect:indirect",
+    "glMultiDrawArraysIndirect:indirect",
+    "glMultiDrawElementsIndirect:indirect",
+]);
+const SINGLE_VALUED_QUERIES = new Set([
+    "glGetShaderiv",
+    "glGetProgramiv",
+    "glGetProgramPipelineiv",
+    "glGetBufferParameteriv",
+    "glGetBufferParameteri64v",
+    "glGetRenderbufferParameteriv",
+    "glGetFramebufferParameteriv",
+    "glGetFramebufferAttachmentParameteriv",
+    "glGetQueryiv",
+    "glGetQueryObjectiv",
+    "glGetQueryObjectuiv",
+    "glGetQueryObjecti64v",
+    "glGetQueryObjectui64v",
+    "glGetTransformFeedbackiv",
+    "glGetVertexArrayiv",
+]);
+const OVERRIDE_OWNED = new Set([
+    "glGetShaderInfoLog",
+    "glGetProgramInfoLog",
+    "glGetProgramPipelineInfoLog",
+]);
+const PLAN_POLICY = {
+    byteOffsetParams: BYTE_OFFSET_PARAMS,
+    singleValuedQueries: SINGLE_VALUED_QUERIES,
+};
+const enumExportName = (name) => sanitizeIdentifier((name.startsWith("GL_") ? name.slice(3) : name).toUpperCase());
+const MAX_SAFE = BigInt(Number.MAX_SAFE_INTEGER);
+const enumLiteral = (token) => {
+    const text = token.value.trim();
+    let value;
+    try {
+        value = BigInt(text);
+    }
+    catch {
+        return undefined;
+    }
+    if (value > MAX_SAFE)
+        return undefined;
+    if (/^0[xX]/.test(text))
+        return `0x${text.slice(2).toLowerCase()}`;
+    return text;
+};
+const collectGroupAliases = (plans) => {
+    const aliases = new Map();
+    const consider = (scalar, group) => {
+        if (group === undefined)
+            return;
+        if (scalar.groupBearing !== true)
+            return;
+        const existing = aliases.get(group);
+        if (existing === "GLbitfield")
+            return;
+        aliases.set(group, scalar.tsAlias === "GLbitfield" ? "GLbitfield" : (existing ?? "GLenum"));
+    };
+    for (const plan of plans) {
+        plan.params.forEach((paramPlan, index) => {
+            const param = plan.command.params[index];
+            if (param === undefined)
+                return;
+            if (paramPlan.kind === "scalar" || paramPlan.kind === "array-in" || paramPlan.kind === "ref-out") {
+                consider(paramPlan.scalar, param.group);
+            }
+        });
+        if (plan.returnPlan.kind === "scalar")
+            consider(plan.returnPlan.scalar, plan.command.returnGroup);
+    }
+    return aliases;
+};
+const GL_SELECTION = { api: "gl", version: 4.6, profile: "core" };
+const planSelectedCommands = (registry, commandNames) => {
+    const exclusions = [];
+    const okPlans = [];
+    const planFeatures = new Map();
+    for (const [name, feature] of sortStringsBy(commandNames.entries(), ([key]) => key)) {
+        const command = registry.commands.get(name);
+        if (command === undefined)
+            throw new Error(`Selected command ${name} is not defined in the registry`);
+        if (OVERRIDE_OWNED.has(name)) {
+            exclusions.push({ command: name, reason: "override-owned" });
+            continue;
+        }
+        const plan = planCommand(command, PLAN_POLICY);
+        if (!plan.ok) {
+            exclusions.push({ command: name, reason: plan.reason });
+            continue;
+        }
+        okPlans.push(plan);
+        planFeatures.set(name, feature);
+    }
+    return { okPlans, planFeatures, exclusions };
+};
+const buildEnumRows = (registry, enumNames) => {
+    const enumRows = [];
+    for (const [name, feature] of sortStringsBy(enumNames.entries(), ([key]) => key)) {
+        const token = resolveEnum(registry, name);
+        const literal = enumLiteral(token);
+        if (literal === undefined)
+            continue;
+        enumRows.push({ token, exportName: enumExportName(name), literal, feature });
+    }
+    return enumRows;
+};
+const assertExportNamesDisjoint = (rendered, singulars, enumRows, overrideExports) => {
+    const exportNames = new Map();
+    const claim = (name, owner) => {
+        const existing = exportNames.get(name);
+        if (existing !== undefined) {
+            throw new Error(`Generated export name collision: ${name} (${existing} vs ${owner})`);
+        }
+        exportNames.set(name, owner);
+    };
+    for (const command of rendered)
+        claim(command.exportName, "command");
+    for (const singular of singulars)
+        claim(singular.exportName, "derived singular");
+    for (const row of enumRows)
+        claim(row.exportName, "enum constant");
+    const overrideCollisions = [...exportNames.keys()].filter((name) => overrideExports.has(name));
+    if (overrideCollisions.length > 0) {
+        throw new Error(`Override module exports collide with generated exports: ${sortStrings(overrideCollisions).join(", ")}`);
+    }
+};
+export const generateGlModules = (options) => {
+    const selection = GL_SELECTION;
+    const registry = loadGlRegistry(options.registryPath);
+    const subset = selectSubset(registry, selection);
+    const { okPlans, planFeatures, exclusions } = planSelectedCommands(registry, subset.commands);
+    const usedTypes = new Set();
+    const rendered = [];
+    const singulars = [];
+    for (const plan of okPlans) {
+        const feature = planFeatures.get(plan.command.name) ?? "unknown feature";
+        rendered.push(renderCommand(plan, feature, usedTypes));
+        const singular = deriveGenSingular(plan, feature, usedTypes) ?? deriveDeleteSingular(plan, feature, usedTypes);
+        if (singular !== undefined)
+            singulars.push(singular);
+    }
+    const enumRows = buildEnumRows(registry, subset.enums);
+    assertExportNamesDisjoint(rendered, singulars, enumRows, options.overrideExports);
+    const files = new Map([
+        ["types.ts", renderTypesModule(collectGroupAliases(okPlans))],
+        ["enums.ts", renderEnumsModule(enumRows)],
+        ["commands.ts", renderCommandsModule(rendered, singulars, usedTypes)],
+    ]);
+    return {
+        files,
+        report: {
+            selection,
+            selectedCommands: subset.commands.size,
+            emittedCommands: rendered.length,
+            derivedSingulars: singulars.length,
+            exclusions,
+        },
+    };
+};
+//# sourceMappingURL=pipeline.js.map

package/dist/khronos/pipeline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeline.js","sourceRoot":"","sources":["../../src/khronos/pipeline.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC7E,OAAO,EAAe,cAAc,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC1F,OAAO,EAA8E,WAAW,EAAE,MAAM,WAAW,CAAC;AACpH,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAwB,aAAa,EAAE,MAAM,aAAa,CAAC;AAC3G,OAAO,EAAoB,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE1E,MAAM,kBAAkB,GAAgB,IAAI,GAAG,CAAC;IAC5C,+BAA+B;IAC/B,gCAAgC;IAChC,gCAAgC;IAChC,wBAAwB;IACxB,6BAA6B;IAC7B,kCAAkC;IAClC,uCAAuC;IACvC,iCAAiC;IACjC,2CAA2C;IAC3C,6CAA6C;IAC7C,uDAAuD;IACvD,6BAA6B;IAC7B,uCAAuC;IACvC,+BAA+B;IAC/B,iCAAiC;IACjC,oCAAoC;IACpC,sCAAsC;CACzC,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAgB,IAAI,GAAG,CAAC;IAC/C,eAAe;IACf,gBAAgB;IAChB,wBAAwB;IACxB,wBAAwB;IACxB,0BAA0B;IAC1B,8BAA8B;IAC9B,6BAA6B;IAC7B,uCAAuC;IACvC,cAAc;IACd,oBAAoB;IACpB,qBAAqB;IACrB,sBAAsB;IACtB,uBAAuB;IACvB,0BAA0B;IAC1B,oBAAoB;CACvB,CAAC,CAAC;AAEH,MAAM,cAAc,GAAgB,IAAI,GAAG,CAAC;IACxC,oBAAoB;IACpB,qBAAqB;IACrB,6BAA6B;CAChC,CAAC,CAAC;AAEH,MAAM,WAAW,GAAiB;IAC9B,gBAAgB,EAAE,kBAAkB;IACpC,mBAAmB,EAAE,qBAAqB;CAC7C,CAAC;AAoBF,MAAM,cAAc,GAAG,CAAC,IAAY,EAAU,EAAE,CAC5C,kBAAkB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAEtF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;AAEjD,MAAM,WAAW,GAAG,CAAC,KAAa,EAAsB,EAAE;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IAChC,IAAI,KAAa,CAAC;IAClB,IAAI,CAAC;QACD,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,IAAI,KAAK,GAAG,QAAQ;QAAE,OAAO,SAAS,CAAC;IACvC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;IACnE,OAAO,IAAI,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,KAAqC,EAAuB,EAAE;IACvF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,QAAQ,GAAG,CAAC,MAAgB,EAAE,KAAyB,EAAQ,EAAE;QACnE,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI;YAAE,OAAO;QACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,QAAQ,KAAK,YAAY;YAAE,OAAO;QACtC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC;IAChG,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;YACrC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO;YAChC,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC/F,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5C,CAAC;QACL,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACtG,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC,CAAC;AAOF,MAAM,YAAY,GAAgB,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;AAU/E,MAAM,oBAAoB,GAAG,CACzB,QAA2C,EAC3C,YAAiC,EACjB,EAAE;IAClB,MAAM,UAAU,GAAkB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,aAAa,CAAC,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAClF,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,IAAI,iCAAiC,CAAC,CAAC;QACtG,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC7D,SAAS;QACb,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;YACX,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YACxD,SAAS;QACb,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AACjD,CAAC,CAAC;AASF,MAAM,aAAa,GAAG,CAAC,QAA2C,EAAE,SAA8B,EAAa,EAAE;IAC7G,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,aAAa,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/E,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAC9B,QAA2B,EAC3B,SAA4B,EAC5B,QAAmB,EACnB,eAA4B,EACxB,EAAE;IACN,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,KAAa,EAAQ,EAAE;QAChD,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,oCAAoC,IAAI,KAAK,QAAQ,OAAO,KAAK,GAAG,CAAC,CAAC;QAC1F,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACrE,KAAK,MAAM,QAAQ,IAAI,SAAS;QAAE,KAAK,CAAC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;IACjF,KAAK,MAAM,GAAG,IAAI,QAAQ;QAAE,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAEnE,MAAM,kBAAkB,GAAG,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/F,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACX,2DAA2D,WAAW,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC1G,CAAC;IACN,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,OAA4B,EAAsB,EAAE;IAClF,MAAM,SAAS,GAAG,YAAY,CAAC;IAC/B,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACjD,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,oBAAoB,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IAE9F,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,MAAM,SAAS,GAAsB,EAAE,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC;QACzE,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAC/G,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACvD,yBAAyB,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IAElF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAiB;QAClC,CAAC,UAAU,EAAE,iBAAiB,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7D,CAAC,UAAU,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QACzC,CAAC,aAAa,EAAE,oBAAoB,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;KACxE,CAAC,CAAC;IAEH,OAAO;QACH,KAAK;QACL,MAAM,EAAE;YACJ,SAAS;YACT,gBAAgB,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI;YACtC,eAAe,EAAE,QAAQ,CAAC,MAAM;YAChC,gBAAgB,EAAE,SAAS,CAAC,MAAM;YAClC,UAAU;SACb;KACJ,CAAC;AACN,CAAC,CAAC","sourcesContent":["import { sanitizeIdentifier, sortStrings, sortStringsBy } from \"@gtkx/utils\";\nimport { type GlEnum, loadGlRegistry } from \"./model.js\";\nimport { renderCommandsModule, renderEnumsModule, renderTypesModule } from \"./modules.js\";\nimport { type CommandPlan, type GlExclusionReason, type GlPlanPolicy, type GlScalar, planCommand } from \"./plan.js\";\nimport { deriveDeleteSingular, deriveGenSingular, type RenderedCommand, renderCommand } from \"./render.js\";\nimport { type GlSelection, resolveEnum, selectSubset } from \"./select.js\";\n\nconst BYTE_OFFSET_PARAMS: Set<string> = new Set([\n    \"glVertexAttribPointer:pointer\",\n    \"glVertexAttribIPointer:pointer\",\n    \"glVertexAttribLPointer:pointer\",\n    \"glDrawElements:indices\",\n    \"glDrawRangeElements:indices\",\n    \"glDrawElementsBaseVertex:indices\",\n    \"glDrawRangeElementsBaseVertex:indices\",\n    \"glDrawElementsInstanced:indices\",\n    \"glDrawElementsInstancedBaseVertex:indices\",\n    \"glDrawElementsInstancedBaseInstance:indices\",\n    \"glDrawElementsInstancedBaseVertexBaseInstance:indices\",\n    \"glMultiDrawElements:indices\",\n    \"glMultiDrawElementsBaseVertex:indices\",\n    \"glDrawArraysIndirect:indirect\",\n    \"glDrawElementsIndirect:indirect\",\n    \"glMultiDrawArraysIndirect:indirect\",\n    \"glMultiDrawElementsIndirect:indirect\",\n]);\n\nconst SINGLE_VALUED_QUERIES: Set<string> = new Set([\n    \"glGetShaderiv\",\n    \"glGetProgramiv\",\n    \"glGetProgramPipelineiv\",\n    \"glGetBufferParameteriv\",\n    \"glGetBufferParameteri64v\",\n    \"glGetRenderbufferParameteriv\",\n    \"glGetFramebufferParameteriv\",\n    \"glGetFramebufferAttachmentParameteriv\",\n    \"glGetQueryiv\",\n    \"glGetQueryObjectiv\",\n    \"glGetQueryObjectuiv\",\n    \"glGetQueryObjecti64v\",\n    \"glGetQueryObjectui64v\",\n    \"glGetTransformFeedbackiv\",\n    \"glGetVertexArrayiv\",\n]);\n\nconst OVERRIDE_OWNED: Set<string> = new Set([\n    \"glGetShaderInfoLog\",\n    \"glGetProgramInfoLog\",\n    \"glGetProgramPipelineInfoLog\",\n]);\n\nconst PLAN_POLICY: GlPlanPolicy = {\n    byteOffsetParams: BYTE_OFFSET_PARAMS,\n    singleValuedQueries: SINGLE_VALUED_QUERIES,\n};\n\ntype GlExclusion = {\n    command: string;\n    reason: GlExclusionReason;\n};\n\nexport type GlGenerationReport = {\n    selection: GlSelection;\n    selectedCommands: number;\n    emittedCommands: number;\n    derivedSingulars: number;\n    exclusions: GlExclusion[];\n};\n\nexport type GlGenerationResult = {\n    files: Map<string, string>;\n    report: GlGenerationReport;\n};\n\nconst enumExportName = (name: string): string =>\n    sanitizeIdentifier((name.startsWith(\"GL_\") ? name.slice(3) : name).toUpperCase());\n\nconst MAX_SAFE = BigInt(Number.MAX_SAFE_INTEGER);\n\nconst enumLiteral = (token: GlEnum): string | undefined => {\n    const text = token.value.trim();\n    let value: bigint;\n    try {\n        value = BigInt(text);\n    } catch {\n        return undefined;\n    }\n    if (value > MAX_SAFE) return undefined;\n    if (/^0[xX]/.test(text)) return `0x${text.slice(2).toLowerCase()}`;\n    return text;\n};\n\nconst collectGroupAliases = (plans: (CommandPlan & { ok: true })[]): Map<string, string> => {\n    const aliases = new Map<string, string>();\n    const consider = (scalar: GlScalar, group: string | undefined): void => {\n        if (group === undefined) return;\n        if (scalar.groupBearing !== true) return;\n        const existing = aliases.get(group);\n        if (existing === \"GLbitfield\") return;\n        aliases.set(group, scalar.tsAlias === \"GLbitfield\" ? \"GLbitfield\" : (existing ?? \"GLenum\"));\n    };\n    for (const plan of plans) {\n        plan.params.forEach((paramPlan, index) => {\n            const param = plan.command.params[index];\n            if (param === undefined) return;\n            if (paramPlan.kind === \"scalar\" || paramPlan.kind === \"array-in\" || paramPlan.kind === \"ref-out\") {\n                consider(paramPlan.scalar, param.group);\n            }\n        });\n        if (plan.returnPlan.kind === \"scalar\") consider(plan.returnPlan.scalar, plan.command.returnGroup);\n    }\n    return aliases;\n};\n\ntype GlGenerationOptions = {\n    registryPath: string;\n    overrideExports: Set<string>;\n};\n\nconst GL_SELECTION: GlSelection = { api: \"gl\", version: 4.6, profile: \"core\" };\n\ntype OkPlan = CommandPlan & { ok: true };\n\ntype PlannedSelection = {\n    okPlans: OkPlan[];\n    planFeatures: Map<string, string>;\n    exclusions: GlExclusion[];\n};\n\nconst planSelectedCommands = (\n    registry: ReturnType<typeof loadGlRegistry>,\n    commandNames: Map<string, string>,\n): PlannedSelection => {\n    const exclusions: GlExclusion[] = [];\n    const okPlans: OkPlan[] = [];\n    const planFeatures = new Map<string, string>();\n    for (const [name, feature] of sortStringsBy(commandNames.entries(), ([key]) => key)) {\n        const command = registry.commands.get(name);\n        if (command === undefined) throw new Error(`Selected command ${name} is not defined in the registry`);\n        if (OVERRIDE_OWNED.has(name)) {\n            exclusions.push({ command: name, reason: \"override-owned\" });\n            continue;\n        }\n        const plan = planCommand(command, PLAN_POLICY);\n        if (!plan.ok) {\n            exclusions.push({ command: name, reason: plan.reason });\n            continue;\n        }\n        okPlans.push(plan);\n        planFeatures.set(name, feature);\n    }\n    return { okPlans, planFeatures, exclusions };\n};\n\ntype EnumRow = {\n    token: GlEnum;\n    exportName: string;\n    literal: string;\n    feature: string;\n};\n\nconst buildEnumRows = (registry: ReturnType<typeof loadGlRegistry>, enumNames: Map<string, string>): EnumRow[] => {\n    const enumRows: EnumRow[] = [];\n    for (const [name, feature] of sortStringsBy(enumNames.entries(), ([key]) => key)) {\n        const token = resolveEnum(registry, name);\n        const literal = enumLiteral(token);\n        if (literal === undefined) continue;\n        enumRows.push({ token, exportName: enumExportName(name), literal, feature });\n    }\n    return enumRows;\n};\n\nconst assertExportNamesDisjoint = (\n    rendered: RenderedCommand[],\n    singulars: RenderedCommand[],\n    enumRows: EnumRow[],\n    overrideExports: Set<string>,\n): void => {\n    const exportNames = new Map<string, string>();\n    const claim = (name: string, owner: string): void => {\n        const existing = exportNames.get(name);\n        if (existing !== undefined) {\n            throw new Error(`Generated export name collision: ${name} (${existing} vs ${owner})`);\n        }\n        exportNames.set(name, owner);\n    };\n    for (const command of rendered) claim(command.exportName, \"command\");\n    for (const singular of singulars) claim(singular.exportName, \"derived singular\");\n    for (const row of enumRows) claim(row.exportName, \"enum constant\");\n\n    const overrideCollisions = [...exportNames.keys()].filter((name) => overrideExports.has(name));\n    if (overrideCollisions.length > 0) {\n        throw new Error(\n            `Override module exports collide with generated exports: ${sortStrings(overrideCollisions).join(\", \")}`,\n        );\n    }\n};\n\nexport const generateGlModules = (options: GlGenerationOptions): GlGenerationResult => {\n    const selection = GL_SELECTION;\n    const registry = loadGlRegistry(options.registryPath);\n    const subset = selectSubset(registry, selection);\n    const { okPlans, planFeatures, exclusions } = planSelectedCommands(registry, subset.commands);\n\n    const usedTypes = new Set<string>();\n    const rendered: RenderedCommand[] = [];\n    const singulars: RenderedCommand[] = [];\n    for (const plan of okPlans) {\n        const feature = planFeatures.get(plan.command.name) ?? \"unknown feature\";\n        rendered.push(renderCommand(plan, feature, usedTypes));\n        const singular = deriveGenSingular(plan, feature, usedTypes) ?? deriveDeleteSingular(plan, feature, usedTypes);\n        if (singular !== undefined) singulars.push(singular);\n    }\n\n    const enumRows = buildEnumRows(registry, subset.enums);\n    assertExportNamesDisjoint(rendered, singulars, enumRows, options.overrideExports);\n\n    const files = new Map<string, string>([\n        [\"types.ts\", renderTypesModule(collectGroupAliases(okPlans))],\n        [\"enums.ts\", renderEnumsModule(enumRows)],\n        [\"commands.ts\", renderCommandsModule(rendered, singulars, usedTypes)],\n    ]);\n\n    return {\n        files,\n        report: {\n            selection,\n            selectedCommands: subset.commands.size,\n            emittedCommands: rendered.length,\n            derivedSingulars: singulars.length,\n            exclusions,\n        },\n    };\n};\n"]}

package/dist/khronos/plan.d.ts

@@ -0,0 +1,80 @@
+import type { GlCommand } from "./model.js";
+export type GlScalar = {
+    descriptor: string;
+    tsAlias: string;
+    viewType?: string;
+    groupBearing?: boolean;
+};
+export declare const GL_SCALARS: Map<string, GlScalar>;
+export type ParsedCType = {
+    base: string;
+    pointers: number;
+    constData: boolean;
+};
+export declare const parseCType: (cType: string) => ParsedCType;
+export type ParamPlan = {
+    kind: "scalar";
+    scalar: GlScalar;
+} | {
+    kind: "boolean";
+} | {
+    kind: "sync";
+} | {
+    kind: "string-in";
+} | {
+    kind: "string-array-in";
+} | {
+    kind: "array-in";
+    scalar: GlScalar;
+} | {
+    kind: "ref-out";
+    scalar: GlScalar;
+} | {
+    kind: "ref-array-out";
+    scalar: GlScalar;
+    lenParamName: string;
+} | {
+    kind: "ref-fixed-out";
+    scalar: GlScalar;
+    length: number;
+} | {
+    kind: "string-out";
+    lenParamName: string;
+} | {
+    kind: "buffer";
+} | {
+    kind: "byte-offset";
+} | {
+    kind: "byte-offset-array";
+};
+export type ReturnPlan = {
+    kind: "void";
+} | {
+    kind: "scalar";
+    scalar: GlScalar;
+} | {
+    kind: "boolean";
+} | {
+    kind: "string";
+} | {
+    kind: "sync";
+} | {
+    kind: "opaque-pointer";
+};
+export type GlExclusionReason = "callback-parameter" | "compsize-output" | "computed-output-length" | "unsupported-shape" | "override-owned";
+export type GlPlanPolicy = {
+    byteOffsetParams: Set<string>;
+    singleValuedQueries: Set<string>;
+};
+export type CommandPlan = {
+    ok: true;
+    command: GlCommand;
+    params: ParamPlan[];
+    returnPlan: ReturnPlan;
+} | {
+    ok: false;
+    command: GlCommand;
+    reason: GlExclusionReason;
+};
+export declare const planCommand: (command: GlCommand, policy: GlPlanPolicy) => CommandPlan;
+//# sourceMappingURL=plan.d.ts.map

package/dist/khronos/plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../../src/khronos/plan.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAW,MAAM,YAAY,CAAC;AAErD,MAAM,MAAM,QAAQ,GAAG;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,eAAO,MAAM,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAmB3C,CAAC;AAOH,MAAM,MAAM,WAAW,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC;CACtB,CAAC;AAEF,eAAO,MAAM,UAAU,UAAW,MAAM,KAAG,WAS1C,CAAC;AAEF,MAAM,MAAM,SAAS,GACf;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GACrB;IAAE,IAAI,EAAE,iBAAiB,CAAA;CAAE,GAC3B;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GACjE;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC3D;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GACvB;IAAE,IAAI,EAAE,mBAAmB,CAAA;CAAE,CAAC;AAEpC,MAAM,MAAM,UAAU,GAChB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAEjC,MAAM,MAAM,iBAAiB,GACvB,oBAAoB,GACpB,iBAAiB,GACjB,wBAAwB,GACxB,mBAAmB,GACnB,gBAAgB,CAAC;AAEvB,MAAM,MAAM,YAAY,GAAG;IACvB,gBAAgB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9B,mBAAmB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,WAAW,GACjB;IACI,EAAE,EAAE,IAAI,CAAC;IACT,OAAO,EAAE,SAAS,CAAC;IACnB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,UAAU,EAAE,UAAU,CAAC;CAC1B,GACD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAqFnE,eAAO,MAAM,WAAW,YAAa,SAAS,UAAU,YAAY,KAAG,WAUtE,CAAC"}

package/dist/khronos/plan.js

@@ -0,0 +1,136 @@
+import { tScalar } from "../analysis/descriptor.js";
+export const GL_SCALARS = new Map([
+    ["GLenum", { descriptor: tScalar("uint32"), tsAlias: "GLenum", viewType: "Uint32Array", groupBearing: true }],
+    [
+        "GLbitfield",
+        { descriptor: tScalar("uint32"), tsAlias: "GLbitfield", viewType: "Uint32Array", groupBearing: true },
+    ],
+    ["GLuint", { descriptor: tScalar("uint32"), tsAlias: "GLuint", viewType: "Uint32Array" }],
+    ["GLint", { descriptor: tScalar("int32"), tsAlias: "GLint", viewType: "Int32Array" }],
+    ["GLsizei", { descriptor: tScalar("int32"), tsAlias: "GLsizei", viewType: "Int32Array" }],
+    ["GLbyte", { descriptor: tScalar("int8"), tsAlias: "GLbyte", viewType: "Int8Array" }],
+    ["GLubyte", { descriptor: tScalar("uint8"), tsAlias: "GLubyte", viewType: "Uint8Array" }],
+    ["GLshort", { descriptor: tScalar("int16"), tsAlias: "GLshort", viewType: "Int16Array" }],
+    ["GLushort", { descriptor: tScalar("uint16"), tsAlias: "GLushort", viewType: "Uint16Array" }],
+    ["GLfloat", { descriptor: tScalar("float32"), tsAlias: "GLfloat", viewType: "Float32Array" }],
+    ["GLdouble", { descriptor: tScalar("float64"), tsAlias: "GLdouble", viewType: "Float64Array" }],
+    ["GLint64", { descriptor: tScalar("int64"), tsAlias: "GLint64" }],
+    ["GLuint64", { descriptor: tScalar("uint64"), tsAlias: "GLuint64" }],
+    ["GLintptr", { descriptor: tScalar("int64"), tsAlias: "GLintptr" }],
+    ["GLsizeiptr", { descriptor: tScalar("int64"), tsAlias: "GLsizeiptr" }],
+]);
+const GL_BOOLEAN = "GLboolean";
+const GL_CHAR = "GLchar";
+const GL_SYNC = "GLsync";
+const CALLBACK_BASES = new Set(["GLDEBUGPROC", "GLDEBUGPROCARB", "GLDEBUGPROCKHR", "GLVULKANPROCNV"]);
+export const parseCType = (cType) => {
+    const pointers = (cType.match(/\*/g) ?? []).length;
+    const constData = /(^|\s)const(\s|\*)/.test(` ${cType} `) && pointers > 0;
+    const base = cType
+        .replaceAll("*", " ")
+        .split(/\s+/)
+        .filter((token) => token.length > 0 && token !== "const" && token !== "struct")
+        .join(" ");
+    return { base, pointers, constData };
+};
+const isCompsize = (len) => len.includes("COMPSIZE(");
+const planPointerOut = (command, param, scalar, policy) => {
+    const len = param.len;
+    if (len === undefined || len === "1")
+        return { plan: { kind: "ref-out", scalar } };
+    if (isCompsize(len)) {
+        if (policy.singleValuedQueries.has(command.name))
+            return { plan: { kind: "ref-out", scalar } };
+        return { reason: "compsize-output" };
+    }
+    if (/^\d+$/.test(len))
+        return { plan: { kind: "ref-fixed-out", scalar, length: Number.parseInt(len, 10) } };
+    if (command.params.some((other) => other.name === len)) {
+        return { plan: { kind: "ref-array-out", scalar, lenParamName: len } };
+    }
+    return { reason: "computed-output-length" };
+};
+const planByteOffsetParam = (parsed) => {
+    if (parsed.pointers === 1)
+        return { plan: { kind: "byte-offset" } };
+    if (parsed.pointers === 2)
+        return { plan: { kind: "byte-offset-array" } };
+    return { reason: "unsupported-shape" };
+};
+const planCharParam = (command, param, parsed) => {
+    if (parsed.pointers === 1 && parsed.constData)
+        return { plan: { kind: "string-in" } };
+    if (parsed.pointers === 2 && parsed.constData)
+        return { plan: { kind: "string-array-in" } };
+    if (parsed.pointers === 1 && param.len !== undefined && command.params.some((other) => other.name === param.len)) {
+        return { plan: { kind: "string-out", lenParamName: param.len } };
+    }
+    return { reason: "unsupported-shape" };
+};
+const planScalarParam = (command, param, parsed, policy) => {
+    const scalar = GL_SCALARS.get(parsed.base);
+    if (scalar === undefined) {
+        throw new Error(`Unmapped C base type "${parsed.base}" on ${command.name}(${param.name}: ${param.cType})`);
+    }
+    if (parsed.pointers === 0)
+        return { plan: { kind: "scalar", scalar } };
+    if (parsed.pointers === 1 && parsed.constData)
+        return { plan: { kind: "array-in", scalar } };
+    if (parsed.pointers === 1)
+        return planPointerOut(command, param, scalar, policy);
+    return { reason: "unsupported-shape" };
+};
+const planParam = (command, param, policy) => {
+    const parsed = parseCType(param.cType);
+    const { base, pointers } = parsed;
+    if (CALLBACK_BASES.has(base) || base.startsWith("_cl_")) {
+        return { reason: "callback-parameter" };
+    }
+    if (policy.byteOffsetParams.has(`${command.name}:${param.name}`)) {
+        return planByteOffsetParam(parsed);
+    }
+    if (base === GL_SYNC && pointers === 0)
+        return { plan: { kind: "sync" } };
+    if (base === "void") {
+        if (pointers === 1)
+            return { plan: { kind: "buffer" } };
+        return { reason: "unsupported-shape" };
+    }
+    if (base === GL_CHAR || base === "GLcharARB")
+        return planCharParam(command, param, parsed);
+    if (base === GL_BOOLEAN) {
+        if (pointers === 0)
+            return { plan: { kind: "boolean" } };
+        return { reason: "unsupported-shape" };
+    }
+    return planScalarParam(command, param, parsed, policy);
+};
+const planReturn = (command) => {
+    const { base, pointers } = parseCType(command.returnCType);
+    if (base === "void" && pointers === 0)
+        return { kind: "void" };
+    if (base === "void" && pointers === 1)
+        return { kind: "opaque-pointer" };
+    if (base === GL_SYNC && pointers === 0)
+        return { kind: "sync" };
+    if (base === GL_BOOLEAN && pointers === 0)
+        return { kind: "boolean" };
+    if ((base === "GLubyte" || base === GL_CHAR) && pointers === 1)
+        return { kind: "string" };
+    const scalar = GL_SCALARS.get(base);
+    if (scalar !== undefined && pointers === 0)
+        return { kind: "scalar", scalar };
+    throw new Error(`Unmapped return type "${command.returnCType}" on ${command.name}`);
+};
+export const planCommand = (command, policy) => {
+    const params = [];
+    for (const param of command.params) {
+        const outcome = planParam(command, param, policy);
+        if ("reason" in outcome) {
+            return { ok: false, command, reason: outcome.reason };
+        }
+        params.push(outcome.plan);
+    }
+    return { ok: true, command, params, returnPlan: planReturn(command) };
+};
+//# sourceMappingURL=plan.js.map

package/dist/khronos/plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../../src/khronos/plan.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAUpD,MAAM,CAAC,MAAM,UAAU,GAA0B,IAAI,GAAG,CAAC;IACrD,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC;IAC7G;QACI,YAAY;QACZ,EAAE,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,EAAE;KACxG;IACD,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;IACzF,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;IACrF,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzF,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IACrF,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzF,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzF,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC7F,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC7F,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC/F,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACjE,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IACpE,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IACnE,CAAC,YAAY,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;CAC1E,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,WAAW,CAAC;AAC/B,MAAM,OAAO,GAAG,QAAQ,CAAC;AACzB,MAAM,OAAO,GAAG,QAAQ,CAAC;AACzB,MAAM,cAAc,GAAgB,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAQnH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAe,EAAE;IACrD,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACnD,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAC;IAC1E,MAAM,IAAI,GAAG,KAAK;SACb,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;SACpB,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,QAAQ,CAAC;SAC9E,IAAI,CAAC,GAAG,CAAC,CAAC;IACf,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACzC,CAAC,CAAC;AA8CF,MAAM,UAAU,GAAG,CAAC,GAAW,EAAW,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;AAIvE,MAAM,cAAc,GAAG,CAAC,OAAkB,EAAE,KAAc,EAAE,MAAgB,EAAE,MAAoB,EAAgB,EAAE;IAChH,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,GAAG;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC;IACnF,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,IAAI,MAAM,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,CAAC;QAC/F,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IACzC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;IAC5G,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACrD,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,CAAC;IAC1E,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,wBAAwB,EAAE,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,MAAmB,EAAgB,EAAE;IAC9D,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,CAAC;IACpE,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,EAAE,CAAC;IAC1E,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;AAC3C,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,OAAkB,EAAE,KAAc,EAAE,MAAmB,EAAgB,EAAE;IAC5F,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,IAAI,MAAM,CAAC,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,CAAC;IACtF,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,IAAI,MAAM,CAAC,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,CAAC;IAC5F,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/G,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;AAC3C,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACpB,OAAkB,EAClB,KAAc,EACd,MAAmB,EACnB,MAAoB,EACR,EAAE;IACd,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,yBAAyB,MAAM,CAAC,IAAI,QAAQ,OAAO,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;IAC/G,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC;IACvE,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC,IAAI,MAAM,CAAC,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,CAAC;IAC7F,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACjF,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;AAC3C,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,OAAkB,EAAE,KAAc,EAAE,MAAoB,EAAgB,EAAE;IACzF,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IAClC,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QAC/D,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,IAAI,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;IAC1E,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QAClB,IAAI,QAAQ,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;QACxD,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAC3C,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3F,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACtB,IAAI,QAAQ,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC;QACzD,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,OAAkB,EAAc,EAAE;IAClD,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3D,IAAI,IAAI,KAAK,MAAM,IAAI,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC/D,IAAI,IAAI,KAAK,MAAM,IAAI,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACzE,IAAI,IAAI,KAAK,OAAO,IAAI,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAChE,IAAI,IAAI,KAAK,UAAU,IAAI,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACtE,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,OAAO,CAAC,IAAI,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC1F,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,SAAS,IAAI,QAAQ,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC9E,MAAM,IAAI,KAAK,CAAC,yBAAyB,OAAO,CAAC,WAAW,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;AACxF,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAAkB,EAAE,MAAoB,EAAe,EAAE;IACjF,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAClD,IAAI,QAAQ,IAAI,OAAO,EAAE,CAAC;YACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QAC1D,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1E,CAAC,CAAC","sourcesContent":["import { tScalar } from \"../analysis/descriptor.js\";\nimport type { GlCommand, GlParam } from \"./model.js\";\n\nexport type GlScalar = {\n    descriptor: string;\n    tsAlias: string;\n    viewType?: string;\n    groupBearing?: boolean;\n};\n\nexport const GL_SCALARS: Map<string, GlScalar> = new Map([\n    [\"GLenum\", { descriptor: tScalar(\"uint32\"), tsAlias: \"GLenum\", viewType: \"Uint32Array\", groupBearing: true }],\n    [\n        \"GLbitfield\",\n        { descriptor: tScalar(\"uint32\"), tsAlias: \"GLbitfield\", viewType: \"Uint32Array\", groupBearing: true },\n    ],\n    [\"GLuint\", { descriptor: tScalar(\"uint32\"), tsAlias: \"GLuint\", viewType: \"Uint32Array\" }],\n    [\"GLint\", { descriptor: tScalar(\"int32\"), tsAlias: \"GLint\", viewType: \"Int32Array\" }],\n    [\"GLsizei\", { descriptor: tScalar(\"int32\"), tsAlias: \"GLsizei\", viewType: \"Int32Array\" }],\n    [\"GLbyte\", { descriptor: tScalar(\"int8\"), tsAlias: \"GLbyte\", viewType: \"Int8Array\" }],\n    [\"GLubyte\", { descriptor: tScalar(\"uint8\"), tsAlias: \"GLubyte\", viewType: \"Uint8Array\" }],\n    [\"GLshort\", { descriptor: tScalar(\"int16\"), tsAlias: \"GLshort\", viewType: \"Int16Array\" }],\n    [\"GLushort\", { descriptor: tScalar(\"uint16\"), tsAlias: \"GLushort\", viewType: \"Uint16Array\" }],\n    [\"GLfloat\", { descriptor: tScalar(\"float32\"), tsAlias: \"GLfloat\", viewType: \"Float32Array\" }],\n    [\"GLdouble\", { descriptor: tScalar(\"float64\"), tsAlias: \"GLdouble\", viewType: \"Float64Array\" }],\n    [\"GLint64\", { descriptor: tScalar(\"int64\"), tsAlias: \"GLint64\" }],\n    [\"GLuint64\", { descriptor: tScalar(\"uint64\"), tsAlias: \"GLuint64\" }],\n    [\"GLintptr\", { descriptor: tScalar(\"int64\"), tsAlias: \"GLintptr\" }],\n    [\"GLsizeiptr\", { descriptor: tScalar(\"int64\"), tsAlias: \"GLsizeiptr\" }],\n]);\n\nconst GL_BOOLEAN = \"GLboolean\";\nconst GL_CHAR = \"GLchar\";\nconst GL_SYNC = \"GLsync\";\nconst CALLBACK_BASES: Set<string> = new Set([\"GLDEBUGPROC\", \"GLDEBUGPROCARB\", \"GLDEBUGPROCKHR\", \"GLVULKANPROCNV\"]);\n\nexport type ParsedCType = {\n    base: string;\n    pointers: number;\n    constData: boolean;\n};\n\nexport const parseCType = (cType: string): ParsedCType => {\n    const pointers = (cType.match(/\\*/g) ?? []).length;\n    const constData = /(^|\\s)const(\\s|\\*)/.test(` ${cType} `) && pointers > 0;\n    const base = cType\n        .replaceAll(\"*\", \" \")\n        .split(/\\s+/)\n        .filter((token) => token.length > 0 && token !== \"const\" && token !== \"struct\")\n        .join(\" \");\n    return { base, pointers, constData };\n};\n\nexport type ParamPlan =\n    | { kind: \"scalar\"; scalar: GlScalar }\n    | { kind: \"boolean\" }\n    | { kind: \"sync\" }\n    | { kind: \"string-in\" }\n    | { kind: \"string-array-in\" }\n    | { kind: \"array-in\"; scalar: GlScalar }\n    | { kind: \"ref-out\"; scalar: GlScalar }\n    | { kind: \"ref-array-out\"; scalar: GlScalar; lenParamName: string }\n    | { kind: \"ref-fixed-out\"; scalar: GlScalar; length: number }\n    | { kind: \"string-out\"; lenParamName: string }\n    | { kind: \"buffer\" }\n    | { kind: \"byte-offset\" }\n    | { kind: \"byte-offset-array\" };\n\nexport type ReturnPlan =\n    | { kind: \"void\" }\n    | { kind: \"scalar\"; scalar: GlScalar }\n    | { kind: \"boolean\" }\n    | { kind: \"string\" }\n    | { kind: \"sync\" }\n    | { kind: \"opaque-pointer\" };\n\nexport type GlExclusionReason =\n    | \"callback-parameter\"\n    | \"compsize-output\"\n    | \"computed-output-length\"\n    | \"unsupported-shape\"\n    | \"override-owned\";\n\nexport type GlPlanPolicy = {\n    byteOffsetParams: Set<string>;\n    singleValuedQueries: Set<string>;\n};\n\nexport type CommandPlan =\n    | {\n          ok: true;\n          command: GlCommand;\n          params: ParamPlan[];\n          returnPlan: ReturnPlan;\n      }\n    | { ok: false; command: GlCommand; reason: GlExclusionReason };\n\nconst isCompsize = (len: string): boolean => len.includes(\"COMPSIZE(\");\n\ntype ParamOutcome = { plan: ParamPlan } | { reason: GlExclusionReason };\n\nconst planPointerOut = (command: GlCommand, param: GlParam, scalar: GlScalar, policy: GlPlanPolicy): ParamOutcome => {\n    const len = param.len;\n    if (len === undefined || len === \"1\") return { plan: { kind: \"ref-out\", scalar } };\n    if (isCompsize(len)) {\n        if (policy.singleValuedQueries.has(command.name)) return { plan: { kind: \"ref-out\", scalar } };\n        return { reason: \"compsize-output\" };\n    }\n    if (/^\\d+$/.test(len)) return { plan: { kind: \"ref-fixed-out\", scalar, length: Number.parseInt(len, 10) } };\n    if (command.params.some((other) => other.name === len)) {\n        return { plan: { kind: \"ref-array-out\", scalar, lenParamName: len } };\n    }\n    return { reason: \"computed-output-length\" };\n};\n\nconst planByteOffsetParam = (parsed: ParsedCType): ParamOutcome => {\n    if (parsed.pointers === 1) return { plan: { kind: \"byte-offset\" } };\n    if (parsed.pointers === 2) return { plan: { kind: \"byte-offset-array\" } };\n    return { reason: \"unsupported-shape\" };\n};\n\nconst planCharParam = (command: GlCommand, param: GlParam, parsed: ParsedCType): ParamOutcome => {\n    if (parsed.pointers === 1 && parsed.constData) return { plan: { kind: \"string-in\" } };\n    if (parsed.pointers === 2 && parsed.constData) return { plan: { kind: \"string-array-in\" } };\n    if (parsed.pointers === 1 && param.len !== undefined && command.params.some((other) => other.name === param.len)) {\n        return { plan: { kind: \"string-out\", lenParamName: param.len } };\n    }\n    return { reason: \"unsupported-shape\" };\n};\n\nconst planScalarParam = (\n    command: GlCommand,\n    param: GlParam,\n    parsed: ParsedCType,\n    policy: GlPlanPolicy,\n): ParamOutcome => {\n    const scalar = GL_SCALARS.get(parsed.base);\n    if (scalar === undefined) {\n        throw new Error(`Unmapped C base type \"${parsed.base}\" on ${command.name}(${param.name}: ${param.cType})`);\n    }\n    if (parsed.pointers === 0) return { plan: { kind: \"scalar\", scalar } };\n    if (parsed.pointers === 1 && parsed.constData) return { plan: { kind: \"array-in\", scalar } };\n    if (parsed.pointers === 1) return planPointerOut(command, param, scalar, policy);\n    return { reason: \"unsupported-shape\" };\n};\n\nconst planParam = (command: GlCommand, param: GlParam, policy: GlPlanPolicy): ParamOutcome => {\n    const parsed = parseCType(param.cType);\n    const { base, pointers } = parsed;\n    if (CALLBACK_BASES.has(base) || base.startsWith(\"_cl_\")) {\n        return { reason: \"callback-parameter\" };\n    }\n    if (policy.byteOffsetParams.has(`${command.name}:${param.name}`)) {\n        return planByteOffsetParam(parsed);\n    }\n    if (base === GL_SYNC && pointers === 0) return { plan: { kind: \"sync\" } };\n    if (base === \"void\") {\n        if (pointers === 1) return { plan: { kind: \"buffer\" } };\n        return { reason: \"unsupported-shape\" };\n    }\n    if (base === GL_CHAR || base === \"GLcharARB\") return planCharParam(command, param, parsed);\n    if (base === GL_BOOLEAN) {\n        if (pointers === 0) return { plan: { kind: \"boolean\" } };\n        return { reason: \"unsupported-shape\" };\n    }\n    return planScalarParam(command, param, parsed, policy);\n};\n\nconst planReturn = (command: GlCommand): ReturnPlan => {\n    const { base, pointers } = parseCType(command.returnCType);\n    if (base === \"void\" && pointers === 0) return { kind: \"void\" };\n    if (base === \"void\" && pointers === 1) return { kind: \"opaque-pointer\" };\n    if (base === GL_SYNC && pointers === 0) return { kind: \"sync\" };\n    if (base === GL_BOOLEAN && pointers === 0) return { kind: \"boolean\" };\n    if ((base === \"GLubyte\" || base === GL_CHAR) && pointers === 1) return { kind: \"string\" };\n    const scalar = GL_SCALARS.get(base);\n    if (scalar !== undefined && pointers === 0) return { kind: \"scalar\", scalar };\n    throw new Error(`Unmapped return type \"${command.returnCType}\" on ${command.name}`);\n};\n\nexport const planCommand = (command: GlCommand, policy: GlPlanPolicy): CommandPlan => {\n    const params: ParamPlan[] = [];\n    for (const param of command.params) {\n        const outcome = planParam(command, param, policy);\n        if (\"reason\" in outcome) {\n            return { ok: false, command, reason: outcome.reason };\n        }\n        params.push(outcome.plan);\n    }\n    return { ok: true, command, params, returnPlan: planReturn(command) };\n};\n"]}

package/dist/khronos/render.d.ts

@@ -0,0 +1,16 @@
+import type { CommandPlan } from "./plan.js";
+export type RenderedCommand = {
+    exportName: string;
+    binding?: string;
+    declaration: string;
+};
+export declare const renderCommand: (plan: CommandPlan & {
+    ok: true;
+}, feature: string, usedTypes: Set<string>) => RenderedCommand;
+export declare const deriveGenSingular: (plan: CommandPlan & {
+    ok: true;
+}, feature: string, usedTypes: Set<string>) => RenderedCommand | undefined;
+export declare const deriveDeleteSingular: (plan: CommandPlan & {
+    ok: true;
+}, feature: string, usedTypes: Set<string>) => RenderedCommand | undefined;
+//# sourceMappingURL=render.d.ts.map

package/dist/khronos/render.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.d.ts","sourceRoot":"","sources":["../../src/khronos/render.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,WAAW,EAAc,MAAM,WAAW,CAAC;AAqBzD,MAAM,MAAM,eAAe,GAAG;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;CACvB,CAAC;AAyDF,eAAO,MAAM,aAAa,SAChB,WAAW,GAAG;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,WACvB,MAAM,aACJ,GAAG,CAAC,MAAM,CAAC,KACvB,eA0BF,CAAC;AAKF,eAAO,MAAM,iBAAiB,SACpB,WAAW,GAAG;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,WACvB,MAAM,aACJ,GAAG,CAAC,MAAM,CAAC,KACvB,eAAe,GAAG,SAyCpB,CAAC;AAEF,eAAO,MAAM,oBAAoB,SACvB,WAAW,GAAG;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,WACvB,MAAM,aACJ,GAAG,CAAC,MAAM,CAAC,KACvB,eAAe,GAAG,SAoBpB,CAAC"}