semantifold 0.1.1 → 0.3.0

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

@@ -0,0 +1,220 @@
+export type CstNode = import("./c-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 C CST. */
+export declare class CReader {
+    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.
+     * @returns {void}
+     */
+    validateTree(node: CstNode): 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;
+    /**
+     * 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 C 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 C 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 file-local 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 main cleanup and 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 {CReader} canonical - Canonical token reader.
+     * @returns {void}
+     */
+    compareTree(actual: CstNode, expected: CstNode, canonical: CReader): 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 parseC({ filename, source }: {
+    filename: string;
+    source: string;
+}): import("../semantic/types.js").SemanticModule;
+//# sourceMappingURL=c.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"c.d.ts","sourceRoot":"","sources":["../../../src/frontends/c.js"],"names":[],"mappings":"AAgBI,YAA2C,OAAO,GAAxC,OAAO,eAAe,EAAE,OAAO,CAAS;AAClD,YAAqD,UAAU,GAArD,OAAO,sBAAsB,EAAE,UAAU,CAAY;AAC/D,YAAoD,SAAS,GAAnD,OAAO,sBAAsB,EAAE,SAAS,CAAW;AAajE,oEAAoE;AACpE,qBAAa,OAAO;IAOX,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;;;;OAIG;IACH,YAAY,CAAC,IAAI,EAHN,OAGM,GAFJ,IAAI,CAmBhB;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,CAQxD;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,CA0ClB;IAED;;;;;OAKG;IACH,UAAU,CAAC,IAAI,EAJJ,OAII,EAAE,MAAM,AAHpB,CACA,EADQ,OAGoB,GAFlB,UAAU,CA8EtB;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,CAkCrD;IAED;;;;OAIG;IACH,MAAM,CAAC,IAAI,EAHA,OAGA,GAFE,OAAO,sBAAsB,EAAE,cAAc,CA+BzD;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,OAG4B,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,MAAM,CAAC,EAAC,QAAQ,EAAE,MAAM,EAAC,EAH9B;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAGH,GAF5B,OAAO,sBAAsB,EAAE,cAAc,CAmCzD"}