@birdcc/linter 0.0.1-alpha.0

package/dist/rules/ospf.js

@@ -0,0 +1,136 @@
+import { createProtocolDiagnostic, createRuleDiagnostic, isProtocolType, protocolDeclarations, protocolOtherTextEntries, } from "./shared.js";
+const BACKBONE_AREA_IDS = new Set(["0", "0.0.0.0"]);
+const normalizeAreaId = (value) => value.trim().toLowerCase();
+const isBackboneArea = (value) => BACKBONE_AREA_IDS.has(normalizeAreaId(value));
+const parseAreaSegments = (text, range) => {
+    const segments = [];
+    const consumedRanges = [];
+    const blockPattern = /\barea\s+([^\s{;]+)([^{};]*)\{/gi;
+    let matched = blockPattern.exec(text);
+    while (matched) {
+        const matchedText = matched[0] ?? "";
+        const areaId = normalizeAreaId(matched[1] ?? "");
+        const header = (matched[2] ?? "").trim();
+        const openBraceIndex = (matched.index ?? 0) + matchedText.length - 1;
+        let cursor = openBraceIndex + 1;
+        let depth = 1;
+        while (cursor < text.length && depth > 0) {
+            if (text[cursor] === "{") {
+                depth += 1;
+            }
+            else if (text[cursor] === "}") {
+                depth -= 1;
+            }
+            cursor += 1;
+        }
+        const closeBraceIndex = depth === 0 ? cursor - 1 : text.length - 1;
+        const body = text.slice(openBraceIndex + 1, closeBraceIndex);
+        const scopeText = `${header} ${body}`.trim();
+        if (areaId.length > 0) {
+            segments.push({ areaId, text: scopeText, range });
+            consumedRanges.push({
+                start: matched.index ?? 0,
+                end: closeBraceIndex + 1,
+            });
+        }
+        blockPattern.lastIndex = Math.max(closeBraceIndex + 1, blockPattern.lastIndex);
+        matched = blockPattern.exec(text);
+    }
+    const inlinePattern = /\barea\s+([^\s{;]+)\s+([^{};\n]+)\s*;?/gi;
+    let inline = inlinePattern.exec(text);
+    while (inline) {
+        const start = inline.index ?? 0;
+        const insideBlock = consumedRanges.some((item) => start >= item.start && start < item.end);
+        if (!insideBlock) {
+            const areaId = normalizeAreaId(inline[1] ?? "");
+            const inlineText = (inline[2] ?? "").trim();
+            if (areaId.length > 0) {
+                segments.push({ areaId, text: inlineText, range });
+            }
+        }
+        inline = inlinePattern.exec(text);
+    }
+    return segments;
+};
+const collectAreas = (entries) => {
+    const areas = [];
+    for (const entry of entries) {
+        areas.push(...parseAreaSegments(entry.text, entry.range));
+    }
+    return areas;
+};
+const ospfMissingAreaRule = ({ parsed }) => {
+    const diagnostics = [];
+    for (const declaration of protocolDeclarations(parsed)) {
+        if (!isProtocolType(declaration, "ospf")) {
+            continue;
+        }
+        const areas = collectAreas(protocolOtherTextEntries(declaration));
+        if (areas.length > 0) {
+            continue;
+        }
+        diagnostics.push(createProtocolDiagnostic("ospf/missing-area", `OSPF protocol '${declaration.name}' has no configured areas`, declaration));
+    }
+    return diagnostics;
+};
+const ospfBackboneStubRule = ({ parsed }) => {
+    const diagnostics = [];
+    for (const declaration of protocolDeclarations(parsed)) {
+        if (!isProtocolType(declaration, "ospf")) {
+            continue;
+        }
+        const areas = collectAreas(protocolOtherTextEntries(declaration));
+        for (const area of areas) {
+            if (!isBackboneArea(area.areaId) || !/\bstub\b/i.test(area.text)) {
+                continue;
+            }
+            diagnostics.push(createRuleDiagnostic("ospf/backbone-stub", `OSPF protocol '${declaration.name}' configures backbone area as stub`, area.range));
+        }
+    }
+    return diagnostics;
+};
+const ospfVlinkInBackboneRule = ({ parsed }) => {
+    const diagnostics = [];
+    for (const declaration of protocolDeclarations(parsed)) {
+        if (!isProtocolType(declaration, "ospf")) {
+            continue;
+        }
+        const areas = collectAreas(protocolOtherTextEntries(declaration));
+        for (const area of areas) {
+            if (!isBackboneArea(area.areaId) || !/\bvlink\b/i.test(area.text)) {
+                continue;
+            }
+            diagnostics.push(createRuleDiagnostic("ospf/vlink-in-backbone", `OSPF protocol '${declaration.name}' cannot configure vlink in backbone area`, area.range));
+        }
+    }
+    return diagnostics;
+};
+const ospfAsbrStubAreaRule = ({ parsed }) => {
+    const diagnostics = [];
+    for (const declaration of protocolDeclarations(parsed)) {
+        if (!isProtocolType(declaration, "ospf")) {
+            continue;
+        }
+        const areas = collectAreas(protocolOtherTextEntries(declaration));
+        for (const area of areas) {
+            if (isBackboneArea(area.areaId)) {
+                continue;
+            }
+            if (!/\bstub\b/i.test(area.text) || !/\basbr\b/i.test(area.text)) {
+                continue;
+            }
+            diagnostics.push(createRuleDiagnostic("ospf/asbr-stub-area", `OSPF protocol '${declaration.name}' declares ASBR inside stub area ${area.areaId}`, area.range));
+        }
+    }
+    return diagnostics;
+};
+export const ospfRules = [
+    ospfMissingAreaRule,
+    ospfBackboneStubRule,
+    ospfVlinkInBackboneRule,
+    ospfAsbrStubAreaRule,
+];
+export const collectOspfRuleDiagnostics = (context) => {
+    return ospfRules.flatMap((rule) => rule(context));
+};
+//# sourceMappingURL=ospf.js.map

package/dist/rules/ospf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ospf.js","sourceRoot":"","sources":["../../src/rules/ospf.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,wBAAwB,EACxB,oBAAoB,EACpB,cAAc,EACd,oBAAoB,EACpB,wBAAwB,GAEzB,MAAM,aAAa,CAAC;AAQrB,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;AAEpD,MAAM,eAAe,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AAE9E,MAAM,cAAc,GAAG,CAAC,KAAa,EAAW,EAAE,CAChD,iBAAiB,CAAC,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;AAEhD,MAAM,iBAAiB,GAAG,CACxB,IAAY,EACZ,KAAkB,EACC,EAAE;IACrB,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,MAAM,cAAc,GAA0C,EAAE,CAAC;IACjE,MAAM,YAAY,GAAG,kCAAkC,CAAC;IACxD,IAAI,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEtC,OAAO,OAAO,EAAE,CAAC;QACf,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACzC,MAAM,cAAc,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;QAErE,IAAI,MAAM,GAAG,cAAc,GAAG,CAAC,CAAC;QAChC,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,OAAO,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC;gBACzB,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;iBAAM,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC;gBAChC,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;YACD,MAAM,IAAI,CAAC,CAAC;QACd,CAAC;QAED,MAAM,eAAe,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QACnE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,GAAG,CAAC,EAAE,eAAe,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,GAAG,MAAM,IAAI,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;YAClD,cAAc,CAAC,IAAI,CAAC;gBAClB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,CAAC;gBACzB,GAAG,EAAE,eAAe,GAAG,CAAC;aACzB,CAAC,CAAC;QACL,CAAC;QAED,YAAY,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,CAC/B,eAAe,GAAG,CAAC,EACnB,YAAY,CAAC,SAAS,CACvB,CAAC;QACF,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,aAAa,GAAG,0CAA0C,CAAC;IACjE,IAAI,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,MAAM,EAAE,CAAC;QACd,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;QAChC,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,CACrC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAClD,CAAC;QACF,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAChD,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAC5C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;QAED,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,OAAoD,EACjC,EAAE;IACrB,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IACnD,MAAM,WAAW,GAAqB,EAAE,CAAC;IAEzC,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC;YACzC,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,YAAY,CAAC,wBAAwB,CAAC,WAAW,CAAC,CAAC,CAAC;QAClE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,SAAS;QACX,CAAC;QAED,WAAW,CAAC,IAAI,CACd,wBAAwB,CACtB,mBAAmB,EACnB,kBAAkB,WAAW,CAAC,IAAI,2BAA2B,EAC7D,WAAW,CACZ,CACF,CAAC;IACJ,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IACpD,MAAM,WAAW,GAAqB,EAAE,CAAC;IAEzC,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC;YACzC,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,YAAY,CAAC,wBAAwB,CAAC,WAAW,CAAC,CAAC,CAAC;QAClE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjE,SAAS;YACX,CAAC;YAED,WAAW,CAAC,IAAI,CACd,oBAAoB,CAClB,oBAAoB,EACpB,kBAAkB,WAAW,CAAC,IAAI,oCAAoC,EACtE,IAAI,CAAC,KAAK,CACX,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IACvD,MAAM,WAAW,GAAqB,EAAE,CAAC;IAEzC,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC;YACzC,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,YAAY,CAAC,wBAAwB,CAAC,WAAW,CAAC,CAAC,CAAC;QAClE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClE,SAAS;YACX,CAAC;YAED,WAAW,CAAC,IAAI,CACd,oBAAoB,CAClB,wBAAwB,EACxB,kBAAkB,WAAW,CAAC,IAAI,2CAA2C,EAC7E,IAAI,CAAC,KAAK,CACX,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IACpD,MAAM,WAAW,GAAqB,EAAE,CAAC;IAEzC,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC;YACzC,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,YAAY,CAAC,wBAAwB,CAAC,WAAW,CAAC,CAAC,CAAC;QAClE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAChC,SAAS;YACX,CAAC;YAED,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjE,SAAS;YACX,CAAC;YAED,WAAW,CAAC,IAAI,CACd,oBAAoB,CAClB,qBAAqB,EACrB,kBAAkB,WAAW,CAAC,IAAI,oCAAoC,IAAI,CAAC,MAAM,EAAE,EACnF,IAAI,CAAC,KAAK,CACX,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAe;IACnC,mBAAmB;IACnB,oBAAoB;IACpB,uBAAuB;IACvB,oBAAoB;CACrB,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,OAAgC,EACd,EAAE;IACpB,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;AACpD,CAAC,CAAC"}

package/dist/rules/shared.d.ts

@@ -0,0 +1,46 @@
+import type { BirdDiagnostic, BirdDiagnosticSeverity, CoreSnapshot } from "@birdcc/core";
+import type { BirdDeclaration, FilterBodyStatement, FilterDeclaration, FunctionDeclaration, ParsedBirdDocument, ProtocolDeclaration, ProtocolStatement, SourceRange, TableDeclaration, TemplateDeclaration } from "@birdcc/parser";
+import { type RuleCode } from "./catalog.js";
+export interface RuleContext {
+    text: string;
+    parsed: ParsedBirdDocument;
+    core: CoreSnapshot;
+}
+export type BirdRule = (context: RuleContext) => BirdDiagnostic[];
+export declare const normalizeClause: (text: string) => string;
+export declare const createRuleDiagnostic: (code: RuleCode, message: string, range: SourceRange, source?: BirdDiagnostic["source"]) => BirdDiagnostic;
+export declare const diagnosticDedupKey: (diagnostic: BirdDiagnostic) => string;
+export declare const pushUniqueDiagnostic: (diagnostics: BirdDiagnostic[], seen: Set<string>, diagnostic: BirdDiagnostic) => void;
+export declare const withSeverity: (code: RuleCode, diagnostic: Omit<BirdDiagnostic, "severity" | "code">) => BirdDiagnostic;
+export declare const protocolDeclarations: (parsed: ParsedBirdDocument) => ProtocolDeclaration[];
+export declare const templateDeclarations: (parsed: ParsedBirdDocument) => TemplateDeclaration[];
+export declare const tableDeclarations: (parsed: ParsedBirdDocument) => TableDeclaration[];
+export declare const filterDeclarations: (parsed: ParsedBirdDocument) => FilterDeclaration[];
+export declare const functionDeclarations: (parsed: ParsedBirdDocument) => FunctionDeclaration[];
+export declare const filterAndFunctionDeclarations: (parsed: ParsedBirdDocument) => Array<FilterDeclaration | FunctionDeclaration>;
+export declare const routerIdDeclarations: (parsed: ParsedBirdDocument) => BirdDeclaration[];
+export declare const isProtocolType: (declaration: ProtocolDeclaration, expected: string) => boolean;
+export declare const protocolOtherStatements: (declaration: ProtocolDeclaration) => ProtocolStatement[];
+export declare const protocolOtherTextEntries: (declaration: ProtocolDeclaration) => Array<{
+    text: string;
+    range: SourceRange;
+}>;
+export declare const channelOtherEntries: (declaration: ProtocolDeclaration) => Array<{
+    channelType: string;
+    text: string;
+    range: SourceRange;
+}>;
+export declare const numericValue: (value: string | undefined) => number | null;
+export declare const extractFirstNumberAfterKeyword: (text: string, keyword: string) => number | null;
+export declare const hasBooleanValue: (value: string) => boolean;
+export declare const extractFunctionCalls: (text: string) => string[];
+export declare const scalarTypeOfExpression: (expressionText: string) => "int" | "bool" | "string" | "ip" | "prefix" | "unknown";
+export declare const isPrefixLiteral: (value: string) => boolean;
+export declare const eachFilterBodyExpression: (parsed: ParsedBirdDocument) => Array<{
+    statement: FilterBodyStatement;
+    declarationName: string;
+}>;
+export declare const findTemplateByName: (parsed: ParsedBirdDocument, templateName: string) => TemplateDeclaration | undefined;
+export declare const hasSymbolKind: (core: CoreSnapshot, kind: "protocol" | "template" | "filter" | "function" | "table", name: string) => boolean;
+export declare const createProtocolDiagnostic: (code: RuleCode, message: string, declaration: ProtocolDeclaration, severity?: BirdDiagnosticSeverity) => BirdDiagnostic;
+//# sourceMappingURL=shared.d.ts.map

package/dist/rules/shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/rules/shared.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,cAAc,EACd,sBAAsB,EACtB,YAAY,EACb,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EACV,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,iBAAiB,EACjB,WAAW,EACX,gBAAgB,EAChB,mBAAmB,EACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAiB,KAAK,QAAQ,EAAE,MAAM,cAAc,CAAC;AAE5D,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,kBAAkB,CAAC;IAC3B,IAAI,EAAE,YAAY,CAAC;CACpB;AAED,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,WAAW,KAAK,cAAc,EAAE,CAAC;AAElE,eAAO,MAAM,eAAe,GAAI,MAAM,MAAM,KAAG,MACC,CAAC;AAEjD,eAAO,MAAM,oBAAoB,GAC/B,MAAM,QAAQ,EACd,SAAS,MAAM,EACf,OAAO,WAAW,EAClB,SAAQ,cAAc,CAAC,QAAQ,CAAY,KAC1C,cAWD,CAAC;AAEH,eAAO,MAAM,kBAAkB,GAAI,YAAY,cAAc,KAAG,MAQnD,CAAC;AAEd,eAAO,MAAM,oBAAoB,GAC/B,aAAa,cAAc,EAAE,EAC7B,MAAM,GAAG,CAAC,MAAM,CAAC,EACjB,YAAY,cAAc,KACzB,IAQF,CAAC;AAEF,eAAO,MAAM,YAAY,GACvB,MAAM,QAAQ,EACd,YAAY,IAAI,CAAC,cAAc,EAAE,UAAU,GAAG,MAAM,CAAC,KACpD,cAID,CAAC;AAEH,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,kBAAkB,KACzB,mBAAmB,EAInB,CAAC;AAEJ,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,kBAAkB,KACzB,mBAAmB,EAInB,CAAC;AAEJ,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,kBAAkB,KACzB,gBAAgB,EAIhB,CAAC;AAEJ,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,kBAAkB,KACzB,iBAAiB,EAIjB,CAAC;AAEJ,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,kBAAkB,KACzB,mBAAmB,EAInB,CAAC;AAEJ,eAAO,MAAM,6BAA6B,GACxC,QAAQ,kBAAkB,KACzB,KAAK,CAAC,iBAAiB,GAAG,mBAAmB,CAI7C,CAAC;AAEJ,eAAO,MAAM,oBAAoB,GAC/B,QAAQ,kBAAkB,KACzB,eAAe,EAGf,CAAC;AAEJ,eAAO,MAAM,cAAc,GACzB,aAAa,mBAAmB,EAChC,UAAU,MAAM,KACf,OAA8D,CAAC;AAElE,eAAO,MAAM,uBAAuB,GAClC,aAAa,mBAAmB,KAC/B,iBAAiB,EACsD,CAAC;AAE3E,eAAO,MAAM,wBAAwB,GACnC,aAAa,mBAAmB,KAC/B,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,CAuB5C,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAC9B,aAAa,mBAAmB,KAC/B,KAAK,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,CA0BjE,CAAC;AAEF,eAAO,MAAM,YAAY,GAAI,OAAO,MAAM,GAAG,SAAS,KAAG,MAAM,GAAG,IAYjE,CAAC;AAEF,eAAO,MAAM,8BAA8B,GACzC,MAAM,MAAM,EACZ,SAAS,MAAM,KACd,MAAM,GAAG,IAIX,CAAC;AAEF,eAAO,MAAM,eAAe,GAAI,OAAO,MAAM,KAAG,OAG7C,CAAC;AAEJ,eAAO,MAAM,oBAAoB,GAAI,MAAM,MAAM,KAAG,MAAM,EAiBzD,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,gBAAgB,MAAM,KACrB,KAAK,GAAG,MAAM,GAAG,QAAQ,GAAG,IAAI,GAAG,QAAQ,GAAG,SAqBhD,CAAC;AAEF,eAAO,MAAM,eAAe,GAAI,OAAO,MAAM,KAAG,OAqB/C,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,QAAQ,kBAAkB,KACzB,KAAK,CAAC;IAAE,SAAS,EAAE,mBAAmB,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,CAanE,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,kBAAkB,EAC1B,cAAc,MAAM,KACnB,mBAAmB,GAAG,SAKxB,CAAC;AAEF,eAAO,MAAM,aAAa,GACxB,MAAM,YAAY,EAClB,MAAM,UAAU,GAAG,UAAU,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,EAC/D,MAAM,MAAM,KACX,OAKF,CAAC;AAEF,eAAO,MAAM,wBAAwB,GACnC,MAAM,QAAQ,EACd,SAAS,MAAM,EACf,aAAa,mBAAmB,EAChC,WAAW,sBAAsB,KAChC,cAWD,CAAC"}

package/dist/rules/shared.js

@@ -0,0 +1,184 @@
+import { isIP } from "node:net";
+import { RULE_SEVERITY } from "./catalog.js";
+export const normalizeClause = (text) => text.trim().replace(/\s+/g, " ").toLowerCase();
+export const createRuleDiagnostic = (code, message, range, source = "linter") => ({
+    code,
+    message,
+    severity: RULE_SEVERITY[code],
+    source,
+    range: {
+        line: range.line,
+        column: range.column,
+        endLine: range.endLine,
+        endColumn: range.endColumn,
+    },
+});
+export const diagnosticDedupKey = (diagnostic) => [
+    diagnostic.code,
+    diagnostic.message,
+    diagnostic.range.line,
+    diagnostic.range.column,
+    diagnostic.range.endLine,
+    diagnostic.range.endColumn,
+].join(":");
+export const pushUniqueDiagnostic = (diagnostics, seen, diagnostic) => {
+    const key = diagnosticDedupKey(diagnostic);
+    if (seen.has(key)) {
+        return;
+    }
+    seen.add(key);
+    diagnostics.push(diagnostic);
+};
+export const withSeverity = (code, diagnostic) => ({
+    ...diagnostic,
+    code,
+    severity: RULE_SEVERITY[code],
+});
+export const protocolDeclarations = (parsed) => parsed.program.declarations.filter((declaration) => declaration.kind === "protocol");
+export const templateDeclarations = (parsed) => parsed.program.declarations.filter((declaration) => declaration.kind === "template");
+export const tableDeclarations = (parsed) => parsed.program.declarations.filter((declaration) => declaration.kind === "table");
+export const filterDeclarations = (parsed) => parsed.program.declarations.filter((declaration) => declaration.kind === "filter");
+export const functionDeclarations = (parsed) => parsed.program.declarations.filter((declaration) => declaration.kind === "function");
+export const filterAndFunctionDeclarations = (parsed) => parsed.program.declarations.filter((declaration) => declaration.kind === "filter" || declaration.kind === "function");
+export const routerIdDeclarations = (parsed) => parsed.program.declarations.filter((declaration) => declaration.kind === "router-id");
+export const isProtocolType = (declaration, expected) => declaration.protocolType.toLowerCase() === expected;
+export const protocolOtherStatements = (declaration) => declaration.statements.filter((statement) => statement.kind === "other");
+export const protocolOtherTextEntries = (declaration) => {
+    const entries = [];
+    for (const statement of declaration.statements) {
+        if (statement.kind === "other") {
+            entries.push({ text: statement.text, range: statement });
+            continue;
+        }
+        if (statement.kind !== "channel") {
+            continue;
+        }
+        for (const entry of statement.entries) {
+            if (entry.kind !== "other") {
+                continue;
+            }
+            entries.push({ text: entry.text, range: entry });
+        }
+    }
+    return entries;
+};
+export const channelOtherEntries = (declaration) => {
+    const entries = [];
+    for (const statement of declaration.statements) {
+        if (statement.kind !== "channel") {
+            continue;
+        }
+        for (const entry of statement.entries) {
+            if (entry.kind !== "other") {
+                continue;
+            }
+            entries.push({
+                channelType: statement.channelType,
+                text: entry.text,
+                range: entry,
+            });
+        }
+    }
+    return entries;
+};
+export const numericValue = (value) => {
+    if (!value) {
+        return null;
+    }
+    const normalized = value.trim();
+    if (!/^-?\d+$/.test(normalized)) {
+        return null;
+    }
+    const parsed = Number.parseInt(normalized, 10);
+    return Number.isNaN(parsed) ? null : parsed;
+};
+export const extractFirstNumberAfterKeyword = (text, keyword) => {
+    const pattern = new RegExp(`${keyword}\\s+(-?\\d+)`, "i");
+    const matched = text.match(pattern);
+    return numericValue(matched?.[1]);
+};
+export const hasBooleanValue = (value) => ["on", "off", "yes", "no", "true", "false", "enabled", "disabled"].includes(normalizeClause(value));
+export const extractFunctionCalls = (text) => {
+    const names = [];
+    const pattern = /\b([A-Za-z_][A-Za-z0-9_]*)\s*\(/g;
+    const ignored = new Set(["if", "switch", "print", "defined"]);
+    let current = pattern.exec(text);
+    while (current) {
+        const name = current[1] ?? "";
+        const matchIndex = current.index ?? -1;
+        const isMethodCall = matchIndex > 0 && text[matchIndex - 1] === ".";
+        if (name.length > 0 && !ignored.has(name.toLowerCase()) && !isMethodCall) {
+            names.push(name);
+        }
+        current = pattern.exec(text);
+    }
+    return names;
+};
+export const scalarTypeOfExpression = (expressionText) => {
+    const text = expressionText.trim();
+    if (/^-?\d+$/.test(text)) {
+        return "int";
+    }
+    if (/^(true|false|yes|no|on|off)$/i.test(text)) {
+        return "bool";
+    }
+    if ((text.startsWith('"') && text.endsWith('"')) ||
+        (text.startsWith("'") && text.endsWith("'"))) {
+        return "string";
+    }
+    if (text.includes("/") && isPrefixLiteral(text)) {
+        return "prefix";
+    }
+    if (isIP(text) !== 0) {
+        return "ip";
+    }
+    return "unknown";
+};
+export const isPrefixLiteral = (value) => {
+    const [address, lengthText] = value.split("/");
+    if (!address || !lengthText) {
+        return false;
+    }
+    const length = numericValue(lengthText);
+    if (length === null || length < 0 || length > 128) {
+        return false;
+    }
+    const family = isIP(address.trim());
+    if (family === 4) {
+        return length <= 32;
+    }
+    if (family === 6) {
+        return length <= 128;
+    }
+    return false;
+};
+export const eachFilterBodyExpression = (parsed) => {
+    const list = [];
+    for (const declaration of filterAndFunctionDeclarations(parsed)) {
+        for (const statement of declaration.statements) {
+            list.push({ statement, declarationName: declaration.name });
+        }
+    }
+    return list;
+};
+export const findTemplateByName = (parsed, templateName) => {
+    const lowered = templateName.toLowerCase();
+    return templateDeclarations(parsed).find((item) => item.name.toLowerCase() === lowered);
+};
+export const hasSymbolKind = (core, kind, name) => {
+    const lowered = name.toLowerCase();
+    return core.symbols.some((symbol) => symbol.kind === kind && symbol.name.toLowerCase() === lowered);
+};
+export const createProtocolDiagnostic = (code, message, declaration, severity) => ({
+    code,
+    message,
+    severity: severity ?? RULE_SEVERITY[code],
+    source: "linter",
+    range: {
+        line: declaration.nameRange.line,
+        column: declaration.nameRange.column,
+        endLine: declaration.nameRange.endLine,
+        endColumn: declaration.nameRange.endColumn,
+    },
+});
+//# sourceMappingURL=shared.js.map

package/dist/rules/shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../src/rules/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAkBhC,OAAO,EAAE,aAAa,EAAiB,MAAM,cAAc,CAAC;AAU5D,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAY,EAAU,EAAE,CACtD,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;AAEjD,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,IAAc,EACd,OAAe,EACf,KAAkB,EAClB,SAAmC,QAAQ,EAC3B,EAAE,CAAC,CAAC;IACpB,IAAI;IACJ,OAAO;IACP,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC;IAC7B,MAAM;IACN,KAAK,EAAE;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,UAA0B,EAAU,EAAE,CACvE;IACE,UAAU,CAAC,IAAI;IACf,UAAU,CAAC,OAAO;IAClB,UAAU,CAAC,KAAK,CAAC,IAAI;IACrB,UAAU,CAAC,KAAK,CAAC,MAAM;IACvB,UAAU,CAAC,KAAK,CAAC,OAAO;IACxB,UAAU,CAAC,KAAK,CAAC,SAAS;CAC3B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAEd,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,WAA6B,EAC7B,IAAiB,EACjB,UAA0B,EACpB,EAAE;IACR,MAAM,GAAG,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IAED,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACd,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,IAAc,EACd,UAAqD,EACrC,EAAE,CAAC,CAAC;IACpB,GAAG,UAAU;IACb,IAAI;IACJ,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC;CAC9B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAA0B,EACH,EAAE,CACzB,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAChC,CAAC,WAAW,EAAsC,EAAE,CAClD,WAAW,CAAC,IAAI,KAAK,UAAU,CAClC,CAAC;AAEJ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAA0B,EACH,EAAE,CACzB,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAChC,CAAC,WAAW,EAAsC,EAAE,CAClD,WAAW,CAAC,IAAI,KAAK,UAAU,CAClC,CAAC;AAEJ,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAA0B,EACN,EAAE,CACtB,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAChC,CAAC,WAAW,EAAmC,EAAE,CAC/C,WAAW,CAAC,IAAI,KAAK,OAAO,CAC/B,CAAC;AAEJ,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAA0B,EACL,EAAE,CACvB,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAChC,CAAC,WAAW,EAAoC,EAAE,CAChD,WAAW,CAAC,IAAI,KAAK,QAAQ,CAChC,CAAC;AAEJ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAA0B,EACH,EAAE,CACzB,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAChC,CAAC,WAAW,EAAsC,EAAE,CAClD,WAAW,CAAC,IAAI,KAAK,UAAU,CAClC,CAAC;AAEJ,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAC3C,MAA0B,EACsB,EAAE,CAClD,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAChC,CAAC,WAAW,EAA0D,EAAE,CACtE,WAAW,CAAC,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CACnE,CAAC;AAEJ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAA0B,EACP,EAAE,CACrB,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAChC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,KAAK,WAAW,CAClD,CAAC;AAEJ,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,WAAgC,EAChC,QAAgB,EACP,EAAE,CAAC,WAAW,CAAC,YAAY,CAAC,WAAW,EAAE,KAAK,QAAQ,CAAC;AAElE,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,WAAgC,EACX,EAAE,CACvB,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;AAE3E,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,WAAgC,EACa,EAAE;IAC/C,MAAM,OAAO,GAAgD,EAAE,CAAC;IAEhE,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;YACzD,SAAS;QACX,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC3B,SAAS;YACX,CAAC;YAED,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,WAAgC,EACkC,EAAE;IACpE,MAAM,OAAO,GAIR,EAAE,CAAC;IAER,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC3B,SAAS;YACX,CAAC;YAED,OAAO,CAAC,IAAI,CAAC;gBACX,WAAW,EAAE,SAAS,CAAC,WAAW;gBAClC,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,KAAK,EAAE,KAAK;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAyB,EAAiB,EAAE;IACvE,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAChC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC/C,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;AAC9C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAC5C,IAAY,EACZ,OAAe,EACA,EAAE;IACjB,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,GAAG,OAAO,cAAc,EAAE,GAAG,CAAC,CAAC;IAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACpC,OAAO,YAAY,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAa,EAAW,EAAE,CACxD,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,QAAQ,CACzE,eAAe,CAAC,KAAK,CAAC,CACvB,CAAC;AAEJ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAY,EAAE;IAC7D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAG,kCAAkC,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IAC9D,IAAI,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEjC,OAAO,OAAO,EAAE,CAAC;QACf,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;QACvC,MAAM,YAAY,GAAG,UAAU,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;QACpE,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YACzE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,cAAsB,EACmC,EAAE;IAC3D,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC;IACnC,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IACE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5C,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAC5C,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAa,EAAW,EAAE;IACxD,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,GAAG,GAAG,EAAE,CAAC;QAClD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACjB,OAAO,MAAM,IAAI,EAAE,CAAC;IACtB,CAAC;IAED,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACjB,OAAO,MAAM,IAAI,GAAG,CAAC;IACvB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,MAA0B,EAC0C,EAAE;IACtE,MAAM,IAAI,GAGL,EAAE,CAAC;IAER,KAAK,MAAM,WAAW,IAAI,6BAA6B,CAAC,MAAM,CAAC,EAAE,CAAC;QAChE,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAA0B,EAC1B,YAAoB,EACa,EAAE;IACnC,MAAM,OAAO,GAAG,YAAY,CAAC,WAAW,EAAE,CAAC;IAC3C,OAAO,oBAAoB,CAAC,MAAM,CAAC,CAAC,IAAI,CACtC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,OAAO,CAC9C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,IAAkB,EAClB,IAA+D,EAC/D,IAAY,EACH,EAAE;IACX,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACnC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CACtB,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,OAAO,CAC1E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,IAAc,EACd,OAAe,EACf,WAAgC,EAChC,QAAiC,EACjB,EAAE,CAAC,CAAC;IACpB,IAAI;IACJ,OAAO;IACP,QAAQ,EAAE,QAAQ,IAAI,aAAa,CAAC,IAAI,CAAC;IACzC,MAAM,EAAE,QAAQ;IAChB,KAAK,EAAE;QACL,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC,IAAI;QAChC,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM;QACpC,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,OAAO;QACtC,SAAS,EAAE,WAAW,CAAC,SAAS,CAAC,SAAS;KAC3C;CACF,CAAC,CAAC"}

package/dist/rules/sym.d.ts

@@ -0,0 +1,5 @@
+import type { BirdDiagnostic } from "@birdcc/core";
+import { type BirdRule } from "./shared.js";
+export declare const symRules: BirdRule[];
+export declare const collectSymRuleDiagnostics: (context: Parameters<BirdRule>[0]) => BirdDiagnostic[];
+//# sourceMappingURL=sym.d.ts.map

package/dist/rules/sym.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sym.d.ts","sourceRoot":"","sources":["../../src/rules/sym.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAQnD,OAAO,EAYL,KAAK,QAAQ,EACd,MAAM,aAAa,CAAC;AAqTrB,eAAO,MAAM,QAAQ,EAAE,QAAQ,EAK9B,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,SAAS,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAC/B,cAAc,EAEhB,CAAC"}

package/dist/rules/sym.js

@@ -0,0 +1,188 @@
+import { createRuleDiagnostic, eachFilterBodyExpression, extractFunctionCalls, filterDeclarations, findTemplateByName, functionDeclarations, hasSymbolKind, normalizeClause, pushUniqueDiagnostic, protocolDeclarations, tableDeclarations, } from "./shared.js";
+const normalizeProtocolFamily = (text) => normalizeClause(text).split(" ")[0] ?? "";
+const BUILTIN_FILTER_NAMES = new Set([
+    "all",
+    "none",
+    "accept",
+    "reject",
+    "announce",
+]);
+const BUILTIN_FUNCTION_NAMES = new Set([
+    "net",
+    "bgp_path",
+    "bgp_community",
+    "bgp_ext_community",
+    "bgp_large_community",
+    "bgp_origin",
+    "defined",
+    "len",
+    "match",
+    "route_source",
+    "roa_check",
+    "prefix",
+    "ip",
+    "int",
+]);
+const isImportOrExportFilterClause = (value) => {
+    if (!value || typeof value !== "object") {
+        return false;
+    }
+    return value.mode === "filter";
+};
+const isChannelFilterClause = (entry) => (entry.kind === "import" || entry.kind === "export") &&
+    entry.mode === "filter";
+const collectProtocolFilterClauses = (declaration) => {
+    const clauses = [];
+    for (const statement of declaration.statements) {
+        if (isImportOrExportFilterClause(statement)) {
+            clauses.push({
+                filterName: statement.filterName,
+                range: statement.filterNameRange ?? statement,
+            });
+            continue;
+        }
+        if (statement.kind !== "channel") {
+            continue;
+        }
+        for (const entry of statement.entries) {
+            if (!isChannelFilterClause(entry)) {
+                continue;
+            }
+            clauses.push({
+                filterName: entry.filterName,
+                range: entry.filterNameRange ?? entry,
+            });
+        }
+    }
+    return clauses;
+};
+const symProtoTypeMismatchRule = ({ parsed }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    for (const declaration of protocolDeclarations(parsed)) {
+        if (!declaration.fromTemplate) {
+            continue;
+        }
+        const template = findTemplateByName(parsed, declaration.fromTemplate);
+        if (!template) {
+            continue;
+        }
+        const protocolFamily = normalizeProtocolFamily(declaration.protocolType);
+        const templateFamily = normalizeProtocolFamily(template.templateType);
+        if (protocolFamily.length === 0 ||
+            templateFamily.length === 0 ||
+            protocolFamily === templateFamily) {
+            continue;
+        }
+        pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("sym/proto-type-mismatch", `Protocol '${declaration.name}' (${declaration.protocolType}) cannot use template '${template.name}' (${template.templateType})`, declaration.fromTemplateRange ?? declaration.nameRange));
+    }
+    return diagnostics;
+};
+const symFilterRequiredRule = ({ parsed, core }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    const filterNames = new Set(filterDeclarations(parsed).map((item) => item.name.toLowerCase()));
+    for (const declaration of protocolDeclarations(parsed)) {
+        for (const clause of collectProtocolFilterClauses(declaration)) {
+            const name = clause.filterName?.trim();
+            if (!name) {
+                pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("sym/filter-required", `Protocol '${declaration.name}' requires a filter name in import/export filter clause`, clause.range));
+                continue;
+            }
+            const loweredName = name.toLowerCase();
+            if (!filterNames.has(loweredName) &&
+                !hasSymbolKind(core, "filter", name)) {
+                if (BUILTIN_FILTER_NAMES.has(loweredName)) {
+                    continue;
+                }
+                pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("sym/filter-required", `Protocol '${declaration.name}' references unknown filter '${name}'`, clause.range));
+            }
+        }
+    }
+    return diagnostics;
+};
+const symFunctionRequiredRule = ({ parsed, core }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    const functions = new Set(functionDeclarations(parsed).map((item) => item.name.toLowerCase()));
+    for (const builtin of BUILTIN_FUNCTION_NAMES) {
+        functions.add(builtin);
+    }
+    for (const { statement, declarationName } of eachFilterBodyExpression(parsed)) {
+        const textParts = [];
+        if (statement.kind === "expression") {
+            textParts.push(statement.expressionText);
+        }
+        if (statement.kind === "other") {
+            textParts.push(statement.text);
+        }
+        if (statement.kind === "if" && statement.conditionText) {
+            textParts.push(statement.conditionText);
+        }
+        if (textParts.length === 0) {
+            continue;
+        }
+        const joined = textParts.join(" ");
+        for (const callName of extractFunctionCalls(joined)) {
+            if (functions.has(callName.toLowerCase()) ||
+                hasSymbolKind(core, "function", callName)) {
+                continue;
+            }
+            pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("sym/function-required", `Declaration '${declarationName}' references undefined function '${callName}'`, statement));
+        }
+    }
+    return diagnostics;
+};
+const symTableRequiredRule = ({ parsed, core }) => {
+    const diagnostics = [];
+    const seen = new Set();
+    const tableNames = new Set(tableDeclarations(parsed).map((item) => item.name.toLowerCase()));
+    for (const declaration of protocolDeclarations(parsed)) {
+        for (const statement of declaration.statements) {
+            if (statement.kind === "channel") {
+                for (const entry of statement.entries) {
+                    if (entry.kind !== "table") {
+                        continue;
+                    }
+                    const tableName = entry.tableName.trim();
+                    if (!tableName) {
+                        pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("sym/table-required", `Protocol '${declaration.name}' requires a table name in channel table clause`, entry));
+                        continue;
+                    }
+                    if (!tableNames.has(tableName.toLowerCase()) &&
+                        !hasSymbolKind(core, "table", tableName)) {
+                        pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("sym/table-required", `Protocol '${declaration.name}' references unknown table '${tableName}'`, entry.tableNameRange));
+                    }
+                }
+            }
+            if (statement.kind !== "other") {
+                continue;
+            }
+            const text = statement.text;
+            const matched = text.match(/\btable\b(?:\s+([A-Za-z_][A-Za-z0-9_]*))?/i);
+            if (!matched) {
+                continue;
+            }
+            const tableName = matched[1]?.trim();
+            if (!tableName) {
+                pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("sym/table-required", `Protocol '${declaration.name}' requires table name after 'table'`, statement));
+                continue;
+            }
+            if (!tableNames.has(tableName.toLowerCase()) &&
+                !hasSymbolKind(core, "table", tableName)) {
+                pushUniqueDiagnostic(diagnostics, seen, createRuleDiagnostic("sym/table-required", `Protocol '${declaration.name}' references unknown table '${tableName}'`, statement));
+            }
+        }
+    }
+    return diagnostics;
+};
+export const symRules = [
+    symProtoTypeMismatchRule,
+    symFilterRequiredRule,
+    symFunctionRequiredRule,
+    symTableRequiredRule,
+];
+export const collectSymRuleDiagnostics = (context) => {
+    return symRules.flatMap((rule) => rule(context));
+};
+//# sourceMappingURL=sym.js.map

package/dist/rules/sym.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sym.js","sourceRoot":"","sources":["../../src/rules/sym.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,oBAAoB,EACpB,wBAAwB,EACxB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,oBAAoB,EACpB,aAAa,EACb,eAAe,EACf,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,GAElB,MAAM,aAAa,CAAC;AAErB,MAAM,uBAAuB,GAAG,CAAC,IAAY,EAAU,EAAE,CACvD,eAAe,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC5C,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,KAAK;IACL,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,UAAU;CACX,CAAC,CAAC;AACH,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC;IACrC,KAAK;IACL,UAAU;IACV,eAAe;IACf,mBAAmB;IACnB,qBAAqB;IACrB,YAAY;IACZ,SAAS;IACT,KAAK;IACL,OAAO;IACP,cAAc;IACd,WAAW;IACX,QAAQ;IACR,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,4BAA4B,GAAG,CACnC,KAAc,EAKd,EAAE;IACF,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAQ,KAA2B,CAAC,IAAI,KAAK,QAAQ,CAAC;AACxD,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,KAAmB,EAC+B,EAAE,CACpD,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;IACpD,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;AAE1B,MAAM,4BAA4B,GAAG,CACnC,WAAgC,EACoB,EAAE;IACtD,MAAM,OAAO,GAAuD,EAAE,CAAC;IAEvE,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC/C,IAAI,4BAA4B,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5C,OAAO,CAAC,IAAI,CAAC;gBACX,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,KAAK,EAAE,SAAS,CAAC,eAAe,IAAI,SAAS;aAC9C,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClC,SAAS;YACX,CAAC;YAED,OAAO,CAAC,IAAI,CAAC;gBACX,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,KAAK,EAAE,KAAK,CAAC,eAAe,IAAI,KAAK;aACtC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAa,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;IACxD,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,CAAC;YAC9B,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;QACtE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,SAAS;QACX,CAAC;QAED,MAAM,cAAc,GAAG,uBAAuB,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;QACzE,MAAM,cAAc,GAAG,uBAAuB,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACtE,IACE,cAAc,CAAC,MAAM,KAAK,CAAC;YAC3B,cAAc,CAAC,MAAM,KAAK,CAAC;YAC3B,cAAc,KAAK,cAAc,EACjC,CAAC;YACD,SAAS;QACX,CAAC;QAED,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,yBAAyB,EACzB,aAAa,WAAW,CAAC,IAAI,MAAM,WAAW,CAAC,YAAY,0BAA0B,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,YAAY,GAAG,EAChI,WAAW,CAAC,iBAAiB,IAAI,WAAW,CAAC,SAAS,CACvD,CACF,CAAC;IACJ,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;IAC3D,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,kBAAkB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAClE,CAAC;IAEF,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,KAAK,MAAM,MAAM,IAAI,4BAA4B,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/D,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,qBAAqB,EACrB,aAAa,WAAW,CAAC,IAAI,yDAAyD,EACtF,MAAM,CAAC,KAAK,CACb,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;YACvC,IACE,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC;gBAC7B,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,EACpC,CAAC;gBACD,IAAI,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC1C,SAAS;gBACX,CAAC;gBAED,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,qBAAqB,EACrB,aAAa,WAAW,CAAC,IAAI,gCAAgC,IAAI,GAAG,EACpE,MAAM,CAAC,KAAK,CACb,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;IAC7D,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,oBAAoB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CACpE,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,sBAAsB,EAAE,CAAC;QAC7C,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,KAAK,MAAM,EAAE,SAAS,EAAE,eAAe,EAAE,IAAI,wBAAwB,CACnE,MAAM,CACP,EAAE,CAAC;QACF,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACpC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,aAAa,EAAE,CAAC;YACvD,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC1C,CAAC;QAED,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnC,KAAK,MAAM,QAAQ,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;YACpD,IACE,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;gBACrC,aAAa,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,EACzC,CAAC;gBACD,SAAS;YACX,CAAC;YAED,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,uBAAuB,EACvB,gBAAgB,eAAe,oCAAoC,QAAQ,GAAG,EAC9E,SAAS,CACV,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAa,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE;IAC1D,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,iBAAiB,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CACjE,CAAC;IAEF,KAAK,MAAM,WAAW,IAAI,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACvD,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACjC,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;oBACtC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;wBAC3B,SAAS;oBACX,CAAC;oBAED,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;oBACzC,IAAI,CAAC,SAAS,EAAE,CAAC;wBACf,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,oBAAoB,EACpB,aAAa,WAAW,CAAC,IAAI,iDAAiD,EAC9E,KAAK,CACN,CACF,CAAC;wBACF,SAAS;oBACX,CAAC;oBAED,IACE,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;wBACxC,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,EACxC,CAAC;wBACD,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,oBAAoB,EACpB,aAAa,WAAW,CAAC,IAAI,+BAA+B,SAAS,GAAG,EACxE,KAAK,CAAC,cAAc,CACrB,CACF,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC/B,SAAS;YACX,CAAC;YAED,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;YAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,4CAA4C,CAAC,CAAC;YACzE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,SAAS;YACX,CAAC;YAED,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,oBAAoB,EACpB,aAAa,WAAW,CAAC,IAAI,qCAAqC,EAClE,SAAS,CACV,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IACE,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;gBACxC,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,EACxC,CAAC;gBACD,oBAAoB,CAClB,WAAW,EACX,IAAI,EACJ,oBAAoB,CAClB,oBAAoB,EACpB,aAAa,WAAW,CAAC,IAAI,+BAA+B,SAAS,GAAG,EACxE,SAAS,CACV,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAe;IAClC,wBAAwB;IACxB,qBAAqB;IACrB,uBAAuB;IACvB,oBAAoB;CACrB,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,OAAgC,EACd,EAAE;IACpB,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC"}

package/dist/rules/type.d.ts

@@ -0,0 +1,5 @@
+import type { BirdDiagnostic } from "@birdcc/core";
+import { type BirdRule } from "./shared.js";
+export declare const typeRules: BirdRule[];
+export declare const collectTypeRuleDiagnostics: (context: Parameters<BirdRule>[0]) => BirdDiagnostic[];
+//# sourceMappingURL=type.d.ts.map

package/dist/rules/type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type.d.ts","sourceRoot":"","sources":["../../src/rules/type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEnD,OAAO,EAKL,KAAK,QAAQ,EACd,MAAM,aAAa,CAAC;AAgMrB,eAAO,MAAM,SAAS,EAAE,QAAQ,EAG/B,CAAC;AAEF,eAAO,MAAM,0BAA0B,GACrC,SAAS,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAC/B,cAAc,EAEhB,CAAC"}