@prodara/compiler 0.1.0

package/dist/parser/expressions.js

@@ -0,0 +1,230 @@
+// ---------------------------------------------------------------------------
+// Prodara Compiler — Expression Parser (Pratt/precedence climbing)
+// ---------------------------------------------------------------------------
+import { TokenKind } from '../lexer/tokens.js';
+/**
+ * Parse a Prodara expression from a token stream.
+ * Uses precedence climbing for correct operator precedence.
+ *
+ * Precedence (lowest→highest):
+ *   1. or
+ *   2. and
+ *   3. not (prefix)
+ *   4. comparisons: > < >= <= == !=
+ *   5. field access (.)
+ *   6. atoms: identifier, literal, parenthesized
+ */
+export function parseExpression(tokens, pos, file) {
+    return parseOr(tokens, pos, file);
+}
+function parseOr(tokens, pos, file) {
+    let left = parseAnd(tokens, pos, file);
+    while (peek(tokens, pos)?.kind === TokenKind.OrKw) {
+        advance(tokens, pos);
+        const right = parseAnd(tokens, pos, file);
+        left = { kind: 'binary', op: 'or', left, right, location: left.location };
+    }
+    return left;
+}
+function parseAnd(tokens, pos, file) {
+    let left = parseNot(tokens, pos, file);
+    while (peek(tokens, pos)?.kind === TokenKind.AndKw) {
+        advance(tokens, pos);
+        const right = parseNot(tokens, pos, file);
+        left = { kind: 'binary', op: 'and', left, right, location: left.location };
+    }
+    return left;
+}
+function parseNot(tokens, pos, file) {
+    if (peek(tokens, pos)?.kind === TokenKind.NotKw) {
+        const tok = advance(tokens, pos);
+        const operand = parseNot(tokens, pos, file);
+        return {
+            kind: 'unary',
+            op: 'not',
+            operand,
+            location: makeLoc(file, tok),
+        };
+    }
+    return parseComparison(tokens, pos, file);
+}
+function parseComparison(tokens, pos, file) {
+    const left = parseAccess(tokens, pos, file);
+    const tok = peek(tokens, pos);
+    if (tok && isComparisonOp(tok.kind)) {
+        const opTok = advance(tokens, pos);
+        const right = parseAccess(tokens, pos, file);
+        return { kind: 'binary', op: opTok.text, left, right, location: left.location };
+    }
+    return left;
+}
+function parseAccess(tokens, pos, file) {
+    let expr = parseAtom(tokens, pos, file);
+    while (peek(tokens, pos)?.kind === TokenKind.Dot) {
+        advance(tokens, pos); // skip .
+        const ident = advance(tokens, pos);
+        if (!ident || (ident.kind !== TokenKind.Identifier && !isIdentLike(ident.kind))) {
+            // Recovery: return what we have
+            break;
+        }
+        if (expr.kind === 'access') {
+            expr = { kind: 'access', segments: [...expr.segments, ident.text], location: expr.location };
+        }
+        else {
+            // wrap in access
+            expr = { kind: 'access', segments: [expressionToString(expr), ident.text], location: expr.location };
+        }
+    }
+    return expr;
+}
+function parseAtom(tokens, pos, file) {
+    const tok = peek(tokens, pos);
+    /* v8 ignore next 3 */
+    if (!tok || tok.kind === TokenKind.EOF) {
+        return { kind: 'literal', value: '', literalType: 'string', location: makeLoc(file, tok ?? { line: 1, column: 1, pos: 0, end: 0, text: '', kind: TokenKind.EOF }) };
+    }
+    if (tok.kind === TokenKind.OpenParen) {
+        advance(tokens, pos); // skip (
+        const inner = parseExpression(tokens, pos, file);
+        if (peek(tokens, pos)?.kind === TokenKind.CloseParen) {
+            advance(tokens, pos);
+        }
+        return { kind: 'paren', inner, location: makeLoc(file, tok) };
+    }
+    if (tok.kind === TokenKind.IntegerLiteral) {
+        advance(tokens, pos);
+        return { kind: 'literal', value: parseInt(tok.text, 10), literalType: 'integer', location: makeLoc(file, tok) };
+    }
+    if (tok.kind === TokenKind.DecimalLiteral) {
+        advance(tokens, pos);
+        return { kind: 'literal', value: parseFloat(tok.text), literalType: 'decimal', location: makeLoc(file, tok) };
+    }
+    if (tok.kind === TokenKind.StringLiteral) {
+        advance(tokens, pos);
+        return { kind: 'literal', value: unquote(tok.text), literalType: 'string', location: makeLoc(file, tok) };
+    }
+    if (tok.kind === TokenKind.BooleanTrue || tok.kind === TokenKind.BooleanFalse) {
+        advance(tokens, pos);
+        return { kind: 'literal', value: tok.kind === TokenKind.BooleanTrue, literalType: 'boolean', location: makeLoc(file, tok) };
+    }
+    if (tok.kind === TokenKind.Identifier || isIdentLike(tok.kind)) {
+        advance(tokens, pos);
+        return { kind: 'access', segments: [tok.text], location: makeLoc(file, tok) };
+    }
+    // Empty list comparison  []
+    if (tok.kind === TokenKind.OpenBracket) {
+        const next = tokens[pos.value + 1];
+        if (next?.kind === TokenKind.CloseBracket) {
+            advance(tokens, pos); // [
+            advance(tokens, pos); // ]
+            return { kind: 'literal', value: '[]', literalType: 'identifier', location: makeLoc(file, tok) };
+        }
+    }
+    // Recovery: advance past the unexpected token
+    advance(tokens, pos);
+    return { kind: 'literal', value: tok.text, literalType: 'identifier', location: makeLoc(file, tok) };
+}
+function isComparisonOp(kind) {
+    return (kind === TokenKind.GreaterThan ||
+        kind === TokenKind.LessThan ||
+        kind === TokenKind.GreaterEqual ||
+        kind === TokenKind.LessEqual ||
+        kind === TokenKind.EqualsEquals ||
+        kind === TokenKind.BangEquals);
+}
+/** Allow some keywords to be used in expression identifier positions. */
+/* v8 ignore start */
+function isIdentLike(kind) {
+    // Any keyword can appear as a field reference in expressions
+    // (e.g., 'title' in condition: title != "")
+    // Non-keywords (operators, braces, literals, etc.) are excluded
+    switch (kind) {
+        case TokenKind.Identifier:
+        case TokenKind.AutoKw:
+        case TokenKind.ModeKw:
+        case TokenKind.KindKw:
+        case TokenKind.SourceKw:
+        case TokenKind.PathKw:
+        case TokenKind.VersionKw:
+        case TokenKind.UrlKw:
+        case TokenKind.TitleKw:
+        case TokenKind.DescriptionKw:
+        case TokenKind.EntityKw:
+        case TokenKind.MessageKw:
+        case TokenKind.ConditionKw:
+        case TokenKind.CapabilityKw:
+        case TokenKind.TargetKw:
+        case TokenKind.RulesKw:
+        case TokenKind.StepsKw:
+        case TokenKind.InputKw:
+        case TokenKind.ReadsKw:
+        case TokenKind.WritesKw:
+        case TokenKind.ReturnsKw:
+        case TokenKind.WorkflowKw:
+        case TokenKind.ActionKw:
+        case TokenKind.EventKw:
+        case TokenKind.RuleKw:
+        case TokenKind.SurfaceKw:
+        case TokenKind.FromKw:
+        case TokenKind.FieldsKw:
+        case TokenKind.ActorKw:
+        case TokenKind.EnumKw:
+        case TokenKind.ValueKw:
+        case TokenKind.ModuleKw:
+        case TokenKind.ImportKw:
+        case TokenKind.ProductKw:
+        case TokenKind.IntegrationKw:
+        case TokenKind.ScheduleKw:
+        case TokenKind.EnvironmentKw:
+        case TokenKind.SecretKw:
+        case TokenKind.TestKw:
+        case TokenKind.DeploymentKw:
+        case TokenKind.RenderingKw:
+        case TokenKind.ThemeKw:
+        case TokenKind.TokensKw:
+        case TokenKind.StringsKw:
+            return true;
+        /* v8 ignore start */
+        default:
+            return false;
+        /* v8 ignore stop */
+    }
+}
+/* v8 ignore stop */
+/* v8 ignore start */
+function expressionToString(expr) {
+    if (expr.kind === 'access')
+        return expr.segments.join('.');
+    if (expr.kind === 'literal')
+        return String(expr.value);
+    return '?';
+}
+/* v8 ignore stop */
+function peek(tokens, pos) {
+    return tokens[pos.value];
+}
+function advance(tokens, pos) {
+    const tok = tokens[pos.value];
+    pos.value++;
+    return tok;
+}
+/* v8 ignore start */
+function makeLoc(file, tok) {
+    return {
+        file,
+        line: tok.line,
+        column: tok.column,
+        endLine: tok.line,
+        endColumn: tok.column + ('text' in tok ? tok.text.length : 1),
+    };
+}
+/* v8 ignore stop */
+/* v8 ignore start */
+function unquote(s) {
+    if (s.startsWith('"') && s.endsWith('"')) {
+        return s.slice(1, -1).replace(/\\"/g, '"').replace(/\\\\/g, '\\').replace(/\\n/g, '\n').replace(/\\t/g, '\t');
+    }
+    return s;
+}
+/* v8 ignore stop */
+//# sourceMappingURL=expressions.js.map

package/dist/parser/expressions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expressions.js","sourceRoot":"","sources":["../../src/parser/expressions.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,mEAAmE;AACnE,8EAA8E;AAG9E,OAAO,EAAE,SAAS,EAAc,MAAM,oBAAoB,CAAC;AAG3D;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAwB,EACxB,GAAsB,EACtB,IAAY;IAEZ,OAAO,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,OAAO,CAAC,MAAwB,EAAE,GAAsB,EAAE,IAAY;IAC7E,IAAI,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACvC,OAAO,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,IAAI,EAAE,CAAC;QAClD,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC5E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,MAAwB,EAAE,GAAsB,EAAE,IAAY;IAC9E,IAAI,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACvC,OAAO,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,KAAK,EAAE,CAAC;QACnD,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC7E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,MAAwB,EAAE,GAAsB,EAAE,IAAY;IAC9E,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,KAAK,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,CAAE,CAAC;QAClC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC5C,OAAO;YACL,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,KAAK;YACT,OAAO;YACP,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;SAC7B,CAAC;IACJ,CAAC;IACD,OAAO,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,eAAe,CAAC,MAAwB,EAAE,GAAsB,EAAE,IAAY;IACrF,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9B,IAAI,GAAG,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,CAAE,CAAC;QACpC,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IAClF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,MAAwB,EAAE,GAAsB,EAAE,IAAY;IACjF,IAAI,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,CAAC;QACjD,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS;QAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAChF,gCAAgC;YAChC,MAAM;QACR,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC/F,CAAC;aAAM,CAAC;YACN,iBAAiB;YACjB,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvG,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,SAAS,CAAC,MAAwB,EAAE,GAAsB,EAAE,IAAY;IAC/E,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9B,sBAAsB;IACtB,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,CAAC;QACvC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;IACtK,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,SAAS,EAAE,CAAC;QACrC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS;QAC/B,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,UAAU,EAAE,CAAC;YACrD,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IAChE,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,cAAc,EAAE,CAAC;QAC1C,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IAClH,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,cAAc,EAAE,CAAC;QAC1C,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IAChH,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,aAAa,EAAE,CAAC;QACzC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IAC5G,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,WAAW,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,YAAY,EAAE,CAAC;QAC9E,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IAC9H,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;IAChF,CAAC;IAED,4BAA4B;IAC5B,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,WAAW,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,YAAY,EAAE,CAAC;YAC1C,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI;YAC1B,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI;YAC1B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACnG,CAAC;IACH,CAAC;IAED,8CAA8C;IAC9C,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACrB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;AACvG,CAAC;AAED,SAAS,cAAc,CAAC,IAAe;IACrC,OAAO,CACL,IAAI,KAAK,SAAS,CAAC,WAAW;QAC9B,IAAI,KAAK,SAAS,CAAC,QAAQ;QAC3B,IAAI,KAAK,SAAS,CAAC,YAAY;QAC/B,IAAI,KAAK,SAAS,CAAC,SAAS;QAC5B,IAAI,KAAK,SAAS,CAAC,YAAY;QAC/B,IAAI,KAAK,SAAS,CAAC,UAAU,CAC9B,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,qBAAqB;AACrB,SAAS,WAAW,CAAC,IAAe;IAClC,6DAA6D;IAC7D,4CAA4C;IAC5C,gEAAgE;IAChE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS,CAAC,UAAU,CAAC;QAC1B,KAAK,SAAS,CAAC,MAAM,CAAC;QACtB,KAAK,SAAS,CAAC,MAAM,CAAC;QACtB,KAAK,SAAS,CAAC,MAAM,CAAC;QACtB,KAAK,SAAS,CAAC,QAAQ,CAAC;QACxB,KAAK,SAAS,CAAC,MAAM,CAAC;QACtB,KAAK,SAAS,CAAC,SAAS,CAAC;QACzB,KAAK,SAAS,CAAC,KAAK,CAAC;QACrB,KAAK,SAAS,CAAC,OAAO,CAAC;QACvB,KAAK,SAAS,CAAC,aAAa,CAAC;QAC7B,KAAK,SAAS,CAAC,QAAQ,CAAC;QACxB,KAAK,SAAS,CAAC,SAAS,CAAC;QACzB,KAAK,SAAS,CAAC,WAAW,CAAC;QAC3B,KAAK,SAAS,CAAC,YAAY,CAAC;QAC5B,KAAK,SAAS,CAAC,QAAQ,CAAC;QACxB,KAAK,SAAS,CAAC,OAAO,CAAC;QACvB,KAAK,SAAS,CAAC,OAAO,CAAC;QACvB,KAAK,SAAS,CAAC,OAAO,CAAC;QACvB,KAAK,SAAS,CAAC,OAAO,CAAC;QACvB,KAAK,SAAS,CAAC,QAAQ,CAAC;QACxB,KAAK,SAAS,CAAC,SAAS,CAAC;QACzB,KAAK,SAAS,CAAC,UAAU,CAAC;QAC1B,KAAK,SAAS,CAAC,QAAQ,CAAC;QACxB,KAAK,SAAS,CAAC,OAAO,CAAC;QACvB,KAAK,SAAS,CAAC,MAAM,CAAC;QACtB,KAAK,SAAS,CAAC,SAAS,CAAC;QACzB,KAAK,SAAS,CAAC,MAAM,CAAC;QACtB,KAAK,SAAS,CAAC,QAAQ,CAAC;QACxB,KAAK,SAAS,CAAC,OAAO,CAAC;QACvB,KAAK,SAAS,CAAC,MAAM,CAAC;QACtB,KAAK,SAAS,CAAC,OAAO,CAAC;QACvB,KAAK,SAAS,CAAC,QAAQ,CAAC;QACxB,KAAK,SAAS,CAAC,QAAQ,CAAC;QACxB,KAAK,SAAS,CAAC,SAAS,CAAC;QACzB,KAAK,SAAS,CAAC,aAAa,CAAC;QAC7B,KAAK,SAAS,CAAC,UAAU,CAAC;QAC1B,KAAK,SAAS,CAAC,aAAa,CAAC;QAC7B,KAAK,SAAS,CAAC,QAAQ,CAAC;QACxB,KAAK,SAAS,CAAC,MAAM,CAAC;QACtB,KAAK,SAAS,CAAC,YAAY,CAAC;QAC5B,KAAK,SAAS,CAAC,WAAW,CAAC;QAC3B,KAAK,SAAS,CAAC,OAAO,CAAC;QACvB,KAAK,SAAS,CAAC,QAAQ,CAAC;QACxB,KAAK,SAAS,CAAC,SAAS;YACtB,OAAO,IAAI,CAAC;QACd,qBAAqB;QACrB;YACE,OAAO,KAAK,CAAC;QACf,oBAAoB;IACtB,CAAC;AACH,CAAC;AACD,oBAAoB;AAEpB,qBAAqB;AACrB,SAAS,kBAAkB,CAAC,IAAgB;IAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,OAAO,GAAG,CAAC;AACb,CAAC;AACD,oBAAoB;AAEpB,SAAS,IAAI,CAAC,MAAwB,EAAE,GAAsB;IAC5D,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC3B,CAAC;AAED,SAAS,OAAO,CAAC,MAAwB,EAAE,GAAsB;IAC/D,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC9B,GAAG,CAAC,KAAK,EAAE,CAAC;IACZ,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qBAAqB;AACrB,SAAS,OAAO,CAAC,IAAY,EAAE,GAAuE;IACpG,OAAO;QACL,IAAI;QACJ,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,GAAG,CAAC,IAAI;QACjB,SAAS,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;KAC9D,CAAC;AACJ,CAAC;AACD,oBAAoB;AAEpB,qBAAqB;AACrB,SAAS,OAAO,CAAC,CAAS;IACxB,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAChH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AACD,oBAAoB"}

package/dist/parser/index.d.ts

@@ -0,0 +1,4 @@
+export type { AstFile, TopLevelDecl, ModuleItem } from './ast.js';
+export type { ProductDecl, ModuleDecl, ImportDecl, EntityDecl, ValueDecl, EnumDecl, EnumMember, RuleDecl, ActorDecl, CapabilityDecl, WorkflowDecl, ActionDecl, EventDecl, ScheduleDecl, SurfaceDecl, RenderingDecl, TokensDecl, ThemeDecl, StringsDecl, SerializationDecl, IntegrationDecl, TransportDecl, StorageDecl, ExecutionDecl, ExtensionDecl, ConstitutionDecl, SecurityDecl, PrivacyDecl, ValidationDecl as AstValidationDecl, SecretDecl, EnvironmentDecl, DeploymentDecl, TestDecl, ProductRefDecl, FieldDecl, Expression, } from './ast.js';
+export { Parser } from './parser.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/parser/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAClE,YAAY,EACV,WAAW,EAAE,UAAU,EAAE,UAAU,EACnC,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EACrD,SAAS,EAAE,cAAc,EACzB,YAAY,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EACjD,WAAW,EAAE,aAAa,EAC1B,UAAU,EAAE,SAAS,EAAE,WAAW,EAClC,iBAAiB,EAAE,eAAe,EAClC,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,aAAa,EACxD,gBAAgB,EAAE,YAAY,EAAE,WAAW,EAAE,cAAc,IAAI,iBAAiB,EAChF,UAAU,EAAE,eAAe,EAAE,cAAc,EAC3C,QAAQ,EAAE,cAAc,EACxB,SAAS,EAAE,UAAU,GACtB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC"}

package/dist/parser/index.js

@@ -0,0 +1,2 @@
+export { Parser } from './parser.js';
+//# sourceMappingURL=index.js.map

package/dist/parser/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/parser/index.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC"}

package/dist/parser/parser.d.ts

@@ -0,0 +1,83 @@
+import { DiagnosticBag } from '../diagnostics/diagnostic.js';
+import type { SourceFile } from '../lexer/source.js';
+import type { AstFile } from './ast.js';
+export declare class Parser {
+    private readonly tokens;
+    private readonly bag;
+    private readonly file;
+    private pos;
+    constructor(source: SourceFile, bag: DiagnosticBag);
+    parse(): AstFile;
+    private parseTopLevel;
+    private parseProduct;
+    private parseModule;
+    private parseModuleItem;
+    private parseImport;
+    private parseEntity;
+    private parseValue;
+    private parseEnum;
+    private parseRule;
+    private parseActor;
+    private parseCapability;
+    private parseWorkflow;
+    private parseAction;
+    private parseEvent;
+    private parseSchedule;
+    private parseSurface;
+    private parseRendering;
+    private parseTokens;
+    private parseTheme;
+    private parseStrings;
+    private parseSerialization;
+    private parseIntegration;
+    private parseTransport;
+    private parseStorage;
+    private parseExecution;
+    private parseExtension;
+    private parseConstitution;
+    private parseSecurity;
+    private parsePrivacy;
+    private parseValidation;
+    private parseSecret;
+    private parseEnvironment;
+    private parseDeployment;
+    private parseTest;
+    private parseProductRef;
+    private parseFieldList;
+    private parseType;
+    private parseTypeRef;
+    private parseSymbolRef;
+    private parseSymbolRefList;
+    private parseIdentList;
+    private parseSymbolRefBlock;
+    private parsePermissionList;
+    private parseSteps;
+    private parseTransitions;
+    private parseEffects;
+    private parseExpectBlock;
+    private parseValueNode;
+    private parseExpressionUntilNewline;
+    private parseGridBlock;
+    private parseGridTrackList;
+    private parsePlacementBlock;
+    private parseGridValue;
+    private parseStyleBlock;
+    private parseBindBlock;
+    private parseContractBlock;
+    private parseIndexList;
+    private parsePackageRefList;
+    private peek;
+    private advance;
+    private check;
+    private isEof;
+    private expect;
+    private expectIdentText;
+    private expectIntText;
+    private expectStringValue;
+    private expectBooleanValue;
+    private expectCodeLiteral;
+    private isIdentLike;
+    private error;
+    private loc;
+}
+//# sourceMappingURL=parser.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAE7D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAGrD,OAAO,KAAK,EACV,OAAO,EAiBR,MAAM,UAAU,CAAC;AAElB,qBAAa,MAAM;IACjB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAmB;IAC1C,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAgB;IACpC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAS;IAC9B,OAAO,CAAC,GAAG,CAAK;gBAEJ,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa;IAOlD,KAAK,IAAI,OAAO;IAahB,OAAO,CAAC,aAAa;IAWrB,OAAO,CAAC,YAAY;IA8CpB,OAAO,CAAC,WAAW;IAcnB,OAAO,CAAC,eAAe;IA2CvB,OAAO,CAAC,WAAW;IAgBnB,OAAO,CAAC,WAAW;IASnB,OAAO,CAAC,UAAU;IASlB,OAAO,CAAC,SAAS;IA0BjB,OAAO,CAAC,SAAS;IAkCjB,OAAO,CAAC,UAAU;IAgBlB,OAAO,CAAC,eAAe;IAqBvB,OAAO,CAAC,aAAa;IAyFrB,OAAO,CAAC,WAAW;IAkBnB,OAAO,CAAC,UAAU;IAgBlB,OAAO,CAAC,aAAa;IAmBrB,OAAO,CAAC,YAAY;IA4DpB,OAAO,CAAC,cAAc;IAsDtB,OAAO,CAAC,WAAW;IAuBnB,OAAO,CAAC,UAAU;IA4BlB,OAAO,CAAC,YAAY;IAkBpB,OAAO,CAAC,kBAAkB;IAkB1B,OAAO,CAAC,gBAAgB;IAqCxB,OAAO,CAAC,cAAc;IAoBtB,OAAO,CAAC,YAAY;IAyBpB,OAAO,CAAC,cAAc;IAkBtB,OAAO,CAAC,cAAc;IAkCtB,OAAO,CAAC,iBAAiB;IAwCzB,OAAO,CAAC,aAAa;IAkBrB,OAAO,CAAC,YAAY;IA0BpB,OAAO,CAAC,eAAe;IAqBvB,OAAO,CAAC,WAAW;IAsBnB,OAAO,CAAC,gBAAgB;IAwCxB,OAAO,CAAC,eAAe;IAmBvB,OAAO,CAAC,SAAS;IAqCjB,OAAO,CAAC,eAAe;IA+CvB,OAAO,CAAC,cAAc;IAkBtB,OAAO,CAAC,SAAS;IA4BjB,OAAO,CAAC,YAAY;IAUpB,OAAO,CAAC,cAAc;IAatB,OAAO,CAAC,kBAAkB;IAW1B,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,mBAAmB;IAQ3B,OAAO,CAAC,mBAAmB;IAa3B,OAAO,CAAC,UAAU;IA8ClB,OAAO,CAAC,gBAAgB;IAuBxB,OAAO,CAAC,YAAY;IAwBpB,OAAO,CAAC,gBAAgB;IA6BxB,OAAO,CAAC,cAAc;IA2CtB,OAAO,CAAC,2BAA2B;IAoBnC,OAAO,CAAC,cAAc;IAuBtB,OAAO,CAAC,kBAAkB;IA4B1B,OAAO,CAAC,mBAAmB;IA6B3B,OAAO,CAAC,cAAc;IAiBtB,OAAO,CAAC,eAAe;IAcvB,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,kBAAkB;IAY1B,OAAO,CAAC,cAAc;IAuBtB,OAAO,CAAC,mBAAmB;IAoC3B,OAAO,CAAC,IAAI;IAKZ,OAAO,CAAC,OAAO;IAMf,OAAO,CAAC,KAAK;IAIb,OAAO,CAAC,KAAK;IAIb,OAAO,CAAC,MAAM;IAad,OAAO,CAAC,eAAe;IAavB,OAAO,CAAC,aAAa;IAWrB,OAAO,CAAC,iBAAiB;IAWzB,OAAO,CAAC,kBAAkB;IAS1B,OAAO,CAAC,iBAAiB;IAWzB,OAAO,CAAC,WAAW;IAQnB,OAAO,CAAC,KAAK;IAab,OAAO,CAAC,GAAG;CASZ"}