@meltemi/diagrams-language 0.0.0-stage → 1.9.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Architecture Studio contributors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,49 @@
-# Temporary Holding Version
+# @meltemi/diagrams-language
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+The language layer: a lexer, a lossless parser that keeps every byte (comments and spacing
+included), diagnostics with stable codes, text edits and the source formatter. It knows the
+grammar only; meaning lives in `@meltemi/diagrams-model`.
+
+It is part of [Meltemi Diagrams](https://github.com/askenaz-dev/meltemi-diagrams#readme), diagrams as code with a canvas, motion and
+exports. Every package of the product has the same version.
+
+## Install
+
+```bash
+npm install @meltemi/diagrams-language
+```
+
+Node 22.12.0 or later. The package is an ES module with type declarations.
+
+## Use
+
+```ts
+import { formatSource, parse, toText } from "@meltemi/diagrams-language";
+
+const text = `language "0.2"
+
+diagram shop: flow {
+  web["Web shop"]
+  api["Orders API"]
+  db[("Orders")]
+  web -> api: "HTTPS" as call
+  api -> db: "SQL" as store
+}
+`;
+
+const parsed = parse(text);
+console.log(parsed.diagnostics.length); // 0: no syntax error
+console.log(toText(parsed.root) === text); // true: the tree keeps every byte
+console.log(formatSource(text).text);
+```
+
+## Documentation
+
+- [Grammar](https://github.com/askenaz-dev/meltemi-diagrams/blob/main/docs/language/grammar-0.2.md)
+- [Diagnostics](https://github.com/askenaz-dev/meltemi-diagrams/blob/main/docs/language/diagnostics.md)
+- [Formatting](https://github.com/askenaz-dev/meltemi-diagrams/blob/main/docs/language/formatting.md)
+- [All documentation](https://github.com/askenaz-dev/meltemi-diagrams/blob/main/docs/README.md)
+
+## Licence
+
+MIT. Third-party components and their licences are listed in [THIRD_PARTY_LICENSES.md](https://github.com/askenaz-dev/meltemi-diagrams/blob/main/THIRD_PARTY_LICENSES.md).

package/dist/cst.d.ts

@@ -0,0 +1,200 @@
+import type { Token } from "./tokens.js";
+export type NodeKind = "SourceFile" | "Header" | "ImportStatement" | "ImportMember" | "ModelBlock" | "DiagramBlock" | "StoryBlock" | "ExportBlock" | "ThemeBlock" | "Block" | "RelationStatement" | "ShorthandDeclaration" | "KeywordStatement" | "BlockChain" | "ChainClause" | "QualifiedRef" | "StringLiteral" | "NumberLiteral" | "Tuple" | "List" | "Missing" | "Error";
+export type CstElement = CstNode | Token;
+/**
+ * Common shape of every syntax node. `children` hold every token and node in source order, so
+ * the tree is lossless. Typed fields on each node kind point into `children` for convenience.
+ */
+export interface NodeBase {
+    readonly kind: NodeKind;
+    readonly children: readonly CstElement[];
+    /** Offset of the first token text (excluding leading trivia). */
+    readonly start: number;
+    /** Offset after the last token. */
+    readonly end: number;
+    /** Offset where the leading trivia of the first token starts. */
+    readonly fullStart: number;
+    /** True when the node contains a syntax error (missing or skipped tokens, bad tokens). */
+    readonly hasError: boolean;
+}
+/** Zero-width placeholder inserted by error recovery where a token or node was expected. */
+export interface Missing extends NodeBase {
+    readonly kind: "Missing";
+    readonly expected: string;
+}
+/** Tokens skipped by error recovery. */
+export interface ErrorNode extends NodeBase {
+    readonly kind: "Error";
+}
+export interface SourceFile extends NodeBase {
+    readonly kind: "SourceFile";
+    readonly items: readonly TopLevelItem[];
+    readonly eof: Token;
+}
+export type TopLevelItem = Header | ImportStatement | ModelBlock | DiagramBlock | StoryBlock | ExportBlock | ThemeBlock | ErrorNode;
+export interface Header extends NodeBase {
+    readonly kind: "Header";
+    readonly keyword: Token;
+    readonly version: Token | Missing;
+}
+/**
+ * `import "<path>" as <namespace>` (form `namespace`) or
+ * `import <id> [as <alias>], ... from "<path>"` (form `members`).
+ */
+export interface ImportStatement extends NodeBase {
+    readonly kind: "ImportStatement";
+    readonly keyword: Token;
+    readonly form: "namespace" | "members";
+    /** The path string, or a placeholder when it is missing. */
+    readonly path: Token | Missing;
+    /** Namespace form: `as` and the namespace id. */
+    readonly asKeyword: Token | Missing | undefined;
+    readonly namespace: Token | Missing | undefined;
+    /** Members form: the imported ids and `from`. */
+    readonly members: readonly ImportMember[];
+    readonly fromKeyword: Token | Missing | undefined;
+}
+/** One imported id with its optional alias: `corporate as corp`. */
+export interface ImportMember extends NodeBase {
+    readonly kind: "ImportMember";
+    readonly id: Token;
+    readonly asKeyword: Token | undefined;
+    readonly alias: Token | Missing | undefined;
+}
+export interface DiagramBlock extends NodeBase {
+    readonly kind: "DiagramBlock";
+    readonly keyword: Token;
+    readonly id: Token | Missing;
+    readonly colon: Token | Missing | undefined;
+    readonly type: Token | Missing | undefined;
+    readonly usingKeyword: Token | undefined;
+    readonly usingRef: QualifiedRef | Missing | undefined;
+    readonly block: Block | Missing;
+}
+/** `model <id> { }` and `theme <id> { }`. */
+export interface ModelBlock extends NodeBase {
+    readonly kind: "ModelBlock";
+    readonly keyword: Token;
+    readonly id: Token | Missing;
+    readonly block: Block | Missing;
+}
+export interface ThemeBlock extends NodeBase {
+    readonly kind: "ThemeBlock";
+    readonly keyword: Token;
+    readonly id: Token | Missing;
+    readonly block: Block | Missing;
+}
+/** `story <id> for <ref> { }`. */
+export interface StoryBlock extends NodeBase {
+    readonly kind: "StoryBlock";
+    readonly keyword: Token;
+    readonly id: Token | Missing;
+    readonly forKeyword: Token | Missing | undefined;
+    readonly target: QualifiedRef | Missing | undefined;
+    readonly block: Block | Missing;
+}
+/** `export <id> for <ref> { }`. */
+export interface ExportBlock extends NodeBase {
+    readonly kind: "ExportBlock";
+    readonly keyword: Token;
+    readonly id: Token | Missing;
+    readonly forKeyword: Token | Missing | undefined;
+    readonly target: QualifiedRef | Missing | undefined;
+    readonly block: Block | Missing;
+}
+export interface Block extends NodeBase {
+    readonly kind: "Block";
+    readonly open: Token;
+    readonly statements: readonly Statement[];
+    readonly close: Token | Missing;
+}
+export type Statement = RelationStatement | ShorthandDeclaration | KeywordStatement | ErrorNode;
+/** `<ref> -> <ref> [: "label"] [as <id>] [{ ... }]` */
+export interface RelationStatement extends NodeBase {
+    readonly kind: "RelationStatement";
+    readonly source: QualifiedRef;
+    readonly arrow: Token;
+    readonly target: QualifiedRef | Missing;
+    readonly colon: Token | undefined;
+    readonly label: Token | Missing | undefined;
+    readonly asKeyword: Token | undefined;
+    readonly id: Token | Missing | undefined;
+    readonly block: Block | undefined;
+}
+/** `<id>["Label"]` (shape `box`) or `<id>[("Label")]` (shape `data`), with an optional block. */
+export interface ShorthandDeclaration extends NodeBase {
+    readonly kind: "ShorthandDeclaration";
+    readonly id: Token;
+    readonly shape: "box" | "data";
+    readonly label: Token | Missing;
+    readonly block: Block | undefined;
+}
+/** `<word> <arg>* [{ ... }]`, optionally followed on the same line by more `<word> <arg>* { ... }`. */
+export interface KeywordStatement extends NodeBase {
+    readonly kind: "KeywordStatement";
+    readonly keyword: Token;
+    readonly args: readonly Arg[];
+    readonly block: Block | undefined;
+    /** Present when more than one clause is chained, e.g. `alt "A" { } else "B" { }`. */
+    readonly chain: BlockChain | undefined;
+}
+export interface BlockChain extends NodeBase {
+    readonly kind: "BlockChain";
+    readonly clauses: readonly ChainClause[];
+}
+export interface ChainClause extends NodeBase {
+    readonly kind: "ChainClause";
+    readonly keyword: Token;
+    readonly args: readonly Arg[];
+    readonly block: Block | Missing;
+}
+export type Arg = QualifiedRef | StringLiteral | NumberLiteral | Tuple | List;
+/** One identifier or several joined by dots: `api`, `shop.api`, `api.east`. */
+export interface QualifiedRef extends NodeBase {
+    readonly kind: "QualifiedRef";
+    readonly parts: readonly Token[];
+    readonly text: string;
+}
+export interface StringLiteral extends NodeBase {
+    readonly kind: "StringLiteral";
+    readonly token: Token;
+    readonly value: string;
+}
+export interface NumberLiteral extends NodeBase {
+    readonly kind: "NumberLiteral";
+    readonly token: Token;
+    readonly value: number;
+    readonly unit: string | null;
+}
+export interface Tuple extends NodeBase {
+    readonly kind: "Tuple";
+    readonly open: Token;
+    readonly items: readonly Arg[];
+    readonly close: Token | Missing;
+}
+export interface List extends NodeBase {
+    readonly kind: "List";
+    readonly open: Token;
+    readonly items: readonly Arg[];
+    readonly close: Token | Missing;
+}
+export type CstNode = SourceFile | Header | ImportStatement | ImportMember | ModelBlock | DiagramBlock | StoryBlock | ExportBlock | ThemeBlock | Block | RelationStatement | ShorthandDeclaration | KeywordStatement | BlockChain | ChainClause | QualifiedRef | StringLiteral | NumberLiteral | Tuple | List | Missing | ErrorNode;
+export declare function isToken(element: CstElement | undefined): element is Token;
+export declare function isNode(element: CstElement | undefined): element is CstNode;
+export declare function isMissing(element: CstElement | undefined): element is Missing;
+/** All tokens under an element, in source order. */
+export declare function tokensOf(element: CstElement): Generator<Token>;
+/** Source text of an element, including the leading trivia of its first token. */
+export declare function toText(element: CstElement): string;
+export declare function firstToken(element: CstElement): Token | undefined;
+export declare function lastToken(element: CstElement): Token | undefined;
+/** Depth-first walk over nodes. Return `false` from the visitor to skip a node's children. */
+export declare function walk(node: CstNode, visit: (node: CstNode, parent: CstNode | undefined) => boolean | void): void;
+/** Map from every node to its parent node. */
+export declare function buildParentMap(root: CstNode): Map<CstNode, CstNode>;
+/** Builds a node and computes its spans and error flag from its children. */
+export declare function makeNode<T extends CstNode>(kind: T["kind"], children: CstElement[], fields: Omit<T, keyof NodeBase>, position?: number): T;
+export declare function makeMissing(expected: string, position: number): Missing;
+/** Appends a child to an already built node (used to attach skipped tokens) and updates spans. */
+export declare function appendChild(node: CstNode, child: CstElement): void;
+//# sourceMappingURL=cst.d.ts.map

package/dist/cst.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cst.d.ts","sourceRoot":"","sources":["../src/cst.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEzC,MAAM,MAAM,QAAQ,GAChB,YAAY,GACZ,QAAQ,GACR,iBAAiB,GACjB,cAAc,GACd,YAAY,GACZ,cAAc,GACd,YAAY,GACZ,aAAa,GACb,YAAY,GACZ,OAAO,GACP,mBAAmB,GACnB,sBAAsB,GACtB,kBAAkB,GAClB,YAAY,GACZ,aAAa,GACb,cAAc,GACd,eAAe,GACf,eAAe,GACf,OAAO,GACP,MAAM,GACN,SAAS,GACT,OAAO,CAAC;AAEZ,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,KAAK,CAAC;AAEzC;;;GAGG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IACzC,iEAAiE;IACjE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,mCAAmC;IACnC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,iEAAiE;IACjE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,0FAA0F;IAC1F,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,4FAA4F;AAC5F,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,wCAAwC;AACxC,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CACxB;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC;CACrB;AAED,MAAM,MAAM,YAAY,GACpB,MAAM,GACN,eAAe,GACf,UAAU,GACV,YAAY,GACZ,UAAU,GACV,WAAW,GACX,UAAU,GACV,SAAS,CAAC;AAEd,MAAM,WAAW,MAAO,SAAQ,QAAQ;IACtC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,KAAK,GAAG,OAAO,CAAC;CACnC;AAED;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,SAAS,CAAC;IACvC,4DAA4D;IAC5D,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC;IAC/B,iDAAiD;IACjD,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IAChD,iDAAiD;IACjD,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;CACnD;AAED,oEAAoE;AACpE,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;CAC7C;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IAC3C,QAAQ,CAAC,YAAY,EAAE,KAAK,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,OAAO,GAAG,SAAS,CAAC;IACtD,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CACjC;AAED,6CAA6C;AAC7C,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CACjC;AAED,kCAAkC;AAClC,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IACjD,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CACjC;AAED,mCAAmC;AACnC,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IACjD,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,KAAM,SAAQ,QAAQ;IACrC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CACjC;AAED,MAAM,MAAM,SAAS,GAAG,iBAAiB,GAAG,oBAAoB,GAAG,gBAAgB,GAAG,SAAS,CAAC;AAEhG,uDAAuD;AACvD,MAAM,WAAW,iBAAkB,SAAQ,QAAQ;IACjD,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,OAAO,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAAC;CACnC;AAED,iGAAiG;AACjG,MAAM,WAAW,oBAAqB,SAAQ,QAAQ;IACpD,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAAC;CACnC;AAED,uGAAuG;AACvG,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,EAAE,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAAC;IAClC,qFAAqF;IACrF,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,CAAC;CACxC;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,WAAY,SAAQ,QAAQ;IAC3C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,EAAE,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CACjC;AAED,MAAM,MAAM,GAAG,GAAG,YAAY,GAAG,aAAa,GAAG,aAAa,GAAG,KAAK,GAAG,IAAI,CAAC;AAE9E,+EAA+E;AAC/E,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,KAAK,EAAE,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED,MAAM,WAAW,KAAM,SAAQ,QAAQ;IACrC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,EAAE,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,IAAK,SAAQ,QAAQ;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,EAAE,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC;CACjC;AAED,MAAM,MAAM,OAAO,GACf,UAAU,GACV,MAAM,GACN,eAAe,GACf,YAAY,GACZ,UAAU,GACV,YAAY,GACZ,UAAU,GACV,WAAW,GACX,UAAU,GACV,KAAK,GACL,iBAAiB,GACjB,oBAAoB,GACpB,gBAAgB,GAChB,UAAU,GACV,WAAW,GACX,YAAY,GACZ,aAAa,GACb,aAAa,GACb,KAAK,GACL,IAAI,GACJ,OAAO,GACP,SAAS,CAAC;AAEd,wBAAgB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,IAAI,KAAK,CAEzE;AAED,wBAAgB,MAAM,CAAC,OAAO,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,IAAI,OAAO,CAE1E;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,IAAI,OAAO,CAE7E;AAED,oDAAoD;AACpD,wBAAiB,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,CAM/D;AAED,kFAAkF;AAClF,wBAAgB,MAAM,CAAC,OAAO,EAAE,UAAU,GAAG,MAAM,CAOlD;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,UAAU,GAAG,KAAK,GAAG,SAAS,CAGjE;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,UAAU,GAAG,KAAK,GAAG,SAAS,CAOhE;AAED,8FAA8F;AAC9F,wBAAgB,IAAI,CAClB,IAAI,EAAE,OAAO,EACb,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,GAAG,SAAS,KAAK,OAAO,GAAG,IAAI,GACpE,IAAI,CAUN;AAED,8CAA8C;AAC9C,wBAAgB,cAAc,CAAC,IAAI,EAAE,OAAO,GAAG,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAMnE;AAID,6EAA6E;AAC7E,wBAAgB,QAAQ,CAAC,CAAC,SAAS,OAAO,EACxC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EACf,QAAQ,EAAE,UAAU,EAAE,EACtB,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,MAAM,QAAQ,CAAC,EAC/B,QAAQ,CAAC,EAAE,MAAM,GAChB,CAAC,CAKH;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAUvE;AAED,kGAAkG;AAClG,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,CAGlE"}

package/dist/cst.js

@@ -0,0 +1,130 @@
+export function isToken(element) {
+    return element !== undefined && "leadingTrivia" in element;
+}
+export function isNode(element) {
+    return element !== undefined && !("leadingTrivia" in element);
+}
+export function isMissing(element) {
+    return isNode(element) && element.kind === "Missing";
+}
+/** All tokens under an element, in source order. */
+export function* tokensOf(element) {
+    if (isToken(element)) {
+        yield element;
+        return;
+    }
+    for (const child of element.children)
+        yield* tokensOf(child);
+}
+/** Source text of an element, including the leading trivia of its first token. */
+export function toText(element) {
+    let out = "";
+    for (const token of tokensOf(element)) {
+        for (const trivia of token.leadingTrivia)
+            out += trivia.text;
+        out += token.text;
+    }
+    return out;
+}
+export function firstToken(element) {
+    for (const token of tokensOf(element))
+        return token;
+    return undefined;
+}
+export function lastToken(element) {
+    if (isToken(element))
+        return element;
+    for (let i = element.children.length - 1; i >= 0; i--) {
+        const found = lastToken(element.children[i]);
+        if (found)
+            return found;
+    }
+    return undefined;
+}
+/** Depth-first walk over nodes. Return `false` from the visitor to skip a node's children. */
+export function walk(node, visit) {
+    const stack = [{ node, parent: undefined }];
+    while (stack.length > 0) {
+        const { node: current, parent } = stack.pop();
+        if (visit(current, parent) === false)
+            continue;
+        for (let i = current.children.length - 1; i >= 0; i--) {
+            const child = current.children[i];
+            if (isNode(child))
+                stack.push({ node: child, parent: current });
+        }
+    }
+}
+/** Map from every node to its parent node. */
+export function buildParentMap(root) {
+    const parents = new Map();
+    walk(root, (node, parent) => {
+        if (parent)
+            parents.set(node, parent);
+    });
+    return parents;
+}
+/** Builds a node and computes its spans and error flag from its children. */
+export function makeNode(kind, children, fields, position) {
+    const node = { kind, children, start: 0, end: 0, fullStart: 0, hasError: false, ...fields };
+    computeSpans(node, position);
+    return node;
+}
+export function makeMissing(expected, position) {
+    return {
+        kind: "Missing",
+        expected,
+        children: [],
+        start: position,
+        end: position,
+        fullStart: position,
+        hasError: true,
+    };
+}
+/** Appends a child to an already built node (used to attach skipped tokens) and updates spans. */
+export function appendChild(node, child) {
+    node.children.push(child);
+    computeSpans(node, node.start);
+}
+function computeSpans(node, position) {
+    let start = -1;
+    let end = -1;
+    let fullStart = -1;
+    let hasError = node.kind === "Missing" || node.kind === "Error";
+    let missingPosition;
+    for (const child of node.children) {
+        if (isToken(child)) {
+            if (start < 0) {
+                start = child.start;
+                fullStart = child.fullStart;
+            }
+            end = child.end;
+            if (child.kind === "Unknown" || child.malformed)
+                hasError = true;
+            continue;
+        }
+        if (child.hasError)
+            hasError = true;
+        if (child.kind === "Missing") {
+            if (missingPosition === undefined)
+                missingPosition = child.start;
+            continue;
+        }
+        if (child.end > child.start || child.children.length > 0) {
+            if (start < 0) {
+                start = child.start;
+                fullStart = child.fullStart;
+            }
+            end = child.end;
+        }
+    }
+    if (start < 0) {
+        const p = missingPosition ?? position ?? 0;
+        start = end = fullStart = p;
+    }
+    node.start = start;
+    node.end = end;
+    node.fullStart = fullStart;
+    node.hasError = hasError;
+}
+//# sourceMappingURL=cst.js.map

package/dist/cst.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cst.js","sourceRoot":"","sources":["../src/cst.ts"],"names":[],"mappings":"AAuQA,MAAM,UAAU,OAAO,CAAC,OAA+B;IACrD,OAAO,OAAO,KAAK,SAAS,IAAI,eAAe,IAAI,OAAO,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,OAA+B;IACpD,OAAO,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,eAAe,IAAI,OAAO,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAA+B;IACvD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;AACvD,CAAC;AAED,oDAAoD;AACpD,MAAM,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAmB;IAC3C,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACrB,MAAM,OAAO,CAAC;QACd,OAAO;IACT,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ;QAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,MAAM,CAAC,OAAmB;IACxC,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACtC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,aAAa;YAAE,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC;QAC7D,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,OAAmB;IAC5C,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACpD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAmB;IAC3C,IAAI,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,CAAC;QAC9C,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,IAAI,CAClB,IAAa,EACb,KAAqE;IAErE,MAAM,KAAK,GAAqD,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IAC9F,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC/C,IAAI,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,KAAK;YAAE,SAAS;QAC/C,KAAK,IAAI,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACtD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;YACnC,IAAI,MAAM,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;AACH,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE;QAC1B,IAAI,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACjB,CAAC;AAID,6EAA6E;AAC7E,MAAM,UAAU,QAAQ,CACtB,IAAe,EACf,QAAsB,EACtB,MAA+B,EAC/B,QAAiB;IAEjB,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,MAAM,EAC5C,CAAC;IAC9C,YAAY,CAAC,IAAyB,EAAE,QAAQ,CAAC,CAAC;IAClD,OAAO,IAAoB,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,QAAgB,EAAE,QAAgB;IAC5D,OAAO;QACL,IAAI,EAAE,SAAS;QACf,QAAQ;QACR,QAAQ,EAAE,EAAE;QACZ,KAAK,EAAE,QAAQ;QACf,GAAG,EAAE,QAAQ;QACb,SAAS,EAAE,QAAQ;QACnB,QAAQ,EAAE,IAAI;KACf,CAAC;AACJ,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,WAAW,CAAC,IAAa,EAAE,KAAiB;IACzD,IAAI,CAAC,QAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,YAAY,CAAC,IAAyB,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,YAAY,CAAC,IAAuB,EAAE,QAA4B;IACzE,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IACf,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC;IACb,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;IACnB,IAAI,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;IAChE,IAAI,eAAmC,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACnB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACd,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;gBACpB,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;YAC9B,CAAC;YACD,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;YAChB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS;gBAAE,QAAQ,GAAG,IAAI,CAAC;YACjE,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ;YAAE,QAAQ,GAAG,IAAI,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC7B,IAAI,eAAe,KAAK,SAAS;gBAAE,eAAe,GAAG,KAAK,CAAC,KAAK,CAAC;YACjE,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBACd,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;gBACpB,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;YAC9B,CAAC;YACD,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;QAClB,CAAC;IACH,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,MAAM,CAAC,GAAG,eAAe,IAAI,QAAQ,IAAI,CAAC,CAAC;QAC3C,KAAK,GAAG,GAAG,GAAG,SAAS,GAAG,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACnB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;IACf,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;IAC3B,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;AAC3B,CAAC"}

package/dist/diagnostics.d.ts

@@ -0,0 +1,57 @@
+import type { LineIndex, Range, Span } from "./positions.js";
+export type Severity = "error" | "warning" | "info";
+export interface RelatedInformation {
+    readonly message: string;
+    readonly range: Range;
+}
+/**
+ * What tools need from a diagnostic without reading its words, which follow the interface language:
+ * quick fixes and checks read this, never the message or the hints.
+ */
+export interface DiagnosticData {
+    /** The ids the message names, in its order: an unknown element, a layer, an element and port. */
+    readonly ids?: readonly string[];
+    /** Values a fix may write in place of the diagnostic's text: the accepted alternatives. */
+    readonly candidates?: readonly string[];
+    /** `layout.text-overflow`: the element and the size that fits its text. */
+    readonly size?: {
+        readonly element: string;
+        readonly width: number;
+        readonly height: number;
+    };
+}
+/** A problem found in a source text. Codes are stable and documented in docs/language/diagnostics.md. */
+export interface Diagnostic {
+    readonly code: string;
+    readonly severity: Severity;
+    readonly message: string;
+    readonly range: Range;
+    readonly hints?: readonly string[];
+    readonly related?: readonly RelatedInformation[];
+    readonly data?: DiagnosticData;
+}
+export interface DiagnosticInput {
+    readonly code: string;
+    readonly severity?: Severity;
+    readonly message: string;
+    readonly span: Span;
+    readonly hints?: readonly string[];
+    readonly related?: readonly {
+        readonly message: string;
+        readonly span: Span;
+    }[];
+    readonly data?: DiagnosticData;
+}
+/** Collects diagnostics and resolves their spans to ranges. */
+export declare class DiagnosticBag {
+    private readonly lines;
+    readonly items: Diagnostic[];
+    constructor(lines: LineIndex);
+    add(input: DiagnosticInput): Diagnostic;
+    get errorCount(): number;
+}
+export declare function createDiagnostic(lines: LineIndex, input: DiagnosticInput): Diagnostic;
+/** Orders diagnostics by position, keeping the original order for ties. */
+export declare function sortDiagnostics(diagnostics: readonly Diagnostic[]): Diagnostic[];
+export declare function hasErrors(diagnostics: readonly Diagnostic[]): boolean;
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAE7D,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAEpD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,iGAAiG;IACjG,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,2FAA2F;IAC3F,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAC/F;AAED,yGAAyG;AACzG,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACjD,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC;CAChC;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,EAAE,CAAC;IAChF,QAAQ,CAAC,IAAI,CAAC,EAAE,cAAc,CAAC;CAChC;AAED,+DAA+D;AAC/D,qBAAa,aAAa;IAGZ,OAAO,CAAC,QAAQ,CAAC,KAAK;IAFlC,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,CAAM;gBAEL,KAAK,EAAE,SAAS;IAE7C,GAAG,CAAC,KAAK,EAAE,eAAe,GAAG,UAAU;IAMvC,IAAI,UAAU,IAAI,MAAM,CAEvB;CACF;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,GAAG,UAAU,CAwBrF;AAED,2EAA2E;AAC3E,wBAAgB,eAAe,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,UAAU,EAAE,CAUhF;AAED,wBAAgB,SAAS,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,OAAO,CAErE"}

package/dist/diagnostics.js

@@ -0,0 +1,48 @@
+/** Collects diagnostics and resolves their spans to ranges. */
+export class DiagnosticBag {
+    lines;
+    items = [];
+    constructor(lines) {
+        this.lines = lines;
+    }
+    add(input) {
+        const diagnostic = createDiagnostic(this.lines, input);
+        this.items.push(diagnostic);
+        return diagnostic;
+    }
+    get errorCount() {
+        return this.items.filter((d) => d.severity === "error").length;
+    }
+}
+export function createDiagnostic(lines, input) {
+    const diagnostic = {
+        code: input.code,
+        severity: input.severity ?? "error",
+        message: input.message,
+        range: lines.range(input.span),
+    };
+    if (input.hints && input.hints.length > 0)
+        diagnostic.hints = [...input.hints];
+    if (input.related && input.related.length > 0) {
+        diagnostic.related = input.related.map((r) => ({
+            message: r.message,
+            range: lines.range(r.span),
+        }));
+    }
+    if (input.data)
+        diagnostic.data = input.data;
+    return diagnostic;
+}
+/** Orders diagnostics by position, keeping the original order for ties. */
+export function sortDiagnostics(diagnostics) {
+    return diagnostics
+        .map((d, i) => ({ d, i }))
+        .sort((a, b) => a.d.range.start.offset - b.d.range.start.offset ||
+        a.d.range.end.offset - b.d.range.end.offset ||
+        a.i - b.i)
+        .map((x) => x.d);
+}
+export function hasErrors(diagnostics) {
+    return diagnostics.some((d) => d.severity === "error");
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AA2CA,+DAA+D;AAC/D,MAAM,OAAO,aAAa;IAGK;IAFpB,KAAK,GAAiB,EAAE,CAAC;IAElC,YAA6B,KAAgB;QAAhB,UAAK,GAAL,KAAK,CAAW;IAAG,CAAC;IAEjD,GAAG,CAAC,KAAsB;QACxB,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5B,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IACjE,CAAC;CACF;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAgB,EAAE,KAAsB;IACvE,MAAM,UAAU,GAQZ;QACF,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,OAAO;QACnC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;KAC/B,CAAC;IACF,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,UAAU,CAAC,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/E,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,UAAU,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7C,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;SAC3B,CAAC,CAAC,CAAC;IACN,CAAC;IACD,IAAI,KAAK,CAAC,IAAI;QAAE,UAAU,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IAC7C,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,eAAe,CAAC,WAAkC;IAChE,OAAO,WAAW;SACf,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACzB,IAAI,CACH,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM;QAC/C,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM;QAC3C,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CACZ;SACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,WAAkC;IAC1D,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;AACzD,CAAC"}

package/dist/diff.d.ts

@@ -0,0 +1,9 @@
+import type { TextEdit } from "./text-edits.js";
+/** Splits a text into lines that keep their line terminators, so joining them gives the text. */
+export declare function splitLinesKeepingEnds(text: string): string[];
+/**
+ * Line-based edits that turn `before` into `after`, from Myers' O(ND) diff. Each edit replaces a
+ * run of changed lines; unchanged lines are never touched, so editors keep cursors and folding.
+ */
+export declare function diffLines(before: string, after: string): TextEdit[];
+//# sourceMappingURL=diff.d.ts.map

package/dist/diff.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../src/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD,iGAAiG;AACjG,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAW5D;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,EAAE,CA8CnE"}