@typespec/compiler 0.41.0

package/dist/core/decorator-utils.js

@@ -0,0 +1,326 @@
+import { getPropertyType } from "../lib/decorators.js";
+import { getTypeName } from "./helpers/type-name-utils.js";
+import { compilerAssert, SyntaxKind } from "./index.js";
+import { createDiagnostic, reportDiagnostic } from "./messages.js";
+/**
+ * Validate the decorator target is matching the expected value.
+ * @param program
+ * @param target
+ * @param expectedType
+ * @param decoratorName
+ * @returns
+ */
+export function validateDecoratorTarget(context, target, decoratorName, expectedType) {
+    const isCorrectType = isTypeSpecValueTypeOf(target, expectedType);
+    if (!isCorrectType) {
+        reportDiagnostic(context.program, {
+            code: "decorator-wrong-target",
+            format: {
+                decorator: decoratorName,
+                to: target.kind,
+            },
+            target: context.decoratorTarget,
+        });
+        return false;
+    }
+    return true;
+}
+export function validateDecoratorTargetIntrinsic(context, target, decoratorName, expectedType) {
+    const expectedTypeStrs = typeof expectedType === "string" ? [expectedType] : expectedType;
+    const expectedTypes = expectedTypeStrs.map((x) => context.program.checker.getStdType(x));
+    const type = getPropertyType(target);
+    const isCorrect = expectedTypes.some((x) => { var _a; return context.program.checker.isTypeAssignableTo((_a = type.projectionBase) !== null && _a !== void 0 ? _a : type, x, type)[0]; });
+    if (!isCorrect) {
+        context.program.reportDiagnostic(createDiagnostic({
+            code: "decorator-wrong-target",
+            format: {
+                decorator: decoratorName,
+                to: `type it is not one of: ${typeof expectedTypeStrs.join(", ")}`,
+            },
+            target: context.decoratorTarget,
+        }));
+        return false;
+    }
+    return true;
+}
+/** @deprecated use isTypeSpecValueTypeOf */
+export const isCadlValueTypeOf = isTypeSpecValueTypeOf;
+/**
+ * Check if the given target is of any of the typespec types.
+ * @param target Target to validate.
+ * @param expectedType One or multiple allowed typespec types.
+ * @returns boolean if the target is of one of the allowed types.
+ */
+export function isTypeSpecValueTypeOf(target, expectedType) {
+    const kind = getTypeKind(target);
+    if (kind === undefined) {
+        return false;
+    }
+    return typeof expectedType === "string"
+        ? expectedType === "Any" || kind === expectedType
+        : expectedType.includes("Any") || expectedType.includes(kind);
+}
+function getTypeKind(target) {
+    switch (typeof target) {
+        case "object":
+            return target.kind;
+        case "string":
+            return "String";
+        case "number":
+            return "Number";
+        case "boolean":
+            return "Boolean";
+        default:
+            return undefined;
+    }
+}
+/**
+ * Validate a decorator parameter has the correct type.
+ * @param program Program
+ * @param target Decorator target
+ * @param value Value of the parameter.
+ * @param expectedType Expected type or list of expected type
+ * @returns true if the value is of one of the type in the list of expected types. If not emit a diagnostic.
+ * @deprecated use @see createDecoratorDefinition#validate instead.
+ */
+export function validateDecoratorParamType(program, target, value, expectedType) {
+    if (!isTypeSpecValueTypeOf(value, expectedType)) {
+        reportDiagnostic(program, {
+            code: "invalid-argument",
+            format: {
+                value: prettyValue(program, value),
+                expected: typeof expectedType === "string" ? expectedType : expectedType.join(", "),
+            },
+            target,
+        });
+        return false;
+    }
+    return true;
+}
+/**
+ * @deprecated use extern dec definition in typespec instead.
+ */
+export function createDecoratorDefinition(definition) {
+    const minParams = definition.args.filter((x) => !x.optional).length;
+    const maxParams = definition.spreadArgs ? undefined : definition.args.length;
+    function validate(context, target, args) {
+        var _a;
+        if (!validateDecoratorTarget(context, target, definition.name, definition.target) ||
+            !validateDecoratorParamCount(context, minParams, maxParams, args)) {
+            return false;
+        }
+        for (const [index, arg] of args.entries()) {
+            const paramDefinition = (_a = definition.args[index]) !== null && _a !== void 0 ? _a : definition.spreadArgs;
+            if (arg === undefined) {
+                if (!paramDefinition.optional) {
+                    reportDiagnostic(context.program, {
+                        code: "invalid-argument",
+                        format: {
+                            value: "undefined",
+                            expected: expectedTypeList(paramDefinition.kind),
+                        },
+                        target: context.getArgumentTarget(index),
+                    });
+                    return false;
+                }
+            }
+            else if (!isTypeSpecValueTypeOf(arg, paramDefinition.kind)) {
+                reportDiagnostic(context.program, {
+                    code: "invalid-argument",
+                    format: {
+                        value: prettyValue(context.program, arg),
+                        expected: expectedTypeList(paramDefinition.kind),
+                    },
+                    target: context.getArgumentTarget(index),
+                });
+                return false;
+            }
+        }
+        return true;
+    }
+    return {
+        validate(context, target, parameters) {
+            return validate(context, target, parameters);
+        },
+    };
+}
+function expectedTypeList(expectedType) {
+    return typeof expectedType === "string" ? expectedType : expectedType.join(", ");
+}
+export function validateDecoratorParamCount(context, min, max, parameters) {
+    let missing = 0;
+    for (let i = parameters.length - 1; i >= 0; i--) {
+        if (parameters[i] === undefined) {
+            missing++;
+        }
+        else {
+            break;
+        }
+    }
+    const parameterCount = parameters.length - missing;
+    if (parameterCount < min || (max !== undefined && parameterCount > max)) {
+        if (min === max) {
+            reportDiagnostic(context.program, {
+                code: "invalid-argument-count",
+                format: {
+                    actual: parameterCount.toString(),
+                    expected: min.toString(),
+                },
+                target: context.decoratorTarget,
+            });
+        }
+        else {
+            reportDiagnostic(context.program, {
+                code: "invalid-argument-count",
+                format: {
+                    actual: parameterCount.toString(),
+                    expected: `${min}-${max === undefined ? "infinity" : max.toString()}`,
+                },
+                target: context.decoratorTarget,
+            });
+        }
+        return false;
+    }
+    return true;
+}
+function prettyValue(program, value) {
+    if (typeof value === "object" && value !== null && "kind" in value) {
+        return getTypeName(value);
+    }
+    return value;
+}
+/** @deprecated use typespecTypeToJson */
+export const cadlTypeToJson = typespecTypeToJson;
+/**
+ * Convert a typespec type to a serializable Json object.
+ * Emits diagnostics if the given type is invalid
+ * @param typespecType The type to convert to Json data
+ * @param target The diagnostic target in case of errors.
+ */
+export function typespecTypeToJson(typespecType, target) {
+    if (typeof typespecType !== "object") {
+        return [typespecType, []];
+    }
+    return typespecTypeToJsonInternal(typespecType, target, []);
+}
+function typespecTypeToJsonInternal(typespecType, target, path) {
+    var _a;
+    switch (typespecType.kind) {
+        case "String":
+        case "Boolean":
+        case "Number":
+            return [typespecType.value, []];
+        case "EnumMember":
+            return [(_a = typespecType.value) !== null && _a !== void 0 ? _a : typespecType.name, []];
+        case "Tuple": {
+            const result = [];
+            for (const [index, type] of typespecType.values.entries()) {
+                const [item, diagnostics] = typespecTypeToJsonInternal(type, target, [
+                    ...path,
+                    index.toString(),
+                ]);
+                if (diagnostics.length > 0) {
+                    return [undefined, diagnostics];
+                }
+                result.push(item);
+            }
+            return [result, []];
+        }
+        case "Model": {
+            const result = {};
+            for (const [name, type] of typespecType.properties.entries()) {
+                const [item, diagnostics] = typespecTypeToJsonInternal(type.type, target, [
+                    ...path,
+                    name.toString(),
+                ]);
+                if (diagnostics.length > 0) {
+                    return [undefined, diagnostics];
+                }
+                result[name] = item;
+            }
+            return [result, []];
+        }
+        default:
+            const diagnostic = path.length === 0
+                ? createDiagnostic({
+                    code: "invalid-value",
+                    format: {
+                        kind: typespecType.kind,
+                    },
+                    target,
+                })
+                : createDiagnostic({
+                    code: "invalid-value",
+                    messageId: "atPath",
+                    format: {
+                        kind: typespecType.kind,
+                        path: path.join("."),
+                    },
+                    target,
+                });
+            return [undefined, [diagnostic]];
+    }
+}
+export function validateDecoratorUniqueOnNode(context, type, decorator) {
+    compilerAssert("decorators" in type, "Type should have decorators");
+    const sameDecorators = type.decorators.filter((x) => {
+        var _a, _b;
+        return x.decorator === decorator &&
+            ((_a = x.node) === null || _a === void 0 ? void 0 : _a.kind) === SyntaxKind.DecoratorExpression &&
+            ((_b = x.node) === null || _b === void 0 ? void 0 : _b.parent) === type.node;
+    });
+    if (sameDecorators.length > 1) {
+        reportDiagnostic(context.program, {
+            code: "duplicate-decorator",
+            format: { decoratorName: "@" + decorator.name.slice(1) },
+            target: context.decoratorTarget,
+        });
+        return false;
+    }
+    return true;
+}
+/**
+ * Validate that a given decorator is not on a type or any of its base types.
+ * Useful to check for decorator usage that conflicts with another decorator.
+ * @param context Decorator context
+ * @param type The type to check
+ * @param badDecorator The decorator we don't want present
+ * @param givenDecorator The decorator that is the reason why we don't want the bad decorator present
+ * @param includeHeritage Whether to check base types for the bad decorator too
+ * @returns Whether the decorator application is valid
+ */
+export function validateDecoratorNotOnType(context, type, badDecorator, givenDecorator) {
+    compilerAssert("decorators" in type, "Type should have decorators");
+    const decAppsToCheck = [];
+    let base = type;
+    while (base) {
+        decAppsToCheck.push(...base.decorators);
+        base = getHeritage(base);
+    }
+    for (const decapp of decAppsToCheck) {
+        if (decapp.decorator === badDecorator) {
+            reportDiagnostic(context.program, {
+                code: "decorator-conflict",
+                format: {
+                    decoratorName: "@" + badDecorator.name.slice(1),
+                    otherDecoratorName: "@" + givenDecorator.name.slice(1),
+                },
+                target: context.decoratorTarget,
+            });
+            return false;
+        }
+    }
+    return true;
+    function getHeritage(type) {
+        if (type.kind === "Model") {
+            return type.baseModel;
+        }
+        else if (type.kind === "Scalar") {
+            return type.baseScalar;
+        }
+        else {
+            return undefined;
+        }
+    }
+}
+//# sourceMappingURL=decorator-utils.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"decorator-utils.js","sourceRoot":"","sources":["../../core/decorator-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AAC3D,OAAO,EAAE,cAAc,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AAC1E,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AA8BnE;;;;;;;GAOG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAAyB,EACzB,MAAY,EACZ,aAAqB,EACrB,YAA8B;IAE9B,MAAM,aAAa,GAAG,qBAAqB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAClE,IAAI,CAAC,aAAa,EAAE;QAClB,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;YAChC,IAAI,EAAE,wBAAwB;YAC9B,MAAM,EAAE;gBACN,SAAS,EAAE,aAAa;gBACxB,EAAE,EAAE,MAAM,CAAC,IAAI;aAChB;YACD,MAAM,EAAE,OAAO,CAAC,eAAe;SAChC,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;KACd;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,OAAyB,EACzB,MAA8B,EAC9B,aAAqB,EACrB,YAAyD;IAEzD,MAAM,gBAAgB,GAAG,OAAO,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;IAC1F,MAAM,aAAa,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,WAAC,OAAA,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,kBAAkB,CAAC,MAAA,IAAI,CAAC,cAAc,mCAAI,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA,EAAA,CAC3F,CAAC;IACF,IAAI,CAAC,SAAS,EAAE;QACd,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAC9B,gBAAgB,CAAC;YACf,IAAI,EAAE,wBAAwB;YAC9B,MAAM,EAAE;gBACN,SAAS,EAAE,aAAa;gBACxB,EAAE,EAAE,0BAA0B,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aACnE;YACD,MAAM,EAAE,OAAO,CAAC,eAAe;SAChC,CAAC,CACH,CAAC;QACF,OAAO,KAAK,CAAC;KACd;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4CAA4C;AAC5C,MAAM,CAAC,MAAM,iBAAiB,GAAG,qBAAqB,CAAC;AAEvD;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,MAAqB,EACrB,YAA8B;IAE9B,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,IAAI,KAAK,SAAS,EAAE;QACtB,OAAO,KAAK,CAAC;KACd;IAED,OAAO,OAAO,YAAY,KAAK,QAAQ;QACrC,CAAC,CAAC,YAAY,KAAK,KAAK,IAAI,IAAI,KAAK,YAAY;QACjD,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAY,CAAC,IAAI,YAAY,CAAC,QAAQ,CAAC,IAAW,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,WAAW,CAAC,MAAqB;IACxC,QAAQ,OAAO,MAAM,EAAE;QACrB,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB;YACE,OAAO,SAAS,CAAC;KACpB;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAAgB,EAChB,MAAY,EACZ,KAAoB,EACpB,YAAqB;IAErB,IAAI,CAAC,qBAAqB,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE;QAC/C,gBAAgB,CAAC,OAAO,EAAE;YACxB,IAAI,EAAE,kBAAkB;YACxB,MAAM,EAAE;gBACN,KAAK,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC;gBAClC,QAAQ,EAAE,OAAO,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;aACpF;YACD,MAAM;SACP,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;KACd;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AA6ED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CAIvC,UAAwC;IACxC,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;IACpE,MAAM,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC;IAE7E,SAAS,QAAQ,CAAC,OAAyB,EAAE,MAAY,EAAE,IAAqB;;QAC9E,IACE,CAAC,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC;YAC7E,CAAC,2BAA2B,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,CAAC,EACjE;YACA,OAAO,KAAK,CAAC;SACd;QAED,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE;YACzC,MAAM,eAAe,GAAG,MAAA,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,mCAAI,UAAU,CAAC,UAAU,CAAC;YACxE,IAAI,GAAG,KAAK,SAAS,EAAE;gBACrB,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE;oBAC7B,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;wBAChC,IAAI,EAAE,kBAAkB;wBACxB,MAAM,EAAE;4BACN,KAAK,EAAE,WAAW;4BAClB,QAAQ,EAAE,gBAAgB,CAAC,eAAe,CAAC,IAAW,CAAC;yBACxD;wBACD,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAE;qBAC1C,CAAC,CAAC;oBACH,OAAO,KAAK,CAAC;iBACd;aACF;iBAAM,IAAI,CAAC,qBAAqB,CAAC,GAAG,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE;gBAC5D,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;oBAChC,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE;wBACN,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;wBACxC,QAAQ,EAAE,gBAAgB,CAAC,eAAe,CAAC,IAAW,CAAC;qBACxD;oBACD,MAAM,EAAE,OAAO,CAAC,iBAAiB,CAAC,KAAK,CAAE;iBAC1C,CAAC,CAAC;gBACH,OAAO,KAAK,CAAC;aACd;SACF;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,QAAQ,CAAC,OAAyB,EAAE,MAAM,EAAE,UAAU;YACpD,OAAO,QAAQ,CAAC,OAAO,EAAE,MAAa,EAAE,UAAiB,CAAC,CAAC;QAC7D,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,YAA2C;IACnE,OAAO,OAAO,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,OAAyB,EACzB,GAAW,EACX,GAAuB,EACvB,UAAqB;IAErB,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE;QAC/C,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE;YAC/B,OAAO,EAAE,CAAC;SACX;aAAM;YACL,MAAM;SACP;KACF;IACD,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,GAAG,OAAO,CAAC;IACnD,IAAI,cAAc,GAAG,GAAG,IAAI,CAAC,GAAG,KAAK,SAAS,IAAI,cAAc,GAAG,GAAG,CAAC,EAAE;QACvE,IAAI,GAAG,KAAK,GAAG,EAAE;YACf,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;gBAChC,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE;oBACjC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE;iBACzB;gBACD,MAAM,EAAE,OAAO,CAAC,eAAe;aAChC,CAAC,CAAC;SACJ;aAAM;YACL,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;gBAChC,IAAI,EAAE,wBAAwB;gBAC9B,MAAM,EAAE;oBACN,MAAM,EAAE,cAAc,CAAC,QAAQ,EAAE;oBACjC,QAAQ,EAAE,GAAG,GAAG,IAAI,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE;iBACtE;gBACD,MAAM,EAAE,OAAO,CAAC,eAAe;aAChC,CAAC,CAAC;SACJ;QACD,OAAO,KAAK,CAAC;KACd;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,OAAgB,EAAE,KAAU;IAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,IAAI,KAAK,EAAE;QAClE,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;KAC3B;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yCAAyC;AACzC,MAAM,CAAC,MAAM,cAAc,GAAG,kBAAkB,CAAC;AAEjD;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,YAA2B,EAC3B,MAAwB;IAExB,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE;QACpC,OAAO,CAAC,YAAmB,EAAE,EAAE,CAAC,CAAC;KAClC;IACD,OAAO,0BAA0B,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,0BAA0B,CACjC,YAAkB,EAClB,MAAwB,EACxB,IAAc;;IAEd,QAAQ,YAAY,CAAC,IAAI,EAAE;QACzB,KAAK,QAAQ,CAAC;QACd,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAClC,KAAK,YAAY;YACf,OAAO,CAAC,MAAA,YAAY,CAAC,KAAK,mCAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACvD,KAAK,OAAO,CAAC,CAAC;YACZ,MAAM,MAAM,GAAG,EAAE,CAAC;YAClB,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE;gBACzD,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,GAAG,0BAA0B,CAAC,IAAI,EAAE,MAAM,EAAE;oBACnE,GAAG,IAAI;oBACP,KAAK,CAAC,QAAQ,EAAE;iBACjB,CAAC,CAAC;gBACH,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE;oBAC1B,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;iBACjC;gBACD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACnB;YACD,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;SACrB;QACD,KAAK,OAAO,CAAC,CAAC;YACZ,MAAM,MAAM,GAAwB,EAAE,CAAC;YACvC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,YAAY,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE;gBAC5D,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,GAAG,0BAA0B,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE;oBACxE,GAAG,IAAI;oBACP,IAAI,CAAC,QAAQ,EAAE;iBAChB,CAAC,CAAC;gBACH,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE;oBAC1B,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;iBACjC;gBACD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;aACrB;YACD,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;SACrB;QACD;YACE,MAAM,UAAU,GACd,IAAI,CAAC,MAAM,KAAK,CAAC;gBACf,CAAC,CAAC,gBAAgB,CAAC;oBACf,IAAI,EAAE,eAAe;oBACrB,MAAM,EAAE;wBACN,IAAI,EAAE,YAAY,CAAC,IAAI;qBACxB;oBACD,MAAM;iBACP,CAAC;gBACJ,CAAC,CAAC,gBAAgB,CAAC;oBACf,IAAI,EAAE,eAAe;oBACrB,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE;wBACN,IAAI,EAAE,YAAY,CAAC,IAAI;wBACvB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;qBACrB;oBACD,MAAM;iBACP,CAAC,CAAC;YACT,OAAO,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;KACpC;AACH,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,OAAyB,EACzB,IAAU,EACV,SAA4B;IAE5B,cAAc,CAAC,YAAY,IAAI,IAAI,EAAE,6BAA6B,CAAC,CAAC;IAEpE,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAC3C,CAAC,CAAC,EAAE,EAAE;;QACJ,OAAA,CAAC,CAAC,SAAS,KAAK,SAAS;YACzB,CAAA,MAAA,CAAC,CAAC,IAAI,0CAAE,IAAI,MAAK,UAAU,CAAC,mBAAmB;YAC/C,CAAA,MAAA,CAAC,CAAC,IAAI,0CAAE,MAAM,MAAK,IAAI,CAAC,IAAI,CAAA;KAAA,CAC/B,CAAC;IAEF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE;QAC7B,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;YAChC,IAAI,EAAE,qBAAqB;YAC3B,MAAM,EAAE,EAAE,aAAa,EAAE,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;YACxD,MAAM,EAAE,OAAO,CAAC,eAAe;SAChC,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;KACd;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAAyB,EACzB,IAAU,EACV,YAA+B,EAC/B,cAAiC;IAEjC,cAAc,CAAC,YAAY,IAAI,IAAI,EAAE,6BAA6B,CAAC,CAAC;IACpE,MAAM,cAAc,GAAG,EAAE,CAAC;IAE1B,IAAI,IAAI,GAAqB,IAAI,CAAC;IAClC,OAAO,IAAI,EAAE;QACX,cAAc,CAAC,IAAI,CAAC,GAAI,IAA0B,CAAC,UAAU,CAAC,CAAC;QAC/D,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;KAC1B;IAED,KAAK,MAAM,MAAM,IAAI,cAAc,EAAE;QACnC,IAAI,MAAM,CAAC,SAAS,KAAK,YAAY,EAAE;YACrC,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE;gBAChC,IAAI,EAAE,oBAAoB;gBAC1B,MAAM,EAAE;oBACN,aAAa,EAAE,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC/C,kBAAkB,EAAE,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;iBACvD;gBACD,MAAM,EAAE,OAAO,CAAC,eAAe;aAChC,CAAC,CAAC;YACH,OAAO,KAAK,CAAC;SACd;KACF;IAED,OAAO,IAAI,CAAC;IAEZ,SAAS,WAAW,CAAC,IAAU;QAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE;YACzB,OAAO,IAAI,CAAC,SAAS,CAAC;SACvB;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE;YACjC,OAAO,IAAI,CAAC,UAAU,CAAC;SACxB;aAAM;YACL,OAAO,SAAS,CAAC;SAClB;IACH,CAAC;AACH,CAAC"}

package/dist/core/diagnostics.d.ts

@@ -0,0 +1,93 @@
+import { Program } from "./program.js";
+import { Diagnostic, DiagnosticCreator, DiagnosticMap, DiagnosticMessages, DiagnosticResult, DiagnosticTarget, LogSink, NoTarget, SourceFile, SourceLocation, Type } 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 declare function createDiagnosticCreator<T extends {
+    [code: string]: DiagnosticMessages;
+}>(diagnostics: DiagnosticMap<T>, libraryName?: string): DiagnosticCreator<T>;
+/**
+ * Represents a failure while interpreting a projection.
+ */
+export declare class ProjectionError extends Error {
+    constructor(message: string);
+}
+export type WriteLine = (text?: string) => void;
+export type DiagnosticHandler = (diagnostic: Diagnostic) => void;
+export declare function logDiagnostics(diagnostics: readonly Diagnostic[], logger: LogSink): void;
+export declare function formatDiagnostic(diagnostic: Diagnostic): string;
+export declare function createSourceFile(text: string, path: string): SourceFile;
+export declare function getSourceLocation(target: DiagnosticTarget): SourceLocation;
+export declare function getSourceLocation(target: typeof NoTarget | undefined): undefined;
+export declare function getSourceLocation(target: DiagnosticTarget | typeof NoTarget | undefined): SourceLocation | undefined;
+/**
+ * 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 declare function logVerboseTestOutput(messageOrCallback: string | ((log: (message: string) => void) => void)): void;
+/**
+ * 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 declare function compilerAssert(condition: any, message: string, target?: DiagnosticTarget): asserts condition;
+/**
+ * Assert that the input type has one of the kinds provided
+ */
+export declare function assertType<TKind extends Type["kind"][]>(typeDescription: string, t: Type, ...kinds: TKind): asserts t is Type & {
+    kind: TKind[number];
+};
+/**
+ * Report a deprecated diagnostic.
+ * @param program TypeSpec Program.
+ * @param message Message describing the deprecation.
+ * @param target Target of the deprecation.
+ */
+export declare function reportDeprecated(program: Program, message: string, target: DiagnosticTarget | typeof NoTarget): void;
+/**
+ * Helper object to collect diagnostics from function following the diagnostics accessor pattern(foo() => [T, Diagnostic[]])
+ */
+export interface DiagnosticCollector {
+    readonly diagnostics: readonly Diagnostic[];
+    /**
+     * Add a diagnostic to the collection
+     * @param diagnostic Diagnostic to add.
+     */
+    add(diagnostic: Diagnostic): void;
+    /**
+     * Unwrap the Diagnostic result, add all the diagnostics and return the data.
+     * @param result Accessor diagnostic result
+     */
+    pipe<T>(result: DiagnosticResult<T>): T;
+    /**
+     * Wrap the given value in a tuple including the diagnostics following the TypeSpec accessor pattern.
+     * @param value Accessor value to return
+     * @example return diagnostics.wrap(routes);
+     */
+    wrap<T>(value: T): DiagnosticResult<T>;
+}
+/**
+ * Create a new instance of the @see DiagnosticCollector.
+ */
+export declare function createDiagnosticCollector(): DiagnosticCollector;
+/**
+ * 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 declare function ignoreDiagnostics<T>(result: DiagnosticResult<T>): T;
+//# sourceMappingURL=diagnostics.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../../core/diagnostics.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EACL,UAAU,EACV,iBAAiB,EACjB,aAAa,EACb,kBAAkB,EAElB,gBAAgB,EAChB,gBAAgB,EAChB,OAAO,EAGP,QAAQ,EACR,UAAU,EACV,cAAc,EAGd,IAAI,EACL,MAAM,YAAY,CAAC;AAEpB;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,CAAC,SAAS;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,CAAA;CAAE,EACtF,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC,EAC7B,WAAW,CAAC,EAAE,MAAM,GACnB,iBAAiB,CAAC,CAAC,CAAC,CAuDtB;AAED;;GAEG;AACH,qBAAa,eAAgB,SAAQ,KAAK;gBAC5B,OAAO,EAAE,MAAM;CAI5B;AAED,MAAM,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC;AAChD,MAAM,MAAM,iBAAiB,GAAG,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI,CAAC;AAEjE,wBAAgB,cAAc,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,QASjF;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,UAAU,UAUtD;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAkCvE;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,gBAAgB,GAAG,cAAc,CAAC;AAC5E,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,OAAO,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;AAClF,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,gBAAgB,GAAG,OAAO,QAAQ,GAAG,SAAS,GACrD,cAAc,GAAG,SAAS,CAAC;AAqE9B;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAClC,iBAAiB,EAAE,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,KAAK,IAAI,CAAC,QAWvE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,cAAc,CAC5B,SAAS,EAAE,GAAG,EACd,OAAO,EAAE,MAAM,EACf,MAAM,CAAC,EAAE,gBAAgB,GACxB,OAAO,CAAC,SAAS,CAqBnB;AAmDD;;GAEG;AACH,wBAAgB,UAAU,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,EACrD,eAAe,EAAE,MAAM,EACvB,CAAC,EAAE,IAAI,EACP,GAAG,KAAK,EAAE,KAAK,GACd,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;CAAE,CAI7C;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,gBAAgB,GAAG,OAAO,QAAQ,GACzC,IAAI,CAQN;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAE5C;;;OAGG;IACH,GAAG,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IAElC;;;OAGG;IACH,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAExC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;CACxC;AAED;;GAEG;AACH,wBAAgB,yBAAyB,IAAI,mBAAmB,CAyB/D;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAEnE"}