@rcrsr/rill 0.1.0

package/dist/runtime/core/eval/mixins/control-flow.js

@@ -0,0 +1,369 @@
+/**
+ * ControlFlowMixin: Conditionals, Loops, and Blocks
+ *
+ * Handles control flow constructs:
+ * - Conditionals (if-else)
+ * - While loops
+ * - Do-while loops
+ * - Block expressions
+ * - Body evaluation
+ *
+ * Interface requirements (from spec):
+ * - evaluateConditional(node) -> Promise<RillValue>
+ * - evaluateWhileLoop(node) -> Promise<RillValue>
+ * - evaluateDoWhileLoop(node) -> Promise<RillValue>
+ * - evaluateBlockExpression(node) -> Promise<RillValue>
+ * - evaluateBody(node) -> Promise<RillValue>
+ * - evaluateBodyExpression(node) -> Promise<RillValue>
+ *
+ * Error Handling:
+ * - Non-boolean conditions throw RuntimeError(RUNTIME_TYPE_ERROR) [EC-15]
+ * - BreakSignal/ReturnSignal are caught and handled appropriately [EC-16]
+ * - Body evaluation errors propagate correctly [EC-17]
+ *
+ * @internal
+ */
+import { RuntimeError, RILL_ERROR_CODES } from '../../../../types.js';
+import { inferType } from '../../values.js';
+import { createChildContext } from '../../context.js';
+import { BreakSignal, ReturnSignal } from '../../signals.js';
+/**
+ * Default maximum iteration count for while/do-while loops.
+ * Can be overridden with ^(limit: N) annotation.
+ */
+const DEFAULT_MAX_ITERATIONS = 10000;
+/**
+ * ControlFlowMixin implementation.
+ *
+ * Evaluates conditionals, loops, blocks, and body nodes.
+ * Handles BreakSignal and ReturnSignal for control flow.
+ *
+ * Depends on:
+ * - EvaluatorBase: ctx, checkAborted(), getNodeLocation()
+ * - evaluateExpression() (from future CoreMixin composition)
+ * - evaluateGroupedExpr() (from ExpressionsMixin)
+ * - evaluatePostfixExpr() (from future CoreMixin composition)
+ * - evaluatePipeChain() (from future CoreMixin composition)
+ * - executeStatement() (from future CoreMixin composition)
+ *
+ * Methods added:
+ * - evaluateConditional(node) -> Promise<RillValue>
+ * - evaluateWhileLoop(node) -> Promise<RillValue>
+ * - evaluateDoWhileLoop(node) -> Promise<RillValue>
+ * - evaluateBlock(node) -> Promise<RillValue>
+ * - evaluateBlockExpression(node) -> Promise<RillValue>
+ * - evaluateBody(node) -> Promise<RillValue>
+ * - evaluateBodyExpression(node) -> Promise<RillValue>
+ * - getIterationLimit() -> number (helper)
+ */
+function createControlFlowMixin(Base) {
+    return class ControlFlowEvaluator extends Base {
+        /**
+         * Get the iteration limit for loops from the `limit` annotation.
+         * Returns the default if not set or if the value is not a positive number.
+         */
+        getIterationLimit() {
+            const limit = this.ctx.annotationStack.at(-1)?.['limit'];
+            if (typeof limit === 'number' && limit > 0) {
+                return Math.floor(limit);
+            }
+            return DEFAULT_MAX_ITERATIONS;
+        }
+        /**
+         * Evaluate conditional expression (ternary if-else).
+         *
+         * Syntax:
+         *   cond ? then ! else     - explicit condition
+         *   $ -> ? then ! else     - piped conditional ($ is condition)
+         *
+         * Condition must evaluate to boolean. Branches create child scopes.
+         * ReturnSignal propagates up (not caught here).
+         */
+        async evaluateConditional(node) {
+            // Preserve pipe value before evaluating condition (condition may modify it)
+            const savedPipeValue = this.ctx.pipeValue;
+            let conditionResult;
+            if (node.condition) {
+                // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                const conditionValue = await this.evaluateBodyExpression(node.condition);
+                // Condition must be boolean
+                if (typeof conditionValue !== 'boolean') {
+                    throw RuntimeError.fromNode(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Conditional expression must be boolean, got ${inferType(conditionValue)}`, node);
+                }
+                conditionResult = conditionValue;
+            }
+            else {
+                // Piped conditional: $ -> ? then ! else
+                // The pipe value must be boolean
+                if (typeof this.ctx.pipeValue !== 'boolean') {
+                    throw RuntimeError.fromNode(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Piped conditional requires boolean, got ${inferType(this.ctx.pipeValue)}`, node);
+                }
+                conditionResult = this.ctx.pipeValue;
+            }
+            // Restore pipe value for then/else branch evaluation
+            this.ctx.pipeValue = savedPipeValue;
+            if (conditionResult) {
+                // Create child scope for then branch (reads parent, writes local only)
+                const thenCtx = createChildContext(this.ctx);
+                thenCtx.pipeValue = savedPipeValue;
+                // Use evaluateBody (not evaluateBodyExpression) so ReturnSignal
+                // propagates up to the containing block rather than being caught here
+                const savedCtx = this.ctx;
+                this.ctx = thenCtx;
+                try {
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    return await this.evaluateBody(node.thenBranch);
+                }
+                finally {
+                    this.ctx = savedCtx;
+                }
+            }
+            else if (node.elseBranch) {
+                // Create child scope for else branch (reads parent, writes local only)
+                const elseCtx = createChildContext(this.ctx);
+                elseCtx.pipeValue = savedPipeValue;
+                const savedCtx = this.ctx;
+                this.ctx = elseCtx;
+                try {
+                    if (node.elseBranch.type === 'Conditional') {
+                        // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                        return await this.evaluateConditional(node.elseBranch);
+                    }
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    return await this.evaluateBody(node.elseBranch);
+                }
+                finally {
+                    this.ctx = savedCtx;
+                }
+            }
+            return this.ctx.pipeValue;
+        }
+        /**
+         * Evaluate while loop: (cond) @ body
+         *
+         * Condition must evaluate to boolean. Re-evaluated each iteration.
+         * Each iteration creates a child scope (reads parent, writes local only).
+         * Loop body result becomes the accumulator ($) for next iteration.
+         *
+         * BreakSignal exits loop and returns break value.
+         * ReturnSignal propagates up to containing block.
+         */
+        async evaluateWhileLoop(node) {
+            // Save original pipe value before evaluating condition
+            const originalPipeValue = this.ctx.pipeValue;
+            // Evaluate condition
+            // eslint-disable-next-line @typescript-eslint/no-explicit-any
+            const conditionValue = await this.evaluateExpression(node.condition);
+            // Restore original pipe value for loop body
+            this.ctx.pipeValue = originalPipeValue;
+            // Condition must be boolean
+            if (typeof conditionValue !== 'boolean') {
+                throw RuntimeError.fromNode(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `While loop condition must be boolean, got ${typeof conditionValue}`, node);
+            }
+            let value = this.ctx.pipeValue;
+            let iterCount = 0;
+            const maxIter = this.getIterationLimit();
+            try {
+                let conditionResult = conditionValue;
+                while (conditionResult) {
+                    iterCount++;
+                    if (iterCount > maxIter) {
+                        throw new RuntimeError(RILL_ERROR_CODES.RUNTIME_LIMIT_EXCEEDED, `While loop exceeded ${maxIter} iterations`, this.getNodeLocation(node), { limit: maxIter, iterations: iterCount });
+                    }
+                    this.checkAborted(node);
+                    // Create child scope for this iteration
+                    const iterCtx = createChildContext(this.ctx);
+                    iterCtx.pipeValue = value;
+                    const savedCtx = this.ctx;
+                    this.ctx = iterCtx;
+                    try {
+                        // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                        value = await this.evaluateBody(node.body);
+                    }
+                    finally {
+                        this.ctx = savedCtx;
+                    }
+                    this.ctx.pipeValue = value;
+                    // Re-evaluate condition for next iteration
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    const nextCondition = await this.evaluateExpression(node.condition);
+                    if (typeof nextCondition !== 'boolean') {
+                        throw RuntimeError.fromNode(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `While loop condition must be boolean, got ${typeof nextCondition}`, node);
+                    }
+                    conditionResult = nextCondition;
+                    // Restore pipeValue after condition evaluation
+                    this.ctx.pipeValue = value;
+                }
+            }
+            catch (e) {
+                if (e instanceof BreakSignal) {
+                    return e.value;
+                }
+                throw e;
+            }
+            return value;
+        }
+        /**
+         * Evaluate do-while loop: @ body ? cond
+         *
+         * Body executes at least once, then condition is checked.
+         * Condition must evaluate to boolean.
+         * Each iteration creates a child scope (reads parent, writes local only).
+         * Loop body result becomes the accumulator ($) for next iteration.
+         *
+         * BreakSignal exits loop and returns break value.
+         * ReturnSignal propagates up to containing block.
+         */
+        async evaluateDoWhileLoop(node) {
+            let value = this.ctx.pipeValue;
+            try {
+                // Do-while: body executes first, then condition is checked
+                // Each iteration creates a child scope (reads parent, writes local only)
+                let shouldContinue = true;
+                while (shouldContinue) {
+                    this.checkAborted(node);
+                    const iterCtx = createChildContext(this.ctx);
+                    iterCtx.pipeValue = value;
+                    const savedCtx = this.ctx;
+                    this.ctx = iterCtx;
+                    try {
+                        // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                        value = await this.evaluateBody(node.body);
+                    }
+                    finally {
+                        this.ctx = savedCtx;
+                    }
+                    this.ctx.pipeValue = value;
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    const conditionValue = await this.evaluateBodyExpression(node.condition);
+                    // Condition must be boolean
+                    if (typeof conditionValue !== 'boolean') {
+                        throw RuntimeError.fromNode(RILL_ERROR_CODES.RUNTIME_TYPE_ERROR, `Do-while condition must be boolean, got ${inferType(conditionValue)}`, node);
+                    }
+                    shouldContinue = conditionValue;
+                }
+            }
+            catch (e) {
+                if (e instanceof BreakSignal) {
+                    return e.value;
+                }
+                throw e;
+            }
+            return value;
+        }
+        /**
+         * Evaluate block: { statements }
+         *
+         * Creates child scope for the block (reads parent, writes local only).
+         * All siblings inherit the SAME $ from parent (captured when block entered).
+         * Each statement gets fresh child context so siblings don't share $.
+         *
+         * Variables captured via :> are promoted to block scope for visibility
+         * to later siblings.
+         *
+         * Returns value of last statement.
+         * ReturnSignal NOT caught here - propagates up to evaluateBlockExpression.
+         */
+        async evaluateBlock(node) {
+            // Create child scope for the block: reads from parent, writes to local only
+            const blockCtx = createChildContext(this.ctx);
+            // All siblings inherit the SAME $ from parent (captured when block entered)
+            const parentPipeValue = blockCtx.pipeValue;
+            let lastValue = parentPipeValue;
+            for (const stmt of node.statements) {
+                // Each statement gets fresh child context with parent's $
+                // This ensures siblings don't share $ - each sees the block's $
+                const stmtCtx = createChildContext(blockCtx);
+                stmtCtx.pipeValue = parentPipeValue; // Always parent's $, not previous sibling's
+                const savedCtx = this.ctx;
+                this.ctx = stmtCtx;
+                try {
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    lastValue = await this.executeStatement(stmt);
+                }
+                finally {
+                    this.ctx = savedCtx;
+                }
+                // Variables captured via :> need to be promoted to block scope
+                // so they're visible to later siblings
+                for (const [name, value] of stmtCtx.variables) {
+                    if (!blockCtx.variables.has(name)) {
+                        blockCtx.variables.set(name, value);
+                        const varType = stmtCtx.variableTypes.get(name);
+                        if (varType !== undefined) {
+                            blockCtx.variableTypes.set(name, varType);
+                        }
+                    }
+                }
+            }
+            return lastValue; // Last sibling's result is block result
+        }
+        /**
+         * Evaluate block expression: catches ReturnSignal.
+         *
+         * This is the entry point for blocks used as expressions
+         * (e.g., in conditionals, as function bodies).
+         *
+         * Catches ReturnSignal and returns its value.
+         * Other signals (BreakSignal) and errors propagate up.
+         */
+        async evaluateBlockExpression(node) {
+            try {
+                return await this.evaluateBlock(node);
+            }
+            catch (e) {
+                if (e instanceof ReturnSignal) {
+                    return e.value;
+                }
+                throw e;
+            }
+        }
+        /**
+         * Evaluate a body node (Block, GroupedExpr, PostfixExpr, or PipeChain).
+         * Used by conditionals and loops.
+         *
+         * Does NOT catch ReturnSignal - it propagates up.
+         * BreakSignal should be caught by the loop that called this.
+         */
+        async evaluateBody(node) {
+            switch (node.type) {
+                case 'Block':
+                    return this.evaluateBlock(node);
+                case 'GroupedExpr':
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    return this.evaluateGroupedExpr(node);
+                case 'PostfixExpr':
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    return this.evaluatePostfixExpr(node);
+                case 'PipeChain':
+                    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+                    return this.evaluatePipeChain(node);
+            }
+        }
+        /**
+         * Evaluate a body node as an expression (catches ReturnSignal).
+         *
+         * Used when a body needs to be treated as an expression
+         * (e.g., conditional condition, do-while condition).
+         *
+         * Catches ReturnSignal and returns its value.
+         * Other signals (BreakSignal) and errors propagate up.
+         */
+        async evaluateBodyExpression(node) {
+            try {
+                return await this.evaluateBody(node);
+            }
+            catch (e) {
+                if (e instanceof ReturnSignal) {
+                    return e.value;
+                }
+                throw e;
+            }
+        }
+    };
+}
+// Export with type assertion to work around TS4094 limitation
+// TypeScript can't generate declarations for functions returning classes with protected members
+// eslint-disable-next-line @typescript-eslint/no-explicit-any
+export const ControlFlowMixin = createControlFlowMixin;
+//# sourceMappingURL=control-flow.js.map

package/dist/runtime/core/eval/mixins/control-flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-flow.js","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/control-flow.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AASH,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAEtE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAI7D;;;GAGG;AACH,MAAM,sBAAsB,GAAG,KAAK,CAAC;AAErC;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,SAAS,sBAAsB,CAAC,IAAyC;IACvE,OAAO,MAAM,oBAAqB,SAAQ,IAAI;QAC5C;;;WAGG;QACO,iBAAiB;YACzB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;YACzD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBAC3C,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3B,CAAC;YACD,OAAO,sBAAsB,CAAC;QAChC,CAAC;QAED;;;;;;;;;WASG;QACO,KAAK,CAAC,mBAAmB,CACjC,IAAqB;YAErB,4EAA4E;YAC5E,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAE1C,IAAI,eAAwB,CAAC;YAC7B,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,8DAA8D;gBAC9D,MAAM,cAAc,GAAG,MAAO,IAAY,CAAC,sBAAsB,CAC/D,IAAI,CAAC,SAAS,CACf,CAAC;gBACF,4BAA4B;gBAC5B,IAAI,OAAO,cAAc,KAAK,SAAS,EAAE,CAAC;oBACxC,MAAM,YAAY,CAAC,QAAQ,CACzB,gBAAgB,CAAC,kBAAkB,EACnC,+CAA+C,SAAS,CAAC,cAAc,CAAC,EAAE,EAC1E,IAAI,CACL,CAAC;gBACJ,CAAC;gBACD,eAAe,GAAG,cAAc,CAAC;YACnC,CAAC;iBAAM,CAAC;gBACN,wCAAwC;gBACxC,iCAAiC;gBACjC,IAAI,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5C,MAAM,YAAY,CAAC,QAAQ,CACzB,gBAAgB,CAAC,kBAAkB,EACnC,2CAA2C,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAC1E,IAAI,CACL,CAAC;gBACJ,CAAC;gBACD,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YACvC,CAAC;YAED,qDAAqD;YACrD,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,cAAc,CAAC;YAEpC,IAAI,eAAe,EAAE,CAAC;gBACpB,uEAAuE;gBACvE,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC7C,OAAO,CAAC,SAAS,GAAG,cAAc,CAAC;gBACnC,gEAAgE;gBAChE,sEAAsE;gBACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC;gBAC1B,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC;gBACnB,IAAI,CAAC;oBACH,8DAA8D;oBAC9D,OAAO,MAAO,IAAY,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC3D,CAAC;wBAAS,CAAC;oBACT,IAAI,CAAC,GAAG,GAAG,QAAQ,CAAC;gBACtB,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC3B,uEAAuE;gBACvE,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC7C,OAAO,CAAC,SAAS,GAAG,cAAc,CAAC;gBACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC;gBAC1B,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC;gBACnB,IAAI,CAAC;oBACH,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;wBAC3C,8DAA8D;wBAC9D,OAAO,MAAO,IAAY,CAAC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAClE,CAAC;oBACD,8DAA8D;oBAC9D,OAAO,MAAO,IAAY,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC3D,CAAC;wBAAS,CAAC;oBACT,IAAI,CAAC,GAAG,GAAG,QAAQ,CAAC;gBACtB,CAAC;YACH,CAAC;YAED,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5B,CAAC;QAED;;;;;;;;;WASG;QACO,KAAK,CAAC,iBAAiB,CAAC,IAAmB;YACnD,uDAAuD;YACvD,MAAM,iBAAiB,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAE7C,qBAAqB;YACrB,8DAA8D;YAC9D,MAAM,cAAc,GAAG,MAAO,IAAY,CAAC,kBAAkB,CAC3D,IAAI,CAAC,SAAS,CACf,CAAC;YAEF,4CAA4C;YAC5C,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,iBAAiB,CAAC;YAEvC,4BAA4B;YAC5B,IAAI,OAAO,cAAc,KAAK,SAAS,EAAE,CAAC;gBACxC,MAAM,YAAY,CAAC,QAAQ,CACzB,gBAAgB,CAAC,kBAAkB,EACnC,6CAA6C,OAAO,cAAc,EAAE,EACpE,IAAI,CACL,CAAC;YACJ,CAAC;YAED,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAC/B,IAAI,SAAS,GAAG,CAAC,CAAC;YAClB,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAEzC,IAAI,CAAC;gBACH,IAAI,eAAe,GAAG,cAAc,CAAC;gBACrC,OAAO,eAAe,EAAE,CAAC;oBACvB,SAAS,EAAE,CAAC;oBACZ,IAAI,SAAS,GAAG,OAAO,EAAE,CAAC;wBACxB,MAAM,IAAI,YAAY,CACpB,gBAAgB,CAAC,sBAAsB,EACvC,uBAAuB,OAAO,aAAa,EAC3C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAC1B,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAC1C,CAAC;oBACJ,CAAC;oBACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;oBAExB,wCAAwC;oBACxC,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC7C,OAAO,CAAC,SAAS,GAAG,KAAK,CAAC;oBAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC;oBAC1B,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC;oBACnB,IAAI,CAAC;wBACH,8DAA8D;wBAC9D,KAAK,GAAG,MAAO,IAAY,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACtD,CAAC;4BAAS,CAAC;wBACT,IAAI,CAAC,GAAG,GAAG,QAAQ,CAAC;oBACtB,CAAC;oBACD,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC;oBAE3B,2CAA2C;oBAC3C,8DAA8D;oBAC9D,MAAM,aAAa,GAAG,MAAO,IAAY,CAAC,kBAAkB,CAC1D,IAAI,CAAC,SAAS,CACf,CAAC;oBACF,IAAI,OAAO,aAAa,KAAK,SAAS,EAAE,CAAC;wBACvC,MAAM,YAAY,CAAC,QAAQ,CACzB,gBAAgB,CAAC,kBAAkB,EACnC,6CAA6C,OAAO,aAAa,EAAE,EACnE,IAAI,CACL,CAAC;oBACJ,CAAC;oBACD,eAAe,GAAG,aAAa,CAAC;oBAChC,+CAA+C;oBAC/C,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC;gBAC7B,CAAC;YACH,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,YAAY,WAAW,EAAE,CAAC;oBAC7B,OAAO,CAAC,CAAC,KAAK,CAAC;gBACjB,CAAC;gBACD,MAAM,CAAC,CAAC;YACV,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED;;;;;;;;;;WAUG;QACO,KAAK,CAAC,mBAAmB,CACjC,IAAqB;YAErB,IAAI,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC;YAE/B,IAAI,CAAC;gBACH,2DAA2D;gBAC3D,yEAAyE;gBACzE,IAAI,cAAc,GAAG,IAAI,CAAC;gBAC1B,OAAO,cAAc,EAAE,CAAC;oBACtB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;oBAExB,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC7C,OAAO,CAAC,SAAS,GAAG,KAAK,CAAC;oBAC1B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC;oBAC1B,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC;oBACnB,IAAI,CAAC;wBACH,8DAA8D;wBAC9D,KAAK,GAAG,MAAO,IAAY,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACtD,CAAC;4BAAS,CAAC;wBACT,IAAI,CAAC,GAAG,GAAG,QAAQ,CAAC;oBACtB,CAAC;oBACD,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC;oBAE3B,8DAA8D;oBAC9D,MAAM,cAAc,GAAG,MAAO,IAAY,CAAC,sBAAsB,CAC/D,IAAI,CAAC,SAAS,CACf,CAAC;oBACF,4BAA4B;oBAC5B,IAAI,OAAO,cAAc,KAAK,SAAS,EAAE,CAAC;wBACxC,MAAM,YAAY,CAAC,QAAQ,CACzB,gBAAgB,CAAC,kBAAkB,EACnC,2CAA2C,SAAS,CAAC,cAAc,CAAC,EAAE,EACtE,IAAI,CACL,CAAC;oBACJ,CAAC;oBACD,cAAc,GAAG,cAAc,CAAC;gBAClC,CAAC;YACH,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,YAAY,WAAW,EAAE,CAAC;oBAC7B,OAAO,CAAC,CAAC,KAAK,CAAC;gBACjB,CAAC;gBACD,MAAM,CAAC,CAAC;YACV,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED;;;;;;;;;;;;WAYG;QACO,KAAK,CAAC,aAAa,CAAC,IAAe;YAC3C,4EAA4E;YAC5E,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAE9C,4EAA4E;YAC5E,MAAM,eAAe,GAAG,QAAQ,CAAC,SAAS,CAAC;YAC3C,IAAI,SAAS,GAAc,eAAe,CAAC;YAE3C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACnC,0DAA0D;gBAC1D,gEAAgE;gBAChE,MAAM,OAAO,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;gBAC7C,OAAO,CAAC,SAAS,GAAG,eAAe,CAAC,CAAC,4CAA4C;gBAEjF,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC;gBAC1B,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC;gBACnB,IAAI,CAAC;oBACH,8DAA8D;oBAC9D,SAAS,GAAG,MAAO,IAAY,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBACzD,CAAC;wBAAS,CAAC;oBACT,IAAI,CAAC,GAAG,GAAG,QAAQ,CAAC;gBACtB,CAAC;gBAED,+DAA+D;gBAC/D,uCAAuC;gBACvC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;oBAC9C,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAClC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;wBACpC,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;wBAChD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;4BAC1B,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;wBAC5C,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,SAAS,CAAC,CAAC,wCAAwC;QAC5D,CAAC;QAED;;;;;;;;WAQG;QACO,KAAK,CAAC,uBAAuB,CACrC,IAAe;YAEf,IAAI,CAAC;gBACH,OAAO,MAAM,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YACxC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,YAAY,YAAY,EAAE,CAAC;oBAC9B,OAAO,CAAC,CAAC,KAAK,CAAC;gBACjB,CAAC;gBACD,MAAM,CAAC,CAAC;YACV,CAAC;QACH,CAAC;QAED;;;;;;WAMG;QACO,KAAK,CAAC,YAAY,CAAC,IAAc;YACzC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,OAAO;oBACV,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBAClC,KAAK,aAAa;oBAChB,8DAA8D;oBAC9D,OAAQ,IAAY,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;gBACjD,KAAK,aAAa;oBAChB,8DAA8D;oBAC9D,OAAQ,IAAY,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;gBACjD,KAAK,WAAW;oBACd,8DAA8D;oBAC9D,OAAQ,IAAY,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QAED;;;;;;;;WAQG;QACO,KAAK,CAAC,sBAAsB,CAAC,IAAc;YACnD,IAAI,CAAC;gBACH,OAAO,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YACvC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,YAAY,YAAY,EAAE,CAAC;oBAC9B,OAAO,CAAC,CAAC,KAAK,CAAC;gBACjB,CAAC;gBACD,MAAM,CAAC,CAAC;YACV,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,gGAAgG;AAChG,8DAA8D;AAC9D,MAAM,CAAC,MAAM,gBAAgB,GAAG,sBAA6B,CAAC"}

package/dist/runtime/core/eval/mixins/core.d.ts

@@ -0,0 +1,24 @@
+/**
+ * CoreMixin: Main Expression Dispatch
+ *
+ * Provides the main entry points for expression evaluation and dispatches
+ * to specialized evaluators based on AST node type.
+ *
+ * This is the central coordination point that ties together all other mixins.
+ *
+ * Interface requirements (from spec IR-5 through IR-13):
+ * - evaluateExpression(expr) -> Promise<RillValue> [IR-8]
+ * - evaluatePipeChain(chain) -> Promise<RillValue> [IR-9]
+ * - evaluatePostfixExpr(expr) -> Promise<RillValue> [IR-10]
+ * - evaluatePrimary(primary) -> Promise<RillValue> [IR-11]
+ * - evaluatePipeTarget(target, input) -> Promise<RillValue> [IR-12]
+ * - evaluateArgs(argExprs) -> Promise<RillValue[]> [IR-13]
+ *
+ * Error Handling:
+ * - Unsupported expression types throw RuntimeError [EC-4]
+ * - Aborted execution throws AbortError [EC-5]
+ *
+ * @internal
+ */
+export declare const CoreMixin: any;
+//# sourceMappingURL=core.d.ts.map

package/dist/runtime/core/eval/mixins/core.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../../../../src/runtime/core/eval/mixins/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAqZH,eAAO,MAAM,SAAS,EAAsB,GAAG,CAAC"}