semantifold 0.2.0 → 0.3.0

package/build/src/frontends/cpp-parser.d.ts

@@ -0,0 +1,11 @@
+export type CstNode = import("./c-parser.js").CstNode;
+export type CstSnapshot = Readonly<{
+    root: CstNode;
+}>;
+/**
+ * Invokes only the official CPP grammar and receives frozen parser-neutral data.
+ * @param {string} source - Caller-owned C++ source.
+ * @returns {CstSnapshot} CPP grammar snapshot.
+ */
+export declare function parseCppCst(source: string): CstSnapshot;
+//# sourceMappingURL=cpp-parser.d.ts.map

package/build/src/frontends/cpp-parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cpp-parser.d.ts","sourceRoot":"","sources":["../../../src/frontends/cpp-parser.js"],"names":[],"mappings":"AAII,YAA2C,OAAO,GAAxC,OAAO,eAAe,EAAE,OAAO,CAAS;AAClD,YAAqC,WAAW,GAAtC,QAAQ,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAC,CAAC,CAAa;AAKpD;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAHvB,MAGuB,GAFrB,WAAW,CAIvB"}

package/build/src/frontends/cpp-parser.js

@@ -0,0 +1,15 @@
+// @ts-check
+import { createRequire } from "node:module";
+/** @typedef {import("./c-parser.js").CstNode} CstNode */
+/** @typedef {Readonly<{root: CstNode}>} CstSnapshot */
+const require = createRequire(import.meta.url);
+const boundary = /** @type {{parseCst: (source: string, language: "cpp") => CstSnapshot}} */ (require("semantifold-tree-sitter-legacy-internal"));
+/**
+ * Invokes only the official CPP grammar and receives frozen parser-neutral data.
+ * @param {string} source - Caller-owned C++ source.
+ * @returns {CstSnapshot} CPP grammar snapshot.
+ */
+export function parseCppCst(source) {
+    return boundary.parseCst(source, "cpp");
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY3BwLXBhcnNlci5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9mcm9udGVuZHMvY3BwLXBhcnNlci5qcyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxZQUFZO0FBRVosT0FBTyxFQUFDLGFBQWEsRUFBQyxNQUFNLGFBQWEsQ0FBQTtBQUV6Qyx5REFBeUQ7QUFDekQsdURBQXVEO0FBRXZELE1BQU0sT0FBTyxHQUFHLGFBQWEsQ0FBQyxPQUFPLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQTtBQUM5QyxNQUFNLFFBQVEsR0FBRywyRUFBMkUsQ0FBQyxDQUFDLE9BQU8sQ0FBQyx5Q0FBeUMsQ0FBQyxDQUFDLENBQUE7QUFFako7Ozs7R0FJRztBQUNILE1BQU0sVUFBVSxXQUFXLENBQUMsTUFBTTtJQUNoQyxPQUFPLFFBQVEsQ0FBQyxRQUFRLENBQUMsTUFBTSxFQUFFLEtBQUssQ0FBQyxDQUFBO0FBQ3pDLENBQUMiLCJzb3VyY2VzQ29udGVudCI6WyIvLyBAdHMtY2hlY2tcblxuaW1wb3J0IHtjcmVhdGVSZXF1aXJlfSBmcm9tIFwibm9kZTptb2R1bGVcIlxuXG4vKiogQHR5cGVkZWYge2ltcG9ydChcIi4vYy1wYXJzZXIuanNcIikuQ3N0Tm9kZX0gQ3N0Tm9kZSAqL1xuLyoqIEB0eXBlZGVmIHtSZWFkb25seTx7cm9vdDogQ3N0Tm9kZX0+fSBDc3RTbmFwc2hvdCAqL1xuXG5jb25zdCByZXF1aXJlID0gY3JlYXRlUmVxdWlyZShpbXBvcnQubWV0YS51cmwpXG5jb25zdCBib3VuZGFyeSA9IC8qKiBAdHlwZSB7e3BhcnNlQ3N0OiAoc291cmNlOiBzdHJpbmcsIGxhbmd1YWdlOiBcImNwcFwiKSA9PiBDc3RTbmFwc2hvdH19ICovIChyZXF1aXJlKFwic2VtYW50aWZvbGQtdHJlZS1zaXR0ZXItbGVnYWN5LWludGVybmFsXCIpKVxuXG4vKipcbiAqIEludm9rZXMgb25seSB0aGUgb2ZmaWNpYWwgQ1BQIGdyYW1tYXIgYW5kIHJlY2VpdmVzIGZyb3plbiBwYXJzZXItbmV1dHJhbCBkYXRhLlxuICogQHBhcmFtIHtzdHJpbmd9IHNvdXJjZSAtIENhbGxlci1vd25lZCBDKysgc291cmNlLlxuICogQHJldHVybnMge0NzdFNuYXBzaG90fSBDUFAgZ3JhbW1hciBzbmFwc2hvdC5cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHBhcnNlQ3BwQ3N0KHNvdXJjZSkge1xuICByZXR1cm4gYm91bmRhcnkucGFyc2VDc3Qoc291cmNlLCBcImNwcFwiKVxufVxuIl19

package/build/src/frontends/cpp.d.ts

@@ -0,0 +1,227 @@
+export type CstNode = import("./cpp-parser.js").CstNode;
+export type Expression = import("../semantic/types.js").Expression;
+export type Statement = import("../semantic/types.js").Statement;
+/** Strict field-and-token consumer for the private frozen CPP CST. */
+export declare class CppReader {
+    filename: string;
+    source: string;
+    coordinates: {
+        source: string;
+        lineStarts: number[];
+    };
+    generated: boolean;
+    /** @type {Map<string, Expression> | undefined} */
+    temporaryExpressions: Map<string, Expression> | undefined;
+    /** @type {Set<string> | undefined} */
+    temporaryNames: Set<string> | undefined;
+    /** @type {Map<Statement, {node: CstNode, type: string}>} */
+    printTypes: Map<Statement, {
+        node: CstNode;
+        type: string;
+    }>;
+    /** @type {Set<string>} */
+    declaredFunctions: Set<string>;
+    /**
+     * Owns source content and its coordinate index, never native parser handles.
+     * @param {string} filename - Original filename.
+     * @param {string} source - Exact original source.
+     */
+    constructor(filename: string, source: string);
+    /**
+     * Locates one parser-owned range in UTF-16 coordinates.
+     * @param {CstNode} node - Parser node.
+     * @returns {import("../semantic/types.js").SourceLocation} Verified location.
+     */
+    location(node: CstNode): import("../semantic/types.js").SourceLocation;
+    /**
+     * Reads only the spelling of an already recognized parser node.
+     * @param {CstNode} node - Parser node.
+     * @returns {string} Exact token spelling.
+     */
+    text(node: CstNode): string;
+    /**
+     * Rejects a located source-profile violation.
+     * @param {CstNode} node - Rejected node.
+     * @param {string} [detail] - Profile violation.
+     * @returns {never} Always throws.
+     */
+    fail(node: CstNode, detail?: string): never;
+    /**
+     * Traverses all edges before interpreting any source meaning.
+     * @param {CstNode} node - Current parser node.
+     * @param {number} [depth] - Bounded CST traversal depth.
+     * @returns {void}
+     */
+    validateTree(node: CstNode, depth?: number): void;
+    /**
+     * Separates harmless comments after every child has been validated.
+     * @param {CstNode} node - Parent node.
+     * @returns {CstNode[]} Ordered structural children.
+     */
+    parts(node: CstNode): CstNode[];
+    /**
+     * Requires one exact field rather than searching descendants.
+     * @param {CstNode} node - Field owner.
+     * @param {string} name - Field name.
+     * @returns {CstNode} Sole field child.
+     */
+    field(node: CstNode, name: string): CstNode;
+    /**
+     * Consumes every structural child, including punctuation.
+     * @param {CstNode} node - Shape owner.
+     * @param {(CstNode | string)[]} expected - Ordered nodes or token kinds.
+     * @returns {void}
+     */
+    shape(node: CstNode, expected: (CstNode | string)[]): void;
+    /**
+     * Requires an ordinary caller identifier outside the protected namespace.
+     * @param {CstNode} node - Identifier token.
+     * @returns {string} Accepted spelling.
+     */
+    identifier(node: CstNode): string;
+    /**
+     * Converts only the canonical scalar type spellings.
+     * @param {CstNode} node - Type token.
+     * @returns {import("../semantic/types.js").TypeReference} Semantic scalar.
+     */
+    type(node: CstNode): import("../semantic/types.js").TypeReference;
+    /**
+     * Reads exactly one std-qualified scalar name from CPP fields and punctuation.
+     * @param {CstNode} node - Qualified grammar node.
+     * @returns {string} Canonical qualified scalar spelling.
+     */
+    qualified(node: CstNode): string;
+    /**
+     * Converts a direct function call's exact argument list.
+     * @param {CstNode} node - Call node.
+     * @returns {{name: CstNode, arguments: CstNode[]}} Parsed call shape.
+     */
+    call(node: CstNode): {
+        name: CstNode;
+        arguments: CstNode[];
+    };
+    /**
+     * Decodes a parser-backed ordinary CPP string token as UTF-8 bytes.
+     * @param {CstNode} node - String literal.
+     * @returns {string} Complete Unicode scalar value.
+     */
+    string(node: CstNode): string;
+    /**
+     * Converts supported expressions without assuming CPP argument evaluation order.
+     * @param {CstNode} node - Expression node.
+     * @param {boolean} [nested] - Whether a semantic call would have unspecified order.
+     * @returns {Expression} Semantic expression.
+     */
+    expression(node: CstNode, nested?: boolean): Expression;
+    /**
+     * Records parser intent before shared type resolution.
+     * @param {CstNode} node - Owning expression.
+     * @param {string} intent - Adapted operation.
+     * @param {Expression} left - Left operand.
+     * @param {Expression} right - Right operand.
+     * @param {CstNode} operator - Operator token.
+     * @returns {Expression} Pending binary expression.
+     */
+    binary(node: CstNode, intent: string, left: Expression, right: Expression, operator: CstNode): Expression;
+    /**
+     * Records parser intent for a unary operation.
+     * @param {CstNode} node - Owning expression.
+     * @param {"Negate" | "Not"} intent - Adapted operation.
+     * @param {Expression} operand - Operand.
+     * @param {CstNode} operator - Operator token.
+     * @returns {Expression} Pending unary expression.
+     */
+    unary(node: CstNode, intent: "Negate" | "Not", operand: Expression, operator: CstNode): Expression;
+    /**
+     * Converts one initialized declaration or executable statement.
+     * @param {CstNode} node - Statement node.
+     * @returns {Statement} Semantic statement.
+     */
+    statement(node: CstNode): Statement;
+    /**
+     * Converts one lexical braced block in source order.
+     * @param {CstNode} node - Block node.
+     * @returns {import("../semantic/types.js").Block} Semantic block.
+     */
+    block(node: CstNode): import("../semantic/types.js").Block;
+    /**
+     * Converts one namespace-scope semantic function.
+     * @param {CstNode} node - Function definition.
+     * @returns {import("../semantic/types.js").FunctionDeclaration} Semantic function.
+     */
+    function(node: CstNode): import("../semantic/types.js").FunctionDeclaration;
+    /**
+     * Removes only the exact parameterless main and zero-status scaffolding.
+     * @param {CstNode} node - Entry definition.
+     * @returns {import("../semantic/types.js").EntryPoint} Semantic entry.
+     */
+    main(node: CstNode): import("../semantic/types.js").EntryPoint;
+    /**
+     * Converts one complete translation unit after exhaustive recovery rejection.
+     * @param {CstNode} root - Frozen translation unit.
+     * @returns {import("../semantic/types.js").SemanticModule} Validated semantic module.
+     */
+    module(root: CstNode): import("../semantic/types.js").SemanticModule;
+    /**
+     * Checks native print helper selection after semantic scalar resolution.
+     * @param {import("../semantic/types.js").SemanticModule} module - Resolved module.
+     * @returns {void}
+     */
+    validatePrintTypes(module: import("../semantic/types.js").SemanticModule): void;
+    /**
+     * Rejects profile-looking comments outside a complete canonical generated program.
+     * @param {CstNode} node - Current node.
+     * @returns {void}
+     */
+    rejectScaffoldComments(node: CstNode): void;
+    /**
+     * Retains every scaffold comment and structural edge, ignoring only ordinary comments.
+     * @param {CstNode} node - CST parent.
+     * @returns {CstNode[]} Complete significant child list.
+     */
+    significant(node: CstNode): CstNode[];
+    /**
+     * Verifies every token, field, type, use, ordering edge and consumer against the canonical plan.
+     * This checks the original CST; it never recovers meaning from generated source text.
+     * @param {CstNode} actual - Original tree node.
+     * @param {CstNode} expected - Canonical tree node for the reconstructed semantics.
+     * @param {CppReader} canonical - Canonical token reader.
+     * @returns {void}
+     */
+    compareTree(actual: CstNode, expected: CstNode, canonical: CppReader): void;
+    /**
+     * Recognizes the shape of an inert generated unused-binding cast; canonical comparison checks its exact target and placement.
+     * @param {CstNode} node - Candidate statement.
+     * @returns {boolean} Whether this is a discard-shaped candidate.
+     */
+    discard(node: CstNode): boolean;
+    /**
+     * Reconstructs paired statement regions before mandatory whole-CST canonical verification.
+     * @param {CstNode[]} children - Ordered block children without braces or main cleanup.
+     * @returns {Statement[]} Candidate semantic statements.
+     */
+    generatedStatements(children: CstNode[]): Statement[];
+    /**
+     * Identifies only a declaration at the current region level, without descendant searching.
+     * @param {CstNode} node - Candidate node.
+     * @returns {boolean} Whether the direct initialized name uses the reserved prefix.
+     */
+    temporaryDeclaration(node: CstNode): boolean;
+    /**
+     * Expands one candidate temporary, including its conditional RHS, retaining original operation tokens.
+     * @param {CstNode[]} nodes - Current lexical sequence.
+     * @param {number} cursor - Declaration position.
+     * @returns {number} Next unconsumed position.
+     */
+    readTemporary(nodes: CstNode[], cursor: number): number;
+}
+/**
+ * Parses only the frozen legacy CST, with no source-text recovery path.
+ * @param {{filename: string, source: string}} input - Exact caller source.
+ * @returns {import("../semantic/types.js").SemanticModule} Parsed C++ semantics.
+ */
+export declare function parseCpp({ filename, source }: {
+    filename: string;
+    source: string;
+}): import("../semantic/types.js").SemanticModule;
+//# sourceMappingURL=cpp.d.ts.map

package/build/src/frontends/cpp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cpp.d.ts","sourceRoot":"","sources":["../../../src/frontends/cpp.js"],"names":[],"mappings":"AAkBI,YAA6C,OAAO,GAA1C,OAAO,iBAAiB,EAAE,OAAO,CAAS;AACpD,YAAqD,UAAU,GAArD,OAAO,sBAAsB,EAAE,UAAU,CAAY;AAC/D,YAAoD,SAAS,GAAnD,OAAO,sBAAsB,EAAE,SAAS,CAAW;AAajE,sEAAsE;AACtE,qBAAa,SAAS;IAOb,QAAQ;IACR,MAAM;IACN,WAAW;;;;IACX,SAAS;IACd,kDAAkD;IAC7C,oBAAoB,EADd,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,SAAS;IAE9C,sCAAsC;IACjC,cAAc,EADR,GAAG,CAAC,MAAM,CAAC,GAAG,SAAS;IAElC,4DAA4D;IACvD,UAAU,EADJ,GAAG,CAAC,SAAS,EAAE;QAAC,IAAI,EAAE,OAAO,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,CAAC;IAExD,0BAA0B;IACrB,iBAAiB,EADX,GAAG,CAAC,MAAM,CAAC;IAhBxB;;;;OAIG;IACH,YAAY,QAAQ,EAHT,MAGS,EAAE,MAAM,EAFjB,MAEiB,EAa3B;IAED;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAHF,OAGE,GAFA,OAAO,sBAAsB,EAAE,cAAc,CAIzD;IAED;;;;OAIG;IACH,IAAI,CAAC,IAAI,EAHE,OAGF,GAFI,MAAM,CAIlB;IAED;;;;;OAKG;IACH,IAAI,CAAC,IAAI,EAJE,OAIF,EAAE,MAAM,AAHd,CACA,EADQ,MAGkB,GAFhB,KAAK,CAIjB;IAED;;;;;OAKG;IACH,YAAY,CAAC,IAAI,EAJN,OAIM,EAAE,KAAK,AAHrB,CACA,EADQ,MAGiB,GAFf,IAAI,CAoBhB;IAED;;;;OAIG;IACH,KAAK,CAAC,IAAI,EAHC,OAGD,GAFG,OAAO,EAAE,CAIrB;IAED;;;;;OAKG;IACH,KAAK,CAAC,IAAI,EAJC,OAID,EAAE,IAAI,EAHL,MAGK,GAFH,OAAO,CAOnB;IAED;;;;;OAKG;IACH,KAAK,CAAC,IAAI,EAJC,OAID,EAAE,QAAQ,EAHT,CAAC,OAAO,GAAG,MAAM,CAAC,EAGT,GAFP,IAAI,CAOhB;IAED;;;;OAIG;IACH,UAAU,CAAC,IAAI,EAHJ,OAGI,GAFF,MAAM,CAOlB;IAED;;;;OAIG;IACH,IAAI,CAAC,IAAI,EAHE,OAGF,GAFI,OAAO,sBAAsB,EAAE,aAAa,CAUxD;IAED;;;;OAIG;IACH,SAAS,CAAC,IAAI,EAHH,OAGG,GAFD,MAAM,CAUlB;IAED;;;;OAIG;IACH,IAAI,CAAC,IAAI,EAHE,OAGF,GAFI;QAAC,IAAI,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,OAAO,EAAE,CAAA;KAAC,CAcjD;IAED;;;;OAIG;IACH,MAAM,CAAC,IAAI,EAHA,OAGA,GAFE,MAAM,CA2ClB;IAED;;;;;OAKG;IACH,UAAU,CAAC,IAAI,EAJJ,OAII,EAAE,MAAM,AAHpB,CACA,EADQ,OAGoB,GAFlB,UAAU,CA6FtB;IAED;;;;;;;;OAQG;IACH,MAAM,CAAC,IAAI,EAPA,OAOA,EAAE,MAAM,EANR,MAMQ,EAAE,IAAI,EALd,UAKc,EAAE,KAAK,EAJrB,UAIqB,EAAE,QAAQ,EAH/B,OAG+B,GAF7B,UAAU,CAKtB;IAED;;;;;;;OAOG;IACH,KAAK,CAAC,IAAI,EANC,OAMD,EAAE,MAAM,EALP,QAAQ,GAAG,KAKJ,EAAE,OAAO,EAJhB,UAIgB,EAAE,QAAQ,EAH1B,OAG0B,GAFxB,UAAU,CAKtB;IAED;;;;OAIG;IACH,SAAS,CAAC,IAAI,EAHH,OAGG,GAFD,SAAS,CAqErB;IAED;;;;OAIG;IACH,KAAK,CAAC,IAAI,EAHC,OAGD,GAFG,OAAO,sBAAsB,EAAE,KAAK,CAUhD;IAED;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAHF,OAGE,GAFA,OAAO,sBAAsB,EAAE,mBAAmB,CA2B9D;IAED;;;;OAIG;IACH,IAAI,CAAC,IAAI,EAHE,OAGF,GAFI,OAAO,sBAAsB,EAAE,UAAU,CA0BrD;IAED;;;;OAIG;IACH,MAAM,CAAC,IAAI,EAHA,OAGA,GAFE,OAAO,sBAAsB,EAAE,cAAc,CAkCzD;IAED;;;;OAIG;IACH,kBAAkB,CAAC,MAAM,EAHd,OAAO,sBAAsB,EAAE,cAGjB,GAFZ,IAAI,CA8BhB;IAED;;;;OAIG;IACH,sBAAsB,CAAC,IAAI,EAHhB,OAGgB,GAFd,IAAI,CAKhB;IAED;;;;OAIG;IACH,WAAW,CAAC,IAAI,EAHL,OAGK,GAFH,OAAO,EAAE,CAKrB;IAED;;;;;;;OAOG;IACH,WAAW,CAAC,MAAM,EALP,OAKO,EAAE,QAAQ,EAJjB,OAIiB,EAAE,SAAS,EAH5B,SAG4B,GAF1B,IAAI,CAahB;IAED;;;;OAIG;IACH,OAAO,CAAC,IAAI,EAHD,OAGC,GAFC,OAAO,CAInB;IAED;;;;OAIG;IACH,mBAAmB,CAAC,QAAQ,EAHjB,OAAO,EAGU,GAFf,SAAS,EAAE,CAmCvB;IAED;;;;OAIG;IACH,oBAAoB,CAAC,IAAI,EAHd,OAGc,GAFZ,OAAO,CAQnB;IAED;;;;;OAKG;IACH,aAAa,CAAC,KAAK,EAJR,OAAO,EAIC,EAAE,MAAM,EAHhB,MAGgB,GAFd,MAAM,CA0DlB;CACF;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,EAAC,QAAQ,EAAE,MAAM,EAAC,EAHhC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAGD,GAF9B,OAAO,sBAAsB,EAAE,cAAc,CAuCzD"}