@naiv/swan-dsl 0.0.1

package/dist/src/index.d.ts

@@ -0,0 +1,25 @@
+import type { ParseOptions, Program } from "./types";
+export type { ParseOptions, Program } from "./types";
+export type { AppDecl, BinaryExpr, BinaryOperator, BooleanLiteral, ButtonStmt, ClickStmt, ComponentDecl, ConditionalStmt, Expression, FieldStmt, HandlerStmt, HeaderStmt, IdentifierExpr, InputStmt, LinkStmt, Literal, MemberExpr, NavTarget, NumberLiteral, OutcomeClause, PageDecl, Position, SemanticRuleCode, Statement, StringLiteral, SubmitStmt, TextStmt, UnaryExpr, UseStmt, } from "./types.js";
+export { ParseError, SemanticError } from "./types.js";
+/**
+ * Parse and semantically validate a SWAN DSL source string.
+ *
+ * @param source - The DSL program text
+ * @param options - Optional: `{ strictMode: true }` enables SR-4 orphan page check
+ * @returns A fully-typed `Program` AST
+ * @throws {ParseError} on syntax errors
+ * @throws {SemanticError} on semantic violations (SR-1 through SR-6)
+ */
+export declare function parse(source: string, options?: ParseOptions): Program;
+/**
+ * Read a SWAN DSL file from disk, then parse and semantically validate it.
+ *
+ * @param filePath - Absolute or relative path to the `.swan` / `.dsl` file
+ * @param options - Optional: `{ strictMode: true }` enables SR-4 orphan page check
+ * @returns A fully-typed `Program` AST
+ * @throws {ParseError} on syntax errors
+ * @throws {SemanticError} on semantic violations (SR-1 through SR-6)
+ */
+export declare function parseFile(filePath: string, options?: ParseOptions): Promise<Program>;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAErD,YAAY,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AACrD,YAAY,EACR,OAAO,EACP,UAAU,EACV,cAAc,EACd,cAAc,EACd,UAAU,EACV,SAAS,EACT,aAAa,EACb,eAAe,EACf,UAAU,EACV,SAAS,EACT,WAAW,EACX,UAAU,EACV,cAAc,EACd,SAAS,EACT,QAAQ,EACR,OAAO,EACP,UAAU,EACV,SAAS,EACT,aAAa,EACb,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,gBAAgB,EAChB,SAAS,EACT,aAAa,EACb,UAAU,EACV,QAAQ,EACR,SAAS,EACT,OAAO,GACV,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAMvD;;;;;;;;GAQG;AACH,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,YAAiB,GAAG,OAAO,CAIzE;AAMD;;;;;;;;GAQG;AACH,wBAAsB,SAAS,CAC3B,QAAQ,EAAE,MAAM,EAChB,OAAO,GAAE,YAAiB,GAC3B,OAAO,CAAC,OAAO,CAAC,CAGlB"}

package/dist/src/index.js

@@ -0,0 +1,48 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────────────
+// SWAN DSL — Public API
+// ─────────────────────────────────────────────────────────────────────────────
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SemanticError = exports.ParseError = void 0;
+exports.parse = parse;
+exports.parseFile = parseFile;
+const promises_1 = require("node:fs/promises");
+const parser_1 = require("./parser");
+const semantic_1 = require("./semantic");
+var types_js_1 = require("./types.js");
+Object.defineProperty(exports, "ParseError", { enumerable: true, get: function () { return types_js_1.ParseError; } });
+Object.defineProperty(exports, "SemanticError", { enumerable: true, get: function () { return types_js_1.SemanticError; } });
+// ---------------------------------------------------------------------------
+// parse — from a DSL source string
+// ---------------------------------------------------------------------------
+/**
+ * Parse and semantically validate a SWAN DSL source string.
+ *
+ * @param source - The DSL program text
+ * @param options - Optional: `{ strictMode: true }` enables SR-4 orphan page check
+ * @returns A fully-typed `Program` AST
+ * @throws {ParseError} on syntax errors
+ * @throws {SemanticError} on semantic violations (SR-1 through SR-6)
+ */
+function parse(source, options = {}) {
+    const program = (0, parser_1.parse)(source);
+    (0, semantic_1.checkSemantics)(program, { strictMode: options.strictMode });
+    return program;
+}
+// ---------------------------------------------------------------------------
+// parseFile — from a file path
+// ---------------------------------------------------------------------------
+/**
+ * Read a SWAN DSL file from disk, then parse and semantically validate it.
+ *
+ * @param filePath - Absolute or relative path to the `.swan` / `.dsl` file
+ * @param options - Optional: `{ strictMode: true }` enables SR-4 orphan page check
+ * @returns A fully-typed `Program` AST
+ * @throws {ParseError} on syntax errors
+ * @throws {SemanticError} on semantic violations (SR-1 through SR-6)
+ */
+async function parseFile(filePath, options = {}) {
+    const source = await (0, promises_1.readFile)(filePath, "utf-8");
+    return parse(source, options);
+}
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,wBAAwB;AACxB,gFAAgF;;;AAsDhF,sBAIC;AAeD,8BAMC;AA7ED,+CAA4C;AAC5C,qCAAgD;AAChD,yCAA4C;AAmC5C,uCAAuD;AAA9C,sGAAA,UAAU,OAAA;AAAE,yGAAA,aAAa,OAAA;AAElC,8EAA8E;AAC9E,mCAAmC;AACnC,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,SAAgB,KAAK,CAAC,MAAc,EAAE,UAAwB,EAAE;IAC5D,MAAM,OAAO,GAAG,IAAA,cAAW,EAAC,MAAM,CAAC,CAAC;IACpC,IAAA,yBAAc,EAAC,OAAO,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAC5D,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E;;;;;;;;GAQG;AACI,KAAK,UAAU,SAAS,CAC3B,QAAgB,EAChB,UAAwB,EAAE;IAE1B,MAAM,MAAM,GAAG,MAAM,IAAA,mBAAQ,EAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACjD,OAAO,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAClC,CAAC"}

package/dist/src/lexer.d.ts

@@ -0,0 +1,6 @@
+import moo from "moo";
+export declare const KEYWORDS: readonly ["app", "page", "component", "entry", "use", "header", "text", "button", "link", "field", "input", "submit", "click", "on", "if", "true", "false"];
+export type Keyword = (typeof KEYWORDS)[number];
+export type TokenType = Keyword | "IDENT" | "STRING" | "NUMBER" | "ARROW" | "LBRACE" | "RBRACE" | "DOT" | "EQ" | "NEQ" | "LTE" | "GTE" | "LT" | "GT" | "AND" | "OR" | "BANG" | "NL" | "WS" | "COMMENT";
+export declare const lexer: moo.Lexer;
+//# sourceMappingURL=lexer.d.ts.map

package/dist/src/lexer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../../src/lexer.ts"],"names":[],"mappings":"AAIA,OAAO,GAAG,MAAM,KAAK,CAAC;AAItB,eAAO,MAAM,QAAQ,6JAkBX,CAAC;AAEX,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC;AAEhD,MAAM,MAAM,SAAS,GACf,OAAO,GACP,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,KAAK,GACL,IAAI,GACJ,KAAK,GACL,KAAK,GACL,KAAK,GACL,IAAI,GACJ,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,MAAM,GACN,IAAI,GACJ,IAAI,GACJ,SAAS,CAAC;AAMhB,eAAO,MAAM,KAAK,WAoChB,CAAC"}

package/dist/src/lexer.js

@@ -0,0 +1,68 @@
+"use strict";
+// ─────────────────────────────────────────────────────────────────────────────
+// SWAN DSL — Moo Lexer
+// ─────────────────────────────────────────────────────────────────────────────
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.lexer = exports.KEYWORDS = void 0;
+const moo_1 = __importDefault(require("moo"));
+// All DSL keywords — must come before the general IDENT rule so moo
+// matches them by their longest-match keyword priority.
+exports.KEYWORDS = [
+    "app",
+    "page",
+    "component",
+    "entry",
+    "use",
+    "header",
+    "text",
+    "button",
+    "link",
+    "field",
+    "input",
+    "submit",
+    "click",
+    "on",
+    "if",
+    "true",
+    "false",
+];
+// Build the moo lexer rules.
+// moo uses longest-match semantics and processes rules top-to-bottom
+// within equal-length matches, so operators with shared prefixes must
+// be listed longest-first (e.g. "<=" before "<").
+exports.lexer = moo_1.default.compile({
+    WS: { match: /[ \t]+/, lineBreaks: false },
+    NL: { match: /\r?\n/, lineBreaks: true },
+    COMMENT: /\/\/[^\n]*/,
+    // Multi-char operators (longest first to avoid prefix collisions)
+    ARROW: "->",
+    EQ: "==",
+    NEQ: "!=",
+    LTE: "<=",
+    GTE: ">=",
+    AND: "&&",
+    OR: "||",
+    // Single-char operators / punctuation
+    LT: "<",
+    GT: ">",
+    BANG: "!",
+    LBRACE: "{",
+    RBRACE: "}",
+    DOT: ".",
+    // Literals
+    STRING: { match: /"[^"]*"/, value: (s) => s.slice(1, -1) },
+    NUMBER: {
+        match: /[0-9]+(?:\.[0-9]+)?/,
+        value: (s) => s,
+    },
+    // Keywords and identifiers — moo.keywords maps specific values
+    // of the IDENT rule to their keyword token type automatically.
+    IDENT: {
+        match: /[A-Za-z][A-Za-z0-9_]*/,
+        type: moo_1.default.keywords(Object.fromEntries(exports.KEYWORDS.map((k) => [k, k]))),
+    },
+});
+//# sourceMappingURL=lexer.js.map

package/dist/src/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../src/lexer.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,uBAAuB;AACvB,gFAAgF;;;;;;AAEhF,8CAAsB;AAEtB,oEAAoE;AACpE,wDAAwD;AAC3C,QAAA,QAAQ,GAAG;IACpB,KAAK;IACL,MAAM;IACN,WAAW;IACX,OAAO;IACP,KAAK;IACL,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,OAAO;IACP,IAAI;IACJ,IAAI;IACJ,MAAM;IACN,OAAO;CACD,CAAC;AA0BX,6BAA6B;AAC7B,qEAAqE;AACrE,sEAAsE;AACtE,kDAAkD;AACrC,QAAA,KAAK,GAAG,aAAG,CAAC,OAAO,CAAC;IAC7B,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE;IAC1C,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE;IACxC,OAAO,EAAE,YAAY;IACrB,kEAAkE;IAClE,KAAK,EAAE,IAAI;IACX,EAAE,EAAE,IAAI;IACR,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;IACT,GAAG,EAAE,IAAI;IACT,EAAE,EAAE,IAAI;IACR,sCAAsC;IACtC,EAAE,EAAE,GAAG;IACP,EAAE,EAAE,GAAG;IACP,IAAI,EAAE,GAAG;IACT,MAAM,EAAE,GAAG;IACX,MAAM,EAAE,GAAG;IACX,GAAG,EAAE,GAAG;IACR,WAAW;IACX,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;IAC1D,MAAM,EAAE;QACJ,KAAK,EAAE,qBAAqB;QAC5B,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;KAClB;IACD,+DAA+D;IAC/D,+DAA+D;IAC/D,KAAK,EAAE;QACH,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,aAAG,CAAC,QAAQ,CACd,MAAM,CAAC,WAAW,CAAC,gBAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAG7C,CACJ;KACJ;CACJ,CAAC,CAAC"}

package/dist/src/parser.d.ts

@@ -0,0 +1,57 @@
+import { type Expression, type Program } from "./types";
+export declare class Parser {
+    private tokens;
+    private pos;
+    constructor(input: string);
+    private peek;
+    private advance;
+    private isAtEnd;
+    private tokenPos;
+    private currentPos;
+    /**
+     * Expect a token of the given type (or value) and advance.
+     * Throws ParseError if the next token doesn't match.
+     */
+    private expect;
+    /**
+     * Consume a token only if it matches the given type/value.
+     */
+    private match;
+    private check;
+    parseProgram(): Program;
+    private parseAppDecl;
+    private parsePageDecl;
+    private parseComponentDecl;
+    private parseBlock;
+    private parseStatement;
+    private parseHeaderStmt;
+    private parseTextStmt;
+    private parseButtonStmt;
+    private parseLinkStmt;
+    private parseFieldStmt;
+    private parseInputStmt;
+    private parseUseStmt;
+    private parseSubmitStmt;
+    private parseClickStmt;
+    private parseHandlerStmt;
+    private parseOutcomeClause;
+    private parseConditionalStmt;
+    private parseNavTarget;
+    parseExpression(): Expression;
+    private parseOr;
+    private parseAnd;
+    private readonly COMPARISON_OPS;
+    private parseComparison;
+    private parseUnary;
+    private parsePrimary;
+    /**
+     * Expect an IDENT token (not a keyword).
+     * Moo assigns keyword token types to matched words, so we need to accept
+     * both generic IDENT tokens and keyword tokens when used as identifiers
+     * (e.g. outcome labels like "success", "error").
+     */
+    private expectIdent;
+    private expectString;
+}
+export declare function parse(source: string): Program;
+//# sourceMappingURL=parser.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser.ts"],"names":[],"mappings":"AAMA,OAAO,EAUH,KAAK,UAAU,EAaf,KAAK,OAAO,EAOf,MAAM,SAAS,CAAC;AASjB,qBAAa,MAAM;IACf,OAAO,CAAC,MAAM,CAAe;IAC7B,OAAO,CAAC,GAAG,CAAK;gBAEJ,KAAK,EAAE,MAAM;IAWzB,OAAO,CAAC,IAAI;IAIZ,OAAO,CAAC,OAAO;IAOf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,UAAU;IAKlB;;;OAGG;IACH,OAAO,CAAC,MAAM;IAiBd;;OAEG;IACH,OAAO,CAAC,KAAK;IAQb,OAAO,CAAC,KAAK;IAQb,YAAY,IAAI,OAAO;IAwBvB,OAAO,CAAC,YAAY;IAkBpB,OAAO,CAAC,aAAa;IAerB,OAAO,CAAC,kBAAkB;IAe1B,OAAO,CAAC,UAAU;IAclB,OAAO,CAAC,cAAc;IA+BtB,OAAO,CAAC,eAAe;IAMvB,OAAO,CAAC,aAAa;IAMrB,OAAO,CAAC,eAAe;IAOvB,OAAO,CAAC,aAAa;IAOrB,OAAO,CAAC,cAAc;IAMtB,OAAO,CAAC,cAAc;IAQtB,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,eAAe;IAavB,OAAO,CAAC,cAAc;IAetB,OAAO,CAAC,gBAAgB;IAoBxB,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,oBAAoB;IAU5B,OAAO,CAAC,cAAc;IActB,eAAe,IAAI,UAAU;IAI7B,OAAO,CAAC,OAAO;IAiBf,OAAO,CAAC,QAAQ;IAiBhB,OAAO,CAAC,QAAQ,CAAC,cAAc,CAO5B;IAEH,OAAO,CAAC,eAAe;IAmBvB,OAAO,CAAC,UAAU;IAelB,OAAO,CAAC,YAAY;IAwEpB;;;;;OAKG;IACH,OAAO,CAAC,WAAW;IA+BnB,OAAO,CAAC,YAAY;CASvB;AAMD,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAG7C"}