@typespec/compiler 0.60.0-dev.9 → 0.60.1

package/dist/src/core/source-loader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-loader.d.ts","sourceRoot":"","sources":["../../../src/core/source-loader.ts"],"names":[],"mappings":"AAIA,OAAO,EAEL,WAAW,EAIZ,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EACL,gBAAgB,EAGhB,QAAQ,EACR,YAAY,EACZ,UAAU,EAEV,MAAM,EACN,KAAK,YAAY,EACjB,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACxB,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,gBAAgB;IAC/B,4BAA4B;IAC5B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAEtD,+CAA+C;IAC/C,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IAEtD,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;IAChE,QAAQ,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC;IAEhE,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAED,UAAU,wBAAwB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,WAAW,CAAC;CACvB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,KAAK,kBAAkB,GAAG,SAAS,CAAC;CACxE;AAED,MAAM,WAAW,YAAY;IAC3B,UAAU,CACR,IAAI,EAAE,MAAM,EACZ,eAAe,CAAC,EAAE,eAAe,EACjC,IAAI,CAAC,EAAE,QAAQ,GAAG,YAAY,GAC7B,OAAO,CAAC,IAAI,CAAC,CAAC;IACjB,UAAU,CACR,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,gBAAgB,GAAG,OAAO,QAAQ,EAC1C,UAAU,EAAE,MAAM,EAClB,eAAe,CAAC,EAAE,eAAe,GAChC,OAAO,CAAC,IAAI,CAAC,CAAC;IACjB,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;CACvC;AAED;;;;GAIG;AACH,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,YAAY,EAClB,OAAO,CAAC,EAAE,iBAAiB,GAC1B,OAAO,CAAC,YAAY,CAAC,CAgPvB;AAqBD,wBAAsB,UAAU,CAC9B,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,MAAM,EACZ,gBAAgB,EAAE,gBAAgB,GAAG,OAAO,QAAQ,GACnD,OAAO,CAAC,CAAC,gBAAgB,GAAG,SAAS,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC,CA+BhE"}

package/dist/src/core/source-loader.js

@@ -0,0 +1,241 @@
+import { deepEquals, doIO, resolveTspMain } from "../utils/misc.js";
+import { compilerAssert, createDiagnosticCollector } from "./diagnostics.js";
+import { resolveTypeSpecEntrypointForDir } from "./entrypoint-resolution.js";
+import { createDiagnostic } from "./messages.js";
+import { resolveModule, } from "./module-resolver.js";
+import { isImportStatement, parse } from "./parser.js";
+import { getDirectoryPath } from "./path-utils.js";
+import { createSourceFile } from "./source-file.js";
+import { NoTarget, SyntaxKind, } from "./types.js";
+/**
+ * Create a TypeSpec source loader. This will be able to resolve and load TypeSpec and JS files.
+ * @param host Compiler host
+ * @param options Loading options
+ */
+export async function createSourceLoader(host, options) {
+    const diagnostics = createDiagnosticCollector();
+    const tracer = options?.tracer;
+    const seenSourceFiles = new Set();
+    const sourceFileLocationContexts = new WeakMap();
+    const sourceFiles = new Map();
+    const jsSourceFiles = new Map();
+    const loadedLibraries = new Map();
+    async function importFile(path, locationContext, kind = "import") {
+        const sourceFileKind = host.getSourceFileKind(path);
+        switch (sourceFileKind) {
+            case "js":
+                await importJsFile(path, locationContext, NoTarget);
+                break;
+            case "typespec":
+                await loadTypeSpecFile(path, locationContext, NoTarget);
+                break;
+            default:
+                diagnostics.add(createDiagnostic({
+                    code: kind === "import" ? "invalid-import" : "invalid-main",
+                    target: NoTarget,
+                }));
+        }
+    }
+    return {
+        importFile,
+        importPath,
+        resolution: {
+            sourceFiles,
+            jsSourceFiles,
+            locationContexts: sourceFileLocationContexts,
+            loadedLibraries: loadedLibraries,
+            diagnostics: diagnostics.diagnostics,
+        },
+    };
+    async function loadTypeSpecFile(path, locationContext, diagnosticTarget) {
+        if (seenSourceFiles.has(path)) {
+            return;
+        }
+        seenSourceFiles.add(path);
+        const file = await doIO(host.readFile, path, (x) => diagnostics.add(x), {
+            diagnosticTarget,
+        });
+        if (file) {
+            sourceFileLocationContexts.set(file, locationContext);
+            await loadTypeSpecScript(file);
+        }
+    }
+    async function loadTypeSpecScript(file) {
+        // This is not a diagnostic because the compiler should never reuse the same path.
+        // It's the caller's responsibility to use unique paths.
+        if (sourceFiles.has(file.path)) {
+            throw new RangeError("Duplicate script path: " + file.path);
+        }
+        const script = parseOrReuse(file);
+        for (const diagnostic of script.parseDiagnostics) {
+            diagnostics.add(diagnostic);
+        }
+        sourceFiles.set(file.path, script);
+        await loadScriptImports(script);
+        return script;
+    }
+    function parseOrReuse(file) {
+        if (options?.getCachedScript) {
+            const old = options.getCachedScript(file);
+            if (old?.file === file && deepEquals(old.parseOptions, options.parseOptions)) {
+                return old;
+            }
+        }
+        const script = parse(file, options?.parseOptions);
+        host.parseCache?.set(file, script);
+        return script;
+    }
+    async function loadScriptImports(file) {
+        // collect imports
+        const basedir = getDirectoryPath(file.file.path);
+        await loadImports(file.statements.filter(isImportStatement).map((x) => ({ path: x.path.value, target: x })), basedir, getSourceFileLocationContext(file.file));
+    }
+    function getSourceFileLocationContext(sourcefile) {
+        const locationContext = sourceFileLocationContexts.get(sourcefile);
+        compilerAssert(locationContext, "SourceFile should have a declaration locationContext.");
+        return locationContext;
+    }
+    async function loadImports(imports, relativeTo, locationContext) {
+        // collect imports
+        for (const { path, target } of imports) {
+            await importPath(path, target, relativeTo, locationContext);
+        }
+    }
+    async function importPath(path, target, relativeTo, locationContext = { type: "project" }) {
+        const library = await resolveTypeSpecLibrary(path, relativeTo, target);
+        if (library === undefined) {
+            return;
+        }
+        if (library.type === "module") {
+            loadedLibraries.set(library.manifest.name, {
+                path: library.path,
+                manifest: library.manifest,
+            });
+            tracer?.trace("import-resolution.library", `Loading library "${path}" from "${library.mainFile}"`);
+            const metadata = computeModuleMetadata(library);
+            locationContext = {
+                type: "library",
+                metadata,
+            };
+        }
+        const importFilePath = library.type === "module" ? library.mainFile : library.path;
+        const isDirectory = (await host.stat(importFilePath)).isDirectory();
+        if (isDirectory) {
+            await loadDirectory(importFilePath, locationContext, target);
+            return;
+        }
+        return importFile(importFilePath, locationContext);
+    }
+    /**
+     * resolves a module specifier like "myLib" to an absolute path where we can find the main of
+     * that module, e.g. "/typespec/node_modules/myLib/main.tsp".
+     */
+    async function resolveTypeSpecLibrary(specifier, baseDir, target) {
+        try {
+            return await resolveModule(getResolveModuleHost(), specifier, {
+                baseDir,
+                directoryIndexFiles: ["main.tsp", "index.mjs", "index.js"],
+                resolveMain(pkg) {
+                    // this lets us follow node resolve semantics more-or-less exactly
+                    // but using tspMain instead of main.
+                    return resolveTspMain(pkg) ?? pkg.main;
+                },
+            });
+        }
+        catch (e) {
+            if (e.code === "MODULE_NOT_FOUND") {
+                diagnostics.add(createDiagnostic({ code: "import-not-found", format: { path: specifier }, target }));
+                return undefined;
+            }
+            else if (e.code === "INVALID_MAIN") {
+                diagnostics.add(createDiagnostic({
+                    code: "library-invalid",
+                    format: { path: specifier },
+                    messageId: "tspMain",
+                    target,
+                }));
+                return undefined;
+            }
+            else {
+                throw e;
+            }
+        }
+    }
+    async function loadDirectory(dir, locationContext, diagnosticTarget) {
+        const mainFile = await resolveTypeSpecEntrypointForDir(host, dir, (x) => diagnostics.add(x));
+        await loadTypeSpecFile(mainFile, locationContext, diagnosticTarget);
+        return mainFile;
+    }
+    /**
+     * Import the Javascript files decorator and lifecycle hooks.
+     */
+    async function importJsFile(path, locationContext, diagnosticTarget) {
+        const sourceFile = jsSourceFiles.get(path);
+        if (sourceFile !== undefined) {
+            return sourceFile;
+        }
+        const file = diagnostics.pipe(await loadJsFile(host, path, diagnosticTarget));
+        if (file !== undefined) {
+            sourceFileLocationContexts.set(file.file, locationContext);
+            jsSourceFiles.set(path, file);
+        }
+        return file;
+    }
+    function getResolveModuleHost() {
+        return {
+            realpath: host.realpath,
+            stat: host.stat,
+            readFile: async (path) => {
+                const file = await host.readFile(path);
+                return file.text;
+            },
+        };
+    }
+}
+function computeModuleMetadata(module) {
+    const metadata = {
+        type: "module",
+        name: module.manifest.name,
+    };
+    if (module.manifest.homepage) {
+        metadata.homepage = module.manifest.homepage;
+    }
+    if (module.manifest.bugs?.url) {
+        metadata.bugs = { url: module.manifest.bugs?.url };
+    }
+    if (module.manifest.version) {
+        metadata.version = module.manifest.version;
+    }
+    return metadata;
+}
+export async function loadJsFile(host, path, diagnosticTarget) {
+    const file = createSourceFile("", path);
+    const diagnostics = [];
+    const exports = await doIO(host.getJsImport, path, (x) => diagnostics.push(x), {
+        diagnosticTarget,
+        jsDiagnosticTarget: { file, pos: 0, end: 0 },
+    });
+    if (!exports) {
+        return [undefined, diagnostics];
+    }
+    const node = {
+        kind: SyntaxKind.JsSourceFile,
+        id: {
+            kind: SyntaxKind.Identifier,
+            sv: "",
+            pos: 0,
+            end: 0,
+            symbol: undefined,
+            flags: 8 /* NodeFlags.Synthetic */,
+        },
+        esmExports: exports,
+        file,
+        namespaceSymbols: [],
+        symbol: undefined,
+        pos: 0,
+        end: 0,
+        flags: 0 /* NodeFlags.None */,
+    };
+    return [node, diagnostics];
+}
+//# sourceMappingURL=source-loader.js.map

package/dist/src/core/source-loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-loader.js","sourceRoot":"","sources":["../../../src/core/source-loader.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EAAE,+BAA+B,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAIL,aAAa,GAEd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAIL,QAAQ,EAGR,UAAU,GAOX,MAAM,YAAY,CAAC;AAyCpB;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,IAAkB,EAClB,OAA2B;IAE3B,MAAM,WAAW,GAAG,yBAAyB,EAAE,CAAC;IAChD,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,CAAC;IAC/B,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,0BAA0B,GAAG,IAAI,OAAO,EAA+B,CAAC;IAC9E,MAAM,WAAW,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC1D,MAAM,aAAa,GAAG,IAAI,GAAG,EAA4B,CAAC;IAC1D,MAAM,eAAe,GAAG,IAAI,GAAG,EAAoC,CAAC;IAEpE,KAAK,UAAU,UAAU,CACvB,IAAY,EACZ,eAAgC,EAChC,OAAgC,QAAQ;QAExC,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAEpD,QAAQ,cAAc,EAAE,CAAC;YACvB,KAAK,IAAI;gBACP,MAAM,YAAY,CAAC,IAAI,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;gBACpD,MAAM;YACR,KAAK,UAAU;gBACb,MAAM,gBAAgB,CAAC,IAAI,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;gBACxD,MAAM;YACR;gBACE,WAAW,CAAC,GAAG,CACb,gBAAgB,CAAC;oBACf,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,cAAc;oBAC3D,MAAM,EAAE,QAAQ;iBACjB,CAAC,CACH,CAAC;QACN,CAAC;IACH,CAAC;IAED,OAAO;QACL,UAAU;QACV,UAAU;QACV,UAAU,EAAE;YACV,WAAW;YACX,aAAa;YACb,gBAAgB,EAAE,0BAA0B;YAC5C,eAAe,EAAE,eAAe;YAChC,WAAW,EAAE,WAAW,CAAC,WAAW;SACrC;KACF,CAAC;IAEF,KAAK,UAAU,gBAAgB,CAC7B,IAAY,EACZ,eAAgC,EAChC,gBAAoD;QAEpD,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO;QACT,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAE1B,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACtE,gBAAgB;SACjB,CAAC,CAAC;QAEH,IAAI,IAAI,EAAE,CAAC;YACT,0BAA0B,CAAC,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YACtD,MAAM,kBAAkB,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IAED,KAAK,UAAU,kBAAkB,CAAC,IAAgB;QAChD,kFAAkF;QAClF,wDAAwD;QACxD,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,UAAU,CAAC,yBAAyB,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;QAED,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;YACjD,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC9B,CAAC;QAED,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnC,MAAM,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,SAAS,YAAY,CAAC,IAAgB;QACpC,IAAI,OAAO,EAAE,eAAe,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,GAAG,EAAE,IAAI,KAAK,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC7E,OAAO,GAAG,CAAC;YACb,CAAC;QACH,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QAClD,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,KAAK,UAAU,iBAAiB,CAAC,IAAwB;QACvD,kBAAkB;QAClB,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,WAAW,CACf,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,EACzF,OAAO,EACP,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CACxC,CAAC;IACJ,CAAC;IAED,SAAS,4BAA4B,CAAC,UAAsB;QAC1D,MAAM,eAAe,GAAG,0BAA0B,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACnE,cAAc,CAAC,eAAe,EAAE,uDAAuD,CAAC,CAAC;QACzF,OAAO,eAAe,CAAC;IACzB,CAAC;IAED,KAAK,UAAU,WAAW,CACxB,OAA4E,EAC5E,UAAkB,EAClB,eAAgC;QAEhC,kBAAkB;QAClB,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;YACvC,MAAM,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,KAAK,UAAU,UAAU,CACvB,IAAY,EACZ,MAA0C,EAC1C,UAAkB,EAClB,kBAAmC,EAAE,IAAI,EAAE,SAAS,EAAE;QAEtD,MAAM,OAAO,GAAG,MAAM,sBAAsB,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;QACvE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9B,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE;gBACzC,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,QAAQ,EAAE,OAAO,CAAC,QAAQ;aAC3B,CAAC,CAAC;YACH,MAAM,EAAE,KAAK,CACX,2BAA2B,EAC3B,oBAAoB,IAAI,WAAW,OAAO,CAAC,QAAQ,GAAG,CACvD,CAAC;YAEF,MAAM,QAAQ,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;YAChD,eAAe,GAAG;gBAChB,IAAI,EAAE,SAAS;gBACf,QAAQ;aACT,CAAC;QACJ,CAAC;QACD,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;QAEnF,MAAM,WAAW,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACpE,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,aAAa,CAAC,cAAc,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;YAC7D,OAAO;QACT,CAAC;QAED,OAAO,UAAU,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC;IACrD,CAAC;IAED;;;OAGG;IACH,KAAK,UAAU,sBAAsB,CACnC,SAAiB,EACjB,OAAe,EACf,MAA0C;QAE1C,IAAI,CAAC;YACH,OAAO,MAAM,aAAa,CAAC,oBAAoB,EAAE,EAAE,SAAS,EAAE;gBAC5D,OAAO;gBACP,mBAAmB,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,CAAC;gBAC1D,WAAW,CAAC,GAAG;oBACb,kEAAkE;oBAClE,qCAAqC;oBACrC,OAAO,cAAc,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC;gBACzC,CAAC;aACF,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YAChB,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBAClC,WAAW,CAAC,GAAG,CACb,gBAAgB,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,CACpF,CAAC;gBACF,OAAO,SAAS,CAAC;YACnB,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBACrC,WAAW,CAAC,GAAG,CACb,gBAAgB,CAAC;oBACf,IAAI,EAAE,iBAAiB;oBACvB,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;oBAC3B,SAAS,EAAE,SAAS;oBACpB,MAAM;iBACP,CAAC,CACH,CAAC;gBACF,OAAO,SAAS,CAAC;YACnB,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,CAAC;YACV,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,UAAU,aAAa,CAC1B,GAAW,EACX,eAAgC,EAChC,gBAAoD;QAEpD,MAAM,QAAQ,GAAG,MAAM,+BAA+B,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7F,MAAM,gBAAgB,CAAC,QAAQ,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAAC;QACpE,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,KAAK,UAAU,YAAY,CACzB,IAAY,EACZ,eAAgC,EAChC,gBAAoD;QAEpD,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAC9E,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YAC3D,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,oBAAoB;QAC3B,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;gBACvB,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACvC,OAAO,IAAI,CAAC,IAAI,CAAC;YACnB,CAAC;SACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAsB;IACnD,MAAM,QAAQ,GAA0B;QACtC,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI;KAC3B,CAAC;IAEF,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC7B,QAAQ,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;IAC/C,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;QAC9B,QAAQ,CAAC,IAAI,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;IACrD,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QAC5B,QAAQ,CAAC,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;IAC7C,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,IAAkB,EAClB,IAAY,EACZ,gBAAoD;IAEpD,MAAM,IAAI,GAAG,gBAAgB,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACxC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;QAC7E,gBAAgB;QAChB,kBAAkB,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;KAC7C,CAAC,CAAC;IAEH,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAClC,CAAC;IAED,MAAM,IAAI,GAAqB;QAC7B,IAAI,EAAE,UAAU,CAAC,YAAY;QAC7B,EAAE,EAAE;YACF,IAAI,EAAE,UAAU,CAAC,UAAU;YAC3B,EAAE,EAAE,EAAE;YACN,GAAG,EAAE,CAAC;YACN,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,SAAU;YAClB,KAAK,6BAAqB;SAC3B;QACD,UAAU,EAAE,OAAO;QACnB,IAAI;QACJ,gBAAgB,EAAE,EAAE;QACpB,MAAM,EAAE,SAAU;QAClB,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,KAAK,wBAAgB;KACtB,CAAC;IACF,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;AAC7B,CAAC"}

package/dist/src/core/type-relation-checker.d.ts

@@ -0,0 +1,32 @@
+import { Checker } from "./checker.js";
+import { Program } from "./program.js";
+import { Diagnostic, Entity, IndeterminateEntity, Model, Node, Scalar, Type, Value } from "./types.js";
+export interface TypeRelation {
+    isTypeAssignableTo(source: Entity | IndeterminateEntity, target: Entity, diagnosticTarget: Entity | Node): [boolean, readonly Diagnostic[]];
+    isValueOfType(source: Value, target: Type, diagnosticTarget: Entity | Node): [boolean, readonly Diagnostic[]];
+    isReflectionType(type: Type): type is Model & {
+        name: ReflectionTypeName;
+    };
+    areScalarsRelated(source: Scalar, target: Scalar): boolean;
+}
+/**
+ * Mapping from the reflection models to Type["kind"] value
+ */
+declare const ReflectionNameToKind: {
+    readonly Enum: "Enum";
+    readonly EnumMember: "EnumMember";
+    readonly Interface: "Interface";
+    readonly Model: "Model";
+    readonly ModelProperty: "ModelProperty";
+    readonly Namespace: "Namespace";
+    readonly Operation: "Operation";
+    readonly Scalar: "Scalar";
+    readonly TemplateParameter: "TemplateParameter";
+    readonly Tuple: "Tuple";
+    readonly Union: "Union";
+    readonly UnionVariant: "UnionVariant";
+};
+type ReflectionTypeName = keyof typeof ReflectionNameToKind;
+export declare function createTypeRelationChecker(program: Program, checker: Checker): TypeRelation;
+export {};
+//# sourceMappingURL=type-relation-checker.d.ts.map

package/dist/src/core/type-relation-checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-relation-checker.d.ts","sourceRoot":"","sources":["../../../src/core/type-relation-checker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAA2B,MAAM,cAAc,CAAC;AAgBhE,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,OAAO,EAGL,UAAU,EAEV,MAAM,EAEN,mBAAmB,EAEnB,KAAK,EAIL,IAAI,EAGJ,MAAM,EAKN,IAAI,EAEJ,KAAK,EACN,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,YAAY;IAC3B,kBAAkB,CAChB,MAAM,EAAE,MAAM,GAAG,mBAAmB,EACpC,MAAM,EAAE,MAAM,EACd,gBAAgB,EAAE,MAAM,GAAG,IAAI,GAC9B,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;IAEpC,aAAa,CACX,MAAM,EAAE,KAAK,EACb,MAAM,EAAE,IAAI,EACZ,gBAAgB,EAAE,MAAM,GAAG,IAAI,GAC9B,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;IAEpC,gBAAgB,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,IAAI,KAAK,GAAG;QAAE,IAAI,EAAE,kBAAkB,CAAA;KAAE,CAAC;IAE3E,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;CAC5D;AAuBD;;GAEG;AACH,QAAA,MAAM,oBAAoB;;;;;;;;;;;;;CAahB,CAAC;AAIX,KAAK,kBAAkB,GAAG,MAAM,OAAO,oBAAoB,CAAC;AAE5D,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,YAAY,CA+0B1F"}