@typespec/compiler 0.41.0

package/dist/core/diagnostics.js

@@ -0,0 +1,315 @@
+import { formatLog } from "./logger/index.js";
+import { reportDiagnostic } from "./messages.js";
+import { NoTarget, SyntaxKind, } from "./types.js";
+/**
+ * Create a new diagnostics creator.
+ * @param diagnostics Map of the potential diagnostics.
+ * @param libraryName Optional name of the library if in the scope of a library.
+ * @returns @see DiagnosticCreator
+ */
+export function createDiagnosticCreator(diagnostics, libraryName) {
+    const errorMessage = libraryName
+        ? `It must match one of the code defined in the library '${libraryName}'`
+        : "It must match one of the code defined in the compiler.";
+    function createDiagnostic(diagnostic) {
+        var _a;
+        const diagnosticDef = diagnostics[diagnostic.code];
+        if (!diagnosticDef) {
+            const codeStr = Object.keys(diagnostics)
+                .map((x) => ` - ${x}`)
+                .join("\n");
+            const code = String(diagnostic.code);
+            throw new Error(`Unexpected diagnostic code '${code}'. ${errorMessage}. Defined codes:\n${codeStr}`);
+        }
+        const message = diagnosticDef.messages[(_a = diagnostic.messageId) !== null && _a !== void 0 ? _a : "default"];
+        if (!message) {
+            const codeStr = Object.keys(diagnosticDef.messages)
+                .map((x) => ` - ${x}`)
+                .join("\n");
+            const messageId = String(diagnostic.messageId);
+            const code = String(diagnostic.code);
+            throw new Error(`Unexpected message id '${messageId}'. ${errorMessage} for code '${code}'. Defined codes:\n${codeStr}`);
+        }
+        const messageStr = typeof message === "string" ? message : message(diagnostic.format);
+        return {
+            code: libraryName ? `${libraryName}/${String(diagnostic.code)}` : diagnostic.code.toString(),
+            severity: diagnosticDef.severity,
+            message: messageStr,
+            target: diagnostic.target,
+        };
+    }
+    function reportDiagnostic(program, diagnostic) {
+        const diag = createDiagnostic(diagnostic);
+        program.reportDiagnostic(diag);
+    }
+    return {
+        diagnostics,
+        createDiagnostic,
+        reportDiagnostic,
+    };
+}
+/**
+ * Represents a failure while interpreting a projection.
+ */
+export class ProjectionError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "ProjectionError";
+    }
+}
+export function logDiagnostics(diagnostics, logger) {
+    for (const diagnostic of diagnostics) {
+        logger.log({
+            level: diagnostic.severity,
+            message: diagnostic.message,
+            code: diagnostic.code,
+            sourceLocation: getSourceLocation(diagnostic.target),
+        });
+    }
+}
+export function formatDiagnostic(diagnostic) {
+    return formatLog({
+        code: diagnostic.code,
+        level: diagnostic.severity,
+        message: diagnostic.message,
+        sourceLocation: getSourceLocation(diagnostic.target),
+    }, { pretty: false });
+}
+export function createSourceFile(text, path) {
+    let lineStarts = undefined;
+    return {
+        text,
+        path,
+        getLineStarts,
+        getLineAndCharacterOfPosition,
+    };
+    function getLineStarts() {
+        return (lineStarts = lineStarts !== null && lineStarts !== void 0 ? lineStarts : scanLineStarts(text));
+    }
+    function getLineAndCharacterOfPosition(position) {
+        const starts = getLineStarts();
+        let line = binarySearch(starts, position);
+        // When binarySearch returns < 0 indicating that the value was not found, it
+        // returns the bitwise complement of the index where the value would need to
+        // be inserted to keep the array sorted. So flipping the bits back to this
+        // positive index tells us what the line number would be if we were to
+        // create a new line starting at the given position, and subtracting 1 from
+        // that therefore gives us the line number we're after.
+        if (line < 0) {
+            line = ~line - 1;
+        }
+        return {
+            line,
+            character: position - starts[line],
+        };
+    }
+}
+export function getSourceLocation(target) {
+    if (target === NoTarget || target === undefined) {
+        return undefined;
+    }
+    if ("file" in target) {
+        return target;
+    }
+    if (!("kind" in target)) {
+        // symbol
+        if (target.flags & 524288 /* SymbolFlags.Using */) {
+            target = target.symbolSource;
+        }
+        if (!target.declarations[0]) {
+            return createSyntheticSourceLocation();
+        }
+        return getSourceLocationOfNode(target.declarations[0]);
+    }
+    else if (typeof target.kind === "number") {
+        // node
+        return getSourceLocationOfNode(target);
+    }
+    else {
+        // type
+        const targetNode = target.node;
+        if (targetNode) {
+            return getSourceLocationOfNode(targetNode);
+        }
+        return createSyntheticSourceLocation();
+    }
+}
+function createSyntheticSourceLocation(loc = "<unknown location>") {
+    return {
+        file: createSourceFile("", loc),
+        pos: 0,
+        end: 0,
+        isSynthetic: true,
+    };
+}
+function getSourceLocationOfNode(node) {
+    let root = node;
+    while (root.parent !== undefined) {
+        root = root.parent;
+    }
+    if (root.kind !== SyntaxKind.TypeSpecScript && root.kind !== SyntaxKind.JsSourceFile) {
+        return createSyntheticSourceLocation(node.flags & 8 /* NodeFlags.Synthetic */
+            ? undefined
+            : "<unknown location - cannot obtain source location of unbound node - file bug at https://github.com/microsoft/typespec>");
+    }
+    return {
+        file: root.file,
+        pos: node.pos,
+        end: node.end,
+    };
+}
+/**
+ * Verbose output is enabled by default for runs in mocha explorer in VS Code,
+ * where the output is nicely associated with the individual test, and disabled
+ * by default for command line runs where we don't want to spam the console.
+ *
+ * If the steps taken to produce the message are expensive, pass a callback
+ * instead of producing the message then passing it here only to be dropped
+ * when verbose output is disabled.
+ */
+export function logVerboseTestOutput(messageOrCallback) {
+    if (process.env.TYPESPEC_VERBOSE_TEST_OUTPUT) {
+        if (typeof messageOrCallback === "string") {
+            // eslint-disable-next-line no-console
+            console.log(messageOrCallback);
+        }
+        else {
+            // eslint-disable-next-line no-console
+            messageOrCallback(console.log);
+        }
+    }
+}
+/**
+ * Use this to report bugs in the compiler, and not errors in the source code
+ * being compiled.
+ *
+ * @param condition Throw if this is not true.
+ *
+ * @param message Error message.
+ *
+ * @param target Optional location in source code that might give a clue about
+ *               what got the compiler off track.
+ */
+export function compilerAssert(condition, message, target) {
+    if (condition) {
+        return;
+    }
+    if (target) {
+        let location;
+        try {
+            location = getSourceLocation(target);
+        }
+        catch (err) { }
+        if (location) {
+            const pos = location.file.getLineAndCharacterOfPosition(location.pos);
+            const file = location.file.path;
+            const line = pos.line + 1;
+            const col = pos.character + 1;
+            message += `\nOccurred while compiling code in ${file} near line ${line}, column ${col}`;
+        }
+    }
+    throw new Error(message);
+}
+function scanLineStarts(text) {
+    const starts = [];
+    let start = 0;
+    let pos = 0;
+    while (pos < text.length) {
+        const ch = text.charCodeAt(pos);
+        pos++;
+        switch (ch) {
+            case 13 /* CharCode.CarriageReturn */:
+                if (text.charCodeAt(pos) === 10 /* CharCode.LineFeed */) {
+                    pos++;
+                }
+            // fallthrough
+            case 10 /* CharCode.LineFeed */:
+                starts.push(start);
+                start = pos;
+                break;
+        }
+    }
+    starts.push(start);
+    return starts;
+}
+/**
+ * Search sorted array of numbers for the given value. If found, return index
+ * in array where value was found. If not found, return a negative number that
+ * is the bitwise complement of the index where value would need to be inserted
+ * to keep the array sorted.
+ */
+function binarySearch(array, value) {
+    let low = 0;
+    let high = array.length - 1;
+    while (low <= high) {
+        const middle = low + ((high - low) >> 1);
+        const v = array[middle];
+        if (v < value) {
+            low = middle + 1;
+        }
+        else if (v > value) {
+            high = middle - 1;
+        }
+        else {
+            return middle;
+        }
+    }
+    return ~low;
+}
+/**
+ * Assert that the input type has one of the kinds provided
+ */
+export function assertType(typeDescription, t, ...kinds) {
+    if (kinds.indexOf(t.kind) === -1) {
+        throw new ProjectionError(`Expected ${typeDescription} to be type ${kinds.join(", ")}`);
+    }
+}
+/**
+ * Report a deprecated diagnostic.
+ * @param program TypeSpec Program.
+ * @param message Message describing the deprecation.
+ * @param target Target of the deprecation.
+ */
+export function reportDeprecated(program, message, target) {
+    reportDiagnostic(program, {
+        code: "deprecated",
+        format: {
+            message,
+        },
+        target,
+    });
+}
+/**
+ * Create a new instance of the @see DiagnosticCollector.
+ */
+export function createDiagnosticCollector() {
+    const diagnostics = [];
+    return {
+        diagnostics,
+        add,
+        pipe,
+        wrap,
+    };
+    function add(diagnostic) {
+        diagnostics.push(diagnostic);
+    }
+    function pipe(result) {
+        const [value, diags] = result;
+        for (const diag of diags) {
+            diagnostics.push(diag);
+        }
+        return value;
+    }
+    function wrap(value) {
+        return [value, diagnostics];
+    }
+}
+/**
+ * Ignore the diagnostics emitted by the diagnostic accessor pattern and just return the actual result.
+ * @param result: Accessor pattern tuple result including the actual result and the list of diagnostics.
+ * @returns Actual result.
+ */
+export function ignoreDiagnostics(result) {
+    return result[0];
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/core/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../../core/diagnostics.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAWL,QAAQ,EAIR,UAAU,GAEX,MAAM,YAAY,CAAC;AAEpB;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,WAA6B,EAC7B,WAAoB;IAEpB,MAAM,YAAY,GAAG,WAAW;QAC9B,CAAC,CAAC,yDAAyD,WAAW,GAAG;QACzE,CAAC,CAAC,wDAAwD,CAAC;IAE7D,SAAS,gBAAgB,CACvB,UAAqC;;QAErC,MAAM,aAAa,GAAG,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAEnD,IAAI,CAAC,aAAa,EAAE;YAClB,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;iBACrC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;iBACrB,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,IAAI,KAAK,CACb,+BAA+B,IAAI,MAAM,YAAY,qBAAqB,OAAO,EAAE,CACpF,CAAC;SACH;QAED,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,MAAA,UAAU,CAAC,SAAS,mCAAI,SAAS,CAAC,CAAC;QAC1E,IAAI,CAAC,OAAO,EAAE;YACZ,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC;iBAChD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;iBACrB,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,IAAI,KAAK,CACb,0BAA0B,SAAS,MAAM,YAAY,cAAc,IAAI,sBAAsB,OAAO,EAAE,CACvG,CAAC;SACH;QAED,MAAM,UAAU,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAE,UAAkB,CAAC,MAAM,CAAC,CAAC;QAE/F,OAAO;YACL,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE;YAC5F,QAAQ,EAAE,aAAa,CAAC,QAAQ;YAChC,OAAO,EAAE,UAAU;YACnB,MAAM,EAAE,UAAU,CAAC,MAAM;SAC1B,CAAC;IACJ,CAAC;IAED,SAAS,gBAAgB,CACvB,OAAgB,EAChB,UAAqC;QAErC,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QAC1C,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,OAAO;QACL,WAAW;QACX,gBAAgB;QAChB,gBAAgB;KACV,CAAC;AACX,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,eAAgB,SAAQ,KAAK;IACxC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAKD,MAAM,UAAU,cAAc,CAAC,WAAkC,EAAE,MAAe;IAChF,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE;QACpC,MAAM,CAAC,GAAG,CAAC;YACT,KAAK,EAAE,UAAU,CAAC,QAAQ;YAC1B,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,cAAc,EAAE,iBAAiB,CAAC,UAAU,CAAC,MAAM,CAAC;SACrD,CAAC,CAAC;KACJ;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,UAAsB;IACrD,OAAO,SAAS,CACd;QACE,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,KAAK,EAAE,UAAU,CAAC,QAAQ;QAC1B,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,cAAc,EAAE,iBAAiB,CAAC,UAAU,CAAC,MAAM,CAAC;KACrD,EACD,EAAE,MAAM,EAAE,KAAK,EAAE,CAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,IAAY;IACzD,IAAI,UAAU,GAAyB,SAAS,CAAC;IAEjD,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,aAAa;QACb,6BAA6B;KAC9B,CAAC;IAEF,SAAS,aAAa;QACpB,OAAO,CAAC,UAAU,GAAG,UAAU,aAAV,UAAU,cAAV,UAAU,GAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC;IAED,SAAS,6BAA6B,CAAC,QAAgB;QACrD,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;QAE/B,IAAI,IAAI,GAAG,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAE1C,4EAA4E;QAC5E,4EAA4E;QAC5E,0EAA0E;QAC1E,sEAAsE;QACtE,2EAA2E;QAC3E,uDAAuD;QACvD,IAAI,IAAI,GAAG,CAAC,EAAE;YACZ,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;SAClB;QAED,OAAO;YACL,IAAI;YACJ,SAAS,EAAE,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC;SACnC,CAAC;IACJ,CAAC;AACH,CAAC;AAOD,MAAM,UAAU,iBAAiB,CAC/B,MAAsD;IAEtD,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,SAAS,EAAE;QAC/C,OAAO,SAAS,CAAC;KAClB;IAED,IAAI,MAAM,IAAI,MAAM,EAAE;QACpB,OAAO,MAAM,CAAC;KACf;IAED,IAAI,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,EAAE;QACvB,SAAS;QACT,IAAI,MAAM,CAAC,KAAK,iCAAoB,EAAE;YACpC,MAAM,GAAG,MAAM,CAAC,YAAa,CAAC;SAC/B;QAED,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE;YAC3B,OAAO,6BAA6B,EAAE,CAAC;SACxC;QAED,OAAO,uBAAuB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;KACxD;SAAM,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE;QAC1C,OAAO;QACP,OAAO,uBAAuB,CAAC,MAAc,CAAC,CAAC;KAChD;SAAM;QACL,OAAO;QACP,MAAM,UAAU,GAAI,MAAe,CAAC,IAAI,CAAC;QAEzC,IAAI,UAAU,EAAE;YACd,OAAO,uBAAuB,CAAC,UAAU,CAAC,CAAC;SAC5C;QAED,OAAO,6BAA6B,EAAE,CAAC;KACxC;AACH,CAAC;AAED,SAAS,6BAA6B,CAAC,GAAG,GAAG,oBAAoB;IAC/D,OAAO;QACL,IAAI,EAAE,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC;QAC/B,GAAG,EAAE,CAAC;QACN,GAAG,EAAE,CAAC;QACN,WAAW,EAAE,IAAI;KAClB,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,IAAU;IACzC,IAAI,IAAI,GAAG,IAAI,CAAC;IAEhB,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE;QAChC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;KACpB;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,cAAc,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,YAAY,EAAE;QACpF,OAAO,6BAA6B,CAClC,IAAI,CAAC,KAAK,8BAAsB;YAC9B,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,wHAAwH,CAC7H,CAAC;KACH;IAED,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,GAAG,EAAE,IAAI,CAAC,GAAG;KACd,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAClC,iBAAsE;IAEtE,IAAI,OAAO,CAAC,GAAG,CAAC,4BAA4B,EAAE;QAC5C,IAAI,OAAO,iBAAiB,KAAK,QAAQ,EAAE;YACzC,sCAAsC;YACtC,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;SAChC;aAAM;YACL,sCAAsC;YACtC,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;SAChC;KACF;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,cAAc,CAC5B,SAAc,EACd,OAAe,EACf,MAAyB;IAEzB,IAAI,SAAS,EAAE;QACb,OAAO;KACR;IAED,IAAI,MAAM,EAAE;QACV,IAAI,QAAoC,CAAC;QACzC,IAAI;YACF,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;SACtC;QAAC,OAAO,GAAQ,EAAE,GAAE;QAErB,IAAI,QAAQ,EAAE;YACZ,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,6BAA6B,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YACtE,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAChC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;YAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,SAAS,GAAG,CAAC,CAAC;YAC9B,OAAO,IAAI,sCAAsC,IAAI,cAAc,IAAI,YAAY,GAAG,EAAE,CAAC;SAC1F;KACF;IAED,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,MAAM,GAAG,EAAE,CAAC;IAClB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,CAAC,CAAC;IAEZ,OAAO,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE;QACxB,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAChC,GAAG,EAAE,CAAC;QACN,QAAQ,EAAE,EAAE;YACV;gBACE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,+BAAsB,EAAE;oBAC9C,GAAG,EAAE,CAAC;iBACP;YACH,cAAc;YACd;gBACE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACnB,KAAK,GAAG,GAAG,CAAC;gBACZ,MAAM;SACT;KACF;IAED,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,KAAwB,EAAE,KAAa;IAC3D,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,OAAO,GAAG,IAAI,IAAI,EAAE;QAClB,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QACxB,IAAI,CAAC,GAAG,KAAK,EAAE;YACb,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC;SAClB;aAAM,IAAI,CAAC,GAAG,KAAK,EAAE;YACpB,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC;SACnB;aAAM;YACL,OAAO,MAAM,CAAC;SACf;KACF;IAED,OAAO,CAAC,GAAG,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CACxB,eAAuB,EACvB,CAAO,EACP,GAAG,KAAY;IAEf,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE;QAChC,MAAM,IAAI,eAAe,CAAC,YAAY,eAAe,eAAe,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;KACzF;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAgB,EAChB,OAAe,EACf,MAA0C;IAE1C,gBAAgB,CAAC,OAAO,EAAE;QACxB,IAAI,EAAE,YAAY;QAClB,MAAM,EAAE;YACN,OAAO;SACR;QACD,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AA4BD;;GAEG;AACH,MAAM,UAAU,yBAAyB;IACvC,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,OAAO;QACL,WAAW;QACX,GAAG;QACH,IAAI;QACJ,IAAI;KACL,CAAC;IAEF,SAAS,GAAG,CAAC,UAAsB;QACjC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/B,CAAC;IAED,SAAS,IAAI,CAAI,MAA2B;QAC1C,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;YACxB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACxB;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,SAAS,IAAI,CAAI,KAAQ;QACvB,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAI,MAA2B;IAC9D,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC"}

package/dist/core/emitter-utils.d.ts

@@ -0,0 +1,14 @@
+import { Program } from "./program.js";
+export type NewLine = "lf" | "crlf";
+export interface EmitFileOptions {
+    path: string;
+    content: string;
+    newLine?: NewLine;
+}
+/**
+ * Helper to emit a file.
+ * @param program TypeSpec Program
+ * @param options File Emitter options
+ */
+export declare function emitFile(program: Program, options: EmitFileOptions): Promise<void>;
+//# sourceMappingURL=emitter-utils.d.ts.map

package/dist/core/emitter-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emitter-utils.d.ts","sourceRoot":"","sources":["../../core/emitter-utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,MAAM,MAAM,OAAO,GAAG,IAAI,GAAG,MAAM,CAAC;AACpC,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED;;;;GAIG;AACH,wBAAsB,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,GAAG,OAAO,CAAC,IAAI,CAAC,CASxF"}

package/dist/core/emitter-utils.js

@@ -0,0 +1,16 @@
+import { getDirectoryPath } from "./path-utils.js";
+/**
+ * Helper to emit a file.
+ * @param program TypeSpec Program
+ * @param options File Emitter options
+ */
+export async function emitFile(program, options) {
+    // ensure path exists
+    const outputFolder = getDirectoryPath(options.path);
+    await program.host.mkdirp(outputFolder);
+    const content = options.newLine && options.newLine === "crlf"
+        ? options.content.replace(/(\r\n|\n|\r)/gm, "\r\n")
+        : options.content;
+    return await program.host.writeFile(options.path, content);
+}
+//# sourceMappingURL=emitter-utils.js.map

package/dist/core/emitter-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emitter-utils.js","sourceRoot":"","sources":["../../core/emitter-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAUnD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,OAAgB,EAAE,OAAwB;IACvE,qBAAqB;IACrB,MAAM,YAAY,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACxC,MAAM,OAAO,GACX,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM;QAC3C,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,EAAE,MAAM,CAAC;QACnD,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACtB,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC7D,CAAC"}

package/dist/core/formatter-fs.d.ts

@@ -0,0 +1,21 @@
+export interface TypeSpecFormatOptions {
+    exclude?: string[];
+    debug?: boolean;
+}
+/**
+ * Format all the TypeSpec files.
+ * @param patterns List of wildcard pattern searching for TypeSpec files.
+ */
+export declare function formatTypeSpecFiles(patterns: string[], { exclude, debug }: TypeSpecFormatOptions): Promise<void>;
+/**
+ * Find all the unformatted files.
+ * @returns list of files not formatted.
+ */
+export declare function findUnformattedTypeSpecFiles(patterns: string[], { exclude, debug }: TypeSpecFormatOptions): Promise<string[]>;
+export declare function formatTypeSpecFile(filename: string): Promise<void>;
+/**
+ * Check the given typespec file is correctly formatted.
+ * @returns true if code is formatted correctly.
+ */
+export declare function checkFormatTypeSpecFile(filename: string): Promise<boolean>;
+//# sourceMappingURL=formatter-fs.d.ts.map

package/dist/core/formatter-fs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter-fs.d.ts","sourceRoot":"","sources":["../../core/formatter-fs.ts"],"names":[],"mappings":"AAOA,MAAM,WAAW,qBAAqB;IACpC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED;;;GAGG;AACH,wBAAsB,mBAAmB,CACvC,QAAQ,EAAE,MAAM,EAAE,EAClB,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,qBAAqB,iBAgB1C;AAED;;;GAGG;AACH,wBAAsB,4BAA4B,CAChD,QAAQ,EAAE,MAAM,EAAE,EAClB,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,qBAAqB,GACxC,OAAO,CAAC,MAAM,EAAE,CAAC,CAoBnB;AAED,wBAAsB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,iBAKxD;AAED;;;GAGG;AACH,wBAAsB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAIhF"}

package/dist/core/formatter-fs.js

@@ -0,0 +1,79 @@
+import { readFile, writeFile } from "fs/promises";
+import { globby } from "globby";
+import prettier from "prettier";
+import { PrettierParserError } from "../formatter/parser.js";
+import { checkFormatTypeSpec, formatTypeSpec } from "./formatter.js";
+import { normalizePath } from "./path-utils.js";
+/**
+ * Format all the TypeSpec files.
+ * @param patterns List of wildcard pattern searching for TypeSpec files.
+ */
+export async function formatTypeSpecFiles(patterns, { exclude, debug }) {
+    const files = await findFiles(patterns, exclude);
+    for (const file of files) {
+        try {
+            await formatTypeSpecFile(file);
+        }
+        catch (e) {
+            if (e instanceof PrettierParserError) {
+                const details = debug ? e.message : "";
+                // eslint-disable-next-line no-console
+                console.error(`File '${file}' failed to fromat. ${details}`);
+            }
+            else {
+                throw e;
+            }
+        }
+    }
+}
+/**
+ * Find all the unformatted files.
+ * @returns list of files not formatted.
+ */
+export async function findUnformattedTypeSpecFiles(patterns, { exclude, debug }) {
+    const files = await findFiles(patterns, exclude);
+    const unformatted = [];
+    for (const file of files) {
+        try {
+            if (!(await checkFormatTypeSpecFile(file))) {
+                unformatted.push(file);
+            }
+        }
+        catch (e) {
+            if (e instanceof PrettierParserError) {
+                const details = debug ? e.message : "";
+                // eslint-disable-next-line no-console
+                console.error(`File '${file}' failed to fromat. ${details}`);
+                unformatted.push(file);
+            }
+            else {
+                throw e;
+            }
+        }
+    }
+    return unformatted;
+}
+export async function formatTypeSpecFile(filename) {
+    const content = await readFile(filename, "utf-8");
+    const prettierConfig = await prettier.resolveConfig(filename);
+    const formattedContent = formatTypeSpec(content, prettierConfig !== null && prettierConfig !== void 0 ? prettierConfig : {});
+    await writeFile(filename, formattedContent);
+}
+/**
+ * Check the given typespec file is correctly formatted.
+ * @returns true if code is formatted correctly.
+ */
+export async function checkFormatTypeSpecFile(filename) {
+    const content = await readFile(filename, "utf-8");
+    const prettierConfig = await prettier.resolveConfig(filename);
+    return await checkFormatTypeSpec(content, prettierConfig !== null && prettierConfig !== void 0 ? prettierConfig : {});
+}
+async function findFiles(include, ignore = []) {
+    const patterns = [
+        ...include.map(normalizePath),
+        "!**/node_modules",
+        ...ignore.map((x) => `!${normalizePath(x)}`),
+    ];
+    return globby(patterns);
+}
+//# sourceMappingURL=formatter-fs.js.map

package/dist/core/formatter-fs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter-fs.js","sourceRoot":"","sources":["../../core/formatter-fs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,QAAQ,MAAM,UAAU,CAAC;AAChC,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAOhD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,QAAkB,EAClB,EAAE,OAAO,EAAE,KAAK,EAAyB;IAEzC,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;QACxB,IAAI;YACF,MAAM,kBAAkB,CAAC,IAAI,CAAC,CAAC;SAChC;QAAC,OAAO,CAAC,EAAE;YACV,IAAI,CAAC,YAAY,mBAAmB,EAAE;gBACpC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,sCAAsC;gBACtC,OAAO,CAAC,KAAK,CAAC,SAAS,IAAI,uBAAuB,OAAO,EAAE,CAAC,CAAC;aAC9D;iBAAM;gBACL,MAAM,CAAC,CAAC;aACT;SACF;KACF;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,QAAkB,EAClB,EAAE,OAAO,EAAE,KAAK,EAAyB;IAEzC,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,EAAE,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;QACxB,IAAI;YACF,IAAI,CAAC,CAAC,MAAM,uBAAuB,CAAC,IAAI,CAAC,CAAC,EAAE;gBAC1C,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACxB;SACF;QAAC,OAAO,CAAC,EAAE;YACV,IAAI,CAAC,YAAY,mBAAmB,EAAE;gBACpC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,sCAAsC;gBACtC,OAAO,CAAC,KAAK,CAAC,SAAS,IAAI,uBAAuB,OAAO,EAAE,CAAC,CAAC;gBAC7D,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACxB;iBAAM;gBACL,MAAM,CAAC,CAAC;aACT;SACF;KACF;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,QAAgB;IACvD,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,cAAc,GAAG,MAAM,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC9D,MAAM,gBAAgB,GAAG,cAAc,CAAC,OAAO,EAAE,cAAc,aAAd,cAAc,cAAd,cAAc,GAAI,EAAE,CAAC,CAAC;IACvE,MAAM,SAAS,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;AAC9C,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,QAAgB;IAC5D,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,cAAc,GAAG,MAAM,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC9D,OAAO,MAAM,mBAAmB,CAAC,OAAO,EAAE,cAAc,aAAd,cAAc,cAAd,cAAc,GAAI,EAAE,CAAC,CAAC;AAClE,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,OAAiB,EAAE,SAAmB,EAAE;IAC/D,MAAM,QAAQ,GAAG;QACf,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC;QAC7B,kBAAkB;QAClB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7C,CAAC;IACF,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/formatter.d.ts

@@ -0,0 +1,10 @@
+import prettier from "prettier";
+export declare function formatTypeSpec(code: string, prettierConfig?: prettier.Options): string;
+/** @deprecated use checkFormatTypeSpec */
+export declare const checkFormatCadl: typeof checkFormatTypeSpec;
+/**
+ * Check the given is correctly formatted.
+ * @returns true if code is formatted correctly.
+ */
+export declare function checkFormatTypeSpec(code: string, prettierConfig?: prettier.Options): Promise<boolean>;
+//# sourceMappingURL=formatter.d.ts.map

package/dist/core/formatter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter.d.ts","sourceRoot":"","sources":["../../core/formatter.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,MAAM,UAAU,CAAC;AAGhC,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,cAAc,CAAC,EAAE,QAAQ,CAAC,OAAO,GAAG,MAAM,CAQtF;AAED,0CAA0C;AAC1C,eAAO,MAAM,eAAe,4BAAsB,CAAC;AAEnD;;;GAGG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,MAAM,EACZ,cAAc,CAAC,EAAE,QAAQ,CAAC,OAAO,GAChC,OAAO,CAAC,OAAO,CAAC,CAMlB"}

package/dist/core/formatter.js

@@ -0,0 +1,24 @@
+import prettier from "prettier";
+import * as typespecPrettierPlugin from "../formatter/index.js";
+export function formatTypeSpec(code, prettierConfig) {
+    const output = prettier.format(code, {
+        ...prettierConfig,
+        parser: "typespec",
+        plugins: [typespecPrettierPlugin],
+    });
+    return output;
+}
+/** @deprecated use checkFormatTypeSpec */
+export const checkFormatCadl = checkFormatTypeSpec;
+/**
+ * Check the given is correctly formatted.
+ * @returns true if code is formatted correctly.
+ */
+export async function checkFormatTypeSpec(code, prettierConfig) {
+    return prettier.check(code, {
+        ...prettierConfig,
+        parser: "typespec",
+        plugins: [typespecPrettierPlugin],
+    });
+}
+//# sourceMappingURL=formatter.js.map

package/dist/core/formatter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter.js","sourceRoot":"","sources":["../../core/formatter.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,sBAAsB,MAAM,uBAAuB,CAAC;AAEhE,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,cAAiC;IAC5E,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE;QACnC,GAAG,cAAc;QACjB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,CAAC,sBAAsB,CAAC;KAClC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,0CAA0C;AAC1C,MAAM,CAAC,MAAM,eAAe,GAAG,mBAAmB,CAAC;AAEnD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAAY,EACZ,cAAiC;IAEjC,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE;QAC1B,GAAG,cAAc;QACjB,MAAM,EAAE,UAAU;QAClB,OAAO,EAAE,CAAC,sBAAsB,CAAC;KAClC,CAAC,CAAC;AACL,CAAC"}

package/dist/core/helpers/discriminator-utils.d.ts

@@ -0,0 +1,14 @@
+import { Discriminator } from "../../lib/decorators.js";
+import { Program } from "../program.js";
+import { Diagnostic, Model, Union } from "../types.js";
+export interface DiscriminatedUnion {
+    propertyName: string;
+    variants: Map<string, Model>;
+}
+export declare function getDiscriminatedUnion(type: Model | Union, discriminator: Discriminator): [DiscriminatedUnion, readonly Diagnostic[]];
+/**
+ * Run the validation on all discriminated models to make sure the discriminator are valid.
+ * This has to be done after the checker so we can have the full picture of all the dervied models.
+ */
+export declare function validateInheritanceDiscriminatedUnions(program: Program): void;
+//# sourceMappingURL=discriminator-utils.d.ts.map

package/dist/core/helpers/discriminator-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"discriminator-utils.d.ts","sourceRoot":"","sources":["../../../core/helpers/discriminator-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAyB,MAAM,yBAAyB,CAAC;AAE/E,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAQ,KAAK,EAAE,MAAM,aAAa,CAAC;AAG7D,MAAM,WAAW,kBAAkB;IACjC,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAC9B;AAED,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,KAAK,GAAG,KAAK,EACnB,aAAa,EAAE,aAAa,GAC3B,CAAC,kBAAkB,EAAE,SAAS,UAAU,EAAE,CAAC,CAO7C;AAED;;;GAGG;AACH,wBAAgB,sCAAsC,CAAC,OAAO,EAAE,OAAO,QAQtE"}