@words-lang/parser 0.1.0

package/dist/analyser/workspace.js

@@ -0,0 +1,403 @@
+"use strict";
+/**
+ * workspace.ts
+ *
+ * The Workspace scans a WORDS project directory, parses every `.wds` file it
+ * finds, and builds a cross-file index of all constructs organised by module.
+ *
+ * The index is the shared data structure consumed by the Analyser and later
+ * by the LSP server for go-to-definition and find-references. Neither the
+ * Analyser nor the LSP reads files directly — they always go through the
+ * Workspace.
+ *
+ * Design principles:
+ *
+ * - One parse per file. The Workspace caches parse results so the Analyser
+ *   can query the index repeatedly without re-parsing.
+ *
+ * - Flat index structure. Constructs are indexed by module name and construct
+ *   name so lookups are O(1) rather than requiring a tree walk.
+ *
+ * - Parse errors are preserved. Files that fail to parse partially are still
+ *   indexed — whatever nodes were recovered are included. Parse diagnostics
+ *   are stored alongside the index and returned with analyser diagnostics.
+ *
+ * - The Workspace is synchronous. File I/O uses Node's `fs` module directly.
+ *   The LSP layer wraps this in async when needed.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Workspace = void 0;
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const lexer_1 = require("../lexer/lexer");
+const parser_1 = require("../parser/parser");
+// ── Workspace ─────────────────────────────────────────────────────────────────
+/**
+ * The cross-file index of a WORDS project.
+ *
+ * Built by calling `Workspace.load(projectRoot)`. Consumers query the index
+ * directly via the public maps — there are no query methods, just data.
+ */
+class Workspace {
+    constructor(projectRoot) {
+        /**
+         * All parsed files, keyed by absolute file path.
+         * Includes both successfully parsed files and files with parse errors.
+         */
+        this.files = new Map();
+        /**
+         * All parse-layer diagnostics collected across all files.
+         * Indexed by absolute file path.
+         */
+        this.parseDiagnostics = new Map();
+        /**
+         * The single system declaration found in the project.
+         * Null if no system file was found or if it failed to parse.
+         */
+        this.system = null;
+        /**
+         * The file path of the system declaration, for diagnostic reporting.
+         */
+        this.systemFilePath = null;
+        /**
+         * All module definitions, keyed by module name.
+         * e.g. modules.get('AuthModule') → ModuleNode
+         */
+        this.modules = new Map();
+        /**
+         * File path of each module definition, for diagnostic reporting.
+         * e.g. modulePaths.get('AuthModule') → '/project/AuthModule/AuthModule.wds'
+         */
+        this.modulePaths = new Map();
+        /**
+         * All state definitions, keyed by module name then state name.
+         * e.g. states.get('AuthModule')?.get('Unauthenticated') → StateNode
+         */
+        this.states = new Map();
+        /**
+         * All context definitions, keyed by module name then context name.
+         */
+        this.contexts = new Map();
+        /**
+         * All screen definitions, keyed by module name then screen name.
+         */
+        this.screens = new Map();
+        /**
+         * All view definitions, keyed by module name then view name.
+         */
+        this.views = new Map();
+        /**
+         * All provider definitions, keyed by module name then provider name.
+         */
+        this.providers = new Map();
+        /**
+         * All adapter definitions, keyed by module name then adapter name.
+         */
+        this.adapters = new Map();
+        /**
+         * All interface component definitions, keyed by module name then interface name.
+         */
+        this.interfaces = new Map();
+        /**
+         * File path of each construct, for go-to-definition.
+         * Key format: 'ModuleName/ConstructName' (e.g. 'AuthModule/Unauthenticated')
+         */
+        this.constructPaths = new Map();
+        this.projectRoot = projectRoot;
+    }
+    // ── Factory ────────────────────────────────────────────────────────────────
+    /**
+     * Scans `projectRoot` recursively for `.wds` files, parses each one,
+     * and returns a fully populated Workspace.
+     *
+     * Never throws — files that cannot be read or parsed are recorded with
+     * their errors and skipped during indexing.
+     */
+    static load(projectRoot) {
+        const ws = new Workspace(path.resolve(projectRoot));
+        const wdsPaths = ws.findWdsFiles(ws.projectRoot);
+        for (const filePath of wdsPaths) {
+            ws.loadFile(filePath);
+        }
+        ws.buildIndex();
+        return ws;
+    }
+    /**
+     * Reloads a single file and rebuilds the index.
+     * Used by the LSP server when a file changes on disk.
+     */
+    reload(filePath) {
+        this.loadFile(path.resolve(filePath));
+        this.clearIndex();
+        this.buildIndex();
+    }
+    // ── Query helpers ──────────────────────────────────────────────────────────
+    /**
+     * Returns the StateNode for the given module and state name, or null.
+     */
+    getState(moduleName, stateName) {
+        return this.states.get(moduleName)?.get(stateName) ?? null;
+    }
+    /**
+     * Returns the ContextNode for the given module and context name, or null.
+     */
+    getContext(moduleName, contextName) {
+        return this.contexts.get(moduleName)?.get(contextName) ?? null;
+    }
+    /**
+     * Returns the ScreenNode for the given module and screen name, or null.
+     */
+    getScreen(moduleName, screenName) {
+        return this.screens.get(moduleName)?.get(screenName) ?? null;
+    }
+    /**
+     * Returns the ViewNode for the given module and view name, or null.
+     * Also searches other modules if moduleName is null.
+     */
+    getView(moduleName, viewName) {
+        return this.views.get(moduleName)?.get(viewName) ?? null;
+    }
+    /**
+     * Returns all parse diagnostics across all files as a flat array,
+     * each annotated with the file path that produced it.
+     */
+    allParseDiagnostics() {
+        const result = [];
+        for (const [filePath, diags] of this.parseDiagnostics) {
+            for (const d of diags) {
+                result.push({ filePath, diagnostic: d });
+            }
+        }
+        return result;
+    }
+    // ── Private — file loading ─────────────────────────────────────────────────
+    /**
+     * Reads and parses a single `.wds` file, storing the result in `this.files`.
+     * Silently records any read error as a parse diagnostic.
+     */
+    loadFile(filePath) {
+        let source;
+        try {
+            source = fs.readFileSync(filePath, 'utf-8');
+        }
+        catch (err) {
+            // File could not be read — record and skip
+            this.files.set(filePath, {
+                filePath,
+                source: '',
+                parseResult: {
+                    document: { kind: 'Document', ownerModule: null, nodes: [] },
+                    diagnostics: [],
+                },
+            });
+            return;
+        }
+        const tokens = new lexer_1.Lexer(source).tokenize();
+        const parseResult = new parser_1.Parser(tokens).parse();
+        this.files.set(filePath, { filePath, source, parseResult });
+        if (parseResult.diagnostics.length > 0) {
+            this.parseDiagnostics.set(filePath, parseResult.diagnostics);
+        }
+    }
+    /**
+     * Recursively finds all `.wds` files under `dir`.
+     * Skips `node_modules` and hidden directories.
+     */
+    findWdsFiles(dir) {
+        const results = [];
+        let entries;
+        try {
+            entries = fs.readdirSync(dir, { withFileTypes: true });
+        }
+        catch {
+            return results;
+        }
+        for (const entry of entries) {
+            if (entry.name.startsWith('.'))
+                continue;
+            if (entry.name === 'node_modules')
+                continue;
+            const fullPath = path.join(dir, entry.name);
+            if (entry.isDirectory()) {
+                results.push(...this.findWdsFiles(fullPath));
+            }
+            else if (entry.isFile() && entry.name.endsWith('.wds')) {
+                results.push(fullPath);
+            }
+        }
+        return results;
+    }
+    // ── Private — index building ───────────────────────────────────────────────
+    /**
+     * Clears all index maps. Called before a rebuild.
+     */
+    clearIndex() {
+        this.system = null;
+        this.systemFilePath = null;
+        this.modules.clear();
+        this.modulePaths.clear();
+        this.states.clear();
+        this.contexts.clear();
+        this.screens.clear();
+        this.views.clear();
+        this.providers.clear();
+        this.adapters.clear();
+        this.interfaces.clear();
+        this.constructPaths.clear();
+    }
+    /**
+     * Walks all parsed documents and populates the index maps.
+     * Called once after all files are loaded, and again after each reload.
+     */
+    buildIndex() {
+        for (const [filePath, record] of this.files) {
+            this.indexDocument(filePath, record.parseResult.document);
+        }
+        // Second pass: fill in the module name on component nodes that were
+        // parsed from files with an ownerModule declaration. The parser leaves
+        // module: '' on component nodes — we fill it in here from ownerModule.
+        for (const [, record] of this.files) {
+            const doc = record.parseResult.document;
+            if (doc.ownerModule) {
+                for (const node of doc.nodes) {
+                    if ('module' in node && node.module === '') {
+                        ;
+                        node.module = doc.ownerModule;
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * Indexes all top-level nodes in a single document into the appropriate maps.
+     */
+    indexDocument(filePath, document) {
+        const ownerModule = document.ownerModule;
+        for (const node of document.nodes) {
+            this.indexNode(filePath, node, ownerModule);
+        }
+    }
+    /**
+     * Indexes a single top-level node into the appropriate map.
+     * Uses `ownerModule` from the ownership declaration if the node's own
+     * `module` field is empty (component files).
+     */
+    indexNode(filePath, node, ownerModule) {
+        switch (node.kind) {
+            case 'System':
+                this.system = node;
+                this.systemFilePath = filePath;
+                break;
+            case 'Module':
+                this.modules.set(node.name, node);
+                this.modulePaths.set(node.name, filePath);
+                break;
+            case 'State': {
+                const mod = node.module || ownerModule || '';
+                if (!mod)
+                    break;
+                this.ensureModuleMap(this.states, mod);
+                this.states.get(mod).set(node.name, node);
+                this.constructPaths.set(`${mod}/${node.name}`, filePath);
+                break;
+            }
+            case 'Context': {
+                const mod = node.module || ownerModule || '';
+                if (!mod)
+                    break;
+                this.ensureModuleMap(this.contexts, mod);
+                this.contexts.get(mod).set(node.name, node);
+                this.constructPaths.set(`${mod}/${node.name}`, filePath);
+                break;
+            }
+            case 'Screen': {
+                const mod = node.module || ownerModule || '';
+                if (!mod)
+                    break;
+                this.ensureModuleMap(this.screens, mod);
+                this.screens.get(mod).set(node.name, node);
+                this.constructPaths.set(`${mod}/${node.name}`, filePath);
+                break;
+            }
+            case 'View': {
+                const mod = node.module || ownerModule || '';
+                if (!mod)
+                    break;
+                this.ensureModuleMap(this.views, mod);
+                this.views.get(mod).set(node.name, node);
+                this.constructPaths.set(`${mod}/${node.name}`, filePath);
+                break;
+            }
+            case 'Provider': {
+                const mod = node.module || ownerModule || '';
+                if (!mod)
+                    break;
+                this.ensureModuleMap(this.providers, mod);
+                this.providers.get(mod).set(node.name, node);
+                this.constructPaths.set(`${mod}/${node.name}`, filePath);
+                break;
+            }
+            case 'Adapter': {
+                const mod = node.module || ownerModule || '';
+                if (!mod)
+                    break;
+                this.ensureModuleMap(this.adapters, mod);
+                this.adapters.get(mod).set(node.name, node);
+                this.constructPaths.set(`${mod}/${node.name}`, filePath);
+                break;
+            }
+            case 'Interface': {
+                const mod = node.module || ownerModule || '';
+                if (!mod)
+                    break;
+                this.ensureModuleMap(this.interfaces, mod);
+                this.interfaces.get(mod).set(node.name, node);
+                this.constructPaths.set(`${mod}/${node.name}`, filePath);
+                break;
+            }
+        }
+    }
+    /**
+     * Ensures a per-module map exists for the given module name.
+     */
+    ensureModuleMap(index, moduleName) {
+        if (!index.has(moduleName)) {
+            index.set(moduleName, new Map());
+        }
+    }
+}
+exports.Workspace = Workspace;
+//# sourceMappingURL=workspace.js.map

package/dist/analyser/workspace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace.js","sourceRoot":"","sources":["../../src/analyser/workspace.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uCAAwB;AACxB,2CAA4B;AAC5B,0CAAsC;AACtC,6CAAsD;AA6CtD,iFAAiF;AAEjF;;;;;GAKG;AACH,MAAa,SAAS;IAiFlB,YAAoB,WAAmB;QA7EvC;;;WAGG;QACM,UAAK,GAA4B,IAAI,GAAG,EAAE,CAAA;QAEnD;;;WAGG;QACM,qBAAgB,GAA8B,IAAI,GAAG,EAAE,CAAA;QAEhE;;;WAGG;QACH,WAAM,GAAsB,IAAI,CAAA;QAEhC;;WAEG;QACH,mBAAc,GAAkB,IAAI,CAAA;QAEpC;;;WAGG;QACM,YAAO,GAA4B,IAAI,GAAG,EAAE,CAAA;QAErD;;;WAGG;QACM,gBAAW,GAAwB,IAAI,GAAG,EAAE,CAAA;QAErD;;;WAGG;QACM,WAAM,GAA2B,IAAI,GAAG,EAAE,CAAA;QAEnD;;WAEG;QACM,aAAQ,GAA6B,IAAI,GAAG,EAAE,CAAA;QAEvD;;WAEG;QACM,YAAO,GAA4B,IAAI,GAAG,EAAE,CAAA;QAErD;;WAEG;QACM,UAAK,GAA0B,IAAI,GAAG,EAAE,CAAA;QAEjD;;WAEG;QACM,cAAS,GAA8B,IAAI,GAAG,EAAE,CAAA;QAEzD;;WAEG;QACM,aAAQ,GAA6B,IAAI,GAAG,EAAE,CAAA;QAEvD;;WAEG;QACM,eAAU,GAA+B,IAAI,GAAG,EAAE,CAAA;QAE3D;;;WAGG;QACM,mBAAc,GAAwB,IAAI,GAAG,EAAE,CAAA;QAGpD,IAAI,CAAC,WAAW,GAAG,WAAW,CAAA;IAClC,CAAC;IAED,8EAA8E;IAE9E;;;;;;OAMG;IACH,MAAM,CAAC,IAAI,CAAC,WAAmB;QAC3B,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAA;QACnD,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,WAAW,CAAC,CAAA;QAEhD,KAAK,MAAM,QAAQ,IAAI,QAAQ,EAAE,CAAC;YAC9B,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;QACzB,CAAC;QAED,EAAE,CAAC,UAAU,EAAE,CAAA;QACf,OAAO,EAAE,CAAA;IACb,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,QAAgB;QACnB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAA;QACrC,IAAI,CAAC,UAAU,EAAE,CAAA;QACjB,IAAI,CAAC,UAAU,EAAE,CAAA;IACrB,CAAC;IAED,8EAA8E;IAE9E;;OAEG;IACH,QAAQ,CAAC,UAAkB,EAAE,SAAiB;QAC1C,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,CAAA;IAC9D,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,UAAkB,EAAE,WAAmB;QAC9C,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC,IAAI,IAAI,CAAA;IAClE,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,UAAkB,EAAE,UAAkB;QAC5C,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAA;IAChE,CAAC;IAED;;;OAGG;IACH,OAAO,CAAC,UAAkB,EAAE,QAAgB;QACxC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAA;IAC5D,CAAC;IAED;;;OAGG;IACH,mBAAmB;QACf,MAAM,MAAM,GAAwD,EAAE,CAAA;QACtE,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACpB,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAA;YAC5C,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAA;IACjB,CAAC;IAED,8EAA8E;IAE9E;;;OAGG;IACK,QAAQ,CAAC,QAAgB;QAC7B,IAAI,MAAc,CAAA;QAClB,IAAI,CAAC;YACD,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QAC/C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,2CAA2C;YAC3C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE;gBACrB,QAAQ;gBACR,MAAM,EAAE,EAAE;gBACV,WAAW,EAAE;oBACT,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;oBAC5D,WAAW,EAAE,EAAE;iBAClB;aACJ,CAAC,CAAA;YACF,OAAM;QACV,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAA;QAC3C,MAAM,WAAW,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAA;QAE9C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAA;QAE3D,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,WAAW,CAAC,CAAA;QAChE,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,YAAY,CAAC,GAAW;QAC5B,MAAM,OAAO,GAAa,EAAE,CAAA;QAC5B,IAAI,OAAoB,CAAA;QAExB,IAAI,CAAC;YACD,OAAO,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;QAC1D,CAAC;QAAC,MAAM,CAAC;YACL,OAAO,OAAO,CAAA;QAClB,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAQ;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc;gBAAE,SAAQ;YAE3C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;YAE3C,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACtB,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAA;YAChD,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvD,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YAC1B,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAA;IAClB,CAAC;IAED,8EAA8E;IAE9E;;OAEG;IACK,UAAU;QACd,IAAI,CAAC,MAAM,GAAG,IAAI,CAAA;QAClB,IAAI,CAAC,cAAc,GAAG,IAAI,CAAA;QAC1B,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAA;QACpB,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAA;QACxB,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAA;QACnB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;QACrB,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAA;QACpB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAA;QAClB,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAA;QACtB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;QACrB,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAA;QACvB,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAA;IAC/B,CAAC;IAED;;;OAGG;IACK,UAAU;QACd,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC1C,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAC7D,CAAC;QAED,oEAAoE;QACpE,uEAAuE;QACvE,uEAAuE;QACvE,KAAK,MAAM,CAAC,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAClC,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAA;YACvC,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;gBAClB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;oBAC3B,IAAI,QAAQ,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;wBACzC,CAAC;wBAAE,IAAY,CAAC,MAAM,GAAG,GAAG,CAAC,WAAW,CAAA;oBAC5C,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,QAAgB,EAAE,QAAsB;QAC1D,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAA;QAExC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;QAC/C,CAAC;IACL,CAAC;IAED;;;;OAIG;IACK,SAAS,CACb,QAAgB,EAChB,IAAkB,EAClB,WAA0B;QAE1B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,QAAQ;gBACT,IAAI,CAAC,MAAM,GAAG,IAAI,CAAA;gBAClB,IAAI,CAAC,cAAc,GAAG,QAAQ,CAAA;gBAC9B,MAAK;YAET,KAAK,QAAQ;gBACT,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBACjC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;gBACzC,MAAK;YAET,KAAK,OAAO,CAAC,CAAC,CAAC;gBACX,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,IAAI,EAAE,CAAA;gBAC5C,IAAI,CAAC,GAAG;oBAAE,MAAK;gBACf,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;gBACtC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBAC1C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAA;gBACxD,MAAK;YACT,CAAC;YAED,KAAK,SAAS,CAAC,CAAC,CAAC;gBACb,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,IAAI,EAAE,CAAA;gBAC5C,IAAI,CAAC,GAAG;oBAAE,MAAK;gBACf,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;gBACxC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBAC5C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAA;gBACxD,MAAK;YACT,CAAC;YAED,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACZ,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,IAAI,EAAE,CAAA;gBAC5C,IAAI,CAAC,GAAG;oBAAE,MAAK;gBACf,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;gBACvC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBAC3C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAA;gBACxD,MAAK;YACT,CAAC;YAED,KAAK,MAAM,CAAC,CAAC,CAAC;gBACV,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,IAAI,EAAE,CAAA;gBAC5C,IAAI,CAAC,GAAG;oBAAE,MAAK;gBACf,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;gBACrC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBACzC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAA;gBACxD,MAAK;YACT,CAAC;YAED,KAAK,UAAU,CAAC,CAAC,CAAC;gBACd,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,IAAI,EAAE,CAAA;gBAC5C,IAAI,CAAC,GAAG;oBAAE,MAAK;gBACf,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAA;gBACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBAC7C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAA;gBACxD,MAAK;YACT,CAAC;YAED,KAAK,SAAS,CAAC,CAAC,CAAC;gBACb,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,IAAI,EAAE,CAAA;gBAC5C,IAAI,CAAC,GAAG;oBAAE,MAAK;gBACf,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;gBACxC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBAC5C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAA;gBACxD,MAAK;YACT,CAAC;YAED,KAAK,WAAW,CAAC,CAAC,CAAC;gBACf,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,IAAI,WAAW,IAAI,EAAE,CAAA;gBAC5C,IAAI,CAAC,GAAG;oBAAE,MAAK;gBACf,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAA;gBAC1C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;gBAC9C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAA;gBACxD,MAAK;YACT,CAAC;QACL,CAAC;IACL,CAAC;IAED;;OAEG;IACK,eAAe,CAAI,KAAqB,EAAE,UAAkB;QAChE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;QACpC,CAAC;IACL,CAAC;CACJ;AArXD,8BAqXC"}

package/dist/index.d.ts

@@ -0,0 +1,8 @@
+export { Lexer } from './lexer/lexer';
+export { Token, TokenType, token } from './lexer/token';
+export * from './parser/ast';
+export { Parser, ParseResult } from './parser/parser';
+export * from './analyser/diagnostics';
+export { Workspace, FileRecord } from './analyser/workspace';
+export { Analyser, AnalysisResult } from './analyser/analyser';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AACrC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AACvD,cAAc,cAAc,CAAA;AAC5B,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AACrD,cAAc,wBAAwB,CAAA;AACtC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAC5D,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA"}

package/dist/index.js

@@ -0,0 +1,31 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Analyser = exports.Workspace = exports.Parser = exports.token = exports.TokenType = exports.Lexer = void 0;
+var lexer_1 = require("./lexer/lexer");
+Object.defineProperty(exports, "Lexer", { enumerable: true, get: function () { return lexer_1.Lexer; } });
+var token_1 = require("./lexer/token");
+Object.defineProperty(exports, "TokenType", { enumerable: true, get: function () { return token_1.TokenType; } });
+Object.defineProperty(exports, "token", { enumerable: true, get: function () { return token_1.token; } });
+__exportStar(require("./parser/ast"), exports);
+var parser_1 = require("./parser/parser");
+Object.defineProperty(exports, "Parser", { enumerable: true, get: function () { return parser_1.Parser; } });
+__exportStar(require("./analyser/diagnostics"), exports);
+var workspace_1 = require("./analyser/workspace");
+Object.defineProperty(exports, "Workspace", { enumerable: true, get: function () { return workspace_1.Workspace; } });
+var analyser_1 = require("./analyser/analyser");
+Object.defineProperty(exports, "Analyser", { enumerable: true, get: function () { return analyser_1.Analyser; } });
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAAA,uCAAqC;AAA5B,8FAAA,KAAK,OAAA;AACd,uCAAuD;AAAvC,kGAAA,SAAS,OAAA;AAAE,8FAAA,KAAK,OAAA;AAChC,+CAA4B;AAC5B,0CAAqD;AAA5C,gGAAA,MAAM,OAAA;AACf,yDAAsC;AACtC,kDAA4D;AAAnD,sGAAA,SAAS,OAAA;AAClB,gDAA8D;AAArD,oGAAA,QAAQ,OAAA"}

package/dist/lexer/lexer.d.ts

@@ -0,0 +1,120 @@
+/**
+ * lexer.ts
+ *
+ * The WORDS lexer. Converts a raw `.wds` source string into a flat array
+ * of tokens that the parser consumes.
+ *
+ * Design principles:
+ *
+ * - Single-pass, character-by-character. No regular expressions at runtime —
+ *   all character classification is done with simple comparisons.
+ *
+ * - Never throws. Unrecognised characters are emitted as `Unknown` tokens so
+ *   the parser can continue and collect all errors in one pass rather than
+ *   stopping at the first problem.
+ *
+ * - `is not` is normalised into a single `IsNot` token during lexing.
+ *   This simplifies the parser — it never has to handle a two-token sequence
+ *   in conditional expressions.
+ *
+ * - Newlines are emitted as `Newline` tokens. The parser uses them to
+ *   distinguish a bare ownership declaration (`module AuthModule` on its own
+ *   line) from a construct body opening (`module AuthModule "..." (`).
+ *
+ * - Comments are included in the token stream (not silently discarded) so the
+ *   parser can attach them to adjacent nodes for hover documentation.
+ *
+ * - Method names, callback prop names, and handler method names are all plain
+ *   camelCase identifiers. Names like `switch`, `onLoad`, `onSubmit` carry no
+ *   special meaning to the lexer — they are emitted as CamelIdent tokens.
+ *
+ * - Position tracking (line, column, offset) is maintained for every token
+ *   so the LSP can report diagnostics and resolve go-to-definition requests
+ *   at the exact source location.
+ */
+import { Token } from './token';
+export declare class Lexer {
+    /** The full source text being tokenized. */
+    private source;
+    /** Current byte offset into `source`. */
+    private pos;
+    /** Current 1-based line number. Incremented each time a `\n` is consumed. */
+    private line;
+    /**
+     * Current 1-based column number.
+     * Reset to 1 after each newline; incremented after each other character.
+     */
+    private column;
+    /** Accumulated token stream. Populated by `tokenize()`. */
+    private tokens;
+    constructor(source: string);
+    /**
+     * Tokenizes the entire source string and returns the token stream.
+     * The last token in the stream is always an `EOF` token.
+     *
+     * Calling `tokenize()` more than once on the same instance returns a new
+     * stream from scratch (internal state is reset on construction, not here —
+     * create a new Lexer for each source string).
+     */
+    tokenize(): Token[];
+    /**
+     * Returns the character at the current position without consuming it.
+     * Returns an empty string if at end of input.
+     */
+    private current;
+    /**
+     * Returns the character at `pos + offset` without consuming it.
+     * Used for one-character lookahead (e.g. distinguishing `//` from `/`).
+     * Returns an empty string if the offset is out of bounds.
+     */
+    private peek;
+    /**
+     * Consumes the current character, advances the position, and updates
+     * line/column tracking. Returns the consumed character.
+     * Line is incremented and column reset to 1 when a `\n` is consumed.
+     */
+    private advance;
+    /** Returns true when all characters have been consumed. */
+    private isAtEnd;
+    /** Returns true for ASCII decimal digit characters. */
+    private isDigit;
+    /** Returns true for ASCII letters and underscore. */
+    private isAlpha;
+    /** Returns true for characters valid inside an identifier (letters, digits, underscore). */
+    private isAlphaNumeric;
+    /**
+     * Advances past spaces, tabs, and carriage returns.
+     * Newlines are NOT skipped — they are significant and emitted as tokens.
+     */
+    private skipWhitespace;
+    /**
+     * Reads a `//` line comment from the current position to the end of the line.
+     * The returned value includes the `//` prefix.
+     * The terminating `\n` is NOT consumed — it will be emitted as a Newline token
+     * on the next iteration.
+     */
+    private readLineComment;
+    /**
+     * Reads a double-quoted string literal from the current position.
+     * Handles backslash escape sequences by consuming both the `\` and the
+     * following character as a unit.
+     * The returned value includes the surrounding quotes.
+     * Unclosed strings (EOF before closing `"`) are returned as-is — the
+     * parser will report the error from context.
+     */
+    private readString;
+    /**
+     * Reads an integer or float literal from the current position.
+     * A decimal point followed by at least one digit triggers float mode.
+     * The returned string is the raw source text — conversion to a number
+     * happens in the parser.
+     */
+    private readNumber;
+    /**
+     * Reads an identifier (keyword or user-defined name) from the current position.
+     * Identifiers consist of letters, digits, and underscores.
+     * The caller is responsible for classifying the result via the keyword table.
+     */
+    private readIdent;
+}
+//# sourceMappingURL=lexer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../../src/lexer/lexer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,EAAE,KAAK,EAAoB,MAAM,SAAS,CAAA;AAuDjD,qBAAa,KAAK;IACd,4CAA4C;IAC5C,OAAO,CAAC,MAAM,CAAQ;IAEtB,yCAAyC;IACzC,OAAO,CAAC,GAAG,CAAY;IAEvB,6EAA6E;IAC7E,OAAO,CAAC,IAAI,CAAY;IAExB;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAY;IAE1B,2DAA2D;IAC3D,OAAO,CAAC,MAAM,CAAc;gBAEhB,MAAM,EAAE,MAAM;IAM1B;;;;;;;OAOG;IACH,QAAQ,IAAI,KAAK,EAAE;IAkHnB;;;OAGG;IACH,OAAO,CAAC,OAAO;IAIf;;;;OAIG;IACH,OAAO,CAAC,IAAI;IAIZ;;;;OAIG;IACH,OAAO,CAAC,OAAO;IAYf,2DAA2D;IAC3D,OAAO,CAAC,OAAO;IAIf,uDAAuD;IACvD,OAAO,CAAC,OAAO;IAIf,qDAAqD;IACrD,OAAO,CAAC,OAAO;IAIf,4FAA4F;IAC5F,OAAO,CAAC,cAAc;IAItB;;;OAGG;IACH,OAAO,CAAC,cAAc;IAWtB;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAQvB;;;;;;;OAOG;IACH,OAAO,CAAC,UAAU;IAiBlB;;;;;OAKG;IACH,OAAO,CAAC,UAAU;IAelB;;;;OAIG;IACH,OAAO,CAAC,SAAS;CAOpB"}