@birdcc/core 0.0.1-alpha.0

package/dist/type-checker.js

@@ -0,0 +1,390 @@
+import { isIP } from "node:net";
+import { isValidPrefixLiteral } from "./prefix.js";
+const VARIABLE_DECLARE_PATTERN = /^\s*(?:var\s+)?(int|bool|string|ip|prefix)\s+([A-Za-z_][A-Za-z0-9_]*)(?:\s*=\s*(.+?))?\s*;?\s*$/i;
+const VARIABLE_ASSIGN_PATTERN = /^\s*([A-Za-z_][A-Za-z0-9_]*)\s*=\s*(.+?)\s*;?\s*$/;
+const MAX_TYPE_INFER_DEPTH = 64;
+const MAX_TYPE_EXPRESSION_LENGTH = 4096;
+const SET_LITERAL_MAX_ITEMS = 256;
+const trimSingleEnclosingParentheses = (value) => {
+    const current = value.trim();
+    if (!current.startsWith("(") || !current.endsWith(")")) {
+        return current;
+    }
+    let depth = 0;
+    for (let index = 0; index < current.length; index += 1) {
+        const char = current[index];
+        if (char === "(") {
+            depth += 1;
+        }
+        else if (char === ")") {
+            depth -= 1;
+            if (depth < 0) {
+                return current;
+            }
+            if (depth === 0 && index < current.length - 1) {
+                return current;
+            }
+        }
+    }
+    return depth === 0 ? current.slice(1, -1).trim() : current;
+};
+const isQuotedLiteral = (value, quote) => {
+    if (!value.startsWith(quote) || !value.endsWith(quote) || value.length < 2) {
+        return false;
+    }
+    let escaping = false;
+    for (let index = 1; index < value.length - 1; index += 1) {
+        const char = value[index];
+        if (escaping) {
+            escaping = false;
+            continue;
+        }
+        if (char === "\\") {
+            escaping = true;
+            continue;
+        }
+        if (char === quote) {
+            return false;
+        }
+    }
+    return true;
+};
+const splitTopLevelBinary = (value, operators) => {
+    let depth = 0;
+    let inSingleQuote = false;
+    let inDoubleQuote = false;
+    let escaping = false;
+    let lastMatch = null;
+    for (let index = 0; index < value.length; index += 1) {
+        const char = value[index];
+        if (escaping) {
+            escaping = false;
+            continue;
+        }
+        if (char === "\\") {
+            escaping = true;
+            continue;
+        }
+        if (!inDoubleQuote && char === "'") {
+            inSingleQuote = !inSingleQuote;
+            continue;
+        }
+        if (!inSingleQuote && char === '"') {
+            inDoubleQuote = !inDoubleQuote;
+            continue;
+        }
+        if (inSingleQuote || inDoubleQuote) {
+            continue;
+        }
+        if (char === "(") {
+            depth += 1;
+            continue;
+        }
+        if (char === ")") {
+            if (depth > 0) {
+                depth -= 1;
+            }
+            continue;
+        }
+        if (depth !== 0) {
+            continue;
+        }
+        for (const operator of operators) {
+            if (!value.startsWith(operator, index)) {
+                continue;
+            }
+            const left = value.slice(0, index).trim();
+            const right = value.slice(index + operator.length).trim();
+            if (left.length === 0 || right.length === 0) {
+                continue;
+            }
+            lastMatch = { left, operator, right };
+        }
+    }
+    return lastMatch;
+};
+const splitTopLevelList = (value) => {
+    const items = [];
+    let depthParen = 0;
+    let depthBracket = 0;
+    let depthBrace = 0;
+    let inSingleQuote = false;
+    let inDoubleQuote = false;
+    let escaping = false;
+    let segmentStart = 0;
+    for (let index = 0; index < value.length; index += 1) {
+        const char = value[index];
+        if (escaping) {
+            escaping = false;
+            continue;
+        }
+        if (char === "\\") {
+            escaping = true;
+            continue;
+        }
+        if (!inDoubleQuote && char === "'") {
+            inSingleQuote = !inSingleQuote;
+            continue;
+        }
+        if (!inSingleQuote && char === '"') {
+            inDoubleQuote = !inDoubleQuote;
+            continue;
+        }
+        if (inSingleQuote || inDoubleQuote) {
+            continue;
+        }
+        switch (char) {
+            case "(":
+                depthParen += 1;
+                continue;
+            case ")":
+                if (depthParen > 0) {
+                    depthParen -= 1;
+                }
+                continue;
+            case "[":
+                depthBracket += 1;
+                continue;
+            case "]":
+                if (depthBracket > 0) {
+                    depthBracket -= 1;
+                }
+                continue;
+            case "{":
+                depthBrace += 1;
+                continue;
+            case "}":
+                if (depthBrace > 0) {
+                    depthBrace -= 1;
+                }
+                continue;
+            case ",":
+                if (depthParen === 0 && depthBracket === 0 && depthBrace === 0) {
+                    items.push(value.slice(segmentStart, index).trim());
+                    segmentStart = index + 1;
+                }
+                continue;
+            default:
+                break;
+        }
+    }
+    items.push(value.slice(segmentStart).trim());
+    return items;
+};
+const inferSetLiteralElementType = (rawValue, variableTypes, depth) => {
+    if (!rawValue.startsWith("[") || !rawValue.endsWith("]")) {
+        return "unknown";
+    }
+    const inner = rawValue.slice(1, -1).trim();
+    if (inner.length === 0) {
+        return "unknown";
+    }
+    const items = splitTopLevelList(inner);
+    if (items.length > SET_LITERAL_MAX_ITEMS) {
+        return "unknown";
+    }
+    let elementType = null;
+    for (const item of items) {
+        if (item.length === 0) {
+            return "unknown";
+        }
+        const inferredItemType = inferValueType(item, variableTypes, depth + 1);
+        if (inferredItemType === "unknown" || inferredItemType === "bool") {
+            return "unknown";
+        }
+        if (elementType && inferredItemType !== elementType) {
+            return "unknown";
+        }
+        elementType = inferredItemType;
+    }
+    return elementType ?? "unknown";
+};
+const inferValueType = (rawValue, variableTypes, depth = 0) => {
+    if (depth > MAX_TYPE_INFER_DEPTH ||
+        rawValue.length > MAX_TYPE_EXPRESSION_LENGTH) {
+        return "unknown";
+    }
+    const value = rawValue.trim();
+    if (value.length === 0) {
+        return "unknown";
+    }
+    const stripped = trimSingleEnclosingParentheses(value);
+    if (stripped !== value) {
+        return inferValueType(stripped, variableTypes, depth + 1);
+    }
+    if (value.startsWith("!")) {
+        const operandType = inferValueType(value.slice(1), variableTypes, depth + 1);
+        return operandType === "bool" ? "bool" : "unknown";
+    }
+    if (value.startsWith("-") || value.startsWith("+")) {
+        const operandType = inferValueType(value.slice(1), variableTypes, depth + 1);
+        if (operandType === "int") {
+            return "int";
+        }
+    }
+    const lowered = value.toLowerCase();
+    if (lowered === "true" || lowered === "false") {
+        return "bool";
+    }
+    if (/^\d+$/.test(value)) {
+        return "int";
+    }
+    if (isQuotedLiteral(value, '"') || isQuotedLiteral(value, "'")) {
+        return "string";
+    }
+    if (isIP(value) !== 0) {
+        return "ip";
+    }
+    if (isValidPrefixLiteral(value)) {
+        return "prefix";
+    }
+    if (/^[A-Za-z_][A-Za-z0-9_]*$/.test(value)) {
+        return variableTypes.get(value) ?? "unknown";
+    }
+    const logicalOrExpression = splitTopLevelBinary(value, ["||"]);
+    if (logicalOrExpression) {
+        const leftType = inferValueType(logicalOrExpression.left, variableTypes, depth + 1);
+        const rightType = inferValueType(logicalOrExpression.right, variableTypes, depth + 1);
+        return leftType === "bool" && rightType === "bool" ? "bool" : "unknown";
+    }
+    const logicalAndExpression = splitTopLevelBinary(value, ["&&"]);
+    if (logicalAndExpression) {
+        const leftType = inferValueType(logicalAndExpression.left, variableTypes, depth + 1);
+        const rightType = inferValueType(logicalAndExpression.right, variableTypes, depth + 1);
+        return leftType === "bool" && rightType === "bool" ? "bool" : "unknown";
+    }
+    const equalityExpression = splitTopLevelBinary(value, ["==", "!="]);
+    if (equalityExpression) {
+        const leftType = inferValueType(equalityExpression.left, variableTypes, depth + 1);
+        const rightType = inferValueType(equalityExpression.right, variableTypes, depth + 1);
+        return leftType !== "unknown" &&
+            rightType !== "unknown" &&
+            leftType === rightType
+            ? "bool"
+            : "unknown";
+    }
+    const relationalExpression = splitTopLevelBinary(value, [
+        "<=",
+        ">=",
+        "<",
+        ">",
+    ]);
+    if (relationalExpression) {
+        const leftType = inferValueType(relationalExpression.left, variableTypes, depth + 1);
+        const rightType = inferValueType(relationalExpression.right, variableTypes, depth + 1);
+        return leftType === "int" && rightType === "int" ? "bool" : "unknown";
+    }
+    const matchExpression = splitTopLevelBinary(value, ["!~", "~"]);
+    if (matchExpression) {
+        const leftType = inferValueType(matchExpression.left, variableTypes, depth + 1);
+        if (leftType === "unknown") {
+            return "unknown";
+        }
+        const rightSetElementType = inferSetLiteralElementType(matchExpression.right, variableTypes, depth + 1);
+        if (rightSetElementType !== "unknown") {
+            return leftType === rightSetElementType ? "bool" : "unknown";
+        }
+        return "unknown";
+    }
+    const additiveExpression = splitTopLevelBinary(value, ["+", "-"]);
+    if (additiveExpression) {
+        const leftType = inferValueType(additiveExpression.left, variableTypes, depth + 1);
+        const rightType = inferValueType(additiveExpression.right, variableTypes, depth + 1);
+        return leftType === "int" && rightType === "int" ? "int" : "unknown";
+    }
+    const multiplicativeExpression = splitTopLevelBinary(value, ["*", "/"]);
+    if (multiplicativeExpression) {
+        const leftType = inferValueType(multiplicativeExpression.left, variableTypes, depth + 1);
+        const rightType = inferValueType(multiplicativeExpression.right, variableTypes, depth + 1);
+        return leftType === "int" && rightType === "int" ? "int" : "unknown";
+    }
+    return "unknown";
+};
+const createTypeMismatchDiagnostic = (expectedType, actualType, line, column, endLine, endColumn, variableName) => ({
+    code: "type/mismatch",
+    message: `Type mismatch for '${variableName}': expected ${expectedType}, got ${actualType}`,
+    severity: "error",
+    source: "core",
+    range: { line, column, endLine, endColumn },
+});
+export const checkTypes = (program, 
+// Reserved for upcoming phases (cross-declaration and cross-file type rules).
+_symbolTable, options = {}) => {
+    const diagnostics = [];
+    const strictUnknownExpression = options.strictUnknownExpression ?? false;
+    for (const declaration of program.declarations) {
+        if (declaration.kind !== "filter" && declaration.kind !== "function") {
+            continue;
+        }
+        const variableTypes = new Map();
+        for (const statement of declaration.statements) {
+            if (statement.kind !== "expression") {
+                if (strictUnknownExpression &&
+                    statement.kind === "return" &&
+                    statement.valueText) {
+                    const inferredType = inferValueType(statement.valueText, variableTypes);
+                    if (inferredType === "unknown") {
+                        diagnostics.push({
+                            code: "type/unknown-expression",
+                            message: `Cannot infer type for return expression '${statement.valueText}'`,
+                            severity: "warning",
+                            source: "core",
+                            range: {
+                                line: statement.line,
+                                column: statement.column,
+                                endLine: statement.endLine,
+                                endColumn: statement.endColumn,
+                            },
+                        });
+                    }
+                }
+                continue;
+            }
+            const expression = statement.expressionText.trim();
+            const declarationMatch = expression.match(VARIABLE_DECLARE_PATTERN);
+            if (declarationMatch) {
+                const declaredType = (declarationMatch[1] ?? "unknown").toLowerCase();
+                const variableName = declarationMatch[2] ?? "";
+                const initializer = declarationMatch[3]?.trim();
+                if (variableName.length > 0) {
+                    variableTypes.set(variableName, declaredType);
+                }
+                if (initializer) {
+                    const inferredType = inferValueType(initializer, variableTypes);
+                    if (inferredType !== "unknown" && inferredType !== declaredType) {
+                        diagnostics.push(createTypeMismatchDiagnostic(declaredType, inferredType, statement.line, statement.column, statement.endLine, statement.endColumn, variableName));
+                    }
+                }
+                continue;
+            }
+            const assignMatch = expression.match(VARIABLE_ASSIGN_PATTERN);
+            if (!assignMatch) {
+                continue;
+            }
+            const variableName = assignMatch[1] ?? "";
+            const assignedValue = assignMatch[2] ?? "";
+            const expectedType = variableTypes.get(variableName);
+            if (!expectedType) {
+                diagnostics.push({
+                    code: "type/undefined-variable",
+                    message: `Assignment to undefined variable '${variableName}'`,
+                    severity: "error",
+                    source: "core",
+                    range: {
+                        line: statement.line,
+                        column: statement.column,
+                        endLine: statement.endLine,
+                        endColumn: statement.endColumn,
+                    },
+                });
+                continue;
+            }
+            const inferredType = inferValueType(assignedValue, variableTypes);
+            if (inferredType !== "unknown" && inferredType !== expectedType) {
+                diagnostics.push(createTypeMismatchDiagnostic(expectedType, inferredType, statement.line, statement.column, statement.endLine, statement.endColumn, variableName));
+            }
+        }
+    }
+    return diagnostics;
+};
+//# sourceMappingURL=type-checker.js.map

package/dist/type-checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-checker.js","sourceRoot":"","sources":["../src/type-checker.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAC;AAQhC,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAEnD,MAAM,wBAAwB,GAC5B,kGAAkG,CAAC;AACrG,MAAM,uBAAuB,GAC3B,mDAAmD,CAAC;AACtD,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAChC,MAAM,0BAA0B,GAAG,IAAI,CAAC;AACxC,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAElC,MAAM,8BAA8B,GAAG,CAAC,KAAa,EAAU,EAAE;IAC/D,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACvD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,KAAK,IAAI,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACxB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACd,OAAO,OAAO,CAAC;YACjB,CAAC;YAED,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9C,OAAO,OAAO,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;AAC7D,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,KAAa,EAAE,KAAgB,EAAW,EAAE;IACnE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3E,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAE1B,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,GAAG,KAAK,CAAC;YACjB,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,QAAQ,GAAG,IAAI,CAAC;YAChB,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;YACnB,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,KAAa,EACb,SAAmB,EACuC,EAAE;IAC5D,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,QAAQ,GAAG,KAAK,CAAC;IAErB,IAAI,SAAS,GACX,IAAI,CAAC;IAEP,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAE1B,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,GAAG,KAAK,CAAC;YACjB,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,QAAQ,GAAG,IAAI,CAAC;YAChB,SAAS;QACX,CAAC;QAED,IAAI,CAAC,aAAa,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACnC,aAAa,GAAG,CAAC,aAAa,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,IAAI,CAAC,aAAa,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACnC,aAAa,GAAG,CAAC,aAAa,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,IAAI,aAAa,IAAI,aAAa,EAAE,CAAC;YACnC,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACd,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,SAAS;QACX,CAAC;QAED,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC;gBACvC,SAAS;YACX,CAAC;YAED,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;YAE1D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5C,SAAS;YACX,CAAC;YAED,SAAS,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QACxC,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,KAAa,EAAY,EAAE;IACpD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,aAAa,GAAG,KAAK,CAAC;IAC1B,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAE1B,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,GAAG,KAAK,CAAC;YACjB,SAAS;QACX,CAAC;QAED,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,QAAQ,GAAG,IAAI,CAAC;YAChB,SAAS;QACX,CAAC;QAED,IAAI,CAAC,aAAa,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACnC,aAAa,GAAG,CAAC,aAAa,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,IAAI,CAAC,aAAa,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACnC,aAAa,GAAG,CAAC,aAAa,CAAC;YAC/B,SAAS;QACX,CAAC;QAED,IAAI,aAAa,IAAI,aAAa,EAAE,CAAC;YACnC,SAAS;QACX,CAAC;QAED,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,GAAG;gBACN,UAAU,IAAI,CAAC,CAAC;gBAChB,SAAS;YACX,KAAK,GAAG;gBACN,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;oBACnB,UAAU,IAAI,CAAC,CAAC;gBAClB,CAAC;gBACD,SAAS;YACX,KAAK,GAAG;gBACN,YAAY,IAAI,CAAC,CAAC;gBAClB,SAAS;YACX,KAAK,GAAG;gBACN,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;oBACrB,YAAY,IAAI,CAAC,CAAC;gBACpB,CAAC;gBACD,SAAS;YACX,KAAK,GAAG;gBACN,UAAU,IAAI,CAAC,CAAC;gBAChB,SAAS;YACX,KAAK,GAAG;gBACN,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;oBACnB,UAAU,IAAI,CAAC,CAAC;gBAClB,CAAC;gBACD,SAAS;YACX,KAAK,GAAG;gBACN,IAAI,UAAU,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;oBAC/D,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;oBACpD,YAAY,GAAG,KAAK,GAAG,CAAC,CAAC;gBAC3B,CAAC;gBACD,SAAS;YACX;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,QAAgB,EAChB,aAAqC,EACrC,KAAa,EACF,EAAE;IACb,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,KAAK,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,WAAW,GAAqB,IAAI,CAAC;IAEzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,gBAAgB,GAAG,cAAc,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACxE,IAAI,gBAAgB,KAAK,SAAS,IAAI,gBAAgB,KAAK,MAAM,EAAE,CAAC;YAClE,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,WAAW,IAAI,gBAAgB,KAAK,WAAW,EAAE,CAAC;YACpD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,WAAW,GAAG,gBAAgB,CAAC;IACjC,CAAC;IAED,OAAO,WAAW,IAAI,SAAS,CAAC;AAClC,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,QAAgB,EAChB,aAAqC,EACrC,KAAK,GAAG,CAAC,EACE,EAAE;IACb,IACE,KAAK,GAAG,oBAAoB;QAC5B,QAAQ,CAAC,MAAM,GAAG,0BAA0B,EAC5C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,8BAA8B,CAAC,KAAK,CAAC,CAAC;IACvD,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO,cAAc,CAAC,QAAQ,EAAE,aAAa,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,WAAW,GAAG,cAAc,CAChC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACd,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,OAAO,WAAW,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACrD,CAAC;IAED,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACnD,MAAM,WAAW,GAAG,cAAc,CAChC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EACd,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;YAC1B,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IAEpC,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QAC9C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,eAAe,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;QAC/D,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IAAI,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC;IAC/C,CAAC;IAED,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/D,IAAI,mBAAmB,EAAE,CAAC;QACxB,MAAM,QAAQ,GAAG,cAAc,CAC7B,mBAAmB,CAAC,IAAI,EACxB,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,MAAM,SAAS,GAAG,cAAc,CAC9B,mBAAmB,CAAC,KAAK,EACzB,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,OAAO,QAAQ,KAAK,MAAM,IAAI,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,CAAC;IAED,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,IAAI,oBAAoB,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,cAAc,CAC7B,oBAAoB,CAAC,IAAI,EACzB,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,MAAM,SAAS,GAAG,cAAc,CAC9B,oBAAoB,CAAC,KAAK,EAC1B,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,OAAO,QAAQ,KAAK,MAAM,IAAI,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,CAAC;IAED,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACpE,IAAI,kBAAkB,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,cAAc,CAC7B,kBAAkB,CAAC,IAAI,EACvB,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,MAAM,SAAS,GAAG,cAAc,CAC9B,kBAAkB,CAAC,KAAK,EACxB,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,OAAO,QAAQ,KAAK,SAAS;YAC3B,SAAS,KAAK,SAAS;YACvB,QAAQ,KAAK,SAAS;YACtB,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,MAAM,oBAAoB,GAAG,mBAAmB,CAAC,KAAK,EAAE;QACtD,IAAI;QACJ,IAAI;QACJ,GAAG;QACH,GAAG;KACJ,CAAC,CAAC;IACH,IAAI,oBAAoB,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,cAAc,CAC7B,oBAAoB,CAAC,IAAI,EACzB,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,MAAM,SAAS,GAAG,cAAc,CAC9B,oBAAoB,CAAC,KAAK,EAC1B,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,OAAO,QAAQ,KAAK,KAAK,IAAI,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IACxE,CAAC;IAED,MAAM,eAAe,GAAG,mBAAmB,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAChE,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAG,cAAc,CAC7B,eAAe,CAAC,IAAI,EACpB,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,mBAAmB,GAAG,0BAA0B,CACpD,eAAe,CAAC,KAAK,EACrB,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;YACtC,OAAO,QAAQ,KAAK,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/D,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,kBAAkB,GAAG,mBAAmB,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAClE,IAAI,kBAAkB,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,cAAc,CAC7B,kBAAkB,CAAC,IAAI,EACvB,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,MAAM,SAAS,GAAG,cAAc,CAC9B,kBAAkB,CAAC,KAAK,EACxB,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,OAAO,QAAQ,KAAK,KAAK,IAAI,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,CAAC;IAED,MAAM,wBAAwB,GAAG,mBAAmB,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACxE,IAAI,wBAAwB,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,cAAc,CAC7B,wBAAwB,CAAC,IAAI,EAC7B,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,MAAM,SAAS,GAAG,cAAc,CAC9B,wBAAwB,CAAC,KAAK,EAC9B,aAAa,EACb,KAAK,GAAG,CAAC,CACV,CAAC;QACF,OAAO,QAAQ,KAAK,KAAK,IAAI,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACvE,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,YAAuB,EACvB,UAAqB,EACrB,IAAY,EACZ,MAAc,EACd,OAAe,EACf,SAAiB,EACjB,YAAoB,EACJ,EAAE,CAAC,CAAC;IACpB,IAAI,EAAE,eAAe;IACrB,OAAO,EAAE,sBAAsB,YAAY,eAAe,YAAY,SAAS,UAAU,EAAE;IAC3F,QAAQ,EAAE,OAAO;IACjB,MAAM,EAAE,MAAM;IACd,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE;CAC5C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,OAAsC;AACtC,8EAA8E;AAC9E,YAAyB,EACzB,UAA4B,EAAE,EACZ,EAAE;IACpB,MAAM,WAAW,GAAqB,EAAE,CAAC;IACzC,MAAM,uBAAuB,GAAG,OAAO,CAAC,uBAAuB,IAAI,KAAK,CAAC;IAEzE,KAAK,MAAM,WAAW,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;QAC/C,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACrE,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,GAAG,EAAqB,CAAC;QAEnD,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YAC/C,IAAI,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBACpC,IACE,uBAAuB;oBACvB,SAAS,CAAC,IAAI,KAAK,QAAQ;oBAC3B,SAAS,CAAC,SAAS,EACnB,CAAC;oBACD,MAAM,YAAY,GAAG,cAAc,CACjC,SAAS,CAAC,SAAS,EACnB,aAAa,CACd,CAAC;oBACF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;wBAC/B,WAAW,CAAC,IAAI,CAAC;4BACf,IAAI,EAAE,yBAAyB;4BAC/B,OAAO,EAAE,4CAA4C,SAAS,CAAC,SAAS,GAAG;4BAC3E,QAAQ,EAAE,SAAS;4BACnB,MAAM,EAAE,MAAM;4BACd,KAAK,EAAE;gCACL,IAAI,EAAE,SAAS,CAAC,IAAI;gCACpB,MAAM,EAAE,SAAS,CAAC,MAAM;gCACxB,OAAO,EAAE,SAAS,CAAC,OAAO;gCAC1B,SAAS,EAAE,SAAS,CAAC,SAAS;6BAC/B;yBACF,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAED,SAAS;YACX,CAAC;YAED,MAAM,UAAU,GAAG,SAAS,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;YACnD,MAAM,gBAAgB,GAAG,UAAU,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;YACpE,IAAI,gBAAgB,EAAE,CAAC;gBACrB,MAAM,YAAY,GAAG,CACnB,gBAAgB,CAAC,CAAC,CAAC,IAAI,SAAS,CACjC,CAAC,WAAW,EAAe,CAAC;gBAC7B,MAAM,YAAY,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAC/C,MAAM,WAAW,GAAG,gBAAgB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;gBAEhD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5B,aAAa,CAAC,GAAG,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;gBAChD,CAAC;gBAED,IAAI,WAAW,EAAE,CAAC;oBAChB,MAAM,YAAY,GAAG,cAAc,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;oBAChE,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,YAAY,EAAE,CAAC;wBAChE,WAAW,CAAC,IAAI,CACd,4BAA4B,CAC1B,YAAY,EACZ,YAAY,EACZ,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,MAAM,EAChB,SAAS,CAAC,OAAO,EACjB,SAAS,CAAC,SAAS,EACnB,YAAY,CACb,CACF,CAAC;oBACJ,CAAC;gBACH,CAAC;gBAED,SAAS;YACX,CAAC;YAED,MAAM,WAAW,GAAG,UAAU,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;YAC9D,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,SAAS;YACX,CAAC;YAED,MAAM,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1C,MAAM,aAAa,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC3C,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAErD,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,yBAAyB;oBAC/B,OAAO,EAAE,qCAAqC,YAAY,GAAG;oBAC7D,QAAQ,EAAE,OAAO;oBACjB,MAAM,EAAE,MAAM;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS,CAAC,IAAI;wBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;wBACxB,OAAO,EAAE,SAAS,CAAC,OAAO;wBAC1B,SAAS,EAAE,SAAS,CAAC,SAAS;qBAC/B;iBACF,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,YAAY,GAAG,cAAc,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;YAClE,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,YAAY,EAAE,CAAC;gBAChE,WAAW,CAAC,IAAI,CACd,4BAA4B,CAC1B,YAAY,EACZ,YAAY,EACZ,SAAS,CAAC,IAAI,EACd,SAAS,CAAC,MAAM,EAChB,SAAS,CAAC,OAAO,EACjB,SAAS,CAAC,SAAS,EACnB,YAAY,CACb,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,84 @@
+export type BirdDiagnosticSeverity = "error" | "warning" | "info";
+export interface BirdRange {
+    line: number;
+    column: number;
+    endLine: number;
+    endColumn: number;
+}
+export interface BirdDiagnostic {
+    code: string;
+    message: string;
+    severity: BirdDiagnosticSeverity;
+    source: "parser" | "core" | "linter" | "bird";
+    range: BirdRange;
+    uri?: string;
+}
+export type BirdSymbolKind = "protocol" | "template" | "filter" | "function" | "table";
+export interface SymbolDefinition {
+    kind: BirdSymbolKind;
+    name: string;
+    line: number;
+    column: number;
+    endLine: number;
+    endColumn: number;
+    uri: string;
+}
+export interface SymbolReference {
+    kind: "template";
+    name: string;
+    line: number;
+    column: number;
+    endLine: number;
+    endColumn: number;
+    uri: string;
+}
+export interface SymbolTable {
+    definitions: SymbolDefinition[];
+    references: SymbolReference[];
+}
+export type TypeValue = "int" | "bool" | "string" | "ip" | "prefix" | "unknown";
+export interface TypeCheckOptions {
+    uri?: string;
+    strictUnknownExpression?: boolean;
+}
+export interface CoreSnapshot {
+    symbols: SymbolDefinition[];
+    references: SymbolReference[];
+    symbolTable: SymbolTable;
+    typeDiagnostics: BirdDiagnostic[];
+    diagnostics: BirdDiagnostic[];
+}
+export interface CrossFileDocumentInput {
+    uri: string;
+    text: string;
+}
+export interface CrossFileResolutionStats {
+    loadedFromMemory: number;
+    loadedFromFileSystem: number;
+    skippedByDepth: number;
+    skippedByFileLimit: number;
+    missingIncludes: number;
+    parsedCacheHits: number;
+    parsedCacheMisses: number;
+}
+export interface CrossFileResolveOptions {
+    entryUri: string;
+    documents?: CrossFileDocumentInput[];
+    maxDepth?: number;
+    maxFiles?: number;
+    loadFromFileSystem?: boolean;
+    workspaceRootUri?: string;
+    allowIncludeOutsideWorkspace?: boolean;
+    typeCheck?: TypeCheckOptions;
+    readFileText?: (uri: string) => Promise<string>;
+}
+export interface CrossFileResolutionResult {
+    entryUri: string;
+    visitedUris: string[];
+    symbolTable: SymbolTable;
+    snapshots: Record<string, CoreSnapshot>;
+    documents: Record<string, string>;
+    diagnostics: BirdDiagnostic[];
+    stats: CrossFileResolutionStats;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,sBAAsB,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAElE,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,sBAAsB,CAAC;IACjC,MAAM,EAAE,QAAQ,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC9C,KAAK,EAAE,SAAS,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,MAAM,cAAc,GACtB,UAAU,GACV,UAAU,GACV,QAAQ,GACR,UAAU,GACV,OAAO,CAAC;AAEZ,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,WAAW;IAC1B,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC,UAAU,EAAE,eAAe,EAAE,CAAC;CAC/B;AAED,MAAM,MAAM,SAAS,GAAG,KAAK,GAAG,MAAM,GAAG,QAAQ,GAAG,IAAI,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEhF,MAAM,WAAW,gBAAgB;IAC/B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC;AAED,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5B,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,WAAW,EAAE,WAAW,CAAC;IACzB,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,WAAW,EAAE,cAAc,EAAE,CAAC;CAC/B;AAED,MAAM,WAAW,sBAAsB;IACrC,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,wBAAwB;IACvC,gBAAgB,EAAE,MAAM,CAAC;IACzB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,sBAAsB,EAAE,CAAC;IACrC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,4BAA4B,CAAC,EAAE,OAAO,CAAC;IACvC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B,YAAY,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CACjD;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,WAAW,EAAE,WAAW,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACxC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,WAAW,EAAE,cAAc,EAAE,CAAC;IAC9B,KAAK,EAAE,wBAAwB,CAAC;CACjC"}

package/dist/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}

package/package.json

@@ -0,0 +1,45 @@
+{
+  "name": "@birdcc/core",
+  "version": "0.0.1-alpha.0",
+  "private": false,
+  "type": "module",
+  "license": "GPL-3.0-only",
+  "author": {
+    "name": "BIRD Chinese Community",
+    "email": "npm-dev@birdcc.link",
+    "url": "https://github.com/bird-chinese-community/"
+  },
+  "main": "./dist/index.js",
+  "types": "./src/index.ts",
+  "exports": {
+    ".": {
+      "types": "./src/index.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "dependencies": {
+    "fast-cidr-tools": "^0.3.4",
+    "@birdcc/parser": "0.0.1-alpha.0"
+  },
+  "devDependencies": {
+    "mitata": "^1.0.34"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/bird-chinese-community/BIRD-LSP",
+    "directory": "packages/@birdcc/core"
+  },
+  "homepage": "https://github.com/bird-chinese-community/BIRD-LSP/blob/main/packages/%40birdcc/core/README.md",
+  "bugs": {
+    "url": "https://github.com/bird-chinese-community/BIRD-LSP/issues"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "bench:ip-check": "node scripts/benchmark-node-vs-regex.js",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "lint": "oxlint --deny-warnings src test",
+    "test": "vitest run",
+    "format": "oxfmt .",
+    "coverage": "vitest run --coverage --coverage.provider=v8 --coverage.reporter=text-summary --coverage.reporter=json-summary"
+  }
+}

package/scripts/benchmark-node-vs-regex.js

@@ -0,0 +1,86 @@
+// Run: pnpm --filter @birdcc/core bench:ip-check
+
+import { bench, run, summary, barplot } from "mitata";
+import { isIP } from "node:net";
+
+// --- regex implementations ---
+// Validates each octet: 0-255, no leading zeros
+const IPv4_RE =
+  /^(25[0-5]|2[0-4]\d|1\d{2}|[1-9]\d|\d)(\.(25[0-5]|2[0-4]\d|1\d{2}|[1-9]\d|\d)){3}$/;
+
+// Covers all RFC 4291 compressed forms (::, ::1, 1::, fe80::1, etc.)
+// Zone ID (fe80::1%eth0) intentionally excluded — match node:net behavior = include it
+const IPv6_RE =
+  /^(([0-9a-fA-F]{1,4}:){7}[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,7}:|([0-9a-fA-F]{1,4}:){1,6}:[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,5}(:[0-9a-fA-F]{1,4}){1,2}|([0-9a-fA-F]{1,4}:){1,4}(:[0-9a-fA-F]{1,4}){1,3}|([0-9a-fA-F]{1,4}:){1,3}(:[0-9a-fA-F]{1,4}){1,4}|([0-9a-fA-F]{1,4}:){1,2}(:[0-9a-fA-F]{1,4}){1,5}|[0-9a-fA-F]{1,4}:((:[0-9a-fA-F]{1,4}){1,6})|:((:[0-9a-fA-F]{1,4}){1,7}|:)|fe80:(:[0-9a-fA-F]{0,4}){0,4}%[0-9a-zA-Z]+|::(ffff(:0{1,4})?:)?((25[0-5]|(2[0-4]|1?\d)?\d)\.){3}(25[0-5]|(2[0-4]|1?\d)?\d)|([0-9a-fA-F]{1,4}:){1,4}:((25[0-5]|(2[0-4]|1?\d)?\d)\.){3}(25[0-5]|(2[0-4]|1?\d)?\d))$/;
+
+/** Returns 4 | 6 | 0 — same contract as node:net isIP */
+const isIP_regex = (input) => {
+  if (IPv4_RE.test(input)) return 4;
+  if (IPv6_RE.test(input)) return 6;
+  return 0;
+};
+
+// --- test fixtures: mix of ipv4 / ipv6 / invalid ---
+const samples = [
+  "127.0.0.1", // valid ipv4
+  "192.168.1.255", // valid ipv4
+  "0.0.0.0", // valid ipv4
+  "255.255.255.255", // valid ipv4
+  "::1", // valid ipv6 loopback
+  "2001:db8::1", // valid ipv6
+  "fe80::1%eth0", // ipv6 with zone id  (isIP → 0, regex → 0)
+  "not-an-ip", // invalid
+  "127.000.000.001", // invalid (leading zeros)
+  "999.999.999.999", // invalid (out of range)
+];
+
+const parseSampleSize = (value) => {
+  const parsed = Number.parseInt(value ?? "", 10);
+  if (!Number.isFinite(parsed) || parsed <= 0) {
+    return 100000;
+  }
+  return parsed;
+};
+
+const sampleSize = parseSampleSize(process.env.BENCH_SAMPLE_SIZE);
+const samplePool = Array.from({ length: sampleSize }, (_, index) => {
+  return samples[index % samples.length];
+});
+
+// Sanity-check: both implementations must agree on every sample
+for (const s of samples) {
+  const r = isIP_regex(s);
+  const n = isIP(s);
+  if (r !== n) {
+    throw new Error(`[mismatch] "${s}" regex=${r} node=${n}`);
+  }
+}
+
+// --- benchmarks ---
+summary(() => {
+  barplot(() => {
+    bench("regex  · single sample (127.0.0.1)", () => isIP_regex("127.0.0.1"));
+    bench("node   · single sample (127.0.0.1)", () => isIP("127.0.0.1"));
+
+    bench("regex  · single sample (::1)", () => isIP_regex("::1"));
+    bench("node   · single sample (::1)", () => isIP("::1"));
+
+    bench("regex  · single sample (invalid)", () => isIP_regex("not-an-ip"));
+    bench("node   · single sample (invalid)", () => isIP("not-an-ip"));
+
+    bench("regex  · 10-sample mixed loop", () => {
+      for (const s of samples) isIP_regex(s);
+    });
+    bench("node   · 10-sample mixed loop", () => {
+      for (const s of samples) isIP(s);
+    });
+    bench(`regex  · ${sampleSize}-sample deterministic loop`, () => {
+      for (const s of samplePool) isIP_regex(s);
+    });
+    bench(`node   · ${sampleSize}-sample deterministic loop`, () => {
+      for (const s of samplePool) isIP(s);
+    });
+  });
+});
+
+await run();