@birdcc/core 0.0.1-alpha.0

package/dist/prefix.js

@@ -0,0 +1,76 @@
+import { isIP } from "node:net";
+import { parse as parseCidr } from "fast-cidr-tools";
+const parsePrefixRange = (suffix) => {
+    if (!suffix.startsWith("{") || !suffix.endsWith("}")) {
+        return null;
+    }
+    const inner = suffix.slice(1, -1);
+    const commaIndex = inner.indexOf(",");
+    if (commaIndex <= 0 || commaIndex >= inner.length - 1) {
+        return null;
+    }
+    const min = Number(inner.slice(0, commaIndex));
+    const max = Number(inner.slice(commaIndex + 1));
+    if (!Number.isInteger(min) || !Number.isInteger(max)) {
+        return null;
+    }
+    return { min, max };
+};
+export const isValidPrefixLiteral = (literal) => {
+    let value = literal.trim();
+    if (value.length === 0) {
+        return false;
+    }
+    let range = null;
+    if (value.endsWith("+")) {
+        value = value.slice(0, -1);
+    }
+    else if (value.endsWith("-")) {
+        value = value.slice(0, -1);
+    }
+    else if (value.endsWith("}")) {
+        const braceStart = value.lastIndexOf("{");
+        if (braceStart === -1) {
+            return false;
+        }
+        range = parsePrefixRange(value.slice(braceStart));
+        if (!range) {
+            return false;
+        }
+        value = value.slice(0, braceStart);
+    }
+    const slashIndex = value.lastIndexOf("/");
+    if (slashIndex <= 0 || slashIndex >= value.length - 1) {
+        return false;
+    }
+    const ipPart = value.slice(0, slashIndex);
+    const prefixPart = value.slice(slashIndex + 1);
+    const prefix = Number(prefixPart);
+    if (!Number.isInteger(prefix)) {
+        return false;
+    }
+    const version = isIP(ipPart);
+    if (version === 0) {
+        return false;
+    }
+    const maxBits = version === 4 ? 32 : 128;
+    if (prefix < 0 || prefix > maxBits) {
+        return false;
+    }
+    if (range) {
+        if (range.min < prefix ||
+            range.min > maxBits ||
+            range.max < range.min ||
+            range.max > maxBits) {
+            return false;
+        }
+    }
+    try {
+        void parseCidr(value);
+    }
+    catch {
+        return false;
+    }
+    return true;
+};
+//# sourceMappingURL=prefix.js.map

package/dist/prefix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prefix.js","sourceRoot":"","sources":["../src/prefix.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAChC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAErD,MAAM,gBAAgB,GAAG,CACvB,MAAc,EACuB,EAAE;IACvC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClC,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACtC,IAAI,UAAU,IAAI,CAAC,IAAI,UAAU,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC;IAEhD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,OAAe,EAAW,EAAE;IAC/D,IAAI,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,KAAK,GAAwC,IAAI,CAAC;IAEtD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;SAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;YACtB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;QAClD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,KAAK,CAAC;QACf,CAAC;QAED,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,UAAU,IAAI,CAAC,IAAI,UAAU,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IAC1C,MAAM,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IAElC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7B,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;QAClB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IACzC,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,OAAO,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,KAAK,EAAE,CAAC;QACV,IACE,KAAK,CAAC,GAAG,GAAG,MAAM;YAClB,KAAK,CAAC,GAAG,GAAG,OAAO;YACnB,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG;YACrB,KAAK,CAAC,GAAG,GAAG,OAAO,EACnB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,IAAI,CAAC;QACH,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC"}

package/dist/range.d.ts

@@ -0,0 +1,3 @@
+import type { BirdRange } from "./types.js";
+export declare const createRange: (line: number, column: number, nameLength?: number) => BirdRange;
+//# sourceMappingURL=range.d.ts.map

package/dist/range.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"range.d.ts","sourceRoot":"","sources":["../src/range.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,eAAO,MAAM,WAAW,GACtB,MAAM,MAAM,EACZ,QAAQ,MAAM,EACd,mBAAc,KACb,SAKD,CAAC"}

package/dist/range.js

@@ -0,0 +1,7 @@
+export const createRange = (line, column, nameLength = 1) => ({
+    line,
+    column,
+    endLine: line,
+    endColumn: column + Math.max(nameLength, 1),
+});
+//# sourceMappingURL=range.js.map

package/dist/range.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"range.js","sourceRoot":"","sources":["../src/range.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,IAAY,EACZ,MAAc,EACd,UAAU,GAAG,CAAC,EACH,EAAE,CAAC,CAAC;IACf,IAAI;IACJ,MAAM;IACN,OAAO,EAAE,IAAI;IACb,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC;CAC5C,CAAC,CAAC"}

package/dist/semantic-diagnostics.d.ts

@@ -0,0 +1,4 @@
+import type { ParsedBirdDocument } from "@birdcc/parser";
+import type { BirdDiagnostic } from "./types.js";
+export declare const collectSemanticDiagnostics: (parsed: ParsedBirdDocument) => BirdDiagnostic[];
+//# sourceMappingURL=semantic-diagnostics.d.ts.map

package/dist/semantic-diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-diagnostics.d.ts","sourceRoot":"","sources":["../src/semantic-diagnostics.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAGjD,eAAO,MAAM,0BAA0B,GACrC,QAAQ,kBAAkB,KACzB,cAAc,EAqFhB,CAAC"}

package/dist/semantic-diagnostics.js

@@ -0,0 +1,75 @@
+import { isIP, isIPv4 } from "node:net";
+import { isValidPrefixLiteral } from "./prefix.js";
+export const collectSemanticDiagnostics = (parsed) => {
+    const diagnostics = [];
+    for (const declaration of parsed.program.declarations) {
+        if (declaration.kind === "router-id") {
+            const range = declaration.valueRange;
+            if (declaration.valueKind === "ip" && !isIPv4(declaration.value)) {
+                diagnostics.push({
+                    code: "semantic/invalid-router-id",
+                    message: `Invalid router id '${declaration.value}' (expected IPv4 address)`,
+                    severity: "error",
+                    source: "core",
+                    range,
+                });
+                continue;
+            }
+            if (declaration.valueKind === "unknown" &&
+                declaration.value.length > 0 &&
+                declaration.value.toLowerCase() !== "from routing" &&
+                declaration.value.toLowerCase() !== "from dynamic") {
+                diagnostics.push({
+                    code: "semantic/invalid-router-id",
+                    message: `Invalid router id value '${declaration.value}'`,
+                    severity: "error",
+                    source: "core",
+                    range,
+                });
+            }
+            continue;
+        }
+        if (declaration.kind === "protocol") {
+            for (const statement of declaration.statements) {
+                if (statement.kind !== "neighbor" || statement.addressKind !== "ip") {
+                    continue;
+                }
+                if (isIP(statement.address) === 0) {
+                    diagnostics.push({
+                        code: "semantic/invalid-neighbor-address",
+                        message: `Invalid neighbor address '${statement.address}'`,
+                        severity: "error",
+                        source: "core",
+                        range: statement.addressRange,
+                    });
+                }
+            }
+            continue;
+        }
+        if (declaration.kind !== "filter" && declaration.kind !== "function") {
+            continue;
+        }
+        for (const literal of declaration.literals) {
+            if (literal.kind !== "prefix") {
+                continue;
+            }
+            if (isValidPrefixLiteral(literal.value)) {
+                continue;
+            }
+            diagnostics.push({
+                code: "semantic/invalid-cidr",
+                message: `Invalid CIDR/prefix literal '${literal.value}'`,
+                severity: "error",
+                source: "core",
+                range: {
+                    line: literal.line,
+                    column: literal.column,
+                    endLine: literal.endLine,
+                    endColumn: literal.endColumn,
+                },
+            });
+        }
+    }
+    return diagnostics;
+};
+//# sourceMappingURL=semantic-diagnostics.js.map

package/dist/semantic-diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-diagnostics.js","sourceRoot":"","sources":["../src/semantic-diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAGxC,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAEnD,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,MAA0B,EACR,EAAE;IACpB,MAAM,WAAW,GAAqB,EAAE,CAAC;IAEzC,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;QACtD,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC;YAErC,IAAI,WAAW,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjE,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,sBAAsB,WAAW,CAAC,KAAK,2BAA2B;oBAC3E,QAAQ,EAAE,OAAO;oBACjB,MAAM,EAAE,MAAM;oBACd,KAAK;iBACN,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IACE,WAAW,CAAC,SAAS,KAAK,SAAS;gBACnC,WAAW,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAC5B,WAAW,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,cAAc;gBAClD,WAAW,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,cAAc,EAClD,CAAC;gBACD,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,4BAA4B;oBAClC,OAAO,EAAE,4BAA4B,WAAW,CAAC,KAAK,GAAG;oBACzD,QAAQ,EAAE,OAAO;oBACjB,MAAM,EAAE,MAAM;oBACd,KAAK;iBACN,CAAC,CAAC;YACL,CAAC;YAED,SAAS;QACX,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACpC,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;gBAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;oBACpE,SAAS;gBACX,CAAC;gBAED,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBAClC,WAAW,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,mCAAmC;wBACzC,OAAO,EAAE,6BAA6B,SAAS,CAAC,OAAO,GAAG;wBAC1D,QAAQ,EAAE,OAAO;wBACjB,MAAM,EAAE,MAAM;wBACd,KAAK,EAAE,SAAS,CAAC,YAAY;qBAC9B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,SAAS;QACX,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACrE,SAAS;QACX,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC3C,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9B,SAAS;YACX,CAAC;YAED,IAAI,oBAAoB,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxC,SAAS;YACX,CAAC;YAED,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,uBAAuB;gBAC7B,OAAO,EAAE,gCAAgC,OAAO,CAAC,KAAK,GAAG;gBACzD,QAAQ,EAAE,OAAO;gBACjB,MAAM,EAAE,MAAM;gBACd,KAAK,EAAE;oBACL,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,MAAM,EAAE,OAAO,CAAC,MAAM;oBACtB,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,SAAS,EAAE,OAAO,CAAC,SAAS;iBAC7B;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC"}

package/dist/snapshot.d.ts

@@ -0,0 +1,7 @@
+import type { ParsedBirdDocument } from "@birdcc/parser";
+import type { CoreSnapshot, TypeCheckOptions } from "./types.js";
+export declare const buildCoreSnapshotFromParsed: (parsed: ParsedBirdDocument, options?: {
+    uri?: string;
+    typeCheck?: TypeCheckOptions;
+}) => CoreSnapshot;
+//# sourceMappingURL=snapshot.d.ts.map

package/dist/snapshot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../src/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AASjE,eAAO,MAAM,2BAA2B,GACtC,QAAQ,kBAAkB,EAC1B,UAAS;IAAE,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,gBAAgB,CAAA;CAAO,KAC3D,YAkBF,CAAC"}

package/dist/snapshot.js

@@ -0,0 +1,22 @@
+import { buildSymbolTableFromParsed, pushSymbolTableDiagnostics, } from "./symbol-table.js";
+import { collectSemanticDiagnostics } from "./semantic-diagnostics.js";
+import { collectCircularTemplateDiagnostics } from "./template-cycles.js";
+import { checkTypes } from "./type-checker.js";
+export const buildCoreSnapshotFromParsed = (parsed, options = {}) => {
+    const symbolTable = buildSymbolTableFromParsed(parsed, { uri: options.uri });
+    const diagnostics = collectSemanticDiagnostics(parsed);
+    diagnostics.push(...collectCircularTemplateDiagnostics([parsed]));
+    pushSymbolTableDiagnostics(symbolTable, diagnostics);
+    const typeDiagnostics = checkTypes(parsed.program, symbolTable, {
+        ...options.typeCheck,
+        uri: options.uri,
+    });
+    return {
+        symbols: symbolTable.definitions,
+        references: symbolTable.references,
+        symbolTable,
+        typeDiagnostics,
+        diagnostics: [...diagnostics, ...typeDiagnostics],
+    };
+};
+//# sourceMappingURL=snapshot.js.map

package/dist/snapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../src/snapshot.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,kCAAkC,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,MAA0B,EAC1B,UAA0D,EAAE,EAC9C,EAAE;IAChB,MAAM,WAAW,GAAG,0BAA0B,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAC7E,MAAM,WAAW,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;IACvD,WAAW,CAAC,IAAI,CAAC,GAAG,kCAAkC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAClE,0BAA0B,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IAErD,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE;QAC9D,GAAG,OAAO,CAAC,SAAS;QACpB,GAAG,EAAE,OAAO,CAAC,GAAG;KACjB,CAAC,CAAC;IAEH,OAAO;QACL,OAAO,EAAE,WAAW,CAAC,WAAW;QAChC,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,WAAW;QACX,eAAe;QACf,WAAW,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,eAAe,CAAC;KAClD,CAAC;AACJ,CAAC,CAAC"}

package/dist/symbol-table.d.ts

@@ -0,0 +1,9 @@
+import type { ParsedBirdDocument } from "@birdcc/parser";
+import type { BirdDiagnostic, SymbolTable } from "./types.js";
+export declare const DEFAULT_DOCUMENT_URI = "memory://bird.conf";
+export declare const buildSymbolTableFromParsed: (parsed: ParsedBirdDocument, options?: {
+    uri?: string;
+}) => SymbolTable;
+export declare const mergeSymbolTables: (tables: SymbolTable[]) => SymbolTable;
+export declare const pushSymbolTableDiagnostics: (symbolTable: SymbolTable, diagnostics: BirdDiagnostic[]) => void;
+//# sourceMappingURL=symbol-table.d.ts.map

package/dist/symbol-table.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-table.d.ts","sourceRoot":"","sources":["../src/symbol-table.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,KAAK,EACV,cAAc,EAId,WAAW,EACZ,MAAM,YAAY,CAAC;AAGpB,eAAO,MAAM,oBAAoB,uBAAuB,CAAC;AAgDzD,eAAO,MAAM,0BAA0B,GACrC,QAAQ,kBAAkB,EAC1B,UAAS;IAAE,GAAG,CAAC,EAAE,MAAM,CAAA;CAAO,KAC7B,WAmDF,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAAI,QAAQ,WAAW,EAAE,KAAG,WAUzD,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,aAAa,WAAW,EACxB,aAAa,cAAc,EAAE,KAC5B,IAyCF,CAAC"}

package/dist/symbol-table.js

@@ -0,0 +1,118 @@
+import { createRange } from "./range.js";
+export const DEFAULT_DOCUMENT_URI = "memory://bird.conf";
+const declarationToSymbol = (declaration, uri) => {
+    const toSymbol = (kind, name, nameRange) => ({
+        kind,
+        name,
+        line: nameRange.line,
+        column: nameRange.column,
+        endLine: nameRange.endLine,
+        endColumn: nameRange.endColumn,
+        uri,
+    });
+    if (declaration.kind === "protocol") {
+        return toSymbol("protocol", declaration.name, declaration.nameRange);
+    }
+    if (declaration.kind === "template") {
+        return toSymbol("template", declaration.name, declaration.nameRange);
+    }
+    if (declaration.kind === "filter") {
+        return toSymbol("filter", declaration.name, declaration.nameRange);
+    }
+    if (declaration.kind === "function") {
+        return toSymbol("function", declaration.name, declaration.nameRange);
+    }
+    if (declaration.kind === "table") {
+        return toSymbol("table", declaration.name, declaration.nameRange);
+    }
+    return null;
+};
+export const buildSymbolTableFromParsed = (parsed, options = {}) => {
+    const uri = options.uri ?? DEFAULT_DOCUMENT_URI;
+    const definitions = [];
+    const references = [];
+    for (const declaration of parsed.program.declarations) {
+        const symbol = declarationToSymbol(declaration, uri);
+        if (symbol) {
+            definitions.push(symbol);
+        }
+        if (declaration.kind === "protocol" && declaration.fromTemplate) {
+            const range = declaration.fromTemplateRange ?? {
+                line: declaration.line,
+                column: declaration.column,
+                endLine: declaration.endLine,
+                endColumn: declaration.endColumn,
+            };
+            references.push({
+                kind: "template",
+                name: declaration.fromTemplate,
+                line: range.line,
+                column: range.column,
+                endLine: range.endLine,
+                endColumn: range.endColumn,
+                uri,
+            });
+        }
+        if (declaration.kind === "template" && declaration.fromTemplate) {
+            const range = declaration.fromTemplateRange ?? {
+                line: declaration.line,
+                column: declaration.column,
+                endLine: declaration.endLine,
+                endColumn: declaration.endColumn,
+            };
+            references.push({
+                kind: "template",
+                name: declaration.fromTemplate,
+                line: range.line,
+                column: range.column,
+                endLine: range.endLine,
+                endColumn: range.endColumn,
+                uri,
+            });
+        }
+    }
+    return { definitions, references };
+};
+export const mergeSymbolTables = (tables) => {
+    const definitions = [];
+    const references = [];
+    for (const table of tables) {
+        definitions.push(...table.definitions);
+        references.push(...table.references);
+    }
+    return { definitions, references };
+};
+export const pushSymbolTableDiagnostics = (symbolTable, diagnostics) => {
+    const seenDefinitions = new Map();
+    for (const symbol of symbolTable.definitions) {
+        const key = `${symbol.kind}:${symbol.name.toLowerCase()}`;
+        const previous = seenDefinitions.get(key);
+        if (previous) {
+            diagnostics.push({
+                code: "semantic/duplicate-definition",
+                message: `${symbol.kind} '${symbol.name}' is already defined`,
+                severity: "error",
+                source: "core",
+                uri: symbol.uri,
+                range: createRange(symbol.line, symbol.column, symbol.name.length),
+            });
+            continue;
+        }
+        seenDefinitions.set(key, symbol);
+    }
+    for (const reference of symbolTable.references) {
+        const key = `template:${reference.name.toLowerCase()}`;
+        if (seenDefinitions.has(key)) {
+            continue;
+        }
+        diagnostics.push({
+            code: "semantic/undefined-reference",
+            message: `Undefined template reference '${reference.name}'`,
+            severity: "error",
+            source: "core",
+            uri: reference.uri,
+            range: createRange(reference.line, reference.column, reference.name.length),
+        });
+    }
+};
+//# sourceMappingURL=symbol-table.js.map

package/dist/symbol-table.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-table.js","sourceRoot":"","sources":["../src/symbol-table.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,MAAM,CAAC,MAAM,oBAAoB,GAAG,oBAAoB,CAAC;AAEzD,MAAM,mBAAmB,GAAG,CAC1B,WAAkE,EAClE,GAAW,EACc,EAAE;IAC3B,MAAM,QAAQ,GAAG,CACf,IAAoB,EACpB,IAAY,EACZ,SAKC,EACiB,EAAE,CAAC,CAAC;QACtB,IAAI;QACJ,IAAI;QACJ,IAAI,EAAE,SAAS,CAAC,IAAI;QACpB,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,GAAG;KACJ,CAAC,CAAC;IAEH,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,OAAO,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACpC,OAAO,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IACvE,CAAC;IAED,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACjC,OAAO,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IACpE,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,MAA0B,EAC1B,UAA4B,EAAE,EACjB,EAAE;IACf,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,oBAAoB,CAAC;IAChD,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;QACtD,MAAM,MAAM,GAAG,mBAAmB,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QACrD,IAAI,MAAM,EAAE,CAAC;YACX,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3B,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,IAAI,WAAW,CAAC,YAAY,EAAE,CAAC;YAChE,MAAM,KAAK,GAAG,WAAW,CAAC,iBAAiB,IAAI;gBAC7C,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,MAAM,EAAE,WAAW,CAAC,MAAM;gBAC1B,OAAO,EAAE,WAAW,CAAC,OAAO;gBAC5B,SAAS,EAAE,WAAW,CAAC,SAAS;aACjC,CAAC;YAEF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,WAAW,CAAC,YAAY;gBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;QAED,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,IAAI,WAAW,CAAC,YAAY,EAAE,CAAC;YAChE,MAAM,KAAK,GAAG,WAAW,CAAC,iBAAiB,IAAI;gBAC7C,IAAI,EAAE,WAAW,CAAC,IAAI;gBACtB,MAAM,EAAE,WAAW,CAAC,MAAM;gBAC1B,OAAO,EAAE,WAAW,CAAC,OAAO;gBAC5B,SAAS,EAAE,WAAW,CAAC,SAAS;aACjC,CAAC;YAEF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,WAAW,CAAC,YAAY;gBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACrC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAqB,EAAe,EAAE;IACtE,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;QACvC,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACrC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,WAAwB,EACxB,WAA6B,EACvB,EAAE;IACR,MAAM,eAAe,GAAG,IAAI,GAAG,EAA4B,CAAC;IAE5D,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAE1C,IAAI,QAAQ,EAAE,CAAC;YACb,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,sBAAsB;gBAC7D,QAAQ,EAAE,OAAO;gBACjB,MAAM,EAAE,MAAM;gBACd,GAAG,EAAE,MAAM,CAAC,GAAG;gBACf,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;aACnE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,YAAY,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACvD,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,SAAS;QACX,CAAC;QAED,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE,iCAAiC,SAAS,CAAC,IAAI,GAAG;YAC3D,QAAQ,EAAE,OAAO;YACjB,MAAM,EAAE,MAAM;YACd,GAAG,EAAE,SAAS,CAAC,GAAG;YAClB,KAAK,EAAE,WAAW,CAChB,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,MAAM,EAChB,SAAS,CAAC,IAAI,CAAC,MAAM,CACtB;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC"}

package/dist/template-cycles.d.ts

@@ -0,0 +1,9 @@
+import type { ParsedBirdDocument } from "@birdcc/parser";
+import type { BirdDiagnostic } from "./types.js";
+interface ParsedDocumentWithUri {
+    uri: string;
+    parsed: ParsedBirdDocument;
+}
+export declare const collectCircularTemplateDiagnostics: (parsedDocuments: ParsedBirdDocument[] | ParsedDocumentWithUri[]) => BirdDiagnostic[];
+export {};
+//# sourceMappingURL=template-cycles.d.ts.map

package/dist/template-cycles.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"template-cycles.d.ts","sourceRoot":"","sources":["../src/template-cycles.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAe,MAAM,gBAAgB,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD,UAAU,qBAAqB;IAC7B,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,kBAAkB,CAAC;CAC5B;AAkED,eAAO,MAAM,kCAAkC,GAC7C,iBAAiB,kBAAkB,EAAE,GAAG,qBAAqB,EAAE,KAC9D,cAAc,EAmEhB,CAAC"}

package/dist/template-cycles.js

@@ -0,0 +1,95 @@
+const createNode = (uri, declaration) => ({
+    uri,
+    name: declaration.name,
+    key: declaration.name.toLowerCase(),
+    parentName: declaration.fromTemplate,
+    parentKey: declaration.fromTemplate?.toLowerCase(),
+    parentRange: declaration.fromTemplateRange ?? declaration.nameRange,
+});
+const collectTemplateInheritanceNodes = (parsedDocuments) => {
+    const nodes = new Map();
+    for (const document of parsedDocuments) {
+        const { uri, parsed } = document;
+        for (const declaration of parsed.program.declarations) {
+            if (declaration.kind !== "template") {
+                continue;
+            }
+            const node = createNode(uri, declaration);
+            if (!nodes.has(node.key)) {
+                nodes.set(node.key, node);
+            }
+        }
+    }
+    return nodes;
+};
+const normalizeParsedDocuments = (parsedDocuments) => {
+    if (parsedDocuments.length === 0) {
+        return [];
+    }
+    const first = parsedDocuments[0];
+    if ("parsed" in first && "uri" in first) {
+        return parsedDocuments;
+    }
+    return parsedDocuments.map((parsed, index) => ({
+        uri: `memory://document-${index + 1}.conf`,
+        parsed,
+    }));
+};
+export const collectCircularTemplateDiagnostics = (parsedDocuments) => {
+    const normalizedDocuments = normalizeParsedDocuments(parsedDocuments);
+    const nodes = collectTemplateInheritanceNodes(normalizedDocuments);
+    const diagnostics = [];
+    const state = new Map();
+    const stack = [];
+    const emitted = new Set();
+    const visit = (key) => {
+        state.set(key, 1);
+        stack.push(key);
+        const node = nodes.get(key);
+        const parentKey = node?.parentKey;
+        if (node && parentKey && nodes.has(parentKey)) {
+            const parentState = state.get(parentKey) ?? 0;
+            if (parentState === 0) {
+                visit(parentKey);
+            }
+            else if (parentState === 1) {
+                const startIndex = stack.lastIndexOf(parentKey);
+                if (startIndex >= 0) {
+                    const cycleKeys = [...stack.slice(startIndex), parentKey];
+                    const cycleSignature = cycleKeys
+                        .slice(0, -1)
+                        .map((entry) => entry.toLowerCase())
+                        .sort()
+                        .join("->");
+                    if (!emitted.has(cycleSignature)) {
+                        emitted.add(cycleSignature);
+                        const cycleNames = cycleKeys.map((entry) => nodes.get(entry)?.name ?? entry);
+                        diagnostics.push({
+                            code: "semantic/circular-template",
+                            message: `Circular template inheritance detected: ${cycleNames.join(" -> ")}`,
+                            severity: "error",
+                            source: "core",
+                            uri: node.uri,
+                            range: {
+                                line: node.parentRange.line,
+                                column: node.parentRange.column,
+                                endLine: node.parentRange.endLine,
+                                endColumn: node.parentRange.endColumn,
+                            },
+                        });
+                    }
+                }
+            }
+        }
+        stack.pop();
+        state.set(key, 2);
+    };
+    for (const key of nodes.keys()) {
+        if ((state.get(key) ?? 0) !== 0) {
+            continue;
+        }
+        visit(key);
+    }
+    return diagnostics;
+};
+//# sourceMappingURL=template-cycles.js.map

package/dist/template-cycles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"template-cycles.js","sourceRoot":"","sources":["../src/template-cycles.ts"],"names":[],"mappings":"AAiBA,MAAM,UAAU,GAAG,CACjB,GAAW,EACX,WAGC,EACwB,EAAE,CAAC,CAAC;IAC7B,GAAG;IACH,IAAI,EAAE,WAAW,CAAC,IAAI;IACtB,GAAG,EAAE,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE;IACnC,UAAU,EAAE,WAAW,CAAC,YAAY;IACpC,SAAS,EAAE,WAAW,CAAC,YAAY,EAAE,WAAW,EAAE;IAClD,WAAW,EAAE,WAAW,CAAC,iBAAiB,IAAI,WAAW,CAAC,SAAS;CACpE,CAAC,CAAC;AAEH,MAAM,+BAA+B,GAAG,CACtC,eAAwC,EACF,EAAE;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmC,CAAC;IAEzD,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC;QACjC,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YACtD,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACpC,SAAS;YACX,CAAC;YAED,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;YAC1C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,eAA+D,EACtC,EAAE;IAC3B,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,QAAQ,IAAI,KAAK,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;QACxC,OAAO,eAA0C,CAAC;IACpD,CAAC;IAED,OAAQ,eAAwC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QACvE,GAAG,EAAE,qBAAqB,KAAK,GAAG,CAAC,OAAO;QAC1C,MAAM;KACP,CAAC,CAAC,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAChD,eAA+D,EAC7C,EAAE;IACpB,MAAM,mBAAmB,GAAG,wBAAwB,CAAC,eAAe,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,+BAA+B,CAAC,mBAAmB,CAAC,CAAC;IACnE,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAQ,EAAE;QAClC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAEhB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,EAAE,SAAS,CAAC;QAElC,IAAI,IAAI,IAAI,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9C,MAAM,WAAW,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAE9C,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;gBACtB,KAAK,CAAC,SAAS,CAAC,CAAC;YACnB,CAAC;iBAAM,IAAI,WAAW,KAAK,CAAC,EAAE,CAAC;gBAC7B,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;gBAChD,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;oBACpB,MAAM,SAAS,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC;oBAC1D,MAAM,cAAc,GAAG,SAAS;yBAC7B,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;yBACZ,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;yBACnC,IAAI,EAAE;yBACN,IAAI,CAAC,IAAI,CAAC,CAAC;oBAEd,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;wBACjC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;wBAC5B,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAC9B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,KAAK,CAC3C,CAAC;wBAEF,WAAW,CAAC,IAAI,CAAC;4BACf,IAAI,EAAE,4BAA4B;4BAClC,OAAO,EAAE,2CAA2C,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;4BAC7E,QAAQ,EAAE,OAAO;4BACjB,MAAM,EAAE,MAAM;4BACd,GAAG,EAAE,IAAI,CAAC,GAAG;4BACb,KAAK,EAAE;gCACL,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI;gCAC3B,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM;gCAC/B,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO;gCACjC,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,SAAS;6BACtC;yBACF,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,SAAS;QACX,CAAC;QAED,KAAK,CAAC,GAAG,CAAC,CAAC;IACb,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC"}

package/dist/type-checker.d.ts

@@ -0,0 +1,4 @@
+import type { ParsedBirdDocument } from "@birdcc/parser";
+import type { BirdDiagnostic, SymbolTable, TypeCheckOptions } from "./types.js";
+export declare const checkTypes: (program: ParsedBirdDocument["program"], _symbolTable: SymbolTable, options?: TypeCheckOptions) => BirdDiagnostic[];
+//# sourceMappingURL=type-checker.d.ts.map

package/dist/type-checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-checker.d.ts","sourceRoot":"","sources":["../src/type-checker.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,KAAK,EACV,cAAc,EACd,WAAW,EACX,gBAAgB,EAEjB,MAAM,YAAY,CAAC;AAidpB,eAAO,MAAM,UAAU,GACrB,SAAS,kBAAkB,CAAC,SAAS,CAAC,EAEtC,cAAc,WAAW,EACzB,UAAS,gBAAqB,KAC7B,cAAc,EAqHhB,CAAC"}