semantifold 0.3.0 → 0.5.0

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

@@ -0,0 +1,74 @@
+export type ProgramSource = {
+    facade?: import("../stdlib-facades.js").StdlibFacadeRecord;
+    filename: string;
+    id: string;
+    language: import("../semantic/types.js").SemanticLanguage;
+    ownership: "application" | "facade";
+    source: string;
+};
+export type ProgramImportRequest = {
+    declarationLocation?: import("../semantic/types.js").SourceLocation;
+    facade?: import("../stdlib-facades.js").StdlibFacadeRecord;
+    importedName: string;
+    importedNameLocation?: import("../semantic/types.js").SourceLocation;
+    localName: string;
+    localNameLocation?: import("../semantic/types.js").SourceLocation;
+    location: import("../semantic/types.js").SourceLocation;
+    namespace?: boolean;
+    pathLocation: import("../semantic/types.js").SourceLocation;
+    specifier: string;
+    stdlibCandidate?: true;
+    typeOnly: boolean;
+};
+export type ProgramNativeBinding = {
+    importedName: string;
+    localName: string;
+    location: import("../semantic/types.js").SourceLocation;
+    nativeName: string;
+    symbolKind: import("../semantic/types.js").SemanticDeclarationKind;
+    typeOnly: boolean;
+};
+export type ProgramHeader = {
+    imports: ProgramImportRequest[];
+    exports: {
+        declarationLocation?: import("../semantic/types.js").SourceLocation;
+        exportedName: string;
+        exportedNameLocation?: import("../semantic/types.js").SourceLocation;
+        localName: string;
+        localNameLocation?: import("../semantic/types.js").SourceLocation;
+        location: import("../semantic/types.js").SourceLocation;
+        symbolKind?: import("../semantic/types.js").SemanticDeclarationKind;
+        typeOnly: boolean;
+    }[];
+    bindings?: ProgramNativeBinding[];
+    nativeName?: string;
+    nativeReferences?: {
+        form: "constructor-call" | "receiver-call" | "unqualified-call";
+        location: import("../semantic/types.js").SourceLocation;
+        nativeModule: string;
+        symbol: string;
+    }[];
+};
+/** @typedef {{facade?: import("../stdlib-facades.js").StdlibFacadeRecord, filename: string, id: string, language: import("../semantic/types.js").SemanticLanguage, ownership: "application" | "facade", source: string}} ProgramSource */
+/** @typedef {{declarationLocation?: import("../semantic/types.js").SourceLocation, facade?: import("../stdlib-facades.js").StdlibFacadeRecord, importedName: string, importedNameLocation?: import("../semantic/types.js").SourceLocation, localName: string, localNameLocation?: import("../semantic/types.js").SourceLocation, location: import("../semantic/types.js").SourceLocation, namespace?: boolean, pathLocation: import("../semantic/types.js").SourceLocation, specifier: string, stdlibCandidate?: true, typeOnly: boolean}} ProgramImportRequest */
+/** @typedef {{importedName: string, localName: string, location: import("../semantic/types.js").SourceLocation, nativeName: string, symbolKind: import("../semantic/types.js").SemanticDeclarationKind, typeOnly: boolean}} ProgramNativeBinding */
+/** @typedef {{imports: ProgramImportRequest[], exports: {declarationLocation?: import("../semantic/types.js").SourceLocation, exportedName: string, exportedNameLocation?: import("../semantic/types.js").SourceLocation, localName: string, localNameLocation?: import("../semantic/types.js").SourceLocation, location: import("../semantic/types.js").SourceLocation, symbolKind?: import("../semantic/types.js").SemanticDeclarationKind, typeOnly: boolean}[], bindings?: ProgramNativeBinding[], nativeName?: string, nativeReferences?: {form: "constructor-call" | "receiver-call" | "unqualified-call", location: import("../semantic/types.js").SourceLocation, nativeModule: string, symbol: string}[]}} ProgramHeader */
+/**
+ * Parses an explicit caller-supplied multi-source program without filesystem discovery.
+ * @param {object} input - Program parse request.
+ * @param {string} input.entryModule - Sole entry module identity.
+ * @param {{filename: string, id: string, language: import("../semantic/types.js").SemanticLanguage, source: string}[]} input.sources - Complete source set.
+ * @param {Readonly<import("../semantic/types.js").CapabilityAuthority> | import("../semantic/types.js").CapabilityAuthorityInput} [input.capabilityAuthority] - Explicit compiler authority.
+ * @returns {import("../semantic/types.js").SemanticProgram} Resolved semantic program.
+ */
+export declare function parseProgramSource(input: {
+    entryModule: string;
+    sources: {
+        filename: string;
+        id: string;
+        language: import("../semantic/types.js").SemanticLanguage;
+        source: string;
+    }[];
+    capabilityAuthority?: Readonly<import("../semantic/types.js").CapabilityAuthority> | import("../semantic/types.js").CapabilityAuthorityInput;
+}): import("../semantic/types.js").SemanticProgram;
+//# sourceMappingURL=program.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"program.d.ts","sourceRoot":"","sources":["../../../src/frontends/program.js"],"names":[],"mappings":"AAqBI,YAAsN,aAAa,GAAzN;IAAC,MAAM,CAAC,EAAE,OAAO,sBAAsB,EAAE,kBAAkB,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC;IAAC,SAAS,EAAE,aAAa,GAAG,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAC,CAAe;AACnO,YAAwgB,oBAAoB,GAAlhB;IAAC,mBAAmB,CAAC,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IAAC,MAAM,CAAC,EAAE,OAAO,sBAAsB,EAAE,kBAAkB,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,oBAAoB,CAAC,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,iBAAiB,CAAC,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAAC,YAAY,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,eAAe,CAAC,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAC,CAAsB;AAC5hB,YAAyN,oBAAoB,GAAnO;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,uBAAuB,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAC,CAAsB;AAC7O,YAAirB,aAAa,GAAprB;IAAC,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAAC,OAAO,EAAE;QAAC,mBAAmB,CAAC,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,oBAAoB,CAAC,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,iBAAiB,CAAC,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,UAAU,CAAC,EAAE,OAAO,sBAAsB,EAAE,uBAAuB,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,oBAAoB,EAAE,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,gBAAgB,CAAC,EAAE;QAAC,IAAI,EAAE,kBAAkB,GAAG,eAAe,GAAG,kBAAkB,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAC,EAAE,CAAA;CAAC,CAAe;AAHlsB,0OAA0O;AAC1O,miBAAmiB;AACniB,oPAAoP;AACpP,qsBAAqsB;AAErsB;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EALrC;IAAsB,WAAW,EAAzB,MAAM,CACd;IAA2H,OAAO,EAA1H;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAC,EAAE,CACnH;IAAuI,mBAAmB,AAA1J,CACA,EADQ,QAAQ,CAAC,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,GAAG,OAAO,sBAAsB,EAAE,wBAAwB,CAC9H;CAEqC,GAF3B,OAAO,sBAAsB,EAAE,eAAe,CA+V1D"}