@rcrsr/rill 0.1.0

package/dist/parser/parser-control.js

@@ -0,0 +1,120 @@
+/**
+ * Parser Extension: Control Flow Parsing
+ * Conditionals, loops, and blocks
+ */
+import { Parser } from './parser.js';
+import { ParseError, TOKEN_TYPES } from '../types.js';
+import { check, advance, expect, current, isAtEnd, skipNewlines, makeSpan, } from './state.js';
+// ============================================================
+// CONDITIONALS
+// ============================================================
+Parser.prototype.parsePipedConditional = function () {
+    const start = current(this.state).span.start;
+    expect(this.state, TOKEN_TYPES.QUESTION, 'Expected ?');
+    return this.parseConditionalRest(null, start);
+};
+Parser.prototype.parseConditionalWithCondition = function (conditionBody) {
+    const start = conditionBody.span.start;
+    expect(this.state, TOKEN_TYPES.QUESTION, 'Expected ?');
+    return this.parseConditionalRest(conditionBody, start);
+};
+Parser.prototype.parseConditionalRest = function (condition, start) {
+    const thenBranch = this.parseBody();
+    let elseBranch = null;
+    if (check(this.state, TOKEN_TYPES.BANG)) {
+        advance(this.state);
+        const elseBody = this.parseBody();
+        if (check(this.state, TOKEN_TYPES.QUESTION)) {
+            elseBranch = this.parseConditionalWithCondition(elseBody);
+        }
+        else {
+            elseBranch = elseBody;
+        }
+    }
+    return {
+        type: 'Conditional',
+        input: null,
+        condition,
+        thenBranch,
+        elseBranch,
+        span: makeSpan(start, current(this.state).span.end),
+    };
+};
+// ============================================================
+// LOOPS
+// ============================================================
+Parser.prototype.parseLoop = function (condition) {
+    const start = condition
+        ? condition.span.start
+        : current(this.state).span.start;
+    expect(this.state, TOKEN_TYPES.AT, 'Expected @');
+    const body = this.parseBody();
+    // Check for do-while: @ body ? cond
+    if (check(this.state, TOKEN_TYPES.QUESTION)) {
+        advance(this.state);
+        const doWhileCondition = this.parseBody();
+        return {
+            type: 'DoWhileLoop',
+            input: condition,
+            body,
+            condition: doWhileCondition,
+            span: makeSpan(start, current(this.state).span.end),
+        };
+    }
+    // While loop: cond @ body - condition is required
+    if (!condition) {
+        throw new ParseError("Bare '@' requires trailing condition: @ body ? cond (do-while)", start);
+    }
+    return {
+        type: 'WhileLoop',
+        condition,
+        body,
+        span: makeSpan(start, current(this.state).span.end),
+    };
+};
+Parser.prototype.parseLoopWithInput = function (condition) {
+    let conditionExpr;
+    if (condition.type === 'PipeChain') {
+        conditionExpr = condition;
+    }
+    else {
+        conditionExpr = {
+            type: 'PipeChain',
+            head: condition.type === 'PostfixExpr'
+                ? condition
+                : {
+                    type: 'PostfixExpr',
+                    primary: condition,
+                    methods: [],
+                    span: condition.span,
+                },
+            pipes: [],
+            terminator: null,
+            span: condition.span,
+        };
+    }
+    return this.parseLoop(conditionExpr);
+};
+// ============================================================
+// BLOCKS
+// ============================================================
+Parser.prototype.parseBlock = function () {
+    const start = current(this.state).span.start;
+    expect(this.state, TOKEN_TYPES.LBRACE, 'Expected {');
+    skipNewlines(this.state);
+    const statements = [];
+    while (!check(this.state, TOKEN_TYPES.RBRACE) && !isAtEnd(this.state)) {
+        statements.push(this.parseStatement());
+        skipNewlines(this.state);
+    }
+    if (statements.length === 0) {
+        throw new ParseError('Empty blocks are not allowed', start);
+    }
+    expect(this.state, TOKEN_TYPES.RBRACE, 'Expected }');
+    return {
+        type: 'Block',
+        statements,
+        span: makeSpan(start, current(this.state).span.end),
+    };
+};
+//# sourceMappingURL=parser-control.js.map

package/dist/parser/parser-control.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser-control.js","sourceRoot":"","sources":["../../src/parser/parser-control.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAWrC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EACL,KAAK,EACL,OAAO,EACP,MAAM,EACN,OAAO,EACP,OAAO,EACP,YAAY,EACZ,QAAQ,GACT,MAAM,YAAY,CAAC;AAmBpB,+DAA+D;AAC/D,eAAe;AACf,+DAA+D;AAE/D,MAAM,CAAC,SAAS,CAAC,qBAAqB,GAAG;IAGvC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAEvD,OAAO,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,MAAM,CAAC,SAAS,CAAC,6BAA6B,GAAG,UAE/C,aAAuB;IAEvB,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC;IACvC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAEvD,OAAO,IAAI,CAAC,oBAAoB,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF,MAAM,CAAC,SAAS,CAAC,oBAAoB,GAAG,UAEtC,SAA0B,EAC1B,KAAuD;IAEvD,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAEpC,IAAI,UAAU,GAAsC,IAAI,CAAC;IACzD,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEpB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAElC,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5C,UAAU,GAAG,IAAI,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC;QAC5D,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,QAAQ,CAAC;QACxB,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,aAAa;QACnB,KAAK,EAAE,IAAI;QACX,SAAS;QACT,UAAU;QACV,UAAU;QACV,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;KACpD,CAAC;AACJ,CAAC,CAAC;AAEF,+DAA+D;AAC/D,QAAQ;AACR,+DAA+D;AAE/D,MAAM,CAAC,SAAS,CAAC,SAAS,GAAG,UAE3B,SAAgC;IAEhC,MAAM,KAAK,GAAG,SAAS;QACrB,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK;QACtB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IACnC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;IAEjD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAE9B,oCAAoC;IACpC,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAE1C,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,SAAS;YAChB,IAAI;YACJ,SAAS,EAAE,gBAAgB;YAC3B,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;SACpD,CAAC;IACJ,CAAC;IAED,kDAAkD;IAClD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,UAAU,CAClB,gEAAgE,EAChE,KAAK,CACN,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,SAAS;QACT,IAAI;QACJ,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;KACpD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,SAAS,CAAC,kBAAkB,GAAG,UAEpC,SAAmB;IAEnB,IAAI,aAA6B,CAAC;IAClC,IAAI,SAAS,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACnC,aAAa,GAAG,SAAS,CAAC;IAC5B,CAAC;SAAM,CAAC;QACN,aAAa,GAAG;YACd,IAAI,EAAE,WAAW;YACjB,IAAI,EACF,SAAS,CAAC,IAAI,KAAK,aAAa;gBAC9B,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC;oBACE,IAAI,EAAE,aAAa;oBACnB,OAAO,EAAE,SAAS;oBAClB,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,SAAS,CAAC,IAAI;iBACrB;YACP,KAAK,EAAE,EAAE;YACT,UAAU,EAAE,IAAI;YAChB,IAAI,EAAE,SAAS,CAAC,IAAI;SACrB,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;AACvC,CAAC,CAAC;AAEF,+DAA+D;AAC/D,SAAS;AACT,+DAA+D;AAE/D,MAAM,CAAC,SAAS,CAAC,UAAU,GAAG;IAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACrD,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAEzB,MAAM,UAAU,GAA+C,EAAE,CAAC;IAClE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;QACvC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,UAAU,CAAC,8BAA8B,EAAE,KAAK,CAAC,CAAC;IAC9D,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAErD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,UAAU;QACV,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;KACpD,CAAC;AACJ,CAAC,CAAC"}

package/dist/parser/parser-expr.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Parser Extension: Expression Parsing
+ * Expressions, precedence chain, pipe chains, and pipe targets
+ */
+import type { ArithHead, BlockNode, CaptureNode, ConditionalNode, DoWhileLoopNode, ExpressionNode, WhileLoopNode, GroupedExprNode, InvokeNode, PipeChainNode, PipeTargetNode, PostfixExprNode, PrimaryNode, SourceLocation, SourceSpan, UnaryExprNode } from '../types.js';
+/** Constructs valid as both primary expressions and pipe targets */
+type CommonConstruct = ConditionalNode | WhileLoopNode | DoWhileLoopNode | BlockNode | GroupedExprNode;
+declare module './parser.js' {
+    interface Parser {
+        parseExpression(): ExpressionNode;
+        parsePipeChain(): PipeChainNode;
+        parsePostfixExpr(): PostfixExprNode;
+        parsePostfixExprBase(): PostfixExprNode;
+        parsePrimary(): PrimaryNode;
+        parsePipeTarget(): PipeTargetNode;
+        parseCapture(): CaptureNode;
+        parseGrouped(): GroupedExprNode;
+        parseCommonConstruct(): CommonConstruct | null;
+        parseLogicalOr(): ArithHead;
+        parseLogicalAnd(): ArithHead;
+        parseComparison(): ArithHead;
+        parseAdditive(): ArithHead;
+        parseMultiplicative(): ArithHead;
+        parseUnary(): UnaryExprNode | PostfixExprNode;
+        parseInvoke(): InvokeNode;
+        implicitPipeVar(span: {
+            start: SourceLocation;
+            end: SourceLocation;
+        }): PostfixExprNode;
+        isComparisonOp(): boolean;
+        tokenToComparisonOp(tokenType: string): '==' | '!=' | '<' | '>' | '<=' | '>=';
+        wrapConditionalInPostfixExpr(conditional: ConditionalNode, span: SourceSpan): PostfixExprNode;
+        wrapLoopInPostfixExpr(loop: WhileLoopNode | DoWhileLoopNode, span: SourceSpan): PostfixExprNode;
+    }
+}
+export {};
+//# sourceMappingURL=parser-expr.d.ts.map

package/dist/parser/parser-expr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser-expr.d.ts","sourceRoot":"","sources":["../../src/parser/parser-expr.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EACV,SAAS,EAET,SAAS,EACT,WAAW,EAEX,eAAe,EACf,eAAe,EACf,cAAc,EACd,aAAa,EACb,eAAe,EACf,UAAU,EAEV,aAAa,EACb,cAAc,EACd,eAAe,EACf,WAAW,EACX,cAAc,EACd,UAAU,EACV,aAAa,EAEd,MAAM,aAAa,CAAC;AAmBrB,oEAAoE;AACpE,KAAK,eAAe,GAChB,eAAe,GACf,aAAa,GACb,eAAe,GACf,SAAS,GACT,eAAe,CAAC;AAGpB,OAAO,QAAQ,aAAa,CAAC;IAC3B,UAAU,MAAM;QACd,eAAe,IAAI,cAAc,CAAC;QAClC,cAAc,IAAI,aAAa,CAAC;QAChC,gBAAgB,IAAI,eAAe,CAAC;QACpC,oBAAoB,IAAI,eAAe,CAAC;QACxC,YAAY,IAAI,WAAW,CAAC;QAC5B,eAAe,IAAI,cAAc,CAAC;QAClC,YAAY,IAAI,WAAW,CAAC;QAC5B,YAAY,IAAI,eAAe,CAAC;QAChC,oBAAoB,IAAI,eAAe,GAAG,IAAI,CAAC;QAC/C,cAAc,IAAI,SAAS,CAAC;QAC5B,eAAe,IAAI,SAAS,CAAC;QAC7B,eAAe,IAAI,SAAS,CAAC;QAC7B,aAAa,IAAI,SAAS,CAAC;QAC3B,mBAAmB,IAAI,SAAS,CAAC;QACjC,UAAU,IAAI,aAAa,GAAG,eAAe,CAAC;QAC9C,WAAW,IAAI,UAAU,CAAC;QAC1B,eAAe,CAAC,IAAI,EAAE;YACpB,KAAK,EAAE,cAAc,CAAC;YACtB,GAAG,EAAE,cAAc,CAAC;SACrB,GAAG,eAAe,CAAC;QACpB,cAAc,IAAI,OAAO,CAAC;QAC1B,mBAAmB,CACjB,SAAS,EAAE,MAAM,GAChB,IAAI,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;QACzC,4BAA4B,CAC1B,WAAW,EAAE,eAAe,EAC5B,IAAI,EAAE,UAAU,GACf,eAAe,CAAC;QACnB,qBAAqB,CACnB,IAAI,EAAE,aAAa,GAAG,eAAe,EACrC,IAAI,EAAE,UAAU,GACf,eAAe,CAAC;KACpB;CACF"}