@typespec/compiler 0.41.0

package/dist/core/charcode.d.ts

@@ -0,0 +1,130 @@
+export declare const enum CharCode {
+    Null = 0,
+    MaxAscii = 127,
+    ByteOrderMark = 65279,
+    LineFeed = 10,
+    CarriageReturn = 13,
+    Space = 32,
+    Tab = 9,
+    VerticalTab = 11,
+    FormFeed = 12,
+    NextLine = 133,
+    LeftToRightMark = 8206,
+    RightToLeftMark = 8207,
+    LineSeparator = 8232,
+    ParagraphSeparator = 8233,
+    _0 = 48,
+    _1 = 49,
+    _2 = 50,
+    _3 = 51,
+    _4 = 52,
+    _5 = 53,
+    _6 = 54,
+    _7 = 55,
+    _8 = 56,
+    _9 = 57,
+    a = 97,
+    b = 98,
+    c = 99,
+    d = 100,
+    e = 101,
+    f = 102,
+    g = 103,
+    h = 104,
+    i = 105,
+    j = 106,
+    k = 107,
+    l = 108,
+    m = 109,
+    n = 110,
+    o = 111,
+    p = 112,
+    q = 113,
+    r = 114,
+    s = 115,
+    t = 116,
+    u = 117,
+    v = 118,
+    w = 119,
+    x = 120,
+    y = 121,
+    z = 122,
+    A = 65,
+    B = 66,
+    C = 67,
+    D = 68,
+    E = 69,
+    F = 70,
+    G = 71,
+    H = 72,
+    I = 73,
+    J = 74,
+    K = 75,
+    L = 76,
+    M = 77,
+    N = 78,
+    O = 79,
+    P = 80,
+    Q = 81,
+    R = 82,
+    S = 83,
+    T = 84,
+    U = 85,
+    V = 86,
+    W = 87,
+    X = 88,
+    Y = 89,
+    Z = 90,
+    _ = 95,
+    $ = 36,
+    Ampersand = 38,
+    Asterisk = 42,
+    At = 64,
+    Backslash = 92,
+    Backtick = 96,
+    Bar = 124,
+    Caret = 94,
+    CloseBrace = 125,
+    CloseBracket = 93,
+    CloseParen = 41,
+    Colon = 58,
+    Comma = 44,
+    Dot = 46,
+    DoubleQuote = 34,
+    Equals = 61,
+    Exclamation = 33,
+    GreaterThan = 62,
+    Hash = 35,
+    LessThan = 60,
+    Minus = 45,
+    OpenBrace = 123,
+    OpenBracket = 91,
+    OpenParen = 40,
+    Percent = 37,
+    Plus = 43,
+    Question = 63,
+    Semicolon = 59,
+    SingleQuote = 39,
+    Slash = 47,
+    Tilde = 126
+}
+export declare function utf16CodeUnits(codePoint: number): 1 | 2;
+export declare function isHighSurrogate(ch: number): boolean;
+export declare function isLowSurrogate(ch: number): boolean;
+export declare function isLineBreak(ch: number): boolean;
+export declare function isAsciiWhiteSpaceSingleLine(ch: number): boolean;
+export declare function isNonAsciiWhiteSpaceSingleLine(ch: number): boolean;
+export declare function isWhiteSpace(ch: number): boolean;
+export declare function isWhiteSpaceSingleLine(ch: number): boolean;
+export declare function trim(str: string): string;
+export declare function isDigit(ch: number): boolean;
+export declare function isHexDigit(ch: number): boolean;
+export declare function isBinaryDigit(ch: number): boolean;
+export declare function isLowercaseAsciiLetter(ch: number): boolean;
+export declare function isAsciiIdentifierStart(ch: number): boolean;
+export declare function isAsciiIdentifierContinue(ch: number): boolean;
+export declare function isIdentifierStart(codePoint: number): boolean;
+export declare function isIdentifierContinue(codePoint: number): boolean;
+export declare function isNonAsciiIdentifierCharacter(codePoint: number): boolean;
+export declare function codePointBefore(text: string, pos: number): number | undefined;
+//# sourceMappingURL=charcode.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"charcode.d.ts","sourceRoot":"","sources":["../../core/charcode.ts"],"names":[],"mappings":"AAEA,0BAAkB,QAAQ;IACxB,IAAI,IAAO;IACX,QAAQ,MAAO;IACf,aAAa,QAAS;IAGtB,QAAQ,KAAO;IACf,cAAc,KAAO;IAGrB,KAAK,KAAO;IACZ,GAAG,IAAO;IACV,WAAW,KAAO;IAClB,QAAQ,KAAO;IAGf,QAAQ,MAAS;IACjB,eAAe,OAAS;IACxB,eAAe,OAAS;IACxB,aAAa,OAAS;IACtB,kBAAkB,OAAS;IAG3B,EAAE,KAAO;IACT,EAAE,KAAO;IACT,EAAE,KAAO;IACT,EAAE,KAAO;IACT,EAAE,KAAO;IACT,EAAE,KAAO;IACT,EAAE,KAAO;IACT,EAAE,KAAO;IACT,EAAE,KAAO;IACT,EAAE,KAAO;IAGT,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IACR,CAAC,MAAO;IAGR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IACR,CAAC,KAAO;IAGR,CAAC,KAAO;IACR,CAAC,KAAO;IAGR,SAAS,KAAO;IAChB,QAAQ,KAAO;IACf,EAAE,KAAO;IACT,SAAS,KAAO;IAChB,QAAQ,KAAO;IACf,GAAG,MAAO;IACV,KAAK,KAAO;IACZ,UAAU,MAAO;IACjB,YAAY,KAAO;IACnB,UAAU,KAAO;IACjB,KAAK,KAAO;IACZ,KAAK,KAAO;IACZ,GAAG,KAAO;IACV,WAAW,KAAO;IAClB,MAAM,KAAO;IACb,WAAW,KAAO;IAClB,WAAW,KAAO;IAClB,IAAI,KAAO;IACX,QAAQ,KAAO;IACf,KAAK,KAAO;IACZ,SAAS,MAAO;IAChB,WAAW,KAAO;IAClB,SAAS,KAAO;IAChB,OAAO,KAAO;IACd,IAAI,KAAO;IACX,QAAQ,KAAO;IACf,SAAS,KAAO;IAChB,WAAW,KAAO;IAClB,KAAK,KAAO;IACZ,KAAK,MAAO;CACb;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,SAE/C;AAED,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,WAEzC;AAED,wBAAgB,cAAc,CAAC,EAAE,EAAE,MAAM,WAExC;AAED,wBAAgB,WAAW,CAAC,EAAE,EAAE,MAAM,WAErC;AAED,wBAAgB,2BAA2B,CAAC,EAAE,EAAE,MAAM,WAOrD;AAED,wBAAgB,8BAA8B,CAAC,EAAE,EAAE,MAAM,WAQxD;AAED,wBAAgB,YAAY,CAAC,EAAE,EAAE,MAAM,WAEtC;AAED,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,MAAM,WAKhD;AAED,wBAAgB,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAiBxC;AAED,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,WAEjC;AAED,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,WAIpC;AAED,wBAAgB,aAAa,CAAC,EAAE,EAAE,MAAM,WAEvC;AAED,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,MAAM,WAEhD;AAED,wBAAgB,sBAAsB,CAAC,EAAE,EAAE,MAAM,WAOhD;AAED,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,MAAM,WAQnD;AAED,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,WAKlD;AAED,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM,WAKrD;AAED,wBAAgB,6BAA6B,CAAC,SAAS,EAAE,MAAM,WAE9D;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAW7E"}

package/dist/core/charcode.js

@@ -0,0 +1,115 @@
+import { nonAsciiIdentifierMap } from "./nonascii.js";
+export function utf16CodeUnits(codePoint) {
+    return codePoint >= 0x10000 ? 2 : 1;
+}
+export function isHighSurrogate(ch) {
+    return ch >= 0xd800 && ch <= 0xdbff;
+}
+export function isLowSurrogate(ch) {
+    return ch >= 0xdc00 && ch <= 0xdfff;
+}
+export function isLineBreak(ch) {
+    return ch === 10 /* CharCode.LineFeed */ || ch === 13 /* CharCode.CarriageReturn */;
+}
+export function isAsciiWhiteSpaceSingleLine(ch) {
+    return (ch === 32 /* CharCode.Space */ ||
+        ch === 9 /* CharCode.Tab */ ||
+        ch === 11 /* CharCode.VerticalTab */ ||
+        ch === 12 /* CharCode.FormFeed */);
+}
+export function isNonAsciiWhiteSpaceSingleLine(ch) {
+    return (ch === 133 /* CharCode.NextLine */ || // not considered a line break
+        ch === 8206 /* CharCode.LeftToRightMark */ ||
+        ch === 8207 /* CharCode.RightToLeftMark */ ||
+        ch === 8232 /* CharCode.LineSeparator */ ||
+        ch === 8233 /* CharCode.ParagraphSeparator */);
+}
+export function isWhiteSpace(ch) {
+    return isWhiteSpaceSingleLine(ch) || isLineBreak(ch);
+}
+export function isWhiteSpaceSingleLine(ch) {
+    return (isAsciiWhiteSpaceSingleLine(ch) ||
+        (ch > 127 /* CharCode.MaxAscii */ && isNonAsciiWhiteSpaceSingleLine(ch)));
+}
+export function trim(str) {
+    let start = 0;
+    let end = str.length - 1;
+    if (!isWhiteSpace(str.charCodeAt(start)) && !isWhiteSpace(str.charCodeAt(end))) {
+        return str;
+    }
+    while (isWhiteSpace(str.charCodeAt(start))) {
+        start++;
+    }
+    while (isWhiteSpace(str.charCodeAt(end))) {
+        end--;
+    }
+    return str.substring(start, end + 1);
+}
+export function isDigit(ch) {
+    return ch >= 48 /* CharCode._0 */ && ch <= 57 /* CharCode._9 */;
+}
+export function isHexDigit(ch) {
+    return (isDigit(ch) || (ch >= 65 /* CharCode.A */ && ch <= 70 /* CharCode.F */) || (ch >= 97 /* CharCode.a */ && ch <= 102 /* CharCode.f */));
+}
+export function isBinaryDigit(ch) {
+    return ch === 48 /* CharCode._0 */ || ch === 49 /* CharCode._1 */;
+}
+export function isLowercaseAsciiLetter(ch) {
+    return ch >= 97 /* CharCode.a */ && ch <= 122 /* CharCode.z */;
+}
+export function isAsciiIdentifierStart(ch) {
+    return ((ch >= 65 /* CharCode.A */ && ch <= 90 /* CharCode.Z */) ||
+        (ch >= 97 /* CharCode.a */ && ch <= 122 /* CharCode.z */) ||
+        ch === 36 /* CharCode.$ */ ||
+        ch === 95 /* CharCode._ */);
+}
+export function isAsciiIdentifierContinue(ch) {
+    return ((ch >= 65 /* CharCode.A */ && ch <= 90 /* CharCode.Z */) ||
+        (ch >= 97 /* CharCode.a */ && ch <= 122 /* CharCode.z */) ||
+        (ch >= 48 /* CharCode._0 */ && ch <= 57 /* CharCode._9 */) ||
+        ch === 36 /* CharCode.$ */ ||
+        ch === 95 /* CharCode._ */);
+}
+export function isIdentifierStart(codePoint) {
+    return (isAsciiIdentifierStart(codePoint) ||
+        (codePoint > 127 /* CharCode.MaxAscii */ && isNonAsciiIdentifierCharacter(codePoint)));
+}
+export function isIdentifierContinue(codePoint) {
+    return (isAsciiIdentifierContinue(codePoint) ||
+        (codePoint > 127 /* CharCode.MaxAscii */ && isNonAsciiIdentifierCharacter(codePoint)));
+}
+export function isNonAsciiIdentifierCharacter(codePoint) {
+    return lookupInNonAsciiMap(codePoint, nonAsciiIdentifierMap);
+}
+export function codePointBefore(text, pos) {
+    if (pos <= 0 || pos >= text.length) {
+        return undefined;
+    }
+    const ch = text.charCodeAt(pos - 1);
+    if (!isLowSurrogate(ch) || !isHighSurrogate(text.charCodeAt(pos - 2))) {
+        return ch;
+    }
+    return text.codePointAt(pos - 2);
+}
+function lookupInNonAsciiMap(codePoint, map) {
+    // Perform binary search in one of the Unicode range maps
+    let lo = 0;
+    let hi = map.length;
+    let mid;
+    while (lo + 1 < hi) {
+        mid = lo + (hi - lo) / 2;
+        // mid has to be even to catch a range's beginning
+        mid -= mid % 2;
+        if (map[mid] <= codePoint && codePoint <= map[mid + 1]) {
+            return true;
+        }
+        if (codePoint < map[mid]) {
+            hi = mid;
+        }
+        else {
+            lo = mid + 2;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=charcode.js.map

package/dist/core/charcode.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"charcode.js","sourceRoot":"","sources":["../../core/charcode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAiItD,MAAM,UAAU,cAAc,CAAC,SAAiB;IAC9C,OAAO,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,EAAU;IACxC,OAAO,EAAE,IAAI,MAAM,IAAI,EAAE,IAAI,MAAM,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,EAAU;IACvC,OAAO,EAAE,IAAI,MAAM,IAAI,EAAE,IAAI,MAAM,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,EAAU;IACpC,OAAO,EAAE,+BAAsB,IAAI,EAAE,qCAA4B,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,EAAU;IACpD,OAAO,CACL,EAAE,4BAAmB;QACrB,EAAE,yBAAiB;QACnB,EAAE,kCAAyB;QAC3B,EAAE,+BAAsB,CACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,8BAA8B,CAAC,EAAU;IACvD,OAAO,CACL,EAAE,gCAAsB,IAAI,8BAA8B;QAC1D,EAAE,wCAA6B;QAC/B,EAAE,wCAA6B;QAC/B,EAAE,sCAA2B;QAC7B,EAAE,2CAAgC,CACnC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,EAAU;IACrC,OAAO,sBAAsB,CAAC,EAAE,CAAC,IAAI,WAAW,CAAC,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,EAAU;IAC/C,OAAO,CACL,2BAA2B,CAAC,EAAE,CAAC;QAC/B,CAAC,EAAE,8BAAoB,IAAI,8BAA8B,CAAC,EAAE,CAAC,CAAC,CAC/D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,GAAW;IAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;IAEzB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE;QAC9E,OAAO,GAAG,CAAC;KACZ;IAED,OAAO,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE;QAC1C,KAAK,EAAE,CAAC;KACT;IAED,OAAO,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE;QACxC,GAAG,EAAE,CAAC;KACP;IAED,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,EAAU;IAChC,OAAO,EAAE,wBAAe,IAAI,EAAE,wBAAe,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,EAAU;IACnC,OAAO,CACL,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,uBAAc,IAAI,EAAE,uBAAc,CAAC,IAAI,CAAC,EAAE,uBAAc,IAAI,EAAE,wBAAc,CAAC,CAChG,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAAU;IACtC,OAAO,EAAE,yBAAgB,IAAI,EAAE,yBAAgB,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,EAAU;IAC/C,OAAO,EAAE,uBAAc,IAAI,EAAE,wBAAc,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,EAAU;IAC/C,OAAO,CACL,CAAC,EAAE,uBAAc,IAAI,EAAE,uBAAc,CAAC;QACtC,CAAC,EAAE,uBAAc,IAAI,EAAE,wBAAc,CAAC;QACtC,EAAE,wBAAe;QACjB,EAAE,wBAAe,CAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAU;IAClD,OAAO,CACL,CAAC,EAAE,uBAAc,IAAI,EAAE,uBAAc,CAAC;QACtC,CAAC,EAAE,uBAAc,IAAI,EAAE,wBAAc,CAAC;QACtC,CAAC,EAAE,wBAAe,IAAI,EAAE,wBAAe,CAAC;QACxC,EAAE,wBAAe;QACjB,EAAE,wBAAe,CAClB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,CACL,sBAAsB,CAAC,SAAS,CAAC;QACjC,CAAC,SAAS,8BAAoB,IAAI,6BAA6B,CAAC,SAAS,CAAC,CAAC,CAC5E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,SAAiB;IACpD,OAAO,CACL,yBAAyB,CAAC,SAAS,CAAC;QACpC,CAAC,SAAS,8BAAoB,IAAI,6BAA6B,CAAC,SAAS,CAAC,CAAC,CAC5E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,SAAiB;IAC7D,OAAO,mBAAmB,CAAC,SAAS,EAAE,qBAAqB,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,GAAW;IACvD,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE;QAClC,OAAO,SAAS,CAAC;KAClB;IAED,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE;QACrE,OAAO,EAAE,CAAC;KACX;IAED,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAiB,EAAE,GAAsB;IACpE,yDAAyD;IACzD,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,EAAE,GAAW,GAAG,CAAC,MAAM,CAAC;IAC5B,IAAI,GAAW,CAAC;IAEhB,OAAO,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE;QAClB,GAAG,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;QACzB,kDAAkD;QAClD,GAAG,IAAI,GAAG,GAAG,CAAC,CAAC;QACf,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,SAAS,IAAI,SAAS,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE;YACtD,OAAO,IAAI,CAAC;SACb;QAED,IAAI,SAAS,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE;YACxB,EAAE,GAAG,GAAG,CAAC;SACV;aAAM;YACL,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;SACd;KACF;IAED,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/core/checker.d.ts

@@ -0,0 +1,138 @@
+import { TypeNameOptions } from "./helpers/index.js";
+import { Program, ProjectedProgram } from "./program.js";
+import { BooleanLiteral, BooleanLiteralNode, Diagnostic, DiagnosticTarget, ErrorType, FunctionType, IdentifierNode, IntrinsicScalarName, JsSourceFileNode, LiteralNode, LiteralType, Model, ModelProperty, Namespace, NamespaceStatementNode, NeverType, Node, NumericLiteral, NumericLiteralNode, ProjectionNode, ProjectionStatementNode, Scalar, StringLiteral, StringLiteralNode, Sym, Type, TypeMapper, TypeReferenceNode, TypeSpecScriptNode, UnknownType, VoidType } from "./types.js";
+export interface Checker {
+    typePrototype: TypePrototype;
+    getTypeForNode(node: Node): Type;
+    setUsingsForFile(file: TypeSpecScriptNode): void;
+    checkProgram(): void;
+    checkSourceFile(file: TypeSpecScriptNode): void;
+    getGlobalNamespaceType(): Namespace;
+    getGlobalNamespaceNode(): NamespaceStatementNode;
+    getMergedSymbol(sym: Sym | undefined): Sym | undefined;
+    mergeSourceFile(file: TypeSpecScriptNode | JsSourceFileNode): void;
+    getLiteralType(node: StringLiteralNode): StringLiteral;
+    getLiteralType(node: NumericLiteralNode): NumericLiteral;
+    getLiteralType(node: BooleanLiteralNode): BooleanLiteral;
+    getLiteralType(node: LiteralNode): LiteralType;
+    /**
+     * @deprecated use `import { getTypeName } from "@typespec/compiler";`
+     */
+    getTypeName(type: Type, options?: TypeNameOptions): string;
+    /**
+     * @deprecated use `import { getNamespaceFullName } from "@typespec/compiler";`
+     */
+    getNamespaceString(type: Namespace | undefined, options?: TypeNameOptions): string;
+    cloneType<T extends Type>(type: T, additionalProps?: {
+        [P in keyof T]?: T[P];
+    }): T;
+    evalProjection(node: ProjectionNode, target: Type, args: Type[]): Type;
+    project(target: Type, projection: ProjectionNode, args?: (Type | string | number | boolean)[]): Type;
+    resolveIdentifier(node: IdentifierNode): Sym | undefined;
+    resolveCompletions(node: IdentifierNode): Map<string, TypeSpecCompletionItem>;
+    createType<T>(typeDef: T): T & TypePrototype;
+    createAndFinishType<U extends Type extends any ? Omit<Type, keyof TypePrototype> : never>(typeDef: U): U & TypePrototype;
+    finishType<T extends Type>(typeDef: T): T;
+    createFunctionType(fn: (...args: Type[]) => Type): FunctionType;
+    createLiteralType(value: string, node?: StringLiteralNode): StringLiteral;
+    createLiteralType(value: number, node?: NumericLiteralNode): NumericLiteral;
+    createLiteralType(value: boolean, node?: BooleanLiteralNode): BooleanLiteral;
+    createLiteralType(value: string | number | boolean, node?: StringLiteralNode | NumericLiteralNode | BooleanLiteralNode): StringLiteral | NumericLiteral | BooleanLiteral;
+    createLiteralType(value: string | number | boolean, node?: StringLiteralNode | NumericLiteralNode | BooleanLiteralNode): StringLiteral | NumericLiteral | BooleanLiteral;
+    /**
+     * Check if the source type can be assigned to the target type.
+     * @param source Source type, should be assignable to the target.
+     * @param target Target type
+     * @param diagnosticTarget Target for the diagnostic, unless something better can be inferred.
+     * @returns [related, list of diagnostics]
+     */
+    isTypeAssignableTo(source: Type, target: Type, diagnosticTarget: DiagnosticTarget): [boolean, Diagnostic[]];
+    /**
+     * Check if the given type is one of the built-in standard TypeSpec Types.
+     * @param type Type to check
+     * @param stdType If provided check is that standard type
+     */
+    isStdType(type: Scalar, stdType?: IntrinsicScalarName): type is Scalar & {
+        name: IntrinsicScalarName;
+    };
+    isStdType(type: Type, stdType?: StdTypeName): type is Type & {
+        name: StdTypeName;
+    };
+    /**
+     * Std type
+     * @param name Name
+     */
+    getStdType<T extends keyof StdTypes>(name: T): StdTypes[T];
+    /**
+     * Check and resolve a type for the given type reference node.
+     * @param node Node.
+     * @returns Resolved type and diagnostics if there was an error.
+     */
+    resolveTypeReference(node: TypeReferenceNode): [Type | undefined, readonly Diagnostic[]];
+    errorType: ErrorType;
+    voidType: VoidType;
+    neverType: NeverType;
+    anyType: UnknownType;
+}
+interface TypePrototype {
+    projections: ProjectionStatementNode[];
+    projectionsByName(name: string): ProjectionStatementNode[];
+}
+/** @deprecated Use TypeSpecCompletionItem */
+export type CadlCompletionItem = TypeSpecCompletionItem;
+export interface TypeSpecCompletionItem {
+    sym: Sym;
+    /**
+     *  Optional label if different from the text to complete.
+     */
+    label?: string;
+}
+type StdTypeName = IntrinsicScalarName | "Array" | "Record" | "object";
+type StdTypes = {
+    Array: Model;
+    Record: Model;
+} & Record<IntrinsicScalarName, Scalar>;
+export declare function createChecker(program: Program): Checker;
+/**
+ * If the input is anonymous (or the provided filter removes properties)
+ * and there exists a named model with the same set of properties
+ * (ignoring filtered properties), then return that named model.
+ * Otherwise, return the input unchanged.
+ *
+ * This can be used by emitters to find a better name for a set of
+ * properties after filtering. For example, given `{ @metadata prop:
+ * string} & SomeName`, and an emitter that wishes to discard properties
+ * marked with `@metadata`, the emitter can use this to recover that the
+ * best name for the remaining properties is `SomeName`.
+ *
+ * @param model The input model
+ * @param filter An optional filter to apply to the input model's
+ * properties.
+ */
+export declare function getEffectiveModelType(program: Program, model: Model, filter?: (property: ModelProperty) => boolean): Model;
+/**
+ * Applies a filter to the properties of a given type. If no properties
+ * are filtered out, then return the input unchanged. Otherwise, return
+ * a new anonymous model with only the filtered properties.
+ *
+ * @param model The input model to filter.
+ * @param filter The filter to apply. Properties are kept when this returns true.
+ */
+export declare function filterModelProperties(program: Program | ProjectedProgram, model: Model, filter: (property: ModelProperty) => boolean): Model;
+/**
+ * Gets the property from the nearest base type that is overridden by the
+ * given property, if any.
+ */
+export declare function getOverriddenProperty(property: ModelProperty): ModelProperty | undefined;
+/**
+ * Enumerates the properties declared by model or inherited from its base.
+ *
+ * Properties declared by more derived types are enumerated before properties
+ * of less derived types.
+ *
+ * Properties that are overridden are not enumerated.
+ */
+export declare function walkPropertiesInherited(model: Model): Generator<ModelProperty, void, unknown>;
+export declare function finishTypeForProgram<T extends Type>(program: Program, typeDef: T, mapper?: TypeMapper): T;
+export {};
+//# sourceMappingURL=checker.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../../core/checker.ts"],"names":[],"mappings":"AAIA,OAAO,EAAqC,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGxF,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AASzD,OAAO,EAIL,cAAc,EACd,kBAAkB,EAQlB,UAAU,EACV,gBAAgB,EAKhB,SAAS,EAKT,YAAY,EAEZ,cAAc,EAId,mBAAmB,EACnB,gBAAgB,EAChB,WAAW,EACX,WAAW,EAOX,KAAK,EAGL,aAAa,EAKb,SAAS,EACT,sBAAsB,EACtB,SAAS,EACT,IAAI,EAEJ,cAAc,EACd,kBAAkB,EAiBlB,cAAc,EAGd,uBAAuB,EAIvB,MAAM,EAEN,aAAa,EACb,iBAAiB,EACjB,GAAG,EAYH,IAAI,EAEJ,UAAU,EAEV,iBAAiB,EACjB,kBAAkB,EAMlB,WAAW,EACX,QAAQ,EACT,MAAM,YAAY,CAAC;AAGpB,MAAM,WAAW,OAAO;IACtB,aAAa,EAAE,aAAa,CAAC;IAE7B,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IACjC,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACjD,YAAY,IAAI,IAAI,CAAC;IACrB,eAAe,CAAC,IAAI,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAChD,sBAAsB,IAAI,SAAS,CAAC;IACpC,sBAAsB,IAAI,sBAAsB,CAAC;IACjD,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,SAAS,GAAG,GAAG,GAAG,SAAS,CAAC;IACvD,eAAe,CAAC,IAAI,EAAE,kBAAkB,GAAG,gBAAgB,GAAG,IAAI,CAAC;IACnE,cAAc,CAAC,IAAI,EAAE,iBAAiB,GAAG,aAAa,CAAC;IACvD,cAAc,CAAC,IAAI,EAAE,kBAAkB,GAAG,cAAc,CAAC;IACzD,cAAc,CAAC,IAAI,EAAE,kBAAkB,GAAG,cAAc,CAAC;IACzD,cAAc,CAAC,IAAI,EAAE,WAAW,GAAG,WAAW,CAAC;IAE/C;;OAEG;IACH,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,eAAe,GAAG,MAAM,CAAC;IAE3D;;OAEG;IACH,kBAAkB,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,EAAE,OAAO,CAAC,EAAE,eAAe,GAAG,MAAM,CAAC;IACnF,SAAS,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC,EAAE;SAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAAE,GAAG,CAAC,CAAC;IACnF,cAAc,CAAC,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IACvE,OAAO,CACL,MAAM,EAAE,IAAI,EACZ,UAAU,EAAE,cAAc,EAC1B,IAAI,CAAC,EAAE,CAAC,IAAI,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,EAAE,GAC1C,IAAI,CAAC;IACR,iBAAiB,CAAC,IAAI,EAAE,cAAc,GAAG,GAAG,GAAG,SAAS,CAAC;IACzD,kBAAkB,CAAC,IAAI,EAAE,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;IAC9E,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;IAC7C,mBAAmB,CAAC,CAAC,SAAS,IAAI,SAAS,GAAG,GAAG,IAAI,CAAC,IAAI,EAAE,MAAM,aAAa,CAAC,GAAG,KAAK,EACtF,OAAO,EAAE,CAAC,GACT,CAAC,GAAG,aAAa,CAAC;IACrB,UAAU,CAAC,CAAC,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;IAC1C,kBAAkB,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,IAAI,GAAG,YAAY,CAAC;IAChE,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,iBAAiB,GAAG,aAAa,CAAC;IAC1E,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,kBAAkB,GAAG,cAAc,CAAC;IAC5E,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,kBAAkB,GAAG,cAAc,CAAC;IAC7E,iBAAiB,CACf,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EAChC,IAAI,CAAC,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GACjE,aAAa,GAAG,cAAc,GAAG,cAAc,CAAC;IACnD,iBAAiB,CACf,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EAChC,IAAI,CAAC,EAAE,iBAAiB,GAAG,kBAAkB,GAAG,kBAAkB,GACjE,aAAa,GAAG,cAAc,GAAG,cAAc,CAAC;IAEnD;;;;;;OAMG;IACH,kBAAkB,CAChB,MAAM,EAAE,IAAI,EACZ,MAAM,EAAE,IAAI,EACZ,gBAAgB,EAAE,gBAAgB,GACjC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;IAE3B;;;;OAIG;IACH,SAAS,CACP,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,mBAAmB,GAC5B,IAAI,IAAI,MAAM,GAAG;QAAE,IAAI,EAAE,mBAAmB,CAAA;KAAE,CAAC;IAClD,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,IAAI,IAAI,IAAI,GAAG;QAAE,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC;IAEnF;;;OAGG;IACH,UAAU,CAAC,CAAC,SAAS,MAAM,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAE3D;;;;OAIG;IACH,oBAAoB,CAAC,IAAI,EAAE,iBAAiB,GAAG,CAAC,IAAI,GAAG,SAAS,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;IAEzF,SAAS,EAAE,SAAS,CAAC;IACrB,QAAQ,EAAE,QAAQ,CAAC;IACnB,SAAS,EAAE,SAAS,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;CACtB;AAED,UAAU,aAAa;IACrB,WAAW,EAAE,uBAAuB,EAAE,CAAC;IACvC,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,EAAE,CAAC;CAC5D;AAED,6CAA6C;AAC7C,MAAM,MAAM,kBAAkB,GAAG,sBAAsB,CAAC;AAExD,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,GAAG,CAAC;IAET;;OAEG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AASD,KAAK,WAAW,GAAG,mBAAmB,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;AACvE,KAAK,QAAQ,GAAG;IAEd,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,EAAE,KAAK,CAAC;CACf,GAAG,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;AAKxC,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAo/IvD;AAqFD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,EACZ,MAAM,CAAC,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,GAC5C,KAAK,CAyEP;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,OAAO,GAAG,gBAAgB,EACnC,KAAK,EAAE,KAAK,EACZ,MAAM,EAAE,CAAC,QAAQ,EAAE,aAAa,KAAK,OAAO,GAC3C,KAAK,CAmCP;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,aAAa,GAAG,aAAa,GAAG,SAAS,CAcxF;AAED;;;;;;;GAOG;AACH,wBAAiB,uBAAuB,CAAC,KAAK,EAAE,KAAK,2CAapD;AAYD,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,IAAI,EACjD,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,CAAC,EACV,MAAM,CAAC,EAAE,UAAU,GAClB,CAAC,CAEH"}