semantifold 0.3.0 → 0.4.0

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

@@ -1,12 +1,129 @@
+export type PhpConversionContext = {
+    /**
+     * - Explicitly typed visible bindings.
+     */
+    bindings: Map<string, import("../semantic/types.js").SemanticBindingType>;
+    /**
+     * - Reference classes by identity.
+     */
+    classes: Map<string, import("../semantic/types.js").ClassDeclaration>;
+    /**
+     * - Enclosing reference class.
+     */
+    currentClass?: import("../semantic/types.js").ClassDeclaration;
+    /**
+     * - Error declarations by source name.
+     */
+    errorNames: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+    /**
+     * - Error declarations by identity.
+     */
+    errors: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+    /**
+     * - Explicit module function signatures.
+     */
+    functions: Map<string, PhpFunctionSignature>;
+    /**
+     * - Exact local declarations selected by parser-owned pair iteration.
+     */
+    orderedMapDeclarations?: Set<object>;
+    /**
+     * - Nominal declarations by source name.
+     */
+    recordNames: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>;
+    /**
+     * - Record declarations by identity.
+     */
+    records: Map<string, import("../semantic/types.js").RecordDeclaration>;
+    /**
+     * - Enclosing return type.
+     */
+    returnType: import("../semantic/types.js").SemanticFunctionReturnType | undefined;
+    /**
+     * - Declaration-scoped parameters.
+     */
+    typeParameters?: Map<string, import("../semantic/types.js").TypeParameter>;
+};
+export type PhpFunctionSignature = {
+    /**
+     * - Complete declaration location.
+     */
+    location: import("../semantic/types.js").SourceLocation;
+    /**
+     * - Parser-owned name location.
+     */
+    nameLocation: import("../semantic/types.js").SourceLocation;
+    /**
+     * - Function name.
+     */
+    name: string;
+    /**
+     * - Semantic parameters.
+     */
+    parameters: import("../semantic/types.js").Parameter[];
+    /**
+     * - Semantic return type.
+     */
+    returnType: import("../semantic/types.js").SemanticFunctionReturnType;
+    /**
+     * - Declaration-scoped parameters.
+     */
+    typeParameters?: import("../semantic/types.js").TypeParameter[];
+};
 /**
  * Parses PHP into the shared semantic module.
  * @param {object} input - Parser input.
  * @param {string} input.filename - Source filename.
  * @param {string} input.source - Source text.
+ * @param {readonly import("../semantic/types.js").EffectCapabilityDeclaration[]} [input.capabilities] - Compiler-authorized declarations.
+ * @param {{isEntry: boolean, functions: Map<string, import("../semantic/types.js").FunctionDeclaration>, records: Map<string, import("../semantic/types.js").RecordDeclaration>, errors?: Map<string, import("../semantic/types.js").ErrorDeclaration>}} [input.program] - Resolved program imports and entry role.
  * @returns {import("../semantic/types.js").SemanticModule} Semantic module.
  */
-export declare function parsePhp({ filename, source }: {
+export declare function parsePhp({ capabilities, filename, source, program: programContext }: {
     filename: string;
     source: string;
+    capabilities?: readonly import("../semantic/types.js").EffectCapabilityDeclaration[];
+    program?: {
+        isEntry: boolean;
+        functions: Map<string, import("../semantic/types.js").FunctionDeclaration>;
+        records: Map<string, import("../semantic/types.js").RecordDeclaration>;
+        errors?: Map<string, import("../semantic/types.js").ErrorDeclaration>;
+    };
 }): import("../semantic/types.js").SemanticModule;
+/**
+ * Reads the canonical parser-owned PHP namespace, use bindings, and literal require_once edges.
+ * @param {object} input - Parser input.
+ * @param {string} input.filename - Source filename.
+ * @param {string} input.source - Source text.
+ * @returns {{bindings: {importedName: string, localName: string, location: import("../semantic/types.js").SourceLocation, nativeName: string, symbolKind: import("../semantic/types.js").SemanticDeclarationKind, typeOnly: false}[], imports: {importedName: string, localName: string, location: import("../semantic/types.js").SourceLocation, namespace: true, pathLocation: import("../semantic/types.js").SourceLocation, specifier: string, typeOnly: false}[], exports: {exportedName: string, localName: string, location: import("../semantic/types.js").SourceLocation, typeOnly: false}[], nativeName: string}} Parser-owned PHP module header.
+ */
+export declare function inspectPhpModule({ filename, source }: {
+    filename: string;
+    source: string;
+}): {
+    bindings: {
+        importedName: string;
+        localName: string;
+        location: import("../semantic/types.js").SourceLocation;
+        nativeName: string;
+        symbolKind: import("../semantic/types.js").SemanticDeclarationKind;
+        typeOnly: false;
+    }[];
+    imports: {
+        importedName: string;
+        localName: string;
+        location: import("../semantic/types.js").SourceLocation;
+        namespace: true;
+        pathLocation: import("../semantic/types.js").SourceLocation;
+        specifier: string;
+        typeOnly: false;
+    }[];
+    exports: {
+        exportedName: string;
+        localName: string;
+        location: import("../semantic/types.js").SourceLocation;
+        typeOnly: false;
+    }[];
+    nativeName: string;
+};
 //# sourceMappingURL=php.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"php.d.ts","sourceRoot":"","sources":["../../../src/frontends/php.js"],"names":[],"mappings":"AA8fA;;;;;;GAMG;AACH,wBAAgB,QAAQ,CAAC,EAAC,QAAQ,EAAE,MAAM,EAAC,EAJxC;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;CAEwC,GAF9B,OAAO,sBAAsB,EAAE,cAAc,CAiCzD"}
+{"version":3,"file":"php.d.ts","sourceRoot":"","sources":["../../../src/frontends/php.js"],"names":[],"mappings":"AAuCG,YAAS,oBAAoB,GAC7B;;;;IAA4E,QAAQ,EAAzE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAC1E;;;;IAAyE,OAAO,EAArE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAA6D,YAAY,AAAzE,CACA,EADW,OAAO,sBAAsB,EAAE,gBAAgB,CAC1D;;;;IAAyE,UAAU,EAAxE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAAyE,MAAM,EAApE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAA8C,SAAS,EAA5C,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAC5C;;;;IAAyB,sBAAsB,AAA/C,CACA,EADW,GAAG,CAAC,MAAM,CAAC,CACtB;;;;IAAuL,WAAW,EAAvL,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,GAAG,OAAO,sBAAsB,EAAE,gBAAgB,GAAG,OAAO,sBAAsB,EAAE,yBAAyB,CAAC,CACrL;;;;IAA0E,OAAO,EAAtE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CACxE;;;;IAAkF,UAAU,EAAjF,OAAO,sBAAsB,EAAE,0BAA0B,GAAG,SAAS,CAChF;;;;IAAuE,cAAc,AAArF,CACF,EADa,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,aAAa,CAAC,CACtE;CAAA,CAAA;AAGE,YAAS,oBAAoB,GAC7B;;;;IAA0D,QAAQ,EAAvD,OAAO,sBAAsB,EAAE,cAAc,CACxD;;;;IAA0D,YAAY,EAA3D,OAAO,sBAAsB,EAAE,cAAc,CACxD;;;;IAAmB,IAAI,EAAZ,MAAM,CACjB;;;;IAAuD,UAAU,EAAtD,OAAO,sBAAsB,EAAE,SAAS,EAAE,CACrD;;;;IAAsE,UAAU,EAArE,OAAO,sBAAsB,EAAE,0BAA0B,CACpE;;;;IAA4D,cAAc,AAA1E,CACF,EADa,OAAO,sBAAsB,EAAE,aAAa,EAAE,CAC3D;CAAA,CAAA;AAoyDD;;;;;;;;GAQG;AACH,wBAAgB,QAAQ,CAAC,EAAC,YAAiB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAC,EANpF;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;IAAsF,YAAY,AAAlG,CACA,EADQ,SAAS,OAAO,sBAAsB,EAAE,2BAA2B,EAAE,CAC7E;IAA8P,OAAO,AAArQ,CACA,EADQ;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAAC;QAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAA;KAAC,CACrP;CAEoF,GAF1E,OAAO,sBAAsB,EAAE,cAAc,CA2HzD;AAsCD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,EAAC,QAAQ,EAAE,MAAM,EAAC,EAJhD;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;CAEgD,GAFtC;IAAC,QAAQ,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,uBAAuB,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,OAAO,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,IAAI,CAAC;QAAC,YAAY,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,OAAO,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAC,CA0E1lB"}