@aexol/spectral 0.9.230 → 0.9.234

package/dist/generated/parser/parser/cursor.d.ts

@@ -0,0 +1,47 @@
+/**
+ * Aexol Language Parser — Cursor Interface
+ *
+ * Low-level token navigation contract shared by the Parser class and the
+ * extracted definition/expression parse functions. The Parser class
+ * implements this interface; the extracted functions receive it as their
+ * parsing context.
+ *
+ * Pure type definitions — zero runtime dependencies.
+ */
+import type { CapabilityNode } from "../ast/nodes.ts";
+import type { Token, TokenType } from "../lexer/tokens.ts";
+export interface ParserCursor {
+    /** Current token under the cursor (used for locations and error messages). */
+    readonly currentToken: Token;
+    /** Consume and return the current token, advancing the cursor. */
+    advance(): Token;
+    /** Check whether the current token has the given type. */
+    check(type: TokenType): boolean;
+    /** Check whether the current token has any of the given types. */
+    checkAny(...types: TokenType[]): boolean;
+    /** Consume the current token if it has the given type, else throw. */
+    consume(type: TokenType, message?: string): Token;
+    /** Consume the current token if it has any of the given types. */
+    match(...types: TokenType[]): Token | null;
+    /**
+     * Consume a token usable as an identifier (IDENTIFIER or keyword used
+     * in identifier position, e.g. field names, enum values).
+     */
+    consumeIdentifierOrKeyword(message?: string): Token;
+    /**
+     * Check whether the current token is a keyword being used as an
+     * identifier in a capability context (e.g. "can import catalog").
+     */
+    isKeywordUsedAsIdentifier(): boolean;
+    /** Skip newline/indent/dedent/comment tokens. */
+    skipNewlines(): void;
+    /** Check whether the cursor is at the EOF token. */
+    isAtEnd(): boolean;
+    /** Consume a description (PROMPT token) if present. */
+    parseDescriptionIfPresent(): string | undefined;
+    /** Parse a capability (with nesting and conditions) — shared helper. */
+    parseCapability(): CapabilityNode;
+    /** Parse a string array: [item1, item2, item3] — shared helper. */
+    parseStringArray(): string[];
+}
+//# sourceMappingURL=cursor.d.ts.map

package/dist/generated/parser/parser/cursor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cursor.d.ts","sourceRoot":"","sources":["../../../../src/generated/parser/parser/cursor.ts"],"names":[],"mappings":"AACA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE3D,MAAM,WAAW,YAAY;IAC3B,8EAA8E;IAC9E,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC;IAE7B,kEAAkE;IAClE,OAAO,IAAI,KAAK,CAAC;IAEjB,0DAA0D;IAC1D,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC;IAEhC,kEAAkE;IAClE,QAAQ,CAAC,GAAG,KAAK,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC;IAEzC,sEAAsE;IACtE,OAAO,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IAElD,kEAAkE;IAClE,KAAK,CAAC,GAAG,KAAK,EAAE,SAAS,EAAE,GAAG,KAAK,GAAG,IAAI,CAAC;IAE3C;;;OAGG;IACH,0BAA0B,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IAEpD;;;OAGG;IACH,yBAAyB,IAAI,OAAO,CAAC;IAErC,iDAAiD;IACjD,YAAY,IAAI,IAAI,CAAC;IAErB,oDAAoD;IACpD,OAAO,IAAI,OAAO,CAAC;IAEnB,uDAAuD;IACvD,yBAAyB,IAAI,MAAM,GAAG,SAAS,CAAC;IAEhD,wEAAwE;IACxE,eAAe,IAAI,cAAc,CAAC;IAElC,mEAAmE;IACnE,gBAAgB,IAAI,MAAM,EAAE,CAAC;CAC9B"}

package/dist/generated/parser/parser/cursor.js

@@ -0,0 +1,12 @@
+// GENERATED by cli-node/scripts/vendor-parser.mjs — do not edit; regenerate with `node scripts/vendor-parser.mjs`; source: packages/parser/
+/**
+ * Aexol Language Parser — Cursor Interface
+ *
+ * Low-level token navigation contract shared by the Parser class and the
+ * extracted definition/expression parse functions. The Parser class
+ * implements this interface; the extracted functions receive it as their
+ * parsing context.
+ *
+ * Pure type definitions — zero runtime dependencies.
+ */
+export {};

package/dist/generated/parser/parser/definitions.d.ts

@@ -0,0 +1,16 @@
+/**
+ * Aexol Language Parser — Definition Parsing
+ *
+ * Top-level definition parsers (visitor, role, workflow, agent, type)
+ * extracted from the Parser class. Each function receives the ParserCursor
+ * as its parsing context; shared helpers (parseCapability, parseStringArray)
+ * are reached through the cursor.
+ */
+import type { AgentDefinition, RoleDefinition, TypeDefinition, VisitorDefinition, WorkflowDefinition } from "../ast/nodes.ts";
+import type { ParserCursor } from "./cursor.js";
+export declare function parseVisitor(ctx: ParserCursor, description?: string): VisitorDefinition;
+export declare function parseRole(ctx: ParserCursor, description?: string): RoleDefinition;
+export declare function parseWorkflow(ctx: ParserCursor, description?: string): WorkflowDefinition;
+export declare function parseAgent(ctx: ParserCursor, description?: string): AgentDefinition;
+export declare function parseTypeDefinition(ctx: ParserCursor, description?: string): TypeDefinition;
+//# sourceMappingURL=definitions.d.ts.map

package/dist/generated/parser/parser/definitions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"definitions.d.ts","sourceRoot":"","sources":["../../../../src/generated/parser/parser/definitions.ts"],"names":[],"mappings":"AACA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,eAAe,EAGf,cAAc,EAEd,cAAc,EAEd,iBAAiB,EACjB,kBAAkB,EAEnB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,wBAAgB,YAAY,CAC1B,GAAG,EAAE,YAAY,EACjB,WAAW,CAAC,EAAE,MAAM,GACnB,iBAAiB,CAiCnB;AAED,wBAAgB,SAAS,CACvB,GAAG,EAAE,YAAY,EACjB,WAAW,CAAC,EAAE,MAAM,GACnB,cAAc,CAuFhB;AAED,wBAAgB,aAAa,CAC3B,GAAG,EAAE,YAAY,EACjB,WAAW,CAAC,EAAE,MAAM,GACnB,kBAAkB,CAuGpB;AAED,wBAAgB,UAAU,CACxB,GAAG,EAAE,YAAY,EACjB,WAAW,CAAC,EAAE,MAAM,GACnB,eAAe,CA6FjB;AAED,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,YAAY,EACjB,WAAW,CAAC,EAAE,MAAM,GACnB,cAAc,CA4FhB"}

package/dist/generated/parser/parser/definitions.js

@@ -0,0 +1,353 @@
+// GENERATED by cli-node/scripts/vendor-parser.mjs — do not edit; regenerate with `node scripts/vendor-parser.mjs`; source: packages/parser/
+/**
+ * Aexol Language Parser — Definition Parsing
+ *
+ * Top-level definition parsers (visitor, role, workflow, agent, type)
+ * extracted from the Parser class. Each function receives the ParserCursor
+ * as its parsing context; shared helpers (parseCapability, parseStringArray)
+ * are reached through the cursor.
+ */
+import { TokenType } from "../lexer/tokens.js";
+export function parseVisitor(ctx, description) {
+    const startToken = ctx.consume(TokenType.VISITOR);
+    let name;
+    if (ctx.check(TokenType.IDENTIFIER)) {
+        name = ctx.advance().value;
+    }
+    ctx.skipNewlines();
+    ctx.consume(TokenType.LBRACE, "Expected '{' after visitor");
+    ctx.skipNewlines();
+    const capabilities = [];
+    while (!ctx.check(TokenType.RBRACE) && !ctx.isAtEnd()) {
+        capabilities.push(ctx.parseCapability());
+        ctx.skipNewlines();
+    }
+    ctx.consume(TokenType.RBRACE, "Expected '}' after visitor body");
+    return {
+        type: "VisitorDefinition",
+        name,
+        description,
+        capabilities,
+        location: {
+            start: startToken.location.offset,
+            end: ctx.currentToken.location.offset,
+            line: startToken.location.line,
+            column: startToken.location.column,
+        },
+    };
+}
+export function parseRole(ctx, description) {
+    const startToken = ctx.consume(TokenType.ROLE);
+    const name = ctx.consume(TokenType.IDENTIFIER, "Expected role name").value;
+    ctx.skipNewlines();
+    ctx.consume(TokenType.LBRACE, "Expected '{' after role name");
+    ctx.skipNewlines();
+    const permissions = [];
+    const inherits = [];
+    while (!ctx.check(TokenType.RBRACE) && !ctx.isAtEnd()) {
+        const loopStart = ctx.currentToken.location.offset;
+        // Check for description before permission
+        const permissionDescription = ctx.parseDescriptionIfPresent();
+        if (ctx.check(TokenType.PERMISSION)) {
+            ctx.advance();
+            const resource = ctx.consume(TokenType.IDENTIFIER, "Expected resource name").value;
+            const actions = [];
+            if (ctx.check(TokenType.LBRACE)) {
+                ctx.advance();
+                ctx.skipNewlines();
+                while (!ctx.check(TokenType.RBRACE) && !ctx.isAtEnd()) {
+                    actions.push(ctx.consume(TokenType.IDENTIFIER, "Expected action name").value);
+                    if (ctx.check(TokenType.COMMA)) {
+                        ctx.advance();
+                        ctx.skipNewlines();
+                    }
+                    ctx.skipNewlines();
+                }
+                ctx.consume(TokenType.RBRACE, "Expected '}' after actions");
+            }
+            permissions.push({
+                type: "Permission",
+                resource,
+                description: permissionDescription,
+                actions,
+                location: {
+                    start: startToken.location.offset,
+                    end: ctx.currentToken.location.offset,
+                    line: startToken.location.line,
+                    column: startToken.location.column,
+                },
+            });
+        }
+        else {
+            // If we hit an unexpected token, throw an error instead of hanging
+            throw new SyntaxError(`Unexpected token '${ctx.currentToken.value}' (type: ${ctx.currentToken.type}) at line ${ctx.currentToken.location.line}. ` +
+                `Expected 'permission' keyword or '}' to close role definition. ` +
+                `Note: Role definitions use 'permission resource { actions }' syntax, not field syntax with colons.`);
+        }
+        ctx.skipNewlines();
+        // Safety: ensure we're advancing
+        if (ctx.currentToken.location.offset === loopStart &&
+            !ctx.check(TokenType.RBRACE)) {
+            throw new SyntaxError(`Parser stuck in role definition at line ${ctx.currentToken.location.line}`);
+        }
+    }
+    ctx.consume(TokenType.RBRACE, "Expected '}' after role body");
+    return {
+        type: "RoleDefinition",
+        name,
+        description,
+        permissions,
+        inherits: inherits.length > 0 ? inherits : undefined,
+        location: {
+            start: startToken.location.offset,
+            end: ctx.currentToken.location.offset,
+            line: startToken.location.line,
+            column: startToken.location.column,
+        },
+    };
+}
+export function parseWorkflow(ctx, description) {
+    const startToken = ctx.consume(TokenType.WORKFLOW);
+    const name = ctx.consume(TokenType.IDENTIFIER, "Expected workflow name").value;
+    ctx.skipNewlines();
+    ctx.consume(TokenType.LBRACE, "Expected '{' after workflow name");
+    ctx.skipNewlines();
+    const steps = [];
+    let initialState = "";
+    const finalStates = [];
+    while (!ctx.check(TokenType.RBRACE) && !ctx.isAtEnd()) {
+        // Check for description before state
+        const stepDescription = ctx.parseDescriptionIfPresent();
+        // Handle 'initial <stateName>' to set the initial state
+        if (ctx.check(TokenType.INITIAL)) {
+            ctx.advance();
+            initialState = ctx.consume(TokenType.IDENTIFIER, "Expected state name after 'initial'").value;
+            ctx.skipNewlines();
+            continue;
+        }
+        if (ctx.check(TokenType.STATE)) {
+            ctx.advance();
+            const stateName = ctx.consume(TokenType.IDENTIFIER, "Expected state name").value;
+            if (ctx.match(TokenType.ARROW)) {
+                const transitions = [];
+                while (!ctx.check(TokenType.NEWLINE) && !ctx.check(TokenType.RBRACE) &&
+                    !ctx.isAtEnd()) {
+                    const toState = ctx.consume(TokenType.IDENTIFIER, "Expected target state").value;
+                    transitions.push({
+                        type: "Transition",
+                        from: stateName,
+                        to: toState,
+                        location: {
+                            start: startToken.location.offset,
+                            end: ctx.currentToken.location.offset,
+                            line: startToken.location.line,
+                            column: startToken.location.column,
+                        },
+                    });
+                    if (ctx.match(TokenType.COMMA)) {
+                        // Continue parsing transitions
+                    }
+                    else {
+                        break;
+                    }
+                }
+                steps.push({
+                    type: "WorkflowStep",
+                    name: stateName,
+                    description: stepDescription,
+                    action: "transition",
+                    transitions,
+                    location: {
+                        start: startToken.location.offset,
+                        end: ctx.currentToken.location.offset,
+                        line: startToken.location.line,
+                        column: startToken.location.column,
+                    },
+                });
+            }
+            ctx.skipNewlines();
+            continue;
+        }
+        // If we reach here, we have an unexpected token in the workflow body
+        throw new SyntaxError(`Unexpected token '${ctx.currentToken.type}' in workflow definition at line ${ctx.currentToken.location.line}:${ctx.currentToken.location.column}. ` +
+            `Workflows should contain 'initial <state>' or 'state <name> -> <transitions>' declarations. ` +
+            `Note: Workflows use state machine syntax, not method declarations.`);
+    }
+    ctx.consume(TokenType.RBRACE, "Expected '}' after workflow body");
+    return {
+        type: "WorkflowDefinition",
+        name,
+        description,
+        steps,
+        initialState,
+        finalStates,
+        location: {
+            start: startToken.location.offset,
+            end: ctx.currentToken.location.offset,
+            line: startToken.location.line,
+            column: startToken.location.column,
+        },
+    };
+}
+export function parseAgent(ctx, description) {
+    const startToken = ctx.consume(TokenType.AGENT);
+    const name = ctx.consume(TokenType.IDENTIFIER, "Expected agent name").value;
+    let role = "";
+    if (ctx.match(TokenType.COLON)) {
+        role = ctx.consume(TokenType.IDENTIFIER, "Expected role name").value;
+    }
+    ctx.skipNewlines();
+    ctx.consume(TokenType.LBRACE, "Expected '{' after agent name");
+    ctx.skipNewlines();
+    const capabilities = [];
+    const responsibilities = [];
+    let skills;
+    let model;
+    let maxConcurrent;
+    while (!ctx.check(TokenType.RBRACE) && !ctx.isAtEnd()) {
+        if (ctx.check(TokenType.CAPABILITIES)) {
+            ctx.advance();
+            ctx.consume(TokenType.COLON, "Expected ':' after capabilities");
+            const capList = ctx.parseStringArray();
+            // Convert to capability nodes
+            for (const cap of capList) {
+                capabilities.push({
+                    type: "Capability",
+                    verb: "can",
+                    action: cap,
+                    location: {
+                        start: startToken.location.offset,
+                        end: ctx.currentToken.location.offset,
+                        line: startToken.location.line,
+                        column: startToken.location.column,
+                    },
+                });
+            }
+        }
+        else if (ctx.check(TokenType.SKILLS)) {
+            ctx.advance();
+            ctx.consume(TokenType.COLON, "Expected ':' after skills");
+            skills = ctx.parseStringArray();
+        }
+        else if (ctx.check(TokenType.MODEL)) {
+            ctx.advance();
+            ctx.consume(TokenType.COLON, "Expected ':' after model");
+            model = ctx.consume(TokenType.STRING, "Expected string value").value;
+        }
+        else if (ctx.check(TokenType.MAX_CONCURRENT)) {
+            ctx.advance();
+            ctx.consume(TokenType.COLON, "Expected ':' after max_concurrent");
+            maxConcurrent = parseInt(ctx.consume(TokenType.NUMBER, "Expected number value").value);
+        }
+        else if (ctx.check(TokenType.STRING) || ctx.check(TokenType.IDENTIFIER) ||
+            ctx.check(TokenType.PROMPT)) {
+            // Parse the full capability with nested capabilities support (including descriptions)
+            capabilities.push(ctx.parseCapability());
+        }
+        else {
+            ctx.advance();
+        }
+        ctx.skipNewlines();
+    }
+    ctx.consume(TokenType.RBRACE, "Expected '}' after agent body");
+    // Determine agent kind based on properties
+    // Builder agents have skills, model, or maxConcurrent properties
+    // Domain agents have business logic capabilities and may have roles
+    const agentKind = (skills !== undefined || model !== undefined ||
+        maxConcurrent !== undefined)
+        ? "builder"
+        : "domain";
+    return {
+        type: "AgentDefinition",
+        name,
+        description,
+        agentKind,
+        role,
+        responsibilities,
+        capabilities,
+        skills,
+        model,
+        maxConcurrent,
+        location: {
+            start: startToken.location.offset,
+            end: ctx.currentToken.location.offset,
+            line: startToken.location.line,
+            column: startToken.location.column,
+        },
+    };
+}
+export function parseTypeDefinition(ctx, description) {
+    const startToken = ctx.currentToken;
+    let kind = "type";
+    if (ctx.check(TokenType.TYPE)) {
+        kind = "type";
+        ctx.advance();
+    }
+    else if (ctx.check(TokenType.ENUM)) {
+        kind = "enum";
+        ctx.advance();
+    }
+    else if (ctx.check(TokenType.INTERFACE)) {
+        kind = "interface";
+        ctx.advance();
+    }
+    ctx.skipNewlines();
+    const name = ctx.consumeIdentifierOrKeyword(`Expected type name after '${kind}' keyword at line ${ctx.currentToken.location.line}:${ctx.currentToken.location.column}. Got '${ctx.currentToken.value || ctx.currentToken.type}' instead.`).value;
+    ctx.skipNewlines();
+    ctx.consume(TokenType.LBRACE, "Expected '{' after type name");
+    ctx.skipNewlines();
+    const fields = [];
+    const values = [];
+    while (!ctx.check(TokenType.RBRACE) && !ctx.isAtEnd()) {
+        if (kind === "enum") {
+            // Enum values remain plain strings (no descriptions)
+            values.push(ctx.consumeIdentifierOrKeyword("Expected enum value").value);
+        }
+        else {
+            // Check for description before field
+            const fieldDescription = ctx.parseDescriptionIfPresent();
+            const fieldName = ctx.consumeIdentifierOrKeyword("Expected field name").value;
+            ctx.consume(TokenType.COLON, "Expected ':' after field name");
+            // Parse field type with optional array syntax
+            let fieldType = ctx.consumeIdentifierOrKeyword("Expected field type").value;
+            // Handle array syntax: string[], TypeName[], TypeName[][]
+            while (ctx.check(TokenType.LBRACKET)) {
+                ctx.advance(); // consume '['
+                ctx.consume(TokenType.RBRACKET, "Expected ']' after '['");
+                fieldType += "[]";
+            }
+            fields.push({
+                type: "TypeField",
+                name: fieldName,
+                description: fieldDescription,
+                fieldType,
+                required: true,
+                location: {
+                    start: startToken.location.offset,
+                    end: ctx.currentToken.location.offset,
+                    line: startToken.location.line,
+                    column: startToken.location.column,
+                },
+            });
+        }
+        if (ctx.check(TokenType.COMMA)) {
+            ctx.advance();
+        }
+        ctx.skipNewlines();
+    }
+    ctx.consume(TokenType.RBRACE, "Expected '}' after type body");
+    return {
+        type: "TypeDefinition",
+        name,
+        description,
+        kind,
+        fields: fields.length > 0 ? fields : undefined,
+        values: values.length > 0 ? values : undefined,
+        location: {
+            start: startToken.location.offset,
+            end: ctx.currentToken.location.offset,
+            line: startToken.location.line,
+            column: startToken.location.column,
+        },
+    };
+}

package/dist/generated/parser/parser/expressions.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Aexol Language Parser — Expression Parsing
+ *
+ * Condition and expression parsers (or/and/comparison/primary precedence
+ * chain) extracted from the Parser class. Each function receives the
+ * ParserCursor as its parsing context; mutual recursion between the
+ * expression levels goes through direct local calls.
+ */
+import type { ConditionNode, ExpressionNode } from "../ast/nodes.ts";
+import type { ParserCursor } from "./cursor.js";
+export declare function parseCondition(ctx: ParserCursor): ConditionNode;
+export declare function parseExpression(ctx: ParserCursor): ExpressionNode;
+export declare function parseOrExpression(ctx: ParserCursor): ExpressionNode;
+export declare function parseAndExpression(ctx: ParserCursor): ExpressionNode;
+export declare function parseComparisonExpression(ctx: ParserCursor): ExpressionNode;
+export declare function parsePrimaryExpression(ctx: ParserCursor): ExpressionNode;
+//# sourceMappingURL=expressions.d.ts.map

package/dist/generated/parser/parser/expressions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.d.ts","sourceRoot":"","sources":["../../../../src/generated/parser/parser/expressions.ts"],"names":[],"mappings":"AACA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAErE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,wBAAgB,cAAc,CAAC,GAAG,EAAE,YAAY,GAAG,aAAa,CAc/D;AAED,wBAAgB,eAAe,CAAC,GAAG,EAAE,YAAY,GAAG,cAAc,CAEjE;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,YAAY,GAAG,cAAc,CAsBnE;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,YAAY,GAAG,cAAc,CAsBpE;AAED,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,YAAY,GAAG,cAAc,CA+B3E;AAED,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,YAAY,GAAG,cAAc,CAmFxE"}

package/dist/generated/parser/parser/expressions.js

@@ -0,0 +1,165 @@
+// GENERATED by cli-node/scripts/vendor-parser.mjs — do not edit; regenerate with `node scripts/vendor-parser.mjs`; source: packages/parser/
+/**
+ * Aexol Language Parser — Expression Parsing
+ *
+ * Condition and expression parsers (or/and/comparison/primary precedence
+ * chain) extracted from the Parser class. Each function receives the
+ * ParserCursor as its parsing context; mutual recursion between the
+ * expression levels goes through direct local calls.
+ */
+import { TokenType } from "../lexer/tokens.js";
+export function parseCondition(ctx) {
+    const startToken = ctx.currentToken;
+    const expression = parseExpression(ctx);
+    return {
+        type: "Condition",
+        expression,
+        location: {
+            start: startToken.location.offset,
+            end: ctx.currentToken.location.offset,
+            line: startToken.location.line,
+            column: startToken.location.column,
+        },
+    };
+}
+export function parseExpression(ctx) {
+    return parseOrExpression(ctx);
+}
+export function parseOrExpression(ctx) {
+    const startToken = ctx.currentToken;
+    let left = parseAndExpression(ctx);
+    while (ctx.check(TokenType.OR)) {
+        ctx.advance();
+        const right = parseAndExpression(ctx);
+        left = {
+            type: "Expression",
+            operator: "or",
+            left,
+            right,
+            location: {
+                start: startToken.location.offset,
+                end: ctx.currentToken.location.offset,
+                line: startToken.location.line,
+                column: startToken.location.column,
+            },
+        };
+    }
+    return left;
+}
+export function parseAndExpression(ctx) {
+    const startToken = ctx.currentToken;
+    let left = parseComparisonExpression(ctx);
+    while (ctx.check(TokenType.AND)) {
+        ctx.advance();
+        const right = parseComparisonExpression(ctx);
+        left = {
+            type: "Expression",
+            operator: "and",
+            left,
+            right,
+            location: {
+                start: startToken.location.offset,
+                end: ctx.currentToken.location.offset,
+                line: startToken.location.line,
+                column: startToken.location.column,
+            },
+        };
+    }
+    return left;
+}
+export function parseComparisonExpression(ctx) {
+    const startToken = ctx.currentToken;
+    let left = parsePrimaryExpression(ctx);
+    while (ctx.checkAny(TokenType.EQ, TokenType.NEQ, TokenType.LT, TokenType.LTE, TokenType.GT, TokenType.GTE)) {
+        const op = ctx.advance().value;
+        const right = parsePrimaryExpression(ctx);
+        left = {
+            type: "Expression",
+            operator: op,
+            left,
+            right,
+            location: {
+                start: startToken.location.offset,
+                end: ctx.currentToken.location.offset,
+                line: startToken.location.line,
+                column: startToken.location.column,
+            },
+        };
+    }
+    return left;
+}
+export function parsePrimaryExpression(ctx) {
+    const startToken = ctx.currentToken;
+    if (ctx.check(TokenType.TRUE)) {
+        ctx.advance();
+        return {
+            type: "Expression",
+            value: true,
+            location: {
+                start: startToken.location.offset,
+                end: ctx.currentToken.location.offset,
+                line: startToken.location.line,
+                column: startToken.location.column,
+            },
+        };
+    }
+    if (ctx.check(TokenType.FALSE)) {
+        ctx.advance();
+        return {
+            type: "Expression",
+            value: false,
+            location: {
+                start: startToken.location.offset,
+                end: ctx.currentToken.location.offset,
+                line: startToken.location.line,
+                column: startToken.location.column,
+            },
+        };
+    }
+    if (ctx.check(TokenType.NUMBER)) {
+        const value = Number(ctx.advance().value);
+        return {
+            type: "Expression",
+            value,
+            location: {
+                start: startToken.location.offset,
+                end: ctx.currentToken.location.offset,
+                line: startToken.location.line,
+                column: startToken.location.column,
+            },
+        };
+    }
+    if (ctx.check(TokenType.STRING)) {
+        const value = ctx.advance().value;
+        return {
+            type: "Expression",
+            value,
+            location: {
+                start: startToken.location.offset,
+                end: ctx.currentToken.location.offset,
+                line: startToken.location.line,
+                column: startToken.location.column,
+            },
+        };
+    }
+    if (ctx.check(TokenType.IDENTIFIER)) {
+        const value = ctx.advance().value;
+        return {
+            type: "Expression",
+            value,
+            location: {
+                start: startToken.location.offset,
+                end: ctx.currentToken.location.offset,
+                line: startToken.location.line,
+                column: startToken.location.column,
+            },
+        };
+    }
+    if (ctx.check(TokenType.LPAREN)) {
+        ctx.advance();
+        const expr = parseExpression(ctx);
+        ctx.consume(TokenType.RPAREN, "Expected ')' after expression");
+        return expr;
+    }
+    throw new SyntaxError(`Unexpected token in expression: ${ctx.currentToken.type}`);
+}