@prisma-next/psl-parser - npm Package Compare versions

Comparing version 0.16.0-dev.6 to 0.16.0-dev.9

dist/parse-BNNJimVn.mjs

+import { N as createSyntaxTree, n as DocumentAst } from "./declarations-DR6To8_k.mjs";
+import { n as isTerminatedStringLiteral, t as Tokenizer } from "./tokenizer-1hAHZzmp.mjs";
+import { UNSPECIFIED_PSL_NAMESPACE_ID } from "@prisma-next/framework-components/psl-ast";
+import { InternalError } from "@prisma-next/utils/internal-error";
+//#region src/source-file.ts
+const CARRIAGE_RETURN = 13;
+const LINE_FEED = 10;
+var SourceFile = class {
+	#text;
+	#lineStarts;
+	constructor(text) {
+		this.#text = text;
+		const lineStarts = [0];
+		for (let offset = 0; offset < text.length; offset++) if (text.charCodeAt(offset) === LINE_FEED) lineStarts.push(offset + 1);
+		this.#lineStarts = lineStarts;
+	}
+	get text() {
+		return this.#text;
+	}
+	get length() {
+		return this.#text.length;
+	}
+	get lineCount() {
+		return this.#lineStarts.length;
+	}
+	lineStartOffsets() {
+		return this.#lineStarts;
+	}
+	lineStartOffset(line) {
+		if (line <= 0) return 0;
+		return this.#lineStarts[line] ?? this.#text.length;
+	}
+	lineEndOffset(line) {
+		if (line < 0) return 0;
+		const nextLineStart = this.#lineStarts[line + 1];
+		if (nextLineStart === void 0) return this.#text.length;
+		const lineFeedOffset = nextLineStart - 1;
+		const carriageReturnOffset = lineFeedOffset - 1;
+		return this.#text.charCodeAt(carriageReturnOffset) === CARRIAGE_RETURN ? carriageReturnOffset : lineFeedOffset;
+	}
+	positionAt(offset) {
+		const clamped = clamp(offset, 0, this.#text.length);
+		const line = this.#lineIndexAt(clamped);
+		return {
+			line,
+			character: clamped - this.#lineStartAt(line)
+		};
+	}
+	offsetAt(position) {
+		const line = clamp(position.line, 0, this.#lineStarts.length - 1);
+		const lineStart = this.#lineStartAt(line);
+		const lineEnd = this.#lineEndAt(line);
+		return clamp(lineStart + position.character, lineStart, lineEnd);
+	}
+	#lineStartAt(line) {
+		return this.#lineStarts[line] ?? 0;
+	}
+	#lineEndAt(line) {
+		return line + 1 < this.#lineStarts.length ? this.#lineStartAt(line + 1) - 1 : this.#text.length;
+	}
+	#lineIndexAt(offset) {
+		const lineStarts = this.#lineStarts;
+		let low = 0;
+		let high = lineStarts.length - 1;
+		while (low < high) {
+			const mid = low + high + 1 >>> 1;
+			if ((lineStarts[mid] ?? 0) <= offset) low = mid;
+			else high = mid - 1;
+		}
+		return low;
+	}
+};
+function clamp(value, min, max) {
+	if (value < min) return min;
+	if (value > max) return max;
+	return value;
+}
+//#endregion
+//#region src/syntax/green.ts
+function greenToken(kind, text) {
+	return {
+		type: "token",
+		kind,
+		text
+	};
+}
+function greenNode(kind, children) {
+	let textLength = 0;
+	for (const child of children) textLength += child.type === "token" ? child.text.length : child.textLength;
+	return {
+		type: "node",
+		kind,
+		children,
+		textLength
+	};
+}
+//#endregion
+//#region src/syntax/green-builder.ts
+var GreenNodeBuilder = class {
+	#stack = [];
+	startNode(kind) {
+		this.#stack.push({
+			kind,
+			children: []
+		});
+	}
+	token(kind, text) {
+		const current = this.#stack.at(-1);
+		if (!current) throw new InternalError("GreenNodeBuilder: token() called with no open node");
+		current.children.push(greenToken(kind, text));
+	}
+	finishNode() {
+		const completed = this.#stack.pop();
+		if (!completed) throw new InternalError("GreenNodeBuilder: finishNode() called with no open node");
+		const node = greenNode(completed.kind, completed.children);
+		const parent = this.#stack.at(-1);
+		if (parent) parent.children.push(node);
+		return node;
+	}
+};
+//#endregion
+//#region src/parse.ts
+const TRIVIA_KINDS = /* @__PURE__ */ new Set([
+	"Whitespace",
+	"Newline",
+	"Comment"
+]);
+/**
+* The fault-tolerant parser substrate the grammars drive. Trivia is flushed
+* into the enclosing open node, so every child node spans exactly its first
+* through last significant token.
+*/
+var Cursor = class {
+	#tokenizer;
+	#sourceFile;
+	#builder = new GreenNodeBuilder();
+	#diagnostics = [];
+	#offset = 0;
+	#depth = 0;
+	constructor(source) {
+		this.#tokenizer = new Tokenizer(source);
+		this.#sourceFile = new SourceFile(source);
+	}
+	get diagnostics() {
+		return this.#diagnostics;
+	}
+	get sourceFile() {
+		return this.#sourceFile;
+	}
+	peekKind(ahead = 0) {
+		return this.peekToken(ahead).kind;
+	}
+	peekToken(ahead = 0) {
+		let rawIndex = 0;
+		let remaining = ahead;
+		for (;;) {
+			const token = this.#tokenizer.peek(rawIndex);
+			if (token.kind === "Eof") return token;
+			if (TRIVIA_KINDS.has(token.kind)) {
+				rawIndex++;
+				continue;
+			}
+			if (remaining === 0) return token;
+			remaining--;
+			rawIndex++;
+		}
+	}
+	/** Span of the significant token `lookahead` positions ahead (`mark(0)` = the next). */
+	mark(lookahead = 0) {
+		let rawIndex = 0;
+		let offset = this.#offset;
+		let remaining = lookahead;
+		for (;;) {
+			const token = this.#tokenizer.peek(rawIndex);
+			if (token.kind === "Eof") return {
+				offset,
+				length: token.text.length
+			};
+			if (!TRIVIA_KINDS.has(token.kind) && remaining === 0) return {
+				offset,
+				length: token.text.length
+			};
+			if (!TRIVIA_KINDS.has(token.kind)) remaining--;
+			offset += token.text.length;
+			rawIndex++;
+		}
+	}
+	/**
+	* Zero-width mark just past the last consumed significant token — anchors an
+	* "expected here" diagnostic, e.g. the `{` missing after a declaration's name.
+	*/
+	markAfterLastToken() {
+		return {
+			offset: this.#offset,
+			length: 0
+		};
+	}
+	startNode(kind) {
+		if (this.#depth > 0) this.flushTrivia();
+		this.#builder.startNode(kind);
+		this.#depth++;
+	}
+	finishNode() {
+		this.#depth--;
+		return this.#builder.finishNode();
+	}
+	bump() {
+		this.flushTrivia();
+		const token = this.#tokenizer.peek();
+		if (token.kind === "Eof") return token;
+		this.#builder.token(token.kind, token.text);
+		this.#advance();
+		return token;
+	}
+	recoverToSyncPoint() {
+		for (;;) {
+			const token = this.#tokenizer.peek();
+			if (token.kind === "Eof" || token.kind === "Newline" || token.kind === "RBrace") return;
+			this.#builder.token(token.kind, token.text);
+			this.#advance();
+		}
+	}
+	flushTrivia() {
+		for (;;) {
+			const token = this.#tokenizer.peek();
+			if (!TRIVIA_KINDS.has(token.kind)) return;
+			this.#builder.token(token.kind, token.text);
+			this.#advance();
+		}
+	}
+	diagnostic(code, message, mark) {
+		const start = mark.offset;
+		const end = start + mark.length;
+		this.#diagnostics.push({
+			code,
+			message,
+			range: {
+				start: this.#sourceFile.positionAt(start),
+				end: this.#sourceFile.positionAt(end)
+			}
+		});
+	}
+	#advance() {
+		this.#offset += this.#tokenizer.next().text.length;
+	}
+};
+function parseIdentifier(cursor) {
+	cursor.startNode("Identifier");
+	cursor.bump();
+	cursor.finishNode();
+}
+/**
+* Returns `undefined` when the next significant token does not start a
+* recognised expression, leaving recovery to the caller.
+*/
+function parseExpression(cursor) {
+	return parseStringLiteralExpr(cursor) ?? parseNumberLiteralExpr(cursor) ?? parseArrayLiteral(cursor) ?? parseObjectLiteralExpr(cursor) ?? parseFunctionCall(cursor) ?? parseBooleanLiteralExpr(cursor) ?? parseIdentifierExpr(cursor);
+}
+function parseStringLiteralExpr(cursor) {
+	if (cursor.peekKind() !== "StringLiteral") return void 0;
+	const stringMark = cursor.mark();
+	const text = cursor.peekToken().text;
+	cursor.startNode("StringLiteralExpr");
+	cursor.bump();
+	if (!isTerminatedStringLiteral(text)) cursor.diagnostic("PSL_UNTERMINATED_STRING", "Unterminated string literal", stringMark);
+	return cursor.finishNode();
+}
+function parseNumberLiteralExpr(cursor) {
+	if (cursor.peekKind() !== "NumberLiteral") return void 0;
+	cursor.startNode("NumberLiteralExpr");
+	cursor.bump();
+	return cursor.finishNode();
+}
+/**
+* Parses a namespace-qualified name `[space ':']? Ident ('.' Ident)*`. The
+* caller guarantees a leading `Ident`.
+*
+* Parsing the whole chain up front lets a position decide
+* constructor-vs-reference by peeking exactly one token for `(`, with no scan of
+* the dotted chain's length.
+*/
+function parseQualifiedName(cursor) {
+	cursor.startNode("QualifiedName");
+	parseIdentifier(cursor);
+	parseQualifiedSegments(cursor, "Colon");
+	parseQualifiedSegments(cursor, "Dot");
+	cursor.finishNode();
+}
+/**
+* A well-formed name carries at most one colon space and one dot namespace, so
+* each separator past the first of its kind reports `PSL_INVALID_QUALIFIED_NAME`.
+* The separator is consumed regardless, keeping the lossless round-trip intact.
+*/
+function parseQualifiedSegments(cursor, separator) {
+	let seen = 0;
+	while (cursor.peekKind() === separator) {
+		seen++;
+		const separatorMark = cursor.mark();
+		cursor.bump();
+		if (seen > 1) cursor.diagnostic("PSL_INVALID_QUALIFIED_NAME", "Qualified name has too many segments", separatorMark);
+		if (cursor.peekKind() === "Ident") parseIdentifier(cursor);
+		else cursor.diagnostic("PSL_INVALID_QUALIFIED_NAME", "Qualified name is missing a name after the separator", cursor.mark());
+	}
+}
+function parseBooleanLiteralExpr(cursor) {
+	if (cursor.peekKind() !== "Ident") return void 0;
+	const text = cursor.peekToken().text;
+	if (text !== "true" && text !== "false") return void 0;
+	cursor.startNode("BooleanLiteralExpr");
+	cursor.bump();
+	return cursor.finishNode();
+}
+function parseIdentifierExpr(cursor) {
+	if (cursor.peekKind() !== "Ident") return void 0;
+	cursor.startNode("Identifier");
+	cursor.bump();
+	return cursor.finishNode();
+}
+function parseArrayLiteral(cursor) {
+	if (cursor.peekKind() !== "LBracket") return void 0;
+	cursor.startNode("ArrayLiteral");
+	cursor.bump();
+	while (cursor.peekKind() !== "RBracket" && cursor.peekKind() !== "Eof") {
+		if (!parseExpression(cursor)) break;
+		if (cursor.peekKind() === "Comma") cursor.bump();
+		else break;
+	}
+	if (cursor.peekKind() === "RBracket") cursor.bump();
+	return cursor.finishNode();
+}
+function parseObjectLiteralExpr(cursor) {
+	if (cursor.peekKind() !== "LBrace") return void 0;
+	const braceMark = cursor.mark();
+	cursor.startNode("ObjectLiteralExpr");
+	cursor.bump();
+	while (cursor.peekKind() !== "RBrace" && cursor.peekKind() !== "Eof") {
+		parseObjectField(cursor);
+		if (cursor.peekKind() === "Comma") cursor.bump();
+		else if (cursor.peekKind() === "Ident") cursor.diagnostic("PSL_INVALID_OBJECT_LITERAL", "Expected \",\" between object-literal fields", cursor.markAfterLastToken());
+		else break;
+	}
+	if (cursor.peekKind() === "RBrace") cursor.bump();
+	else cursor.diagnostic("PSL_INVALID_OBJECT_LITERAL", "Unterminated object literal", braceMark);
+	return cursor.finishNode();
+}
+function parseObjectField(cursor) {
+	cursor.startNode("ObjectField");
+	const keyMark = cursor.mark();
+	const keyText = cursor.peekToken().text;
+	if (cursor.peekKind() === "Ident") parseIdentifier(cursor);
+	else if (cursor.peekKind() === "StringLiteral") parseStringLiteralExpr(cursor);
+	if (cursor.peekKind() === "Colon") {
+		cursor.bump();
+		if (!parseExpression(cursor)) cursor.diagnostic("PSL_INVALID_OBJECT_LITERAL", "Expected a value after \":\"", cursor.mark());
+	} else {
+		cursor.diagnostic("PSL_INVALID_OBJECT_LITERAL", `Expected ":" after "${keyText}"`, keyMark);
+		if (!(cursor.peekKind() === "Ident" && cursor.peekKind(1) === "Colon")) parseExpression(cursor);
+	}
+	return cursor.finishNode();
+}
+/**
+* Whether the next tokens open a call: a bare `Ident(` or a namespace-qualified
+* `Ident.Ident(`. The lookahead is deliberately bounded so a bare dotted
+* reference like `a.b` is not mistaken for a call, rather than scanning an
+* unbounded dotted chain ahead to find the paren.
+*/
+function isCallAhead(cursor) {
+	if (cursor.peekKind() !== "Ident") return false;
+	if (cursor.peekKind(1) === "LParen") return true;
+	return cursor.peekKind(1) === "Dot" && cursor.peekKind(2) === "Ident" && cursor.peekKind(3) === "LParen";
+}
+/**
+* Parses a function/constructor call — bare `autoincrement()` or qualified
+* `temporal.updatedAt()`. Returns `undefined` unless {@link isCallAhead}
+* confirms a trailing `(`, so the `parseExpression` chain falls through to the
+* boolean and bare-identifier forms.
+*/
+function parseFunctionCall(cursor) {
+	if (!isCallAhead(cursor)) return void 0;
+	cursor.startNode("FunctionCall");
+	parseQualifiedName(cursor);
+	if (cursor.peekKind() === "LParen") parseParenArgs(cursor);
+	return cursor.finishNode();
+}
+/** Parses a parenthesised, comma-separated `AttributeArg` list into the currently open node. */
+function parseParenArgs(cursor) {
+	cursor.bump();
+	while (cursor.peekKind() !== "RParen" && cursor.peekKind() !== "Eof") {
+		parseAttributeArg(cursor);
+		if (cursor.peekKind() === "Comma") cursor.bump();
+		else break;
+	}
+	if (cursor.peekKind() === "RParen") cursor.bump();
+}
+function parseAttributeArg(cursor) {
+	const kind = cursor.peekKind();
+	if (kind !== "Ident" && kind !== "StringLiteral" && kind !== "NumberLiteral" && kind !== "LBracket" && kind !== "LBrace") return;
+	cursor.startNode("AttributeArg");
+	if (cursor.peekKind() === "Ident" && cursor.peekKind(1) === "Colon") {
+		parseIdentifier(cursor);
+		cursor.bump();
+	}
+	parseArgValue(cursor);
+	cursor.finishNode();
+}
+function parseArgValue(cursor) {
+	parseExpression(cursor);
+}
+function parseAttributeArgList(cursor) {
+	cursor.startNode("AttributeArgList");
+	parseParenArgs(cursor);
+	return cursor.finishNode();
+}
+function parseAttribute(cursor) {
+	const isBlockAttribute = cursor.peekKind() === "DoubleAt";
+	const attributeMark = cursor.mark();
+	cursor.startNode(isBlockAttribute ? "ModelAttribute" : "FieldAttribute");
+	cursor.bump();
+	if (cursor.peekKind() === "Ident") parseQualifiedName(cursor);
+	else cursor.diagnostic("PSL_INVALID_ATTRIBUTE_SYNTAX", "Attribute name expected", attributeMark);
+	if (cursor.peekKind() === "LParen") parseAttributeArgList(cursor);
+	return cursor.finishNode();
+}
+/**
+* A type annotation: `QualifiedName (argList)? ([])? (?)?`, e.g.
+* `pgvector.Vector(1536)[]?`. When the field has no type, no node is emitted —
+* a missing type is the absence of a `TypeAnnotation`, not a zero-width one.
+*/
+function parseTypeAnnotation(cursor) {
+	const kind = cursor.peekKind();
+	if (kind !== "Ident" && kind !== "LBracket" && kind !== "Question") return;
+	cursor.startNode("TypeAnnotation");
+	if (cursor.peekKind() === "Ident") {
+		parseQualifiedName(cursor);
+		if (cursor.peekKind() === "LParen") parseAttributeArgList(cursor);
+	}
+	if (cursor.peekKind() === "LBracket") {
+		cursor.bump();
+		if (cursor.peekKind() === "RBracket") cursor.bump();
+	}
+	if (cursor.peekKind() === "Question") cursor.bump();
+	cursor.finishNode();
+}
+/**
+* Parses a full PSL document. Never throws — malformed input yields diagnostics
+* and a recovered tree, not an exception.
+*/
+function parse(source) {
+	const cursor = new Cursor(source);
+	const root = createSyntaxTree(parseDocument(cursor));
+	return {
+		document: DocumentAst.cast(root) ?? new DocumentAst(root),
+		diagnostics: cursor.diagnostics,
+		sourceFile: cursor.sourceFile
+	};
+}
+function parseDocument(cursor) {
+	cursor.startNode("Document");
+	while (cursor.peekKind() !== "Eof") parseDeclaration(cursor, false);
+	cursor.flushTrivia();
+	return cursor.finishNode();
+}
+const RESERVED_BLOCK_KEYWORDS = /* @__PURE__ */ new Set([
+	"model",
+	"namespace",
+	"type",
+	"types"
+]);
+function keywordIs(cursor, keyword) {
+	return cursor.peekKind() === "Ident" && cursor.peekToken().text === keyword;
+}
+/**
+* Each alternative is a no-op on non-match, consuming nothing, so the
+* forward-only cursor is never left half-consumed by a rejected alternative.
+* Recovery runs via the `if (!node)` tail rather than as a `??` arm, because it
+* appends raw tokens to the open parent instead of returning a child node.
+*/
+function parseDeclaration(cursor, insideNamespace) {
+	const name = cursor.peekKind(1) === "Ident" ? cursor.peekToken(1).text : "";
+	if (insideNamespace && keywordIs(cursor, "namespace")) cursor.diagnostic("PSL_INVALID_NAMESPACE_BLOCK", `Recursive "namespace ${name}" block is not allowed; namespace blocks may not nest`, cursor.mark());
+	else if (insideNamespace && keywordIs(cursor, "types")) cursor.diagnostic("PSL_INVALID_NAMESPACE_BLOCK", "`types` blocks must be declared at the document top level, not inside a namespace block", cursor.mark());
+	else if (keywordIs(cursor, "namespace") && name === UNSPECIFIED_PSL_NAMESPACE_ID) cursor.diagnostic("PSL_INVALID_NAMESPACE_BLOCK", `Namespace name "${UNSPECIFIED_PSL_NAMESPACE_ID}" is reserved for the parser-synthesised bucket for top-level declarations`, cursor.mark(1));
+	if (!(parseModel(cursor) ?? parseNamespace(cursor) ?? parseCompositeType(cursor) ?? parseTypesBlock(cursor) ?? parseGenericBlock(cursor))) parseUnsupportedTopLevel(cursor);
+}
+/**
+* Reports only the first missing piece — a missing name suppresses the
+* missing-brace diagnostic. `nameRequired` is false only for the `types` block.
+*/
+function parseBlock(cursor, kind, nameRequired, parseMember) {
+	const keyword = cursor.peekToken().text;
+	const keywordMark = cursor.mark();
+	cursor.startNode(kind);
+	cursor.bump();
+	const hasName = nameRequired && cursor.peekKind() === "Ident";
+	if (hasName) parseIdentifier(cursor);
+	if (nameRequired && !hasName) cursor.diagnostic("PSL_INVALID_DECLARATION", `Expected a name after "${keyword}"`, keywordMark);
+	else if (cursor.peekKind() !== "LBrace") cursor.diagnostic("PSL_INVALID_DECLARATION", `Expected "{" to open the "${keyword}" block`, cursor.markAfterLastToken());
+	if (cursor.peekKind() === "LBrace") parseBlockBody(cursor, parseMember);
+	else cursor.recoverToSyncPoint();
+	return cursor.finishNode();
+}
+function parseModel(cursor) {
+	if (!keywordIs(cursor, "model")) return void 0;
+	return parseBlock(cursor, "ModelDeclaration", true, parseModelMember);
+}
+/**
+* Excluding the reserved keywords keeps a malformed reserved block (e.g. `model
+* {` with no name) routed to its dedicated parser. The generic keyword set is
+* open, so a bare identifier with no brace (e.g. `oops`) is read as an unfinished
+* custom declaration rather than unsupported content.
+*/
+function parseGenericBlock(cursor) {
+	if (cursor.peekKind() !== "Ident") return void 0;
+	const keyword = cursor.peekToken().text;
+	if (RESERVED_BLOCK_KEYWORDS.has(keyword)) return void 0;
+	const hasName = cursor.peekKind(1) === "Ident" && cursor.peekKind(2) === "LBrace";
+	cursor.startNode("GenericBlockDeclaration");
+	cursor.bump();
+	if (hasName) parseIdentifier(cursor);
+	if (cursor.peekKind() === "LBrace") parseBlockBody(cursor, parseKeyValueMember);
+	else {
+		cursor.diagnostic("PSL_INVALID_DECLARATION", `Expected "{" to open the "${keyword}" block`, cursor.markAfterLastToken());
+		cursor.recoverToSyncPoint();
+	}
+	return cursor.finishNode();
+}
+function parseNamespace(cursor) {
+	if (!keywordIs(cursor, "namespace")) return void 0;
+	return parseBlock(cursor, "Namespace", true, (inner) => parseDeclaration(inner, true));
+}
+function parseCompositeType(cursor) {
+	if (!keywordIs(cursor, "type")) return void 0;
+	return parseBlock(cursor, "CompositeTypeDeclaration", true, parseModelMember);
+}
+/** `types` (plural) is the no-name types block; the singular `type` is the composite type above. */
+function parseTypesBlock(cursor) {
+	if (!keywordIs(cursor, "types")) return void 0;
+	return parseBlock(cursor, "TypesBlock", false, parseNamedTypeMember);
+}
+/** Every `parseMember` consumes at least one significant token, so the loop always terminates. */
+function parseBlockBody(cursor, parseMember) {
+	const braceMark = cursor.mark();
+	cursor.bump();
+	for (;;) {
+		const kind = cursor.peekKind();
+		if (kind === "RBrace" || kind === "Eof") break;
+		parseMember(cursor);
+	}
+	if (cursor.peekKind() === "RBrace") cursor.bump();
+	else cursor.diagnostic("PSL_UNTERMINATED_BLOCK", "Unterminated block declaration", braceMark);
+}
+function parseUnsupportedTopLevel(cursor) {
+	const offending = cursor.peekToken().text;
+	const message = cursor.peekKind(1) === "LBrace" ? `Unsupported top-level block "${offending}"` : `Unsupported top-level declaration "${offending}"`;
+	cursor.diagnostic("PSL_UNSUPPORTED_TOP_LEVEL_BLOCK", message, cursor.mark());
+	cursor.bump();
+	cursor.recoverToSyncPoint();
+}
+/**
+* Matches a leading `@@` block attribute, a no-op otherwise. Single-`@`
+* attributes belong to fields and are parsed inside `parseField`.
+*/
+function parseBlockAttribute(cursor) {
+	if (cursor.peekKind() !== "DoubleAt") return void 0;
+	return parseAttribute(cursor);
+}
+function parseModelMember(cursor) {
+	if (!(parseBlockAttribute(cursor) ?? parseField(cursor))) invalidMember(cursor, "PSL_INVALID_MODEL_MEMBER", `Invalid model member declaration "${cursor.peekToken().text}"`);
+}
+function parseNamedTypeMember(cursor) {
+	if (!parseNamedType(cursor)) invalidMember(cursor, "PSL_INVALID_TYPES_MEMBER", `Invalid types declaration "${cursor.peekToken().text}"`);
+}
+/**
+* A generic-block member is either a `@@`-block attribute or a `key = value`
+* entry. The block-attribute alternative is purely syntactic — it does not judge
+* whether the attribute is valid for the block's kind.
+*/
+function parseKeyValueMember(cursor) {
+	if (!(parseBlockAttribute(cursor) ?? parseKeyValue(cursor))) invalidMember(cursor, "PSL_INVALID_EXTENSION_BLOCK_MEMBER", "Invalid block entry");
+}
+function invalidMember(cursor, code, message) {
+	cursor.diagnostic(code, message, cursor.mark());
+	cursor.bump();
+	cursor.recoverToSyncPoint();
+}
+function parseField(cursor) {
+	if (cursor.peekKind() !== "Ident") return void 0;
+	cursor.startNode("FieldDeclaration");
+	const nameMark = cursor.mark();
+	const nameText = cursor.peekToken().text;
+	parseIdentifier(cursor);
+	if (cursor.peekKind() !== "Ident") cursor.diagnostic("PSL_INVALID_MODEL_MEMBER", `Expected a type after field "${nameText}"`, nameMark);
+	parseTypeAnnotation(cursor);
+	while (cursor.peekKind() === "At") parseAttribute(cursor);
+	return cursor.finishNode();
+}
+function parseNamedType(cursor) {
+	if (cursor.peekKind() !== "Ident") return void 0;
+	cursor.startNode("NamedTypeDeclaration");
+	const nameMark = cursor.mark();
+	const nameText = cursor.peekToken().text;
+	parseIdentifier(cursor);
+	if (cursor.peekKind() === "Equals") cursor.bump();
+	else cursor.diagnostic("PSL_INVALID_TYPES_MEMBER", `Expected "=" after "${nameText}"`, nameMark);
+	parseTypeAnnotation(cursor);
+	while (cursor.peekKind() === "At") parseAttribute(cursor);
+	return cursor.finishNode();
+}
+/**
+* A generic-block entry is either `key = value` or a bare `key` (committing a
+* `KeyValuePair` carrying only the key). A `key =` with no following expression
+* is flagged.
+*/
+function parseKeyValue(cursor) {
+	if (cursor.peekKind() !== "Ident") return void 0;
+	cursor.startNode("KeyValuePair");
+	parseIdentifier(cursor);
+	if (cursor.peekKind() === "Equals") {
+		cursor.bump();
+		if (!parseExpression(cursor)) cursor.diagnostic("PSL_INVALID_EXTENSION_BLOCK_MEMBER", "Expected a value after \"=\"", cursor.mark());
+	}
+	return cursor.finishNode();
+}
+//#endregion
+export { SourceFile as a, greenToken as i, GreenNodeBuilder as n, greenNode as r, parse as t };
+
+//# sourceMappingURL=parse-BNNJimVn.mjs.map

dist/parse-BNNJimVn.mjs.map

+{"version":3,"file":"parse-BNNJimVn.mjs","names":["#text","#lineStarts","#lineIndexAt","#lineStartAt","#lineEndAt","#stack","#tokenizer","#sourceFile","#builder","#diagnostics","#offset","#depth","#advance"],"sources":["../src/source-file.ts","../src/syntax/green.ts","../src/syntax/green-builder.ts","../src/parse.ts"],"sourcesContent":["const CARRIAGE_RETURN = 13;\nconst LINE_FEED = 10;\n\nexport interface Position {\n  readonly line: number;\n  readonly character: number;\n}\n\nexport interface Range {\n  readonly start: Position;\n  readonly end: Position;\n}\n\nexport class SourceFile {\n  readonly #text: string;\n  readonly #lineStarts: readonly number[];\n\n  constructor(text: string) {\n    this.#text = text;\n    const lineStarts: number[] = [0];\n    for (let offset = 0; offset < text.length; offset++) {\n      if (text.charCodeAt(offset) === LINE_FEED) {\n        lineStarts.push(offset + 1);\n      }\n    }\n    this.#lineStarts = lineStarts;\n  }\n\n  get text(): string {\n    return this.#text;\n  }\n\n  get length(): number {\n    return this.#text.length;\n  }\n\n  get lineCount(): number {\n    return this.#lineStarts.length;\n  }\n\n  lineStartOffsets(): readonly number[] {\n    return this.#lineStarts;\n  }\n\n  lineStartOffset(line: number): number {\n    if (line <= 0) {\n      return 0;\n    }\n    return this.#lineStarts[line] ?? this.#text.length;\n  }\n\n  lineEndOffset(line: number): number {\n    if (line < 0) {\n      return 0;\n    }\n\n    const nextLineStart = this.#lineStarts[line + 1];\n    if (nextLineStart === undefined) {\n      return this.#text.length;\n    }\n\n    const lineFeedOffset = nextLineStart - 1;\n    const carriageReturnOffset = lineFeedOffset - 1;\n    return this.#text.charCodeAt(carriageReturnOffset) === CARRIAGE_RETURN\n      ? carriageReturnOffset\n      : lineFeedOffset;\n  }\n\n  positionAt(offset: number): Position {\n    const clamped = clamp(offset, 0, this.#text.length);\n    const line = this.#lineIndexAt(clamped);\n    return { line, character: clamped - this.#lineStartAt(line) };\n  }\n\n  offsetAt(position: Position): number {\n    const line = clamp(position.line, 0, this.#lineStarts.length - 1);\n    const lineStart = this.#lineStartAt(line);\n    const lineEnd = this.#lineEndAt(line);\n    return clamp(lineStart + position.character, lineStart, lineEnd);\n  }\n\n  #lineStartAt(line: number): number {\n    return this.#lineStarts[line] ?? 0;\n  }\n\n  #lineEndAt(line: number): number {\n    return line + 1 < this.#lineStarts.length ? this.#lineStartAt(line + 1) - 1 : this.#text.length;\n  }\n\n  #lineIndexAt(offset: number): number {\n    const lineStarts = this.#lineStarts;\n    let low = 0;\n    let high = lineStarts.length - 1;\n    while (low < high) {\n      const mid = (low + high + 1) >>> 1;\n      if ((lineStarts[mid] ?? 0) <= offset) {\n        low = mid;\n      } else {\n        high = mid - 1;\n      }\n    }\n    return low;\n  }\n}\n\nfunction clamp(value: number, min: number, max: number): number {\n  if (value < min) {\n    return min;\n  }\n  if (value > max) {\n    return max;\n  }\n  return value;\n}\n","import type { TokenKind } from '../tokenizer';\nimport type { SyntaxKind } from './syntax-kind';\n\nexport interface GreenToken {\n  readonly type: 'token';\n  readonly kind: TokenKind;\n  readonly text: string;\n}\n\nexport interface GreenNode {\n  readonly type: 'node';\n  readonly kind: SyntaxKind;\n  readonly children: ReadonlyArray<GreenElement>;\n  readonly textLength: number;\n}\n\nexport type GreenElement = GreenNode | GreenToken;\n\nexport function greenToken(kind: TokenKind, text: string): GreenToken {\n  return { type: 'token', kind, text };\n}\n\nexport function greenNode(kind: SyntaxKind, children: ReadonlyArray<GreenElement>): GreenNode {\n  let textLength = 0;\n  for (const child of children) {\n    textLength += child.type === 'token' ? child.text.length : child.textLength;\n  }\n  return { type: 'node', kind, children, textLength };\n}\n","import { InternalError } from '@prisma-next/utils/internal-error';\nimport type { TokenKind } from '../tokenizer';\nimport type { GreenElement, GreenNode } from './green';\nimport { greenNode, greenToken } from './green';\nimport type { SyntaxKind } from './syntax-kind';\n\nexport class GreenNodeBuilder {\n  readonly #stack: Array<{ kind: SyntaxKind; children: GreenElement[] }> = [];\n\n  startNode(kind: SyntaxKind): void {\n    this.#stack.push({ kind, children: [] });\n  }\n\n  token(kind: TokenKind, text: string): void {\n    const current = this.#stack.at(-1);\n    if (!current) {\n      throw new InternalError('GreenNodeBuilder: token() called with no open node');\n    }\n    current.children.push(greenToken(kind, text));\n  }\n\n  finishNode(): GreenNode {\n    const completed = this.#stack.pop();\n    if (!completed) {\n      throw new InternalError('GreenNodeBuilder: finishNode() called with no open node');\n    }\n    const node = greenNode(completed.kind, completed.children);\n    const parent = this.#stack.at(-1);\n    if (parent) {\n      parent.children.push(node);\n    }\n    return node;\n  }\n}\n","import type { PslDiagnosticCode } from '@prisma-next/framework-components/psl-ast';\nimport { UNSPECIFIED_PSL_NAMESPACE_ID } from '@prisma-next/framework-components/psl-ast';\nimport { type Range, SourceFile } from './source-file';\nimport { DocumentAst } from './syntax/ast/declarations';\nimport type { GreenNode } from './syntax/green';\nimport { GreenNodeBuilder } from './syntax/green-builder';\nimport { createSyntaxTree } from './syntax/red';\nimport type { SyntaxKind } from './syntax/syntax-kind';\nimport { isTerminatedStringLiteral, type Token, Tokenizer, type TokenKind } from './tokenizer';\n\nexport interface ParseDiagnostic {\n  readonly code: PslDiagnosticCode;\n  readonly message: string;\n  readonly range: Range;\n}\n\nexport interface ParseResult {\n  readonly document: DocumentAst;\n  readonly diagnostics: readonly ParseDiagnostic[];\n  readonly sourceFile: SourceFile;\n}\n\nconst TRIVIA_KINDS: ReadonlySet<TokenKind> = new Set<TokenKind>([\n  'Whitespace',\n  'Newline',\n  'Comment',\n]);\n\n/**\n * The source span of a token, captured eagerly so it stays valid after the\n * cursor advances past the token it points at.\n */\nexport interface DiagnosticMark {\n  readonly offset: number;\n  readonly length: number;\n}\n\n/**\n * The fault-tolerant parser substrate the grammars drive. Trivia is flushed\n * into the enclosing open node, so every child node spans exactly its first\n * through last significant token.\n */\nexport class Cursor {\n  readonly #tokenizer: Tokenizer;\n  readonly #sourceFile: SourceFile;\n  readonly #builder = new GreenNodeBuilder();\n  readonly #diagnostics: ParseDiagnostic[] = [];\n  #offset = 0;\n  #depth = 0;\n\n  constructor(source: string) {\n    this.#tokenizer = new Tokenizer(source);\n    this.#sourceFile = new SourceFile(source);\n  }\n\n  get diagnostics(): readonly ParseDiagnostic[] {\n    return this.#diagnostics;\n  }\n\n  get sourceFile(): SourceFile {\n    return this.#sourceFile;\n  }\n\n  peekKind(ahead = 0): TokenKind {\n    return this.peekToken(ahead).kind;\n  }\n\n  peekToken(ahead = 0): Token {\n    let rawIndex = 0;\n    let remaining = ahead;\n    for (;;) {\n      const token = this.#tokenizer.peek(rawIndex);\n      if (token.kind === 'Eof') return token;\n      if (TRIVIA_KINDS.has(token.kind)) {\n        rawIndex++;\n        continue;\n      }\n      if (remaining === 0) return token;\n      remaining--;\n      rawIndex++;\n    }\n  }\n\n  /** Span of the significant token `lookahead` positions ahead (`mark(0)` = the next). */\n  mark(lookahead = 0): DiagnosticMark {\n    let rawIndex = 0;\n    let offset = this.#offset;\n    let remaining = lookahead;\n    for (;;) {\n      const token = this.#tokenizer.peek(rawIndex);\n      if (token.kind === 'Eof') {\n        return { offset, length: token.text.length };\n      }\n      if (!TRIVIA_KINDS.has(token.kind) && remaining === 0) {\n        return { offset, length: token.text.length };\n      }\n      if (!TRIVIA_KINDS.has(token.kind)) {\n        remaining--;\n      }\n      offset += token.text.length;\n      rawIndex++;\n    }\n  }\n\n  /**\n   * Zero-width mark just past the last consumed significant token — anchors an\n   * \"expected here\" diagnostic, e.g. the `{` missing after a declaration's name.\n   */\n  markAfterLastToken(): DiagnosticMark {\n    return { offset: this.#offset, length: 0 };\n  }\n\n  startNode(kind: SyntaxKind): void {\n    if (this.#depth > 0) {\n      this.flushTrivia();\n    }\n    this.#builder.startNode(kind);\n    this.#depth++;\n  }\n\n  finishNode(): GreenNode {\n    this.#depth--;\n    return this.#builder.finishNode();\n  }\n\n  bump(): Token {\n    this.flushTrivia();\n    const token = this.#tokenizer.peek();\n    if (token.kind === 'Eof') return token;\n    this.#builder.token(token.kind, token.text);\n    this.#advance();\n    return token;\n  }\n\n  recoverToSyncPoint(): void {\n    for (;;) {\n      const token = this.#tokenizer.peek();\n      if (token.kind === 'Eof' || token.kind === 'Newline' || token.kind === 'RBrace') {\n        return;\n      }\n      this.#builder.token(token.kind, token.text);\n      this.#advance();\n    }\n  }\n\n  flushTrivia(): void {\n    for (;;) {\n      const token = this.#tokenizer.peek();\n      if (!TRIVIA_KINDS.has(token.kind)) return;\n      this.#builder.token(token.kind, token.text);\n      this.#advance();\n    }\n  }\n\n  diagnostic(code: PslDiagnosticCode, message: string, mark: DiagnosticMark): void {\n    const start = mark.offset;\n    const end = start + mark.length;\n    this.#diagnostics.push({\n      code,\n      message,\n      range: {\n        start: this.#sourceFile.positionAt(start),\n        end: this.#sourceFile.positionAt(end),\n      },\n    });\n  }\n\n  #advance(): void {\n    this.#offset += this.#tokenizer.next().text.length;\n  }\n}\n\nfunction parseIdentifier(cursor: Cursor): void {\n  cursor.startNode('Identifier');\n  cursor.bump();\n  cursor.finishNode();\n}\n\n/**\n * Returns `undefined` when the next significant token does not start a\n * recognised expression, leaving recovery to the caller.\n */\nexport function parseExpression(cursor: Cursor): GreenNode | undefined {\n  return (\n    parseStringLiteralExpr(cursor) ??\n    parseNumberLiteralExpr(cursor) ??\n    parseArrayLiteral(cursor) ??\n    parseObjectLiteralExpr(cursor) ??\n    parseFunctionCall(cursor) ??\n    parseBooleanLiteralExpr(cursor) ??\n    parseIdentifierExpr(cursor)\n  );\n}\n\nexport function parseStringLiteralExpr(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'StringLiteral') return undefined;\n  const stringMark = cursor.mark();\n  const text = cursor.peekToken().text;\n  cursor.startNode('StringLiteralExpr');\n  cursor.bump();\n  if (!isTerminatedStringLiteral(text)) {\n    cursor.diagnostic('PSL_UNTERMINATED_STRING', 'Unterminated string literal', stringMark);\n  }\n  return cursor.finishNode();\n}\n\nexport function parseNumberLiteralExpr(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'NumberLiteral') return undefined;\n  cursor.startNode('NumberLiteralExpr');\n  cursor.bump();\n  return cursor.finishNode();\n}\n\n/**\n * Parses a namespace-qualified name `[space ':']? Ident ('.' Ident)*`. The\n * caller guarantees a leading `Ident`.\n *\n * Parsing the whole chain up front lets a position decide\n * constructor-vs-reference by peeking exactly one token for `(`, with no scan of\n * the dotted chain's length.\n */\nexport function parseQualifiedName(cursor: Cursor): void {\n  cursor.startNode('QualifiedName');\n  parseIdentifier(cursor); // first segment: the space, namespace, or bare name\n  parseQualifiedSegments(cursor, 'Colon');\n  parseQualifiedSegments(cursor, 'Dot');\n  cursor.finishNode();\n}\n\n/**\n * A well-formed name carries at most one colon space and one dot namespace, so\n * each separator past the first of its kind reports `PSL_INVALID_QUALIFIED_NAME`.\n * The separator is consumed regardless, keeping the lossless round-trip intact.\n */\nfunction parseQualifiedSegments(cursor: Cursor, separator: 'Colon' | 'Dot'): void {\n  let seen = 0;\n  while (cursor.peekKind() === separator) {\n    seen++;\n    const separatorMark = cursor.mark();\n    cursor.bump();\n    if (seen > 1) {\n      cursor.diagnostic(\n        'PSL_INVALID_QUALIFIED_NAME',\n        'Qualified name has too many segments',\n        separatorMark,\n      );\n    }\n    if (cursor.peekKind() === 'Ident') {\n      parseIdentifier(cursor);\n    } else {\n      cursor.diagnostic(\n        'PSL_INVALID_QUALIFIED_NAME',\n        'Qualified name is missing a name after the separator',\n        cursor.mark(),\n      );\n    }\n  }\n}\n\n// Ordering among the `Ident`-leading alternatives is load-bearing: the\n// `LParen`/`Dot` lookahead of `parseCall` must win before the boolean check, so\n// `true(` stays a function call named `true` rather than a boolean literal.\nexport function parseBooleanLiteralExpr(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  const text = cursor.peekToken().text;\n  if (text !== 'true' && text !== 'false') return undefined;\n  cursor.startNode('BooleanLiteralExpr');\n  cursor.bump();\n  return cursor.finishNode();\n}\n\nexport function parseIdentifierExpr(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  cursor.startNode('Identifier');\n  cursor.bump();\n  return cursor.finishNode();\n}\n\nexport function parseArrayLiteral(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'LBracket') return undefined;\n  cursor.startNode('ArrayLiteral');\n  cursor.bump();\n  while (cursor.peekKind() !== 'RBracket' && cursor.peekKind() !== 'Eof') {\n    const element = parseExpression(cursor);\n    if (!element) break;\n    if (cursor.peekKind() === 'Comma') {\n      cursor.bump();\n    } else {\n      break;\n    }\n  }\n  if (cursor.peekKind() === 'RBracket') {\n    cursor.bump();\n  }\n  return cursor.finishNode();\n}\n\nexport function parseObjectLiteralExpr(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'LBrace') return undefined;\n  const braceMark = cursor.mark();\n  cursor.startNode('ObjectLiteralExpr');\n  cursor.bump();\n  while (cursor.peekKind() !== 'RBrace' && cursor.peekKind() !== 'Eof') {\n    parseObjectField(cursor);\n    if (cursor.peekKind() === 'Comma') {\n      cursor.bump();\n    } else if (cursor.peekKind() === 'Ident') {\n      // A following identifier key with no comma re-enters the loop; the next\n      // parseObjectField consumes ≥1 token, so progress is guaranteed.\n      cursor.diagnostic(\n        'PSL_INVALID_OBJECT_LITERAL',\n        'Expected \",\" between object-literal fields',\n        cursor.markAfterLastToken(),\n      );\n    } else {\n      break;\n    }\n  }\n  if (cursor.peekKind() === 'RBrace') {\n    cursor.bump();\n  } else {\n    cursor.diagnostic('PSL_INVALID_OBJECT_LITERAL', 'Unterminated object literal', braceMark);\n  }\n  return cursor.finishNode();\n}\n\nexport function parseObjectField(cursor: Cursor): GreenNode {\n  cursor.startNode('ObjectField');\n  const keyMark = cursor.mark();\n  const keyText = cursor.peekToken().text;\n  if (cursor.peekKind() === 'Ident') {\n    parseIdentifier(cursor);\n  } else if (cursor.peekKind() === 'StringLiteral') {\n    // A string-literal key (e.g. `{ \"length\": 35 }`) is accepted; its logical\n    // name is the unquoted string.\n    parseStringLiteralExpr(cursor);\n  }\n  if (cursor.peekKind() === 'Colon') {\n    cursor.bump(); // Colon\n    const value = parseExpression(cursor);\n    if (!value) {\n      cursor.diagnostic('PSL_INVALID_OBJECT_LITERAL', 'Expected a value after \":\"', cursor.mark());\n    }\n  } else {\n    cursor.diagnostic('PSL_INVALID_OBJECT_LITERAL', `Expected \":\" after \"${keyText}\"`, keyMark);\n    const followsWithKey = cursor.peekKind() === 'Ident' && cursor.peekKind(1) === 'Colon';\n    if (!followsWithKey) {\n      parseExpression(cursor); // best-effort: consume a value if one follows\n    }\n  }\n  return cursor.finishNode();\n}\n\n/**\n * Whether the next tokens open a call: a bare `Ident(` or a namespace-qualified\n * `Ident.Ident(`. The lookahead is deliberately bounded so a bare dotted\n * reference like `a.b` is not mistaken for a call, rather than scanning an\n * unbounded dotted chain ahead to find the paren.\n */\nfunction isCallAhead(cursor: Cursor): boolean {\n  if (cursor.peekKind() !== 'Ident') return false;\n  if (cursor.peekKind(1) === 'LParen') return true;\n  return (\n    cursor.peekKind(1) === 'Dot' &&\n    cursor.peekKind(2) === 'Ident' &&\n    cursor.peekKind(3) === 'LParen'\n  );\n}\n\n/**\n * Parses a function/constructor call — bare `autoincrement()` or qualified\n * `temporal.updatedAt()`. Returns `undefined` unless {@link isCallAhead}\n * confirms a trailing `(`, so the `parseExpression` chain falls through to the\n * boolean and bare-identifier forms.\n */\nexport function parseFunctionCall(cursor: Cursor): GreenNode | undefined {\n  if (!isCallAhead(cursor)) return undefined;\n  cursor.startNode('FunctionCall');\n  parseQualifiedName(cursor);\n  if (cursor.peekKind() === 'LParen') {\n    parseParenArgs(cursor);\n  }\n  return cursor.finishNode();\n}\n\n/** Parses a parenthesised, comma-separated `AttributeArg` list into the currently open node. */\nfunction parseParenArgs(cursor: Cursor): void {\n  cursor.bump();\n  while (cursor.peekKind() !== 'RParen' && cursor.peekKind() !== 'Eof') {\n    parseAttributeArg(cursor);\n    if (cursor.peekKind() === 'Comma') {\n      cursor.bump();\n    } else {\n      break;\n    }\n  }\n  if (cursor.peekKind() === 'RParen') {\n    cursor.bump();\n  }\n}\n\nexport function parseAttributeArg(cursor: Cursor): void {\n  const kind = cursor.peekKind();\n  if (\n    kind !== 'Ident' &&\n    kind !== 'StringLiteral' &&\n    kind !== 'NumberLiteral' &&\n    kind !== 'LBracket' &&\n    kind !== 'LBrace'\n  ) {\n    return;\n  }\n  cursor.startNode('AttributeArg');\n  if (cursor.peekKind() === 'Ident' && cursor.peekKind(1) === 'Colon') {\n    parseIdentifier(cursor);\n    cursor.bump();\n  }\n  parseArgValue(cursor);\n  cursor.finishNode();\n}\n\nfunction parseArgValue(cursor: Cursor): void {\n  parseExpression(cursor);\n}\n\nexport function parseAttributeArgList(cursor: Cursor): GreenNode {\n  cursor.startNode('AttributeArgList');\n  parseParenArgs(cursor);\n  return cursor.finishNode();\n}\n\nexport function parseAttribute(cursor: Cursor): GreenNode {\n  const isBlockAttribute = cursor.peekKind() === 'DoubleAt';\n  const attributeMark = cursor.mark();\n  cursor.startNode(isBlockAttribute ? 'ModelAttribute' : 'FieldAttribute');\n  cursor.bump();\n  if (cursor.peekKind() === 'Ident') {\n    parseQualifiedName(cursor);\n  } else {\n    cursor.diagnostic('PSL_INVALID_ATTRIBUTE_SYNTAX', 'Attribute name expected', attributeMark);\n  }\n  if (cursor.peekKind() === 'LParen') {\n    parseAttributeArgList(cursor);\n  }\n  return cursor.finishNode();\n}\n\n/**\n * A type annotation: `QualifiedName (argList)? ([])? (?)?`, e.g.\n * `pgvector.Vector(1536)[]?`. When the field has no type, no node is emitted —\n * a missing type is the absence of a `TypeAnnotation`, not a zero-width one.\n */\nexport function parseTypeAnnotation(cursor: Cursor): void {\n  const kind = cursor.peekKind();\n  if (kind !== 'Ident' && kind !== 'LBracket' && kind !== 'Question') {\n    return;\n  }\n  cursor.startNode('TypeAnnotation');\n  if (cursor.peekKind() === 'Ident') {\n    parseQualifiedName(cursor);\n    if (cursor.peekKind() === 'LParen') {\n      parseAttributeArgList(cursor);\n    }\n  }\n  if (cursor.peekKind() === 'LBracket') {\n    cursor.bump();\n    if (cursor.peekKind() === 'RBracket') {\n      cursor.bump();\n    }\n  }\n  if (cursor.peekKind() === 'Question') {\n    cursor.bump();\n  }\n  cursor.finishNode();\n}\n\ntype MemberParser = (cursor: Cursor) => void;\n\n/**\n * Parses a full PSL document. Never throws — malformed input yields diagnostics\n * and a recovered tree, not an exception.\n */\nexport function parse(source: string): ParseResult {\n  const cursor = new Cursor(source);\n  const green = parseDocument(cursor);\n  const root = createSyntaxTree(green);\n  const document = DocumentAst.cast(root) ?? new DocumentAst(root);\n  return { document, diagnostics: cursor.diagnostics, sourceFile: cursor.sourceFile };\n}\n\nfunction parseDocument(cursor: Cursor): GreenNode {\n  cursor.startNode('Document');\n  while (cursor.peekKind() !== 'Eof') {\n    parseDeclaration(cursor, false);\n  }\n  cursor.flushTrivia(); // attach trailing trivia so the round-trip stays lossless\n  return cursor.finishNode();\n}\n\nconst RESERVED_BLOCK_KEYWORDS: ReadonlySet<string> = new Set([\n  'model',\n  'namespace',\n  'type',\n  'types',\n]);\n\nfunction keywordIs(cursor: Cursor, keyword: string): boolean {\n  return cursor.peekKind() === 'Ident' && cursor.peekToken().text === keyword;\n}\n\n/**\n * Each alternative is a no-op on non-match, consuming nothing, so the\n * forward-only cursor is never left half-consumed by a rejected alternative.\n * Recovery runs via the `if (!node)` tail rather than as a `??` arm, because it\n * appends raw tokens to the open parent instead of returning a child node.\n */\nfunction parseDeclaration(cursor: Cursor, insideNamespace: boolean): void {\n  const name = cursor.peekKind(1) === 'Ident' ? cursor.peekToken(1).text : '';\n  if (insideNamespace && keywordIs(cursor, 'namespace')) {\n    cursor.diagnostic(\n      'PSL_INVALID_NAMESPACE_BLOCK',\n      `Recursive \"namespace ${name}\" block is not allowed; namespace blocks may not nest`,\n      cursor.mark(),\n    );\n  } else if (insideNamespace && keywordIs(cursor, 'types')) {\n    cursor.diagnostic(\n      'PSL_INVALID_NAMESPACE_BLOCK',\n      '`types` blocks must be declared at the document top level, not inside a namespace block',\n      cursor.mark(),\n    );\n  } else if (keywordIs(cursor, 'namespace') && name === UNSPECIFIED_PSL_NAMESPACE_ID) {\n    cursor.diagnostic(\n      'PSL_INVALID_NAMESPACE_BLOCK',\n      `Namespace name \"${UNSPECIFIED_PSL_NAMESPACE_ID}\" is reserved for the parser-synthesised bucket for top-level declarations`,\n      cursor.mark(1),\n    );\n  }\n\n  const node =\n    parseModel(cursor) ??\n    parseNamespace(cursor) ??\n    parseCompositeType(cursor) ??\n    parseTypesBlock(cursor) ??\n    parseGenericBlock(cursor);\n  if (!node) {\n    parseUnsupportedTopLevel(cursor);\n  }\n}\n\n/**\n * Reports only the first missing piece — a missing name suppresses the\n * missing-brace diagnostic. `nameRequired` is false only for the `types` block.\n */\nfunction parseBlock(\n  cursor: Cursor,\n  kind: SyntaxKind,\n  nameRequired: boolean,\n  parseMember: MemberParser,\n): GreenNode {\n  const keyword = cursor.peekToken().text;\n  const keywordMark = cursor.mark();\n  cursor.startNode(kind);\n  cursor.bump();\n  const hasName = nameRequired && cursor.peekKind() === 'Ident';\n  if (hasName) {\n    parseIdentifier(cursor);\n  }\n  if (nameRequired && !hasName) {\n    cursor.diagnostic('PSL_INVALID_DECLARATION', `Expected a name after \"${keyword}\"`, keywordMark);\n  } else if (cursor.peekKind() !== 'LBrace') {\n    cursor.diagnostic(\n      'PSL_INVALID_DECLARATION',\n      `Expected \"{\" to open the \"${keyword}\" block`,\n      cursor.markAfterLastToken(),\n    );\n  }\n  if (cursor.peekKind() === 'LBrace') {\n    parseBlockBody(cursor, parseMember);\n  } else {\n    cursor.recoverToSyncPoint();\n  }\n  return cursor.finishNode();\n}\n\nexport function parseModel(cursor: Cursor): GreenNode | undefined {\n  if (!keywordIs(cursor, 'model')) return undefined;\n  return parseBlock(cursor, 'ModelDeclaration', true, parseModelMember);\n}\n\n/**\n * Excluding the reserved keywords keeps a malformed reserved block (e.g. `model\n * {` with no name) routed to its dedicated parser. The generic keyword set is\n * open, so a bare identifier with no brace (e.g. `oops`) is read as an unfinished\n * custom declaration rather than unsupported content.\n */\nexport function parseGenericBlock(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  const keyword = cursor.peekToken().text;\n  if (RESERVED_BLOCK_KEYWORDS.has(keyword)) return undefined;\n  const hasName = cursor.peekKind(1) === 'Ident' && cursor.peekKind(2) === 'LBrace';\n  cursor.startNode('GenericBlockDeclaration');\n  cursor.bump();\n  if (hasName) {\n    parseIdentifier(cursor);\n  }\n  if (cursor.peekKind() === 'LBrace') {\n    parseBlockBody(cursor, parseKeyValueMember);\n  } else {\n    cursor.diagnostic(\n      'PSL_INVALID_DECLARATION',\n      `Expected \"{\" to open the \"${keyword}\" block`,\n      cursor.markAfterLastToken(),\n    );\n    cursor.recoverToSyncPoint();\n  }\n  return cursor.finishNode();\n}\n\nexport function parseNamespace(cursor: Cursor): GreenNode | undefined {\n  if (!keywordIs(cursor, 'namespace')) return undefined;\n  return parseBlock(cursor, 'Namespace', true, (inner) => parseDeclaration(inner, true));\n}\n\nexport function parseCompositeType(cursor: Cursor): GreenNode | undefined {\n  if (!keywordIs(cursor, 'type')) return undefined;\n  return parseBlock(cursor, 'CompositeTypeDeclaration', true, parseModelMember);\n}\n\n/** `types` (plural) is the no-name types block; the singular `type` is the composite type above. */\nexport function parseTypesBlock(cursor: Cursor): GreenNode | undefined {\n  if (!keywordIs(cursor, 'types')) return undefined;\n  return parseBlock(cursor, 'TypesBlock', false, parseNamedTypeMember);\n}\n\n/** Every `parseMember` consumes at least one significant token, so the loop always terminates. */\nfunction parseBlockBody(cursor: Cursor, parseMember: MemberParser): void {\n  const braceMark = cursor.mark();\n  cursor.bump();\n  for (;;) {\n    const kind = cursor.peekKind();\n    if (kind === 'RBrace' || kind === 'Eof') break;\n    parseMember(cursor);\n  }\n  if (cursor.peekKind() === 'RBrace') {\n    cursor.bump();\n  } else {\n    cursor.diagnostic('PSL_UNTERMINATED_BLOCK', 'Unterminated block declaration', braceMark);\n  }\n}\n\nfunction parseUnsupportedTopLevel(cursor: Cursor): void {\n  const offending = cursor.peekToken().text;\n  const message =\n    cursor.peekKind(1) === 'LBrace'\n      ? `Unsupported top-level block \"${offending}\"`\n      : `Unsupported top-level declaration \"${offending}\"`;\n  cursor.diagnostic('PSL_UNSUPPORTED_TOP_LEVEL_BLOCK', message, cursor.mark());\n  cursor.bump();\n  cursor.recoverToSyncPoint();\n}\n\n/**\n * Matches a leading `@@` block attribute, a no-op otherwise. Single-`@`\n * attributes belong to fields and are parsed inside `parseField`.\n */\nexport function parseBlockAttribute(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'DoubleAt') return undefined;\n  return parseAttribute(cursor);\n}\n\nfunction parseModelMember(cursor: Cursor): void {\n  const node = parseBlockAttribute(cursor) ?? parseField(cursor);\n  if (!node) {\n    invalidMember(\n      cursor,\n      'PSL_INVALID_MODEL_MEMBER',\n      `Invalid model member declaration \"${cursor.peekToken().text}\"`,\n    );\n  }\n}\n\nfunction parseNamedTypeMember(cursor: Cursor): void {\n  const node = parseNamedType(cursor);\n  if (!node) {\n    invalidMember(\n      cursor,\n      'PSL_INVALID_TYPES_MEMBER',\n      `Invalid types declaration \"${cursor.peekToken().text}\"`,\n    );\n  }\n}\n\n/**\n * A generic-block member is either a `@@`-block attribute or a `key = value`\n * entry. The block-attribute alternative is purely syntactic — it does not judge\n * whether the attribute is valid for the block's kind.\n */\nfunction parseKeyValueMember(cursor: Cursor): void {\n  const node = parseBlockAttribute(cursor) ?? parseKeyValue(cursor);\n  if (!node) {\n    invalidMember(cursor, 'PSL_INVALID_EXTENSION_BLOCK_MEMBER', 'Invalid block entry');\n  }\n}\n\nfunction invalidMember(cursor: Cursor, code: PslDiagnosticCode, message: string): void {\n  cursor.diagnostic(code, message, cursor.mark());\n  cursor.bump(); // consume the offending token so the member loop makes progress\n  cursor.recoverToSyncPoint();\n}\n\nexport function parseField(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  cursor.startNode('FieldDeclaration');\n  const nameMark = cursor.mark();\n  const nameText = cursor.peekToken().text;\n  parseIdentifier(cursor);\n  if (cursor.peekKind() !== 'Ident') {\n    cursor.diagnostic(\n      'PSL_INVALID_MODEL_MEMBER',\n      `Expected a type after field \"${nameText}\"`,\n      nameMark,\n    );\n  }\n  parseTypeAnnotation(cursor);\n  while (cursor.peekKind() === 'At') {\n    parseAttribute(cursor);\n  }\n  return cursor.finishNode();\n}\n\nexport function parseNamedType(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  cursor.startNode('NamedTypeDeclaration');\n  const nameMark = cursor.mark();\n  const nameText = cursor.peekToken().text;\n  parseIdentifier(cursor);\n  if (cursor.peekKind() === 'Equals') {\n    cursor.bump();\n  } else {\n    cursor.diagnostic('PSL_INVALID_TYPES_MEMBER', `Expected \"=\" after \"${nameText}\"`, nameMark);\n  }\n  parseTypeAnnotation(cursor);\n  while (cursor.peekKind() === 'At') {\n    parseAttribute(cursor);\n  }\n  return cursor.finishNode();\n}\n\n/**\n * A generic-block entry is either `key = value` or a bare `key` (committing a\n * `KeyValuePair` carrying only the key). A `key =` with no following expression\n * is flagged.\n */\nexport function parseKeyValue(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  cursor.startNode('KeyValuePair');\n  parseIdentifier(cursor);\n  if (cursor.peekKind() === 'Equals') {\n    cursor.bump();\n    if (!parseExpression(cursor)) {\n      cursor.diagnostic(\n        'PSL_INVALID_EXTENSION_BLOCK_MEMBER',\n        'Expected a value after \"=\"',\n        cursor.mark(),\n      );\n    }\n  }\n  return cursor.finishNode();\n}\n"],"mappings":";;;;;AAAA,MAAM,kBAAkB;AACxB,MAAM,YAAY;AAYlB,IAAa,aAAb,MAAwB;CACtB;CACA;CAEA,YAAY,MAAc;EACxB,KAAKA,QAAQ;EACb,MAAM,aAAuB,CAAC,CAAC;EAC/B,KAAK,IAAI,SAAS,GAAG,SAAS,KAAK,QAAQ,UACzC,IAAI,KAAK,WAAW,MAAM,MAAM,WAC9B,WAAW,KAAK,SAAS,CAAC;EAG9B,KAAKC,cAAc;CACrB;CAEA,IAAI,OAAe;EACjB,OAAO,KAAKD;CACd;CAEA,IAAI,SAAiB;EACnB,OAAO,KAAKA,MAAM;CACpB;CAEA,IAAI,YAAoB;EACtB,OAAO,KAAKC,YAAY;CAC1B;CAEA,mBAAsC;EACpC,OAAO,KAAKA;CACd;CAEA,gBAAgB,MAAsB;EACpC,IAAI,QAAQ,GACV,OAAO;EAET,OAAO,KAAKA,YAAY,SAAS,KAAKD,MAAM;CAC9C;CAEA,cAAc,MAAsB;EAClC,IAAI,OAAO,GACT,OAAO;EAGT,MAAM,gBAAgB,KAAKC,YAAY,OAAO;EAC9C,IAAI,kBAAkB,KAAA,GACpB,OAAO,KAAKD,MAAM;EAGpB,MAAM,iBAAiB,gBAAgB;EACvC,MAAM,uBAAuB,iBAAiB;EAC9C,OAAO,KAAKA,MAAM,WAAW,oBAAoB,MAAM,kBACnD,uBACA;CACN;CAEA,WAAW,QAA0B;EACnC,MAAM,UAAU,MAAM,QAAQ,GAAG,KAAKA,MAAM,MAAM;EAClD,MAAM,OAAO,KAAKE,aAAa,OAAO;EACtC,OAAO;GAAE;GAAM,WAAW,UAAU,KAAKC,aAAa,IAAI;EAAE;CAC9D;CAEA,SAAS,UAA4B;EACnC,MAAM,OAAO,MAAM,SAAS,MAAM,GAAG,KAAKF,YAAY,SAAS,CAAC;EAChE,MAAM,YAAY,KAAKE,aAAa,IAAI;EACxC,MAAM,UAAU,KAAKC,WAAW,IAAI;EACpC,OAAO,MAAM,YAAY,SAAS,WAAW,WAAW,OAAO;CACjE;CAEA,aAAa,MAAsB;EACjC,OAAO,KAAKH,YAAY,SAAS;CACnC;CAEA,WAAW,MAAsB;EAC/B,OAAO,OAAO,IAAI,KAAKA,YAAY,SAAS,KAAKE,aAAa,OAAO,CAAC,IAAI,IAAI,KAAKH,MAAM;CAC3F;CAEA,aAAa,QAAwB;EACnC,MAAM,aAAa,KAAKC;EACxB,IAAI,MAAM;EACV,IAAI,OAAO,WAAW,SAAS;EAC/B,OAAO,MAAM,MAAM;GACjB,MAAM,MAAO,MAAM,OAAO,MAAO;GACjC,KAAK,WAAW,QAAQ,MAAM,QAC5B,MAAM;QAEN,OAAO,MAAM;EAEjB;EACA,OAAO;CACT;AACF;AAEA,SAAS,MAAM,OAAe,KAAa,KAAqB;CAC9D,IAAI,QAAQ,KACV,OAAO;CAET,IAAI,QAAQ,KACV,OAAO;CAET,OAAO;AACT;;;AC/FA,SAAgB,WAAW,MAAiB,MAA0B;CACpE,OAAO;EAAE,MAAM;EAAS;EAAM;CAAK;AACrC;AAEA,SAAgB,UAAU,MAAkB,UAAkD;CAC5F,IAAI,aAAa;CACjB,KAAK,MAAM,SAAS,UAClB,cAAc,MAAM,SAAS,UAAU,MAAM,KAAK,SAAS,MAAM;CAEnE,OAAO;EAAE,MAAM;EAAQ;EAAM;EAAU;CAAW;AACpD;;;ACtBA,IAAa,mBAAb,MAA8B;CAC5B,SAAyE,CAAC;CAE1E,UAAU,MAAwB;EAChC,KAAKI,OAAO,KAAK;GAAE;GAAM,UAAU,CAAC;EAAE,CAAC;CACzC;CAEA,MAAM,MAAiB,MAAoB;EACzC,MAAM,UAAU,KAAKA,OAAO,GAAG,EAAE;EACjC,IAAI,CAAC,SACH,MAAM,IAAI,cAAc,oDAAoD;EAE9E,QAAQ,SAAS,KAAK,WAAW,MAAM,IAAI,CAAC;CAC9C;CAEA,aAAwB;EACtB,MAAM,YAAY,KAAKA,OAAO,IAAI;EAClC,IAAI,CAAC,WACH,MAAM,IAAI,cAAc,yDAAyD;EAEnF,MAAM,OAAO,UAAU,UAAU,MAAM,UAAU,QAAQ;EACzD,MAAM,SAAS,KAAKA,OAAO,GAAG,EAAE;EAChC,IAAI,QACF,OAAO,SAAS,KAAK,IAAI;EAE3B,OAAO;CACT;AACF;;;ACXA,MAAM,+BAAuC,IAAI,IAAe;CAC9D;CACA;CACA;AACF,CAAC;;;;;;AAgBD,IAAa,SAAb,MAAoB;CAClB;CACA;CACA,WAAoB,IAAI,iBAAiB;CACzC,eAA2C,CAAC;CAC5C,UAAU;CACV,SAAS;CAET,YAAY,QAAgB;EAC1B,KAAKC,aAAa,IAAI,UAAU,MAAM;EACtC,KAAKC,cAAc,IAAI,WAAW,MAAM;CAC1C;CAEA,IAAI,cAA0C;EAC5C,OAAO,KAAKE;CACd;CAEA,IAAI,aAAyB;EAC3B,OAAO,KAAKF;CACd;CAEA,SAAS,QAAQ,GAAc;EAC7B,OAAO,KAAK,UAAU,KAAK,CAAC,CAAC;CAC/B;CAEA,UAAU,QAAQ,GAAU;EAC1B,IAAI,WAAW;EACf,IAAI,YAAY;EAChB,SAAS;GACP,MAAM,QAAQ,KAAKD,WAAW,KAAK,QAAQ;GAC3C,IAAI,MAAM,SAAS,OAAO,OAAO;GACjC,IAAI,aAAa,IAAI,MAAM,IAAI,GAAG;IAChC;IACA;GACF;GACA,IAAI,cAAc,GAAG,OAAO;GAC5B;GACA;EACF;CACF;;CAGA,KAAK,YAAY,GAAmB;EAClC,IAAI,WAAW;EACf,IAAI,SAAS,KAAKI;EAClB,IAAI,YAAY;EAChB,SAAS;GACP,MAAM,QAAQ,KAAKJ,WAAW,KAAK,QAAQ;GAC3C,IAAI,MAAM,SAAS,OACjB,OAAO;IAAE;IAAQ,QAAQ,MAAM,KAAK;GAAO;GAE7C,IAAI,CAAC,aAAa,IAAI,MAAM,IAAI,KAAK,cAAc,GACjD,OAAO;IAAE;IAAQ,QAAQ,MAAM,KAAK;GAAO;GAE7C,IAAI,CAAC,aAAa,IAAI,MAAM,IAAI,GAC9B;GAEF,UAAU,MAAM,KAAK;GACrB;EACF;CACF;;;;;CAMA,qBAAqC;EACnC,OAAO;GAAE,QAAQ,KAAKI;GAAS,QAAQ;EAAE;CAC3C;CAEA,UAAU,MAAwB;EAChC,IAAI,KAAKC,SAAS,GAChB,KAAK,YAAY;EAEnB,KAAKH,SAAS,UAAU,IAAI;EAC5B,KAAKG;CACP;CAEA,aAAwB;EACtB,KAAKA;EACL,OAAO,KAAKH,SAAS,WAAW;CAClC;CAEA,OAAc;EACZ,KAAK,YAAY;EACjB,MAAM,QAAQ,KAAKF,WAAW,KAAK;EACnC,IAAI,MAAM,SAAS,OAAO,OAAO;EACjC,KAAKE,SAAS,MAAM,MAAM,MAAM,MAAM,IAAI;EAC1C,KAAKI,SAAS;EACd,OAAO;CACT;CAEA,qBAA2B;EACzB,SAAS;GACP,MAAM,QAAQ,KAAKN,WAAW,KAAK;GACnC,IAAI,MAAM,SAAS,SAAS,MAAM,SAAS,aAAa,MAAM,SAAS,UACrE;GAEF,KAAKE,SAAS,MAAM,MAAM,MAAM,MAAM,IAAI;GAC1C,KAAKI,SAAS;EAChB;CACF;CAEA,cAAoB;EAClB,SAAS;GACP,MAAM,QAAQ,KAAKN,WAAW,KAAK;GACnC,IAAI,CAAC,aAAa,IAAI,MAAM,IAAI,GAAG;GACnC,KAAKE,SAAS,MAAM,MAAM,MAAM,MAAM,IAAI;GAC1C,KAAKI,SAAS;EAChB;CACF;CAEA,WAAW,MAAyB,SAAiB,MAA4B;EAC/E,MAAM,QAAQ,KAAK;EACnB,MAAM,MAAM,QAAQ,KAAK;EACzB,KAAKH,aAAa,KAAK;GACrB;GACA;GACA,OAAO;IACL,OAAO,KAAKF,YAAY,WAAW,KAAK;IACxC,KAAK,KAAKA,YAAY,WAAW,GAAG;GACtC;EACF,CAAC;CACH;CAEA,WAAiB;EACf,KAAKG,WAAW,KAAKJ,WAAW,KAAK,CAAC,CAAC,KAAK;CAC9C;AACF;AAEA,SAAS,gBAAgB,QAAsB;CAC7C,OAAO,UAAU,YAAY;CAC7B,OAAO,KAAK;CACZ,OAAO,WAAW;AACpB;;;;;AAMA,SAAgB,gBAAgB,QAAuC;CACrE,OACE,uBAAuB,MAAM,KAC7B,uBAAuB,MAAM,KAC7B,kBAAkB,MAAM,KACxB,uBAAuB,MAAM,KAC7B,kBAAkB,MAAM,KACxB,wBAAwB,MAAM,KAC9B,oBAAoB,MAAM;AAE9B;AAEA,SAAgB,uBAAuB,QAAuC;CAC5E,IAAI,OAAO,SAAS,MAAM,iBAAiB,OAAO,KAAA;CAClD,MAAM,aAAa,OAAO,KAAK;CAC/B,MAAM,OAAO,OAAO,UAAU,CAAC,CAAC;CAChC,OAAO,UAAU,mBAAmB;CACpC,OAAO,KAAK;CACZ,IAAI,CAAC,0BAA0B,IAAI,GACjC,OAAO,WAAW,2BAA2B,+BAA+B,UAAU;CAExF,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,uBAAuB,QAAuC;CAC5E,IAAI,OAAO,SAAS,MAAM,iBAAiB,OAAO,KAAA;CAClD,OAAO,UAAU,mBAAmB;CACpC,OAAO,KAAK;CACZ,OAAO,OAAO,WAAW;AAC3B;;;;;;;;;AAUA,SAAgB,mBAAmB,QAAsB;CACvD,OAAO,UAAU,eAAe;CAChC,gBAAgB,MAAM;CACtB,uBAAuB,QAAQ,OAAO;CACtC,uBAAuB,QAAQ,KAAK;CACpC,OAAO,WAAW;AACpB;;;;;;AAOA,SAAS,uBAAuB,QAAgB,WAAkC;CAChF,IAAI,OAAO;CACX,OAAO,OAAO,SAAS,MAAM,WAAW;EACtC;EACA,MAAM,gBAAgB,OAAO,KAAK;EAClC,OAAO,KAAK;EACZ,IAAI,OAAO,GACT,OAAO,WACL,8BACA,wCACA,aACF;EAEF,IAAI,OAAO,SAAS,MAAM,SACxB,gBAAgB,MAAM;OAEtB,OAAO,WACL,8BACA,wDACA,OAAO,KAAK,CACd;CAEJ;AACF;AAKA,SAAgB,wBAAwB,QAAuC;CAC7E,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,MAAM,OAAO,OAAO,UAAU,CAAC,CAAC;CAChC,IAAI,SAAS,UAAU,SAAS,SAAS,OAAO,KAAA;CAChD,OAAO,UAAU,oBAAoB;CACrC,OAAO,KAAK;CACZ,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,oBAAoB,QAAuC;CACzE,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,OAAO,UAAU,YAAY;CAC7B,OAAO,KAAK;CACZ,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,kBAAkB,QAAuC;CACvE,IAAI,OAAO,SAAS,MAAM,YAAY,OAAO,KAAA;CAC7C,OAAO,UAAU,cAAc;CAC/B,OAAO,KAAK;CACZ,OAAO,OAAO,SAAS,MAAM,cAAc,OAAO,SAAS,MAAM,OAAO;EAEtE,IAAI,CADY,gBAAgB,MACrB,GAAG;EACd,IAAI,OAAO,SAAS,MAAM,SACxB,OAAO,KAAK;OAEZ;CAEJ;CACA,IAAI,OAAO,SAAS,MAAM,YACxB,OAAO,KAAK;CAEd,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,uBAAuB,QAAuC;CAC5E,IAAI,OAAO,SAAS,MAAM,UAAU,OAAO,KAAA;CAC3C,MAAM,YAAY,OAAO,KAAK;CAC9B,OAAO,UAAU,mBAAmB;CACpC,OAAO,KAAK;CACZ,OAAO,OAAO,SAAS,MAAM,YAAY,OAAO,SAAS,MAAM,OAAO;EACpE,iBAAiB,MAAM;EACvB,IAAI,OAAO,SAAS,MAAM,SACxB,OAAO,KAAK;OACP,IAAI,OAAO,SAAS,MAAM,SAG/B,OAAO,WACL,8BACA,gDACA,OAAO,mBAAmB,CAC5B;OAEA;CAEJ;CACA,IAAI,OAAO,SAAS,MAAM,UACxB,OAAO,KAAK;MAEZ,OAAO,WAAW,8BAA8B,+BAA+B,SAAS;CAE1F,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,iBAAiB,QAA2B;CAC1D,OAAO,UAAU,aAAa;CAC9B,MAAM,UAAU,OAAO,KAAK;CAC5B,MAAM,UAAU,OAAO,UAAU,CAAC,CAAC;CACnC,IAAI,OAAO,SAAS,MAAM,SACxB,gBAAgB,MAAM;MACjB,IAAI,OAAO,SAAS,MAAM,iBAG/B,uBAAuB,MAAM;CAE/B,IAAI,OAAO,SAAS,MAAM,SAAS;EACjC,OAAO,KAAK;EAEZ,IAAI,CADU,gBAAgB,MACrB,GACP,OAAO,WAAW,8BAA8B,gCAA8B,OAAO,KAAK,CAAC;CAE/F,OAAO;EACL,OAAO,WAAW,8BAA8B,uBAAuB,QAAQ,IAAI,OAAO;EAE1F,IAAI,EADmB,OAAO,SAAS,MAAM,WAAW,OAAO,SAAS,CAAC,MAAM,UAE7E,gBAAgB,MAAM;CAE1B;CACA,OAAO,OAAO,WAAW;AAC3B;;;;;;;AAQA,SAAS,YAAY,QAAyB;CAC5C,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO;CAC1C,IAAI,OAAO,SAAS,CAAC,MAAM,UAAU,OAAO;CAC5C,OACE,OAAO,SAAS,CAAC,MAAM,SACvB,OAAO,SAAS,CAAC,MAAM,WACvB,OAAO,SAAS,CAAC,MAAM;AAE3B;;;;;;;AAQA,SAAgB,kBAAkB,QAAuC;CACvE,IAAI,CAAC,YAAY,MAAM,GAAG,OAAO,KAAA;CACjC,OAAO,UAAU,cAAc;CAC/B,mBAAmB,MAAM;CACzB,IAAI,OAAO,SAAS,MAAM,UACxB,eAAe,MAAM;CAEvB,OAAO,OAAO,WAAW;AAC3B;;AAGA,SAAS,eAAe,QAAsB;CAC5C,OAAO,KAAK;CACZ,OAAO,OAAO,SAAS,MAAM,YAAY,OAAO,SAAS,MAAM,OAAO;EACpE,kBAAkB,MAAM;EACxB,IAAI,OAAO,SAAS,MAAM,SACxB,OAAO,KAAK;OAEZ;CAEJ;CACA,IAAI,OAAO,SAAS,MAAM,UACxB,OAAO,KAAK;AAEhB;AAEA,SAAgB,kBAAkB,QAAsB;CACtD,MAAM,OAAO,OAAO,SAAS;CAC7B,IACE,SAAS,WACT,SAAS,mBACT,SAAS,mBACT,SAAS,cACT,SAAS,UAET;CAEF,OAAO,UAAU,cAAc;CAC/B,IAAI,OAAO,SAAS,MAAM,WAAW,OAAO,SAAS,CAAC,MAAM,SAAS;EACnE,gBAAgB,MAAM;EACtB,OAAO,KAAK;CACd;CACA,cAAc,MAAM;CACpB,OAAO,WAAW;AACpB;AAEA,SAAS,cAAc,QAAsB;CAC3C,gBAAgB,MAAM;AACxB;AAEA,SAAgB,sBAAsB,QAA2B;CAC/D,OAAO,UAAU,kBAAkB;CACnC,eAAe,MAAM;CACrB,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,eAAe,QAA2B;CACxD,MAAM,mBAAmB,OAAO,SAAS,MAAM;CAC/C,MAAM,gBAAgB,OAAO,KAAK;CAClC,OAAO,UAAU,mBAAmB,mBAAmB,gBAAgB;CACvE,OAAO,KAAK;CACZ,IAAI,OAAO,SAAS,MAAM,SACxB,mBAAmB,MAAM;MAEzB,OAAO,WAAW,gCAAgC,2BAA2B,aAAa;CAE5F,IAAI,OAAO,SAAS,MAAM,UACxB,sBAAsB,MAAM;CAE9B,OAAO,OAAO,WAAW;AAC3B;;;;;;AAOA,SAAgB,oBAAoB,QAAsB;CACxD,MAAM,OAAO,OAAO,SAAS;CAC7B,IAAI,SAAS,WAAW,SAAS,cAAc,SAAS,YACtD;CAEF,OAAO,UAAU,gBAAgB;CACjC,IAAI,OAAO,SAAS,MAAM,SAAS;EACjC,mBAAmB,MAAM;EACzB,IAAI,OAAO,SAAS,MAAM,UACxB,sBAAsB,MAAM;CAEhC;CACA,IAAI,OAAO,SAAS,MAAM,YAAY;EACpC,OAAO,KAAK;EACZ,IAAI,OAAO,SAAS,MAAM,YACxB,OAAO,KAAK;CAEhB;CACA,IAAI,OAAO,SAAS,MAAM,YACxB,OAAO,KAAK;CAEd,OAAO,WAAW;AACpB;;;;;AAQA,SAAgB,MAAM,QAA6B;CACjD,MAAM,SAAS,IAAI,OAAO,MAAM;CAEhC,MAAM,OAAO,iBADC,cAAc,MACM,CAAC;CAEnC,OAAO;EAAE,UADQ,YAAY,KAAK,IAAI,KAAK,IAAI,YAAY,IAAI;EAC5C,aAAa,OAAO;EAAa,YAAY,OAAO;CAAW;AACpF;AAEA,SAAS,cAAc,QAA2B;CAChD,OAAO,UAAU,UAAU;CAC3B,OAAO,OAAO,SAAS,MAAM,OAC3B,iBAAiB,QAAQ,KAAK;CAEhC,OAAO,YAAY;CACnB,OAAO,OAAO,WAAW;AAC3B;AAEA,MAAM,0CAA+C,IAAI,IAAI;CAC3D;CACA;CACA;CACA;AACF,CAAC;AAED,SAAS,UAAU,QAAgB,SAA0B;CAC3D,OAAO,OAAO,SAAS,MAAM,WAAW,OAAO,UAAU,CAAC,CAAC,SAAS;AACtE;;;;;;;AAQA,SAAS,iBAAiB,QAAgB,iBAAgC;CACxE,MAAM,OAAO,OAAO,SAAS,CAAC,MAAM,UAAU,OAAO,UAAU,CAAC,CAAC,CAAC,OAAO;CACzE,IAAI,mBAAmB,UAAU,QAAQ,WAAW,GAClD,OAAO,WACL,+BACA,wBAAwB,KAAK,wDAC7B,OAAO,KAAK,CACd;MACK,IAAI,mBAAmB,UAAU,QAAQ,OAAO,GACrD,OAAO,WACL,+BACA,2FACA,OAAO,KAAK,CACd;MACK,IAAI,UAAU,QAAQ,WAAW,KAAK,SAAS,8BACpD,OAAO,WACL,+BACA,mBAAmB,6BAA6B,6EAChD,OAAO,KAAK,CAAC,CACf;CASF,IAAI,EALF,WAAW,MAAM,KACjB,eAAe,MAAM,KACrB,mBAAmB,MAAM,KACzB,gBAAgB,MAAM,KACtB,kBAAkB,MAAM,IAExB,yBAAyB,MAAM;AAEnC;;;;;AAMA,SAAS,WACP,QACA,MACA,cACA,aACW;CACX,MAAM,UAAU,OAAO,UAAU,CAAC,CAAC;CACnC,MAAM,cAAc,OAAO,KAAK;CAChC,OAAO,UAAU,IAAI;CACrB,OAAO,KAAK;CACZ,MAAM,UAAU,gBAAgB,OAAO,SAAS,MAAM;CACtD,IAAI,SACF,gBAAgB,MAAM;CAExB,IAAI,gBAAgB,CAAC,SACnB,OAAO,WAAW,2BAA2B,0BAA0B,QAAQ,IAAI,WAAW;MACzF,IAAI,OAAO,SAAS,MAAM,UAC/B,OAAO,WACL,2BACA,6BAA6B,QAAQ,UACrC,OAAO,mBAAmB,CAC5B;CAEF,IAAI,OAAO,SAAS,MAAM,UACxB,eAAe,QAAQ,WAAW;MAElC,OAAO,mBAAmB;CAE5B,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,WAAW,QAAuC;CAChE,IAAI,CAAC,UAAU,QAAQ,OAAO,GAAG,OAAO,KAAA;CACxC,OAAO,WAAW,QAAQ,oBAAoB,MAAM,gBAAgB;AACtE;;;;;;;AAQA,SAAgB,kBAAkB,QAAuC;CACvE,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,MAAM,UAAU,OAAO,UAAU,CAAC,CAAC;CACnC,IAAI,wBAAwB,IAAI,OAAO,GAAG,OAAO,KAAA;CACjD,MAAM,UAAU,OAAO,SAAS,CAAC,MAAM,WAAW,OAAO,SAAS,CAAC,MAAM;CACzE,OAAO,UAAU,yBAAyB;CAC1C,OAAO,KAAK;CACZ,IAAI,SACF,gBAAgB,MAAM;CAExB,IAAI,OAAO,SAAS,MAAM,UACxB,eAAe,QAAQ,mBAAmB;MACrC;EACL,OAAO,WACL,2BACA,6BAA6B,QAAQ,UACrC,OAAO,mBAAmB,CAC5B;EACA,OAAO,mBAAmB;CAC5B;CACA,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,eAAe,QAAuC;CACpE,IAAI,CAAC,UAAU,QAAQ,WAAW,GAAG,OAAO,KAAA;CAC5C,OAAO,WAAW,QAAQ,aAAa,OAAO,UAAU,iBAAiB,OAAO,IAAI,CAAC;AACvF;AAEA,SAAgB,mBAAmB,QAAuC;CACxE,IAAI,CAAC,UAAU,QAAQ,MAAM,GAAG,OAAO,KAAA;CACvC,OAAO,WAAW,QAAQ,4BAA4B,MAAM,gBAAgB;AAC9E;;AAGA,SAAgB,gBAAgB,QAAuC;CACrE,IAAI,CAAC,UAAU,QAAQ,OAAO,GAAG,OAAO,KAAA;CACxC,OAAO,WAAW,QAAQ,cAAc,OAAO,oBAAoB;AACrE;;AAGA,SAAS,eAAe,QAAgB,aAAiC;CACvE,MAAM,YAAY,OAAO,KAAK;CAC9B,OAAO,KAAK;CACZ,SAAS;EACP,MAAM,OAAO,OAAO,SAAS;EAC7B,IAAI,SAAS,YAAY,SAAS,OAAO;EACzC,YAAY,MAAM;CACpB;CACA,IAAI,OAAO,SAAS,MAAM,UACxB,OAAO,KAAK;MAEZ,OAAO,WAAW,0BAA0B,kCAAkC,SAAS;AAE3F;AAEA,SAAS,yBAAyB,QAAsB;CACtD,MAAM,YAAY,OAAO,UAAU,CAAC,CAAC;CACrC,MAAM,UACJ,OAAO,SAAS,CAAC,MAAM,WACnB,gCAAgC,UAAU,KAC1C,sCAAsC,UAAU;CACtD,OAAO,WAAW,mCAAmC,SAAS,OAAO,KAAK,CAAC;CAC3E,OAAO,KAAK;CACZ,OAAO,mBAAmB;AAC5B;;;;;AAMA,SAAgB,oBAAoB,QAAuC;CACzE,IAAI,OAAO,SAAS,MAAM,YAAY,OAAO,KAAA;CAC7C,OAAO,eAAe,MAAM;AAC9B;AAEA,SAAS,iBAAiB,QAAsB;CAE9C,IAAI,EADS,oBAAoB,MAAM,KAAK,WAAW,MAAM,IAE3D,cACE,QACA,4BACA,qCAAqC,OAAO,UAAU,CAAC,CAAC,KAAK,EAC/D;AAEJ;AAEA,SAAS,qBAAqB,QAAsB;CAElD,IAAI,CADS,eAAe,MACpB,GACN,cACE,QACA,4BACA,8BAA8B,OAAO,UAAU,CAAC,CAAC,KAAK,EACxD;AAEJ;;;;;;AAOA,SAAS,oBAAoB,QAAsB;CAEjD,IAAI,EADS,oBAAoB,MAAM,KAAK,cAAc,MAAM,IAE9D,cAAc,QAAQ,sCAAsC,qBAAqB;AAErF;AAEA,SAAS,cAAc,QAAgB,MAAyB,SAAuB;CACrF,OAAO,WAAW,MAAM,SAAS,OAAO,KAAK,CAAC;CAC9C,OAAO,KAAK;CACZ,OAAO,mBAAmB;AAC5B;AAEA,SAAgB,WAAW,QAAuC;CAChE,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,OAAO,UAAU,kBAAkB;CACnC,MAAM,WAAW,OAAO,KAAK;CAC7B,MAAM,WAAW,OAAO,UAAU,CAAC,CAAC;CACpC,gBAAgB,MAAM;CACtB,IAAI,OAAO,SAAS,MAAM,SACxB,OAAO,WACL,4BACA,gCAAgC,SAAS,IACzC,QACF;CAEF,oBAAoB,MAAM;CAC1B,OAAO,OAAO,SAAS,MAAM,MAC3B,eAAe,MAAM;CAEvB,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,eAAe,QAAuC;CACpE,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,OAAO,UAAU,sBAAsB;CACvC,MAAM,WAAW,OAAO,KAAK;CAC7B,MAAM,WAAW,OAAO,UAAU,CAAC,CAAC;CACpC,gBAAgB,MAAM;CACtB,IAAI,OAAO,SAAS,MAAM,UACxB,OAAO,KAAK;MAEZ,OAAO,WAAW,4BAA4B,uBAAuB,SAAS,IAAI,QAAQ;CAE5F,oBAAoB,MAAM;CAC1B,OAAO,OAAO,SAAS,MAAM,MAC3B,eAAe,MAAM;CAEvB,OAAO,OAAO,WAAW;AAC3B;;;;;;AAOA,SAAgB,cAAc,QAAuC;CACnE,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,OAAO,UAAU,cAAc;CAC/B,gBAAgB,MAAM;CACtB,IAAI,OAAO,SAAS,MAAM,UAAU;EAClC,OAAO,KAAK;EACZ,IAAI,CAAC,gBAAgB,MAAM,GACzB,OAAO,WACL,sCACA,gCACA,OAAO,KAAK,CACd;CAEJ;CACA,OAAO,OAAO,WAAW;AAC3B"}

dist/format.d.mts

@@ -1,8 +0,1 @@
-import { t as ParseDiagnostic } from "./parse-Bl1gwWGn.mjs";
-//#region src/format/error.d.ts
-declare class PslFormatError extends Error {
-  readonly diagnostics: readonly ParseDiagnostic[];
-  constructor(diagnostics: readonly ParseDiagnostic[]);
-}
-//#endregion
 //#region src/format/options.d.ts
@@ -17,3 +10,3 @@ interface FormatOptions {
 //#endregion
-export { type FormatOptions, PslFormatError, format };
+export { type FormatOptions, format };
 //# sourceMappingURL=format.d.mts.map

dist/format.d.mts.map

@@ -1,1 +0,1 @@
-{"version":3,"file":"format.d.mts","names":[],"sources":["../src/format/error.ts","../src/format/options.ts","../src/format/format.ts"],"mappings":";;cAEa,uBAAuB;WACzB,sBAAsB;cAEnB,sBAAsB;;;;UCLnB;WACN;WACA;;;;iBCGK,OAAO,gBAAgB,UAAU"}
+{"version":3,"file":"format.d.mts","names":[],"sources":["../src/format/options.ts","../src/format/format.ts"],"mappings":";UAAiB;WACN;WACA;;;;iBCGK,OAAO,gBAAgB,UAAU"}

dist/format.mjs

 import { A as SyntaxNode, a as KeyValuePairAst, c as NamespaceDeclarationAst, i as GenericBlockDeclarationAst, l as TypesBlockAst, o as ModelDeclarationAst, p as ModelAttributeAst, r as FieldDeclarationAst, s as NamedTypeDeclarationAst, t as CompositeTypeDeclarationAst } from "./declarations-DR6To8_k.mjs";
-import { t as parse } from "./parse-CdeXr0T3.mjs";
-//#region src/format/error.ts
-var PslFormatError = class extends Error {
-	diagnostics;
-	constructor(diagnostics) {
-		const summary = diagnostics[0]?.message ?? "unknown parse error";
-		const more = diagnostics.length > 1 ? ` (and ${diagnostics.length - 1} more)` : "";
-		super(`Cannot format PSL with parse errors: ${summary}${more}`);
-		this.name = "PslFormatError";
-		this.diagnostics = diagnostics;
-	}
-};
-//#endregion
+import { t as parse } from "./parse-BNNJimVn.mjs";
+import { structuredError } from "@prisma-next/utils/structured-error";
 //#region src/format/emit.ts
@@ -448,2 +437,7 @@ function emitDocument(document, indentUnit, newline) {
 //#endregion
+//#region src/format/error.ts
+function pslError(code, message, options) {
+	return structuredError(code, message, options);
+}
+//#endregion
 //#region src/format/options.ts
@@ -465,8 +459,8 @@ function resolveFormatOptions(options) {
 	const { document, diagnostics } = parse(source);
-	if (diagnostics.length > 0) throw new PslFormatError(diagnostics);
+	if (diagnostics.length > 0) throw pslError("PSL.PARSE_FAILED", `Cannot format PSL with parse errors: ${diagnostics[0]?.message ?? "unknown parse error"}${diagnostics.length > 1 ? ` (and ${diagnostics.length - 1} more)` : ""}`, { meta: { diagnostics } });
 	return emitDocument(document, resolved.indentUnit, resolved.newline);
 }
 //#endregion
-export { PslFormatError, format };
+export { format };
 
 //# sourceMappingURL=format.mjs.map

dist/format.mjs.map

@@ -1,1 +0,1 @@
-{"version":3,"file":"format.mjs","names":["#indentUnit","#newline","#out","#depth","#lastWasBlank","#lineOpen","#prevKind","#line","#hasContent"],"sources":["../src/format/error.ts","../src/format/emit.ts","../src/format/options.ts","../src/format/format.ts"],"sourcesContent":["import type { ParseDiagnostic } from '../parse';\n\nexport class PslFormatError extends Error {\n  readonly diagnostics: readonly ParseDiagnostic[];\n\n  constructor(diagnostics: readonly ParseDiagnostic[]) {\n    const summary = diagnostics[0]?.message ?? 'unknown parse error';\n    const more = diagnostics.length > 1 ? ` (and ${diagnostics.length - 1} more)` : '';\n    super(`Cannot format PSL with parse errors: ${summary}${more}`);\n    this.name = 'PslFormatError';\n    this.diagnostics = diagnostics;\n  }\n}\n","import { ModelAttributeAst } from '../syntax/ast/attributes';\nimport {\n  CompositeTypeDeclarationAst,\n  type DocumentAst,\n  FieldDeclarationAst,\n  GenericBlockDeclarationAst,\n  KeyValuePairAst,\n  ModelDeclarationAst,\n  NamedTypeDeclarationAst,\n  NamespaceDeclarationAst,\n  TypesBlockAst,\n} from '../syntax/ast/declarations';\nimport { type SyntaxElement, SyntaxNode, type SyntaxToken } from '../syntax/red';\nimport type { TokenKind } from '../tokenizer';\n\nexport function emitDocument(document: DocumentAst, indentUnit: string, newline: string): string {\n  const writer = new LineWriter(indentUnit, newline);\n  emitTopLevel(writer, document);\n  return writer.finish();\n}\n\nclass LineWriter {\n  readonly #indentUnit: string;\n  readonly #newline: string;\n  readonly #out: string[] = [];\n  #depth = 0;\n  #line = '';\n  #lineOpen = false;\n  #prevKind: TokenKind | undefined;\n  #lastWasBlank = false;\n  #hasContent = false;\n\n  constructor(indentUnit: string, newline: string) {\n    this.#indentUnit = indentUnit;\n    this.#newline = newline;\n  }\n\n  indent(): void {\n    this.#depth += 1;\n  }\n\n  unindent(): void {\n    this.#depth = Math.max(0, this.#depth - 1);\n  }\n\n  lastIsBlank(): boolean {\n    return this.#lastWasBlank;\n  }\n\n  lineOpen(): boolean {\n    return this.#lineOpen;\n  }\n\n  prevKind(): TokenKind | undefined {\n    return this.#prevKind;\n  }\n\n  newline(): void {\n    if (!this.#lineOpen) return;\n    this.#out.push(`${this.#indentUnit.repeat(this.#depth)}${this.#line}`);\n    this.#line = '';\n    this.#lineOpen = false;\n    this.#prevKind = undefined;\n    this.#lastWasBlank = false;\n    this.#hasContent = true;\n  }\n\n  blank(): void {\n    this.newline();\n    if (!this.#hasContent || this.#lastWasBlank) return;\n    this.#out.push('');\n    this.#lastWasBlank = true;\n  }\n\n  write(token: SyntaxToken, space: boolean, padTo?: number): void {\n    if (this.#lineOpen && padTo !== undefined) {\n      this.#line = this.#line.padEnd(padTo);\n    } else if (this.#lineOpen && space) {\n      this.#line += ' ';\n    }\n    this.#line += token.text;\n    this.#lineOpen = true;\n    this.#prevKind = token.kind;\n  }\n\n  writeRaw(text: string): void {\n    this.#line += text;\n    this.#lineOpen = true;\n  }\n\n  comment(text: string): void {\n    if (this.#lineOpen) this.#line += ` ${text}`;\n    else this.#line = text;\n    this.#lineOpen = true;\n    this.newline();\n  }\n\n  finish(): string {\n    this.newline();\n    const body = this.#out.join(this.#newline);\n    return body.length > 0 ? `${body}${this.#newline}` : '';\n  }\n}\n\n// Qualified-name separators hug; argument/object colons keep the usual value space.\nfunction spaceBetween(\n  prev: TokenKind | undefined,\n  cur: TokenKind,\n  inQualifiedName: boolean,\n): boolean {\n  if (prev === undefined) return false;\n  if (inQualifiedName) return false;\n\n  switch (cur) {\n    case 'LParen':\n    case 'LBracket':\n    case 'RParen':\n    case 'RBracket':\n    case 'Comma':\n    case 'Question':\n    case 'Dot':\n    case 'Colon':\n      return false;\n    case 'RBrace':\n      return prev !== 'LBrace';\n    default:\n      break;\n  }\n  switch (prev) {\n    case 'LParen':\n    case 'LBracket':\n    case 'Dot':\n    case 'At':\n    case 'DoubleAt':\n      return false;\n    default:\n      return true;\n  }\n}\n\nfunction streamNode(writer: LineWriter, node: SyntaxNode, padTo?: number): number {\n  let continuation = 0;\n  let first = true;\n  let prevQualified = false;\n\n  const walk = (parent: SyntaxNode, qualified: boolean): void => {\n    for (const child of parent.children()) {\n      if (child instanceof SyntaxNode) {\n        walk(child, qualified || child.kind === 'QualifiedName');\n        continue;\n      }\n      if (child.kind === 'Whitespace' || child.kind === 'Newline') continue;\n      if (child.kind === 'Comment') {\n        writer.comment(child.text);\n        writer.indent();\n        continuation += 1;\n        prevQualified = false;\n        first = false;\n        continue;\n      }\n      const pad = first ? padTo : undefined;\n      const space = spaceBetween(writer.prevKind(), child.kind, qualified && prevQualified);\n      writer.write(child, space, writer.lineOpen() ? pad : undefined);\n      prevQualified = qualified;\n      first = false;\n    }\n  };\n\n  walk(node, false);\n  return continuation;\n}\n\nfunction closeContinuation(writer: LineWriter, count: number): void {\n  for (let i = 0; i < count; i++) writer.unindent();\n}\n\nfunction emitField(\n  writer: LineWriter,\n  field: FieldDeclarationAst,\n  columns: AlignmentColumns | undefined,\n): number {\n  return streamRow(writer, field.syntax, columns);\n}\n\nfunction emitNamedType(writer: LineWriter, decl: NamedTypeDeclarationAst): number {\n  return streamRow(writer, decl.syntax, undefined);\n}\n\nfunction streamRow(\n  writer: LineWriter,\n  row: SyntaxNode,\n  columns: AlignmentColumns | undefined,\n): number {\n  let continuation = 0;\n  let sawAttribute = false;\n\n  for (const child of row.children()) {\n    if (child instanceof SyntaxNode) {\n      let padTo: number | undefined;\n      if (child.kind === 'TypeAnnotation' && continuation === 0) {\n        padTo = columns?.typeColumn;\n      } else if (child.kind === 'FieldAttribute') {\n        if (continuation > 0) writer.newline();\n        else if (!sawAttribute) padTo = columns?.attributeColumn;\n        sawAttribute = true;\n      }\n      continuation += streamNode(writer, child, padTo);\n      continue;\n    }\n    if (child.kind === 'Whitespace' || child.kind === 'Newline') continue;\n    if (child.kind === 'Comment') {\n      writer.comment(child.text);\n      writer.indent();\n      continuation += 1;\n      continue;\n    }\n    const space = spaceBetween(writer.prevKind(), child.kind, false);\n    writer.write(child, space);\n  }\n\n  return continuation;\n}\n\nfunction emitBlockAttribute(writer: LineWriter, attribute: ModelAttributeAst): number {\n  return streamNode(writer, attribute.syntax);\n}\n\nfunction emitKeyValue(writer: LineWriter, pair: KeyValuePairAst): number {\n  return streamNode(writer, pair.syntax);\n}\n\ntype MemberCategory = 'regular' | 'blockAttribute' | 'nestedBlock';\n\ninterface BlockMember {\n  readonly category: MemberCategory;\n  emit(trailing: string | undefined): number;\n}\n\nfunction leafMember(\n  writer: LineWriter,\n  category: MemberCategory,\n  print: () => number,\n): BlockMember {\n  return {\n    category,\n    emit(trailing) {\n      const continuation = print();\n      if (trailing !== undefined) writer.comment(trailing);\n      else writer.newline();\n      return continuation;\n    },\n  };\n}\n\ntype MemberClassifier = (node: SyntaxNode) => BlockMember | undefined;\n\nfunction emitModel(\n  writer: LineWriter,\n  model: ModelDeclarationAst,\n  trailing: string | undefined,\n): void {\n  const columns = alignmentMap(model.syntax);\n  emitBlockBody(writer, model.syntax, trailing, (node) => {\n    const field = FieldDeclarationAst.cast(node);\n    if (field) return leafMember(writer, 'regular', () => emitField(writer, field, columns));\n    const attribute = ModelAttributeAst.cast(node);\n    if (attribute)\n      return leafMember(writer, 'blockAttribute', () => emitBlockAttribute(writer, attribute));\n    return undefined;\n  });\n}\n\nfunction emitCompositeType(\n  writer: LineWriter,\n  composite: CompositeTypeDeclarationAst,\n  trailing: string | undefined,\n): void {\n  const columns = alignmentMap(composite.syntax);\n  emitBlockBody(writer, composite.syntax, trailing, (node) => {\n    const field = FieldDeclarationAst.cast(node);\n    if (field) return leafMember(writer, 'regular', () => emitField(writer, field, columns));\n    const attribute = ModelAttributeAst.cast(node);\n    if (attribute)\n      return leafMember(writer, 'blockAttribute', () => emitBlockAttribute(writer, attribute));\n    return undefined;\n  });\n}\n\nfunction emitGenericBlock(\n  writer: LineWriter,\n  block: GenericBlockDeclarationAst,\n  trailing: string | undefined,\n): void {\n  emitBlockBody(writer, block.syntax, trailing, (node) => {\n    const entry = KeyValuePairAst.cast(node);\n    if (entry) return leafMember(writer, 'regular', () => emitKeyValue(writer, entry));\n    const attribute = ModelAttributeAst.cast(node);\n    if (attribute)\n      return leafMember(writer, 'blockAttribute', () => emitBlockAttribute(writer, attribute));\n    return undefined;\n  });\n}\n\nfunction emitNamespace(\n  writer: LineWriter,\n  namespace: NamespaceDeclarationAst,\n  trailing: string | undefined,\n): void {\n  emitBlockBody(writer, namespace.syntax, trailing, (node) => {\n    const declaration = castBlockDeclaration(node);\n    if (declaration) return nestedBlockMember(writer, declaration);\n    return undefined;\n  });\n}\n\nfunction emitTypesBlock(\n  writer: LineWriter,\n  block: TypesBlockAst,\n  trailing: string | undefined,\n): void {\n  emitBlockBody(writer, block.syntax, trailing, (node) => {\n    const named = NamedTypeDeclarationAst.cast(node);\n    if (named) return leafMember(writer, 'regular', () => emitNamedType(writer, named));\n    return undefined;\n  });\n}\n\nfunction emitTopLevel(writer: LineWriter, document: DocumentAst): void {\n  walkRegion(writer, Array.from(document.syntax.children()), undefined, (node) => {\n    const declaration = castTopLevelDeclaration(node);\n    if (declaration) return nestedBlockMember(writer, declaration);\n    return undefined;\n  });\n}\n\ntype BlockEmitter = (writer: LineWriter, trailing: string | undefined) => void;\n\nfunction nestedBlockMember(writer: LineWriter, block: BlockEmitter): BlockMember {\n  return {\n    category: 'nestedBlock',\n    emit(trailing) {\n      block(writer, trailing);\n      return 0;\n    },\n  };\n}\n\nfunction castBlockDeclaration(node: SyntaxNode): BlockEmitter | undefined {\n  const model = ModelDeclarationAst.cast(node);\n  if (model) return (writer, trailing) => emitModel(writer, model, trailing);\n  const composite = CompositeTypeDeclarationAst.cast(node);\n  if (composite) return (writer, trailing) => emitCompositeType(writer, composite, trailing);\n  const generic = GenericBlockDeclarationAst.cast(node);\n  if (generic) return (writer, trailing) => emitGenericBlock(writer, generic, trailing);\n  return undefined;\n}\n\nfunction castTopLevelDeclaration(node: SyntaxNode): BlockEmitter | undefined {\n  const block = castBlockDeclaration(node);\n  if (block) return block;\n  const namespace = NamespaceDeclarationAst.cast(node);\n  if (namespace) return (writer, trailing) => emitNamespace(writer, namespace, trailing);\n  const types = TypesBlockAst.cast(node);\n  if (types) return (writer, trailing) => emitTypesBlock(writer, types, trailing);\n  return undefined;\n}\n\nfunction emitBlockBody(\n  writer: LineWriter,\n  node: SyntaxNode,\n  closingTrailing: string | undefined,\n  classify: MemberClassifier,\n): void {\n  const children = Array.from(node.children());\n  const openIndex = children.findIndex((el) => !(el instanceof SyntaxNode) && el.kind === 'LBrace');\n\n  streamHeader(writer, node);\n  const headerComment = sameLineCommentAfter(children, openIndex);\n  if (headerComment !== undefined) writer.comment(headerComment);\n  else writer.newline();\n\n  writer.indent();\n  walkRegion(writer, children, 'RBrace', classify);\n  writer.unindent();\n\n  writer.writeRaw('}');\n  if (closingTrailing !== undefined) writer.comment(closingTrailing);\n  else writer.newline();\n}\n\nfunction streamHeader(writer: LineWriter, node: SyntaxNode): void {\n  let done = false;\n  const walk = (parent: SyntaxNode): void => {\n    for (const child of parent.children()) {\n      if (done) return;\n      if (child instanceof SyntaxNode) {\n        walk(child);\n        continue;\n      }\n      if (child.kind === 'Whitespace' || child.kind === 'Newline' || child.kind === 'Comment') {\n        continue;\n      }\n      const space = spaceBetween(writer.prevKind(), child.kind, false);\n      writer.write(child, space);\n      if (child.kind === 'LBrace') {\n        done = true;\n        return;\n      }\n    }\n  };\n  walk(node);\n}\n\nfunction walkRegion(\n  writer: LineWriter,\n  elements: readonly SyntaxElement[],\n  closeKind: 'RBrace' | undefined,\n  classify: MemberClassifier,\n): void {\n  let sawOpenBrace = closeKind === undefined;\n  let sawContent = false;\n  let lastWasRegular = false;\n  let ledByComment = false;\n  let newlines = 0;\n\n  for (let i = 0; i < elements.length; i++) {\n    const element = elements[i];\n    if (element === undefined) continue;\n\n    if (element instanceof SyntaxNode) {\n      if (!sawOpenBrace) continue;\n      const member = classify(element);\n      if (member === undefined) continue;\n      if (!ledByComment) {\n        if (newlines >= 2 && sawContent && !writer.lastIsBlank()) writer.blank();\n        else if (separationBlankWanted(writer, member.category, sawContent, lastWasRegular)) {\n          writer.blank();\n        }\n      }\n\n      const trailing = sameLineTrailingComment(elements, i);\n      closeContinuation(writer, member.emit(trailing.text));\n      if (trailing.index !== undefined) i = trailing.index;\n      sawContent = true;\n      lastWasRegular = member.category !== 'blockAttribute';\n      ledByComment = false;\n      newlines = 0;\n      continue;\n    }\n\n    if (element.kind === 'LBrace' && closeKind === 'RBrace' && !sawOpenBrace) {\n      sawOpenBrace = true;\n      newlines = 0;\n      continue;\n    }\n    if (!sawOpenBrace) continue;\n    if (closeKind === 'RBrace' && element.kind === 'RBrace') break;\n    if (element.kind === 'Whitespace') continue;\n    if (element.kind === 'Newline') {\n      newlines += 1;\n      continue;\n    }\n    if (element.kind === 'Comment') {\n      if (closeKind === 'RBrace' && newlines === 0 && !sawContent) {\n        // Same-line comment trailing the opening `{`: owned by the block header.\n        continue;\n      }\n      if (newlines >= 2 && sawContent && !writer.lastIsBlank()) writer.blank();\n      else if (!ledByComment) {\n        const led = leadingMemberAfter(elements, i, classify);\n        if (led && separationBlankWanted(writer, led, sawContent, lastWasRegular)) writer.blank();\n      }\n      writer.writeRaw(element.text);\n      writer.newline();\n      sawContent = true;\n      ledByComment = true;\n      newlines = 0;\n    }\n  }\n}\n\nfunction separationBlankWanted(\n  writer: LineWriter,\n  category: MemberCategory,\n  sawContent: boolean,\n  lastWasRegular: boolean,\n): boolean {\n  if (!sawContent || writer.lastIsBlank()) return false;\n  if (category === 'nestedBlock') return true;\n  return category === 'blockAttribute' && lastWasRegular;\n}\n\nfunction leadingMemberAfter(\n  elements: readonly SyntaxElement[],\n  commentIndex: number,\n  classify: MemberClassifier,\n): MemberCategory | undefined {\n  for (let i = commentIndex + 1; i < elements.length; i++) {\n    const element = elements[i];\n    if (element === undefined) continue;\n    if (element instanceof SyntaxNode) return classify(element)?.category;\n    if (element.kind === 'RBrace') return undefined;\n  }\n  return undefined;\n}\n\nfunction sameLineTrailingComment(\n  elements: readonly SyntaxElement[],\n  memberIndex: number,\n): { text: string | undefined; index: number | undefined } {\n  for (let i = memberIndex + 1; i < elements.length; i++) {\n    const element = elements[i];\n    if (element === undefined) continue;\n    if (element instanceof SyntaxNode) break;\n    if (element.kind === 'Whitespace') continue;\n    if (element.kind === 'Comment') return { text: element.text, index: i };\n    break;\n  }\n  return { text: undefined, index: undefined };\n}\n\nfunction sameLineCommentAfter(\n  children: readonly SyntaxElement[],\n  openIndex: number,\n): string | undefined {\n  for (let i = openIndex + 1; i < children.length; i++) {\n    const child = children[i];\n    if (child === undefined) continue;\n    if (child instanceof SyntaxNode) return undefined;\n    if (child.kind === 'Whitespace') continue;\n    if (child.kind === 'Comment') return child.text;\n    return undefined;\n  }\n  return undefined;\n}\n\ninterface AlignmentColumns {\n  readonly typeColumn: number;\n  readonly attributeColumn: number;\n}\n\nfunction alignmentMap(block: SyntaxNode): AlignmentColumns | undefined {\n  const fields: SyntaxNode[] = [];\n  for (const element of block.children()) {\n    if (!(element instanceof SyntaxNode)) continue;\n    if (FieldDeclarationAst.cast(element) === undefined) continue;\n    // Interior comments split rows into continuation lines, so those rows opt out of alignment.\n    if (hasInteriorComment(element)) continue;\n    fields.push(element);\n  }\n  if (fields.length === 0) return undefined;\n  return alignmentColumns(fields);\n}\n\nfunction alignmentColumns(rows: readonly SyntaxNode[]): AlignmentColumns {\n  let nameWidth = 0;\n  for (const row of rows) {\n    const field = FieldDeclarationAst.cast(row);\n    if (!field) continue;\n    nameWidth = Math.max(nameWidth, renderTokens(field.name()?.syntax).length);\n  }\n  const typeColumn = nameWidth + 1;\n  let cellEnd = 0;\n  for (const row of rows) {\n    const field = FieldDeclarationAst.cast(row);\n    if (!field) continue;\n    const name = renderTokens(field.name()?.syntax);\n    const type = renderTokens(field.typeAnnotation()?.syntax);\n    cellEnd = Math.max(cellEnd, type.length > 0 ? typeColumn + type.length : name.length);\n  }\n  return { typeColumn, attributeColumn: cellEnd + 1 };\n}\n\nfunction hasInteriorComment(node: SyntaxNode): boolean {\n  for (const token of node.tokens()) {\n    if (token.kind === 'Comment') return true;\n  }\n  return false;\n}\n\nfunction renderTokens(node: SyntaxNode | undefined): string {\n  if (!node) return '';\n  let out = '';\n  let prev: TokenKind | undefined;\n  let prevQualified = false;\n  const walk = (parent: SyntaxNode, qualified: boolean): void => {\n    for (const child of parent.children()) {\n      if (child instanceof SyntaxNode) {\n        walk(child, qualified || child.kind === 'QualifiedName');\n        continue;\n      }\n      if (child.kind === 'Whitespace' || child.kind === 'Newline' || child.kind === 'Comment') {\n        continue;\n      }\n      if (spaceBetween(prev, child.kind, qualified && prevQualified)) out += ' ';\n      out += child.text;\n      prev = child.kind;\n      prevQualified = qualified;\n    }\n  };\n  walk(node, false);\n  return out;\n}\n","export interface FormatOptions {\n  readonly indent?: number | 'tab';\n  readonly newline?: 'LF' | 'CRLF';\n}\n\nexport interface ResolvedFormatOptions {\n  readonly indentUnit: string;\n  readonly newline: string;\n}\n\nexport function resolveFormatOptions(options: FormatOptions | undefined): ResolvedFormatOptions {\n  const indent = options?.indent ?? 2;\n  if (indent !== 'tab' && (typeof indent !== 'number' || !Number.isInteger(indent) || indent < 1)) {\n    throw new TypeError(\n      `Invalid format options: indent must be a positive integer or 'tab', got ${String(indent)}`,\n    );\n  }\n  const newline = options?.newline ?? 'LF';\n  if (newline !== 'LF' && newline !== 'CRLF') {\n    throw new TypeError(\n      `Invalid format options: newline must be 'LF' or 'CRLF', got ${String(newline)}`,\n    );\n  }\n  return {\n    indentUnit: indent === 'tab' ? '\\t' : ' '.repeat(indent),\n    newline: newline === 'CRLF' ? '\\r\\n' : '\\n',\n  };\n}\n","import { parse } from '../parse';\nimport { emitDocument } from './emit';\nimport { PslFormatError } from './error';\nimport { type FormatOptions, resolveFormatOptions } from './options';\n\nexport function format(source: string, options?: FormatOptions): string {\n  const resolved = resolveFormatOptions(options);\n  const { document, diagnostics } = parse(source);\n  if (diagnostics.length > 0) {\n    throw new PslFormatError(diagnostics);\n  }\n  return emitDocument(document, resolved.indentUnit, resolved.newline);\n}\n"],"mappings":";;;AAEA,IAAa,iBAAb,cAAoC,MAAM;CACxC;CAEA,YAAY,aAAyC;EACnD,MAAM,UAAU,YAAY,EAAE,EAAE,WAAW;EAC3C,MAAM,OAAO,YAAY,SAAS,IAAI,SAAS,YAAY,SAAS,EAAE,UAAU;EAChF,MAAM,wCAAwC,UAAU,MAAM;EAC9D,KAAK,OAAO;EACZ,KAAK,cAAc;CACrB;AACF;;;ACGA,SAAgB,aAAa,UAAuB,YAAoB,SAAyB;CAC/F,MAAM,SAAS,IAAI,WAAW,YAAY,OAAO;CACjD,aAAa,QAAQ,QAAQ;CAC7B,OAAO,OAAO,OAAO;AACvB;AAEA,IAAM,aAAN,MAAiB;CACf;CACA;CACA,OAA0B,CAAC;CAC3B,SAAS;CACT,QAAQ;CACR,YAAY;CACZ;CACA,gBAAgB;CAChB,cAAc;CAEd,YAAY,YAAoB,SAAiB;EAC/C,KAAKA,cAAc;EACnB,KAAKC,WAAW;CAClB;CAEA,SAAe;EACb,KAAKE,UAAU;CACjB;CAEA,WAAiB;EACf,KAAKA,SAAS,KAAK,IAAI,GAAG,KAAKA,SAAS,CAAC;CAC3C;CAEA,cAAuB;EACrB,OAAO,KAAKC;CACd;CAEA,WAAoB;EAClB,OAAO,KAAKC;CACd;CAEA,WAAkC;EAChC,OAAO,KAAKC;CACd;CAEA,UAAgB;EACd,IAAI,CAAC,KAAKD,WAAW;EACrB,KAAKH,KAAK,KAAK,GAAG,KAAKF,YAAY,OAAO,KAAKG,MAAM,IAAI,KAAKI,OAAO;EACrE,KAAKA,QAAQ;EACb,KAAKF,YAAY;EACjB,KAAKC,YAAY,KAAA;EACjB,KAAKF,gBAAgB;EACrB,KAAKI,cAAc;CACrB;CAEA,QAAc;EACZ,KAAK,QAAQ;EACb,IAAI,CAAC,KAAKA,eAAe,KAAKJ,eAAe;EAC7C,KAAKF,KAAK,KAAK,EAAE;EACjB,KAAKE,gBAAgB;CACvB;CAEA,MAAM,OAAoB,OAAgB,OAAsB;EAC9D,IAAI,KAAKC,aAAa,UAAU,KAAA,GAC9B,KAAKE,QAAQ,KAAKA,MAAM,OAAO,KAAK;OAC/B,IAAI,KAAKF,aAAa,OAC3B,KAAKE,SAAS;EAEhB,KAAKA,SAAS,MAAM;EACpB,KAAKF,YAAY;EACjB,KAAKC,YAAY,MAAM;CACzB;CAEA,SAAS,MAAoB;EAC3B,KAAKC,SAAS;EACd,KAAKF,YAAY;CACnB;CAEA,QAAQ,MAAoB;EAC1B,IAAI,KAAKA,WAAW,KAAKE,SAAS,IAAI;OACjC,KAAKA,QAAQ;EAClB,KAAKF,YAAY;EACjB,KAAK,QAAQ;CACf;CAEA,SAAiB;EACf,KAAK,QAAQ;EACb,MAAM,OAAO,KAAKH,KAAK,KAAK,KAAKD,QAAQ;EACzC,OAAO,KAAK,SAAS,IAAI,GAAG,OAAO,KAAKA,aAAa;CACvD;AACF;AAGA,SAAS,aACP,MACA,KACA,iBACS;CACT,IAAI,SAAS,KAAA,GAAW,OAAO;CAC/B,IAAI,iBAAiB,OAAO;CAE5B,QAAQ,KAAR;EACE,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,SACH,OAAO;EACT,KAAK,UACH,OAAO,SAAS;EAClB,SACE;CACJ;CACA,QAAQ,MAAR;EACE,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,YACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAEA,SAAS,WAAW,QAAoB,MAAkB,OAAwB;CAChF,IAAI,eAAe;CACnB,IAAI,QAAQ;CACZ,IAAI,gBAAgB;CAEpB,MAAM,QAAQ,QAAoB,cAA6B;EAC7D,KAAK,MAAM,SAAS,OAAO,SAAS,GAAG;GACrC,IAAI,iBAAiB,YAAY;IAC/B,KAAK,OAAO,aAAa,MAAM,SAAS,eAAe;IACvD;GACF;GACA,IAAI,MAAM,SAAS,gBAAgB,MAAM,SAAS,WAAW;GAC7D,IAAI,MAAM,SAAS,WAAW;IAC5B,OAAO,QAAQ,MAAM,IAAI;IACzB,OAAO,OAAO;IACd,gBAAgB;IAChB,gBAAgB;IAChB,QAAQ;IACR;GACF;GACA,MAAM,MAAM,QAAQ,QAAQ,KAAA;GAC5B,MAAM,QAAQ,aAAa,OAAO,SAAS,GAAG,MAAM,MAAM,aAAa,aAAa;GACpF,OAAO,MAAM,OAAO,OAAO,OAAO,SAAS,IAAI,MAAM,KAAA,CAAS;GAC9D,gBAAgB;GAChB,QAAQ;EACV;CACF;CAEA,KAAK,MAAM,KAAK;CAChB,OAAO;AACT;AAEA,SAAS,kBAAkB,QAAoB,OAAqB;CAClE,KAAK,IAAI,IAAI,GAAG,IAAI,OAAO,KAAK,OAAO,SAAS;AAClD;AAEA,SAAS,UACP,QACA,OACA,SACQ;CACR,OAAO,UAAU,QAAQ,MAAM,QAAQ,OAAO;AAChD;AAEA,SAAS,cAAc,QAAoB,MAAuC;CAChF,OAAO,UAAU,QAAQ,KAAK,QAAQ,KAAA,CAAS;AACjD;AAEA,SAAS,UACP,QACA,KACA,SACQ;CACR,IAAI,eAAe;CACnB,IAAI,eAAe;CAEnB,KAAK,MAAM,SAAS,IAAI,SAAS,GAAG;EAClC,IAAI,iBAAiB,YAAY;GAC/B,IAAI;GACJ,IAAI,MAAM,SAAS,oBAAoB,iBAAiB,GACtD,QAAQ,SAAS;QACZ,IAAI,MAAM,SAAS,kBAAkB;IAC1C,IAAI,eAAe,GAAG,OAAO,QAAQ;SAChC,IAAI,CAAC,cAAc,QAAQ,SAAS;IACzC,eAAe;GACjB;GACA,gBAAgB,WAAW,QAAQ,OAAO,KAAK;GAC/C;EACF;EACA,IAAI,MAAM,SAAS,gBAAgB,MAAM,SAAS,WAAW;EAC7D,IAAI,MAAM,SAAS,WAAW;GAC5B,OAAO,QAAQ,MAAM,IAAI;GACzB,OAAO,OAAO;GACd,gBAAgB;GAChB;EACF;EACA,MAAM,QAAQ,aAAa,OAAO,SAAS,GAAG,MAAM,MAAM,KAAK;EAC/D,OAAO,MAAM,OAAO,KAAK;CAC3B;CAEA,OAAO;AACT;AAEA,SAAS,mBAAmB,QAAoB,WAAsC;CACpF,OAAO,WAAW,QAAQ,UAAU,MAAM;AAC5C;AAEA,SAAS,aAAa,QAAoB,MAA+B;CACvE,OAAO,WAAW,QAAQ,KAAK,MAAM;AACvC;AASA,SAAS,WACP,QACA,UACA,OACa;CACb,OAAO;EACL;EACA,KAAK,UAAU;GACb,MAAM,eAAe,MAAM;GAC3B,IAAI,aAAa,KAAA,GAAW,OAAO,QAAQ,QAAQ;QAC9C,OAAO,QAAQ;GACpB,OAAO;EACT;CACF;AACF;AAIA,SAAS,UACP,QACA,OACA,UACM;CACN,MAAM,UAAU,aAAa,MAAM,MAAM;CACzC,cAAc,QAAQ,MAAM,QAAQ,WAAW,SAAS;EACtD,MAAM,QAAQ,oBAAoB,KAAK,IAAI;EAC3C,IAAI,OAAO,OAAO,WAAW,QAAQ,iBAAiB,UAAU,QAAQ,OAAO,OAAO,CAAC;EACvF,MAAM,YAAY,kBAAkB,KAAK,IAAI;EAC7C,IAAI,WACF,OAAO,WAAW,QAAQ,wBAAwB,mBAAmB,QAAQ,SAAS,CAAC;CAE3F,CAAC;AACH;AAEA,SAAS,kBACP,QACA,WACA,UACM;CACN,MAAM,UAAU,aAAa,UAAU,MAAM;CAC7C,cAAc,QAAQ,UAAU,QAAQ,WAAW,SAAS;EAC1D,MAAM,QAAQ,oBAAoB,KAAK,IAAI;EAC3C,IAAI,OAAO,OAAO,WAAW,QAAQ,iBAAiB,UAAU,QAAQ,OAAO,OAAO,CAAC;EACvF,MAAM,YAAY,kBAAkB,KAAK,IAAI;EAC7C,IAAI,WACF,OAAO,WAAW,QAAQ,wBAAwB,mBAAmB,QAAQ,SAAS,CAAC;CAE3F,CAAC;AACH;AAEA,SAAS,iBACP,QACA,OACA,UACM;CACN,cAAc,QAAQ,MAAM,QAAQ,WAAW,SAAS;EACtD,MAAM,QAAQ,gBAAgB,KAAK,IAAI;EACvC,IAAI,OAAO,OAAO,WAAW,QAAQ,iBAAiB,aAAa,QAAQ,KAAK,CAAC;EACjF,MAAM,YAAY,kBAAkB,KAAK,IAAI;EAC7C,IAAI,WACF,OAAO,WAAW,QAAQ,wBAAwB,mBAAmB,QAAQ,SAAS,CAAC;CAE3F,CAAC;AACH;AAEA,SAAS,cACP,QACA,WACA,UACM;CACN,cAAc,QAAQ,UAAU,QAAQ,WAAW,SAAS;EAC1D,MAAM,cAAc,qBAAqB,IAAI;EAC7C,IAAI,aAAa,OAAO,kBAAkB,QAAQ,WAAW;CAE/D,CAAC;AACH;AAEA,SAAS,eACP,QACA,OACA,UACM;CACN,cAAc,QAAQ,MAAM,QAAQ,WAAW,SAAS;EACtD,MAAM,QAAQ,wBAAwB,KAAK,IAAI;EAC/C,IAAI,OAAO,OAAO,WAAW,QAAQ,iBAAiB,cAAc,QAAQ,KAAK,CAAC;CAEpF,CAAC;AACH;AAEA,SAAS,aAAa,QAAoB,UAA6B;CACrE,WAAW,QAAQ,MAAM,KAAK,SAAS,OAAO,SAAS,CAAC,GAAG,KAAA,IAAY,SAAS;EAC9E,MAAM,cAAc,wBAAwB,IAAI;EAChD,IAAI,aAAa,OAAO,kBAAkB,QAAQ,WAAW;CAE/D,CAAC;AACH;AAIA,SAAS,kBAAkB,QAAoB,OAAkC;CAC/E,OAAO;EACL,UAAU;EACV,KAAK,UAAU;GACb,MAAM,QAAQ,QAAQ;GACtB,OAAO;EACT;CACF;AACF;AAEA,SAAS,qBAAqB,MAA4C;CACxE,MAAM,QAAQ,oBAAoB,KAAK,IAAI;CAC3C,IAAI,OAAO,QAAQ,QAAQ,aAAa,UAAU,QAAQ,OAAO,QAAQ;CACzE,MAAM,YAAY,4BAA4B,KAAK,IAAI;CACvD,IAAI,WAAW,QAAQ,QAAQ,aAAa,kBAAkB,QAAQ,WAAW,QAAQ;CACzF,MAAM,UAAU,2BAA2B,KAAK,IAAI;CACpD,IAAI,SAAS,QAAQ,QAAQ,aAAa,iBAAiB,QAAQ,SAAS,QAAQ;AAEtF;AAEA,SAAS,wBAAwB,MAA4C;CAC3E,MAAM,QAAQ,qBAAqB,IAAI;CACvC,IAAI,OAAO,OAAO;CAClB,MAAM,YAAY,wBAAwB,KAAK,IAAI;CACnD,IAAI,WAAW,QAAQ,QAAQ,aAAa,cAAc,QAAQ,WAAW,QAAQ;CACrF,MAAM,QAAQ,cAAc,KAAK,IAAI;CACrC,IAAI,OAAO,QAAQ,QAAQ,aAAa,eAAe,QAAQ,OAAO,QAAQ;AAEhF;AAEA,SAAS,cACP,QACA,MACA,iBACA,UACM;CACN,MAAM,WAAW,MAAM,KAAK,KAAK,SAAS,CAAC;CAC3C,MAAM,YAAY,SAAS,WAAW,OAAO,EAAE,cAAc,eAAe,GAAG,SAAS,QAAQ;CAEhG,aAAa,QAAQ,IAAI;CACzB,MAAM,gBAAgB,qBAAqB,UAAU,SAAS;CAC9D,IAAI,kBAAkB,KAAA,GAAW,OAAO,QAAQ,aAAa;MACxD,OAAO,QAAQ;CAEpB,OAAO,OAAO;CACd,WAAW,QAAQ,UAAU,UAAU,QAAQ;CAC/C,OAAO,SAAS;CAEhB,OAAO,SAAS,GAAG;CACnB,IAAI,oBAAoB,KAAA,GAAW,OAAO,QAAQ,eAAe;MAC5D,OAAO,QAAQ;AACtB;AAEA,SAAS,aAAa,QAAoB,MAAwB;CAChE,IAAI,OAAO;CACX,MAAM,QAAQ,WAA6B;EACzC,KAAK,MAAM,SAAS,OAAO,SAAS,GAAG;GACrC,IAAI,MAAM;GACV,IAAI,iBAAiB,YAAY;IAC/B,KAAK,KAAK;IACV;GACF;GACA,IAAI,MAAM,SAAS,gBAAgB,MAAM,SAAS,aAAa,MAAM,SAAS,WAC5E;GAEF,MAAM,QAAQ,aAAa,OAAO,SAAS,GAAG,MAAM,MAAM,KAAK;GAC/D,OAAO,MAAM,OAAO,KAAK;GACzB,IAAI,MAAM,SAAS,UAAU;IAC3B,OAAO;IACP;GACF;EACF;CACF;CACA,KAAK,IAAI;AACX;AAEA,SAAS,WACP,QACA,UACA,WACA,UACM;CACN,IAAI,eAAe,cAAc,KAAA;CACjC,IAAI,aAAa;CACjB,IAAI,iBAAiB;CACrB,IAAI,eAAe;CACnB,IAAI,WAAW;CAEf,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,QAAQ,KAAK;EACxC,MAAM,UAAU,SAAS;EACzB,IAAI,YAAY,KAAA,GAAW;EAE3B,IAAI,mBAAmB,YAAY;GACjC,IAAI,CAAC,cAAc;GACnB,MAAM,SAAS,SAAS,OAAO;GAC/B,IAAI,WAAW,KAAA,GAAW;GAC1B,IAAI,CAAC;QACC,YAAY,KAAK,cAAc,CAAC,OAAO,YAAY,GAAG,OAAO,MAAM;SAClE,IAAI,sBAAsB,QAAQ,OAAO,UAAU,YAAY,cAAc,GAChF,OAAO,MAAM;GAAA;GAIjB,MAAM,WAAW,wBAAwB,UAAU,CAAC;GACpD,kBAAkB,QAAQ,OAAO,KAAK,SAAS,IAAI,CAAC;GACpD,IAAI,SAAS,UAAU,KAAA,GAAW,IAAI,SAAS;GAC/C,aAAa;GACb,iBAAiB,OAAO,aAAa;GACrC,eAAe;GACf,WAAW;GACX;EACF;EAEA,IAAI,QAAQ,SAAS,YAAY,cAAc,YAAY,CAAC,cAAc;GACxE,eAAe;GACf,WAAW;GACX;EACF;EACA,IAAI,CAAC,cAAc;EACnB,IAAI,cAAc,YAAY,QAAQ,SAAS,UAAU;EACzD,IAAI,QAAQ,SAAS,cAAc;EACnC,IAAI,QAAQ,SAAS,WAAW;GAC9B,YAAY;GACZ;EACF;EACA,IAAI,QAAQ,SAAS,WAAW;GAC9B,IAAI,cAAc,YAAY,aAAa,KAAK,CAAC,YAE/C;GAEF,IAAI,YAAY,KAAK,cAAc,CAAC,OAAO,YAAY,GAAG,OAAO,MAAM;QAClE,IAAI,CAAC,cAAc;IACtB,MAAM,MAAM,mBAAmB,UAAU,GAAG,QAAQ;IACpD,IAAI,OAAO,sBAAsB,QAAQ,KAAK,YAAY,cAAc,GAAG,OAAO,MAAM;GAC1F;GACA,OAAO,SAAS,QAAQ,IAAI;GAC5B,OAAO,QAAQ;GACf,aAAa;GACb,eAAe;GACf,WAAW;EACb;CACF;AACF;AAEA,SAAS,sBACP,QACA,UACA,YACA,gBACS;CACT,IAAI,CAAC,cAAc,OAAO,YAAY,GAAG,OAAO;CAChD,IAAI,aAAa,eAAe,OAAO;CACvC,OAAO,aAAa,oBAAoB;AAC1C;AAEA,SAAS,mBACP,UACA,cACA,UAC4B;CAC5B,KAAK,IAAI,IAAI,eAAe,GAAG,IAAI,SAAS,QAAQ,KAAK;EACvD,MAAM,UAAU,SAAS;EACzB,IAAI,YAAY,KAAA,GAAW;EAC3B,IAAI,mBAAmB,YAAY,OAAO,SAAS,OAAO,CAAC,EAAE;EAC7D,IAAI,QAAQ,SAAS,UAAU,OAAO,KAAA;CACxC;AAEF;AAEA,SAAS,wBACP,UACA,aACyD;CACzD,KAAK,IAAI,IAAI,cAAc,GAAG,IAAI,SAAS,QAAQ,KAAK;EACtD,MAAM,UAAU,SAAS;EACzB,IAAI,YAAY,KAAA,GAAW;EAC3B,IAAI,mBAAmB,YAAY;EACnC,IAAI,QAAQ,SAAS,cAAc;EACnC,IAAI,QAAQ,SAAS,WAAW,OAAO;GAAE,MAAM,QAAQ;GAAM,OAAO;EAAE;EACtE;CACF;CACA,OAAO;EAAE,MAAM,KAAA;EAAW,OAAO,KAAA;CAAU;AAC7C;AAEA,SAAS,qBACP,UACA,WACoB;CACpB,KAAK,IAAI,IAAI,YAAY,GAAG,IAAI,SAAS,QAAQ,KAAK;EACpD,MAAM,QAAQ,SAAS;EACvB,IAAI,UAAU,KAAA,GAAW;EACzB,IAAI,iBAAiB,YAAY,OAAO,KAAA;EACxC,IAAI,MAAM,SAAS,cAAc;EACjC,IAAI,MAAM,SAAS,WAAW,OAAO,MAAM;EAC3C;CACF;AAEF;AAOA,SAAS,aAAa,OAAiD;CACrE,MAAM,SAAuB,CAAC;CAC9B,KAAK,MAAM,WAAW,MAAM,SAAS,GAAG;EACtC,IAAI,EAAE,mBAAmB,aAAa;EACtC,IAAI,oBAAoB,KAAK,OAAO,MAAM,KAAA,GAAW;EAErD,IAAI,mBAAmB,OAAO,GAAG;EACjC,OAAO,KAAK,OAAO;CACrB;CACA,IAAI,OAAO,WAAW,GAAG,OAAO,KAAA;CAChC,OAAO,iBAAiB,MAAM;AAChC;AAEA,SAAS,iBAAiB,MAA+C;CACvE,IAAI,YAAY;CAChB,KAAK,MAAM,OAAO,MAAM;EACtB,MAAM,QAAQ,oBAAoB,KAAK,GAAG;EAC1C,IAAI,CAAC,OAAO;EACZ,YAAY,KAAK,IAAI,WAAW,aAAa,MAAM,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM;CAC3E;CACA,MAAM,aAAa,YAAY;CAC/B,IAAI,UAAU;CACd,KAAK,MAAM,OAAO,MAAM;EACtB,MAAM,QAAQ,oBAAoB,KAAK,GAAG;EAC1C,IAAI,CAAC,OAAO;EACZ,MAAM,OAAO,aAAa,MAAM,KAAK,CAAC,EAAE,MAAM;EAC9C,MAAM,OAAO,aAAa,MAAM,eAAe,CAAC,EAAE,MAAM;EACxD,UAAU,KAAK,IAAI,SAAS,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,KAAK,MAAM;CACtF;CACA,OAAO;EAAE;EAAY,iBAAiB,UAAU;CAAE;AACpD;AAEA,SAAS,mBAAmB,MAA2B;CACrD,KAAK,MAAM,SAAS,KAAK,OAAO,GAC9B,IAAI,MAAM,SAAS,WAAW,OAAO;CAEvC,OAAO;AACT;AAEA,SAAS,aAAa,MAAsC;CAC1D,IAAI,CAAC,MAAM,OAAO;CAClB,IAAI,MAAM;CACV,IAAI;CACJ,IAAI,gBAAgB;CACpB,MAAM,QAAQ,QAAoB,cAA6B;EAC7D,KAAK,MAAM,SAAS,OAAO,SAAS,GAAG;GACrC,IAAI,iBAAiB,YAAY;IAC/B,KAAK,OAAO,aAAa,MAAM,SAAS,eAAe;IACvD;GACF;GACA,IAAI,MAAM,SAAS,gBAAgB,MAAM,SAAS,aAAa,MAAM,SAAS,WAC5E;GAEF,IAAI,aAAa,MAAM,MAAM,MAAM,aAAa,aAAa,GAAG,OAAO;GACvE,OAAO,MAAM;GACb,OAAO,MAAM;GACb,gBAAgB;EAClB;CACF;CACA,KAAK,MAAM,KAAK;CAChB,OAAO;AACT;;;AChlBA,SAAgB,qBAAqB,SAA2D;CAC9F,MAAM,SAAS,SAAS,UAAU;CAClC,IAAI,WAAW,UAAU,OAAO,WAAW,YAAY,CAAC,OAAO,UAAU,MAAM,KAAK,SAAS,IAC3F,MAAM,IAAI,UACR,2EAA2E,OAAO,MAAM,GAC1F;CAEF,MAAM,UAAU,SAAS,WAAW;CACpC,IAAI,YAAY,QAAQ,YAAY,QAClC,MAAM,IAAI,UACR,+DAA+D,OAAO,OAAO,GAC/E;CAEF,OAAO;EACL,YAAY,WAAW,QAAQ,MAAO,IAAI,OAAO,MAAM;EACvD,SAAS,YAAY,SAAS,SAAS;CACzC;AACF;;;ACtBA,SAAgB,OAAO,QAAgB,SAAiC;CACtE,MAAM,WAAW,qBAAqB,OAAO;CAC7C,MAAM,EAAE,UAAU,gBAAgB,MAAM,MAAM;CAC9C,IAAI,YAAY,SAAS,GACvB,MAAM,IAAI,eAAe,WAAW;CAEtC,OAAO,aAAa,UAAU,SAAS,YAAY,SAAS,OAAO;AACrE"}
+{"version":3,"file":"format.mjs","names":["#indentUnit","#newline","#out","#depth","#lastWasBlank","#lineOpen","#prevKind","#line","#hasContent"],"sources":["../src/format/emit.ts","../src/format/error.ts","../src/format/options.ts","../src/format/format.ts"],"sourcesContent":["import { ModelAttributeAst } from '../syntax/ast/attributes';\nimport {\n  CompositeTypeDeclarationAst,\n  type DocumentAst,\n  FieldDeclarationAst,\n  GenericBlockDeclarationAst,\n  KeyValuePairAst,\n  ModelDeclarationAst,\n  NamedTypeDeclarationAst,\n  NamespaceDeclarationAst,\n  TypesBlockAst,\n} from '../syntax/ast/declarations';\nimport { type SyntaxElement, SyntaxNode, type SyntaxToken } from '../syntax/red';\nimport type { TokenKind } from '../tokenizer';\n\nexport function emitDocument(document: DocumentAst, indentUnit: string, newline: string): string {\n  const writer = new LineWriter(indentUnit, newline);\n  emitTopLevel(writer, document);\n  return writer.finish();\n}\n\nclass LineWriter {\n  readonly #indentUnit: string;\n  readonly #newline: string;\n  readonly #out: string[] = [];\n  #depth = 0;\n  #line = '';\n  #lineOpen = false;\n  #prevKind: TokenKind | undefined;\n  #lastWasBlank = false;\n  #hasContent = false;\n\n  constructor(indentUnit: string, newline: string) {\n    this.#indentUnit = indentUnit;\n    this.#newline = newline;\n  }\n\n  indent(): void {\n    this.#depth += 1;\n  }\n\n  unindent(): void {\n    this.#depth = Math.max(0, this.#depth - 1);\n  }\n\n  lastIsBlank(): boolean {\n    return this.#lastWasBlank;\n  }\n\n  lineOpen(): boolean {\n    return this.#lineOpen;\n  }\n\n  prevKind(): TokenKind | undefined {\n    return this.#prevKind;\n  }\n\n  newline(): void {\n    if (!this.#lineOpen) return;\n    this.#out.push(`${this.#indentUnit.repeat(this.#depth)}${this.#line}`);\n    this.#line = '';\n    this.#lineOpen = false;\n    this.#prevKind = undefined;\n    this.#lastWasBlank = false;\n    this.#hasContent = true;\n  }\n\n  blank(): void {\n    this.newline();\n    if (!this.#hasContent || this.#lastWasBlank) return;\n    this.#out.push('');\n    this.#lastWasBlank = true;\n  }\n\n  write(token: SyntaxToken, space: boolean, padTo?: number): void {\n    if (this.#lineOpen && padTo !== undefined) {\n      this.#line = this.#line.padEnd(padTo);\n    } else if (this.#lineOpen && space) {\n      this.#line += ' ';\n    }\n    this.#line += token.text;\n    this.#lineOpen = true;\n    this.#prevKind = token.kind;\n  }\n\n  writeRaw(text: string): void {\n    this.#line += text;\n    this.#lineOpen = true;\n  }\n\n  comment(text: string): void {\n    if (this.#lineOpen) this.#line += ` ${text}`;\n    else this.#line = text;\n    this.#lineOpen = true;\n    this.newline();\n  }\n\n  finish(): string {\n    this.newline();\n    const body = this.#out.join(this.#newline);\n    return body.length > 0 ? `${body}${this.#newline}` : '';\n  }\n}\n\n// Qualified-name separators hug; argument/object colons keep the usual value space.\nfunction spaceBetween(\n  prev: TokenKind | undefined,\n  cur: TokenKind,\n  inQualifiedName: boolean,\n): boolean {\n  if (prev === undefined) return false;\n  if (inQualifiedName) return false;\n\n  switch (cur) {\n    case 'LParen':\n    case 'LBracket':\n    case 'RParen':\n    case 'RBracket':\n    case 'Comma':\n    case 'Question':\n    case 'Dot':\n    case 'Colon':\n      return false;\n    case 'RBrace':\n      return prev !== 'LBrace';\n    default:\n      break;\n  }\n  switch (prev) {\n    case 'LParen':\n    case 'LBracket':\n    case 'Dot':\n    case 'At':\n    case 'DoubleAt':\n      return false;\n    default:\n      return true;\n  }\n}\n\nfunction streamNode(writer: LineWriter, node: SyntaxNode, padTo?: number): number {\n  let continuation = 0;\n  let first = true;\n  let prevQualified = false;\n\n  const walk = (parent: SyntaxNode, qualified: boolean): void => {\n    for (const child of parent.children()) {\n      if (child instanceof SyntaxNode) {\n        walk(child, qualified || child.kind === 'QualifiedName');\n        continue;\n      }\n      if (child.kind === 'Whitespace' || child.kind === 'Newline') continue;\n      if (child.kind === 'Comment') {\n        writer.comment(child.text);\n        writer.indent();\n        continuation += 1;\n        prevQualified = false;\n        first = false;\n        continue;\n      }\n      const pad = first ? padTo : undefined;\n      const space = spaceBetween(writer.prevKind(), child.kind, qualified && prevQualified);\n      writer.write(child, space, writer.lineOpen() ? pad : undefined);\n      prevQualified = qualified;\n      first = false;\n    }\n  };\n\n  walk(node, false);\n  return continuation;\n}\n\nfunction closeContinuation(writer: LineWriter, count: number): void {\n  for (let i = 0; i < count; i++) writer.unindent();\n}\n\nfunction emitField(\n  writer: LineWriter,\n  field: FieldDeclarationAst,\n  columns: AlignmentColumns | undefined,\n): number {\n  return streamRow(writer, field.syntax, columns);\n}\n\nfunction emitNamedType(writer: LineWriter, decl: NamedTypeDeclarationAst): number {\n  return streamRow(writer, decl.syntax, undefined);\n}\n\nfunction streamRow(\n  writer: LineWriter,\n  row: SyntaxNode,\n  columns: AlignmentColumns | undefined,\n): number {\n  let continuation = 0;\n  let sawAttribute = false;\n\n  for (const child of row.children()) {\n    if (child instanceof SyntaxNode) {\n      let padTo: number | undefined;\n      if (child.kind === 'TypeAnnotation' && continuation === 0) {\n        padTo = columns?.typeColumn;\n      } else if (child.kind === 'FieldAttribute') {\n        if (continuation > 0) writer.newline();\n        else if (!sawAttribute) padTo = columns?.attributeColumn;\n        sawAttribute = true;\n      }\n      continuation += streamNode(writer, child, padTo);\n      continue;\n    }\n    if (child.kind === 'Whitespace' || child.kind === 'Newline') continue;\n    if (child.kind === 'Comment') {\n      writer.comment(child.text);\n      writer.indent();\n      continuation += 1;\n      continue;\n    }\n    const space = spaceBetween(writer.prevKind(), child.kind, false);\n    writer.write(child, space);\n  }\n\n  return continuation;\n}\n\nfunction emitBlockAttribute(writer: LineWriter, attribute: ModelAttributeAst): number {\n  return streamNode(writer, attribute.syntax);\n}\n\nfunction emitKeyValue(writer: LineWriter, pair: KeyValuePairAst): number {\n  return streamNode(writer, pair.syntax);\n}\n\ntype MemberCategory = 'regular' | 'blockAttribute' | 'nestedBlock';\n\ninterface BlockMember {\n  readonly category: MemberCategory;\n  emit(trailing: string | undefined): number;\n}\n\nfunction leafMember(\n  writer: LineWriter,\n  category: MemberCategory,\n  print: () => number,\n): BlockMember {\n  return {\n    category,\n    emit(trailing) {\n      const continuation = print();\n      if (trailing !== undefined) writer.comment(trailing);\n      else writer.newline();\n      return continuation;\n    },\n  };\n}\n\ntype MemberClassifier = (node: SyntaxNode) => BlockMember | undefined;\n\nfunction emitModel(\n  writer: LineWriter,\n  model: ModelDeclarationAst,\n  trailing: string | undefined,\n): void {\n  const columns = alignmentMap(model.syntax);\n  emitBlockBody(writer, model.syntax, trailing, (node) => {\n    const field = FieldDeclarationAst.cast(node);\n    if (field) return leafMember(writer, 'regular', () => emitField(writer, field, columns));\n    const attribute = ModelAttributeAst.cast(node);\n    if (attribute)\n      return leafMember(writer, 'blockAttribute', () => emitBlockAttribute(writer, attribute));\n    return undefined;\n  });\n}\n\nfunction emitCompositeType(\n  writer: LineWriter,\n  composite: CompositeTypeDeclarationAst,\n  trailing: string | undefined,\n): void {\n  const columns = alignmentMap(composite.syntax);\n  emitBlockBody(writer, composite.syntax, trailing, (node) => {\n    const field = FieldDeclarationAst.cast(node);\n    if (field) return leafMember(writer, 'regular', () => emitField(writer, field, columns));\n    const attribute = ModelAttributeAst.cast(node);\n    if (attribute)\n      return leafMember(writer, 'blockAttribute', () => emitBlockAttribute(writer, attribute));\n    return undefined;\n  });\n}\n\nfunction emitGenericBlock(\n  writer: LineWriter,\n  block: GenericBlockDeclarationAst,\n  trailing: string | undefined,\n): void {\n  emitBlockBody(writer, block.syntax, trailing, (node) => {\n    const entry = KeyValuePairAst.cast(node);\n    if (entry) return leafMember(writer, 'regular', () => emitKeyValue(writer, entry));\n    const attribute = ModelAttributeAst.cast(node);\n    if (attribute)\n      return leafMember(writer, 'blockAttribute', () => emitBlockAttribute(writer, attribute));\n    return undefined;\n  });\n}\n\nfunction emitNamespace(\n  writer: LineWriter,\n  namespace: NamespaceDeclarationAst,\n  trailing: string | undefined,\n): void {\n  emitBlockBody(writer, namespace.syntax, trailing, (node) => {\n    const declaration = castBlockDeclaration(node);\n    if (declaration) return nestedBlockMember(writer, declaration);\n    return undefined;\n  });\n}\n\nfunction emitTypesBlock(\n  writer: LineWriter,\n  block: TypesBlockAst,\n  trailing: string | undefined,\n): void {\n  emitBlockBody(writer, block.syntax, trailing, (node) => {\n    const named = NamedTypeDeclarationAst.cast(node);\n    if (named) return leafMember(writer, 'regular', () => emitNamedType(writer, named));\n    return undefined;\n  });\n}\n\nfunction emitTopLevel(writer: LineWriter, document: DocumentAst): void {\n  walkRegion(writer, Array.from(document.syntax.children()), undefined, (node) => {\n    const declaration = castTopLevelDeclaration(node);\n    if (declaration) return nestedBlockMember(writer, declaration);\n    return undefined;\n  });\n}\n\ntype BlockEmitter = (writer: LineWriter, trailing: string | undefined) => void;\n\nfunction nestedBlockMember(writer: LineWriter, block: BlockEmitter): BlockMember {\n  return {\n    category: 'nestedBlock',\n    emit(trailing) {\n      block(writer, trailing);\n      return 0;\n    },\n  };\n}\n\nfunction castBlockDeclaration(node: SyntaxNode): BlockEmitter | undefined {\n  const model = ModelDeclarationAst.cast(node);\n  if (model) return (writer, trailing) => emitModel(writer, model, trailing);\n  const composite = CompositeTypeDeclarationAst.cast(node);\n  if (composite) return (writer, trailing) => emitCompositeType(writer, composite, trailing);\n  const generic = GenericBlockDeclarationAst.cast(node);\n  if (generic) return (writer, trailing) => emitGenericBlock(writer, generic, trailing);\n  return undefined;\n}\n\nfunction castTopLevelDeclaration(node: SyntaxNode): BlockEmitter | undefined {\n  const block = castBlockDeclaration(node);\n  if (block) return block;\n  const namespace = NamespaceDeclarationAst.cast(node);\n  if (namespace) return (writer, trailing) => emitNamespace(writer, namespace, trailing);\n  const types = TypesBlockAst.cast(node);\n  if (types) return (writer, trailing) => emitTypesBlock(writer, types, trailing);\n  return undefined;\n}\n\nfunction emitBlockBody(\n  writer: LineWriter,\n  node: SyntaxNode,\n  closingTrailing: string | undefined,\n  classify: MemberClassifier,\n): void {\n  const children = Array.from(node.children());\n  const openIndex = children.findIndex((el) => !(el instanceof SyntaxNode) && el.kind === 'LBrace');\n\n  streamHeader(writer, node);\n  const headerComment = sameLineCommentAfter(children, openIndex);\n  if (headerComment !== undefined) writer.comment(headerComment);\n  else writer.newline();\n\n  writer.indent();\n  walkRegion(writer, children, 'RBrace', classify);\n  writer.unindent();\n\n  writer.writeRaw('}');\n  if (closingTrailing !== undefined) writer.comment(closingTrailing);\n  else writer.newline();\n}\n\nfunction streamHeader(writer: LineWriter, node: SyntaxNode): void {\n  let done = false;\n  const walk = (parent: SyntaxNode): void => {\n    for (const child of parent.children()) {\n      if (done) return;\n      if (child instanceof SyntaxNode) {\n        walk(child);\n        continue;\n      }\n      if (child.kind === 'Whitespace' || child.kind === 'Newline' || child.kind === 'Comment') {\n        continue;\n      }\n      const space = spaceBetween(writer.prevKind(), child.kind, false);\n      writer.write(child, space);\n      if (child.kind === 'LBrace') {\n        done = true;\n        return;\n      }\n    }\n  };\n  walk(node);\n}\n\nfunction walkRegion(\n  writer: LineWriter,\n  elements: readonly SyntaxElement[],\n  closeKind: 'RBrace' | undefined,\n  classify: MemberClassifier,\n): void {\n  let sawOpenBrace = closeKind === undefined;\n  let sawContent = false;\n  let lastWasRegular = false;\n  let ledByComment = false;\n  let newlines = 0;\n\n  for (let i = 0; i < elements.length; i++) {\n    const element = elements[i];\n    if (element === undefined) continue;\n\n    if (element instanceof SyntaxNode) {\n      if (!sawOpenBrace) continue;\n      const member = classify(element);\n      if (member === undefined) continue;\n      if (!ledByComment) {\n        if (newlines >= 2 && sawContent && !writer.lastIsBlank()) writer.blank();\n        else if (separationBlankWanted(writer, member.category, sawContent, lastWasRegular)) {\n          writer.blank();\n        }\n      }\n\n      const trailing = sameLineTrailingComment(elements, i);\n      closeContinuation(writer, member.emit(trailing.text));\n      if (trailing.index !== undefined) i = trailing.index;\n      sawContent = true;\n      lastWasRegular = member.category !== 'blockAttribute';\n      ledByComment = false;\n      newlines = 0;\n      continue;\n    }\n\n    if (element.kind === 'LBrace' && closeKind === 'RBrace' && !sawOpenBrace) {\n      sawOpenBrace = true;\n      newlines = 0;\n      continue;\n    }\n    if (!sawOpenBrace) continue;\n    if (closeKind === 'RBrace' && element.kind === 'RBrace') break;\n    if (element.kind === 'Whitespace') continue;\n    if (element.kind === 'Newline') {\n      newlines += 1;\n      continue;\n    }\n    if (element.kind === 'Comment') {\n      if (closeKind === 'RBrace' && newlines === 0 && !sawContent) {\n        // Same-line comment trailing the opening `{`: owned by the block header.\n        continue;\n      }\n      if (newlines >= 2 && sawContent && !writer.lastIsBlank()) writer.blank();\n      else if (!ledByComment) {\n        const led = leadingMemberAfter(elements, i, classify);\n        if (led && separationBlankWanted(writer, led, sawContent, lastWasRegular)) writer.blank();\n      }\n      writer.writeRaw(element.text);\n      writer.newline();\n      sawContent = true;\n      ledByComment = true;\n      newlines = 0;\n    }\n  }\n}\n\nfunction separationBlankWanted(\n  writer: LineWriter,\n  category: MemberCategory,\n  sawContent: boolean,\n  lastWasRegular: boolean,\n): boolean {\n  if (!sawContent || writer.lastIsBlank()) return false;\n  if (category === 'nestedBlock') return true;\n  return category === 'blockAttribute' && lastWasRegular;\n}\n\nfunction leadingMemberAfter(\n  elements: readonly SyntaxElement[],\n  commentIndex: number,\n  classify: MemberClassifier,\n): MemberCategory | undefined {\n  for (let i = commentIndex + 1; i < elements.length; i++) {\n    const element = elements[i];\n    if (element === undefined) continue;\n    if (element instanceof SyntaxNode) return classify(element)?.category;\n    if (element.kind === 'RBrace') return undefined;\n  }\n  return undefined;\n}\n\nfunction sameLineTrailingComment(\n  elements: readonly SyntaxElement[],\n  memberIndex: number,\n): { text: string | undefined; index: number | undefined } {\n  for (let i = memberIndex + 1; i < elements.length; i++) {\n    const element = elements[i];\n    if (element === undefined) continue;\n    if (element instanceof SyntaxNode) break;\n    if (element.kind === 'Whitespace') continue;\n    if (element.kind === 'Comment') return { text: element.text, index: i };\n    break;\n  }\n  return { text: undefined, index: undefined };\n}\n\nfunction sameLineCommentAfter(\n  children: readonly SyntaxElement[],\n  openIndex: number,\n): string | undefined {\n  for (let i = openIndex + 1; i < children.length; i++) {\n    const child = children[i];\n    if (child === undefined) continue;\n    if (child instanceof SyntaxNode) return undefined;\n    if (child.kind === 'Whitespace') continue;\n    if (child.kind === 'Comment') return child.text;\n    return undefined;\n  }\n  return undefined;\n}\n\ninterface AlignmentColumns {\n  readonly typeColumn: number;\n  readonly attributeColumn: number;\n}\n\nfunction alignmentMap(block: SyntaxNode): AlignmentColumns | undefined {\n  const fields: SyntaxNode[] = [];\n  for (const element of block.children()) {\n    if (!(element instanceof SyntaxNode)) continue;\n    if (FieldDeclarationAst.cast(element) === undefined) continue;\n    // Interior comments split rows into continuation lines, so those rows opt out of alignment.\n    if (hasInteriorComment(element)) continue;\n    fields.push(element);\n  }\n  if (fields.length === 0) return undefined;\n  return alignmentColumns(fields);\n}\n\nfunction alignmentColumns(rows: readonly SyntaxNode[]): AlignmentColumns {\n  let nameWidth = 0;\n  for (const row of rows) {\n    const field = FieldDeclarationAst.cast(row);\n    if (!field) continue;\n    nameWidth = Math.max(nameWidth, renderTokens(field.name()?.syntax).length);\n  }\n  const typeColumn = nameWidth + 1;\n  let cellEnd = 0;\n  for (const row of rows) {\n    const field = FieldDeclarationAst.cast(row);\n    if (!field) continue;\n    const name = renderTokens(field.name()?.syntax);\n    const type = renderTokens(field.typeAnnotation()?.syntax);\n    cellEnd = Math.max(cellEnd, type.length > 0 ? typeColumn + type.length : name.length);\n  }\n  return { typeColumn, attributeColumn: cellEnd + 1 };\n}\n\nfunction hasInteriorComment(node: SyntaxNode): boolean {\n  for (const token of node.tokens()) {\n    if (token.kind === 'Comment') return true;\n  }\n  return false;\n}\n\nfunction renderTokens(node: SyntaxNode | undefined): string {\n  if (!node) return '';\n  let out = '';\n  let prev: TokenKind | undefined;\n  let prevQualified = false;\n  const walk = (parent: SyntaxNode, qualified: boolean): void => {\n    for (const child of parent.children()) {\n      if (child instanceof SyntaxNode) {\n        walk(child, qualified || child.kind === 'QualifiedName');\n        continue;\n      }\n      if (child.kind === 'Whitespace' || child.kind === 'Newline' || child.kind === 'Comment') {\n        continue;\n      }\n      if (spaceBetween(prev, child.kind, qualified && prevQualified)) out += ' ';\n      out += child.text;\n      prev = child.kind;\n      prevQualified = qualified;\n    }\n  };\n  walk(node, false);\n  return out;\n}\n","import type { StructuredError, StructuredErrorOptions } from '@prisma-next/utils/structured-error';\nimport { structuredError } from '@prisma-next/utils/structured-error';\n\nexport type PslCode = `PSL.${PslSubcode}`;\n\ntype PslSubcode = 'PARSE_FAILED';\n\nexport function pslError(\n  code: PslCode,\n  message: string,\n  options?: StructuredErrorOptions,\n): StructuredError {\n  return structuredError(code, message, options);\n}\n","export interface FormatOptions {\n  readonly indent?: number | 'tab';\n  readonly newline?: 'LF' | 'CRLF';\n}\n\nexport interface ResolvedFormatOptions {\n  readonly indentUnit: string;\n  readonly newline: string;\n}\n\nexport function resolveFormatOptions(options: FormatOptions | undefined): ResolvedFormatOptions {\n  const indent = options?.indent ?? 2;\n  if (indent !== 'tab' && (typeof indent !== 'number' || !Number.isInteger(indent) || indent < 1)) {\n    throw new TypeError(\n      `Invalid format options: indent must be a positive integer or 'tab', got ${String(indent)}`,\n    );\n  }\n  const newline = options?.newline ?? 'LF';\n  if (newline !== 'LF' && newline !== 'CRLF') {\n    throw new TypeError(\n      `Invalid format options: newline must be 'LF' or 'CRLF', got ${String(newline)}`,\n    );\n  }\n  return {\n    indentUnit: indent === 'tab' ? '\\t' : ' '.repeat(indent),\n    newline: newline === 'CRLF' ? '\\r\\n' : '\\n',\n  };\n}\n","import { parse } from '../parse';\nimport { emitDocument } from './emit';\nimport { pslError } from './error';\nimport { type FormatOptions, resolveFormatOptions } from './options';\n\nexport function format(source: string, options?: FormatOptions): string {\n  const resolved = resolveFormatOptions(options);\n  const { document, diagnostics } = parse(source);\n  if (diagnostics.length > 0) {\n    const summary = diagnostics[0]?.message ?? 'unknown parse error';\n    const more = diagnostics.length > 1 ? ` (and ${diagnostics.length - 1} more)` : '';\n    throw pslError('PSL.PARSE_FAILED', `Cannot format PSL with parse errors: ${summary}${more}`, {\n      meta: { diagnostics },\n    });\n  }\n  return emitDocument(document, resolved.indentUnit, resolved.newline);\n}\n"],"mappings":";;;;AAeA,SAAgB,aAAa,UAAuB,YAAoB,SAAyB;CAC/F,MAAM,SAAS,IAAI,WAAW,YAAY,OAAO;CACjD,aAAa,QAAQ,QAAQ;CAC7B,OAAO,OAAO,OAAO;AACvB;AAEA,IAAM,aAAN,MAAiB;CACf;CACA;CACA,OAA0B,CAAC;CAC3B,SAAS;CACT,QAAQ;CACR,YAAY;CACZ;CACA,gBAAgB;CAChB,cAAc;CAEd,YAAY,YAAoB,SAAiB;EAC/C,KAAKA,cAAc;EACnB,KAAKC,WAAW;CAClB;CAEA,SAAe;EACb,KAAKE,UAAU;CACjB;CAEA,WAAiB;EACf,KAAKA,SAAS,KAAK,IAAI,GAAG,KAAKA,SAAS,CAAC;CAC3C;CAEA,cAAuB;EACrB,OAAO,KAAKC;CACd;CAEA,WAAoB;EAClB,OAAO,KAAKC;CACd;CAEA,WAAkC;EAChC,OAAO,KAAKC;CACd;CAEA,UAAgB;EACd,IAAI,CAAC,KAAKD,WAAW;EACrB,KAAKH,KAAK,KAAK,GAAG,KAAKF,YAAY,OAAO,KAAKG,MAAM,IAAI,KAAKI,OAAO;EACrE,KAAKA,QAAQ;EACb,KAAKF,YAAY;EACjB,KAAKC,YAAY,KAAA;EACjB,KAAKF,gBAAgB;EACrB,KAAKI,cAAc;CACrB;CAEA,QAAc;EACZ,KAAK,QAAQ;EACb,IAAI,CAAC,KAAKA,eAAe,KAAKJ,eAAe;EAC7C,KAAKF,KAAK,KAAK,EAAE;EACjB,KAAKE,gBAAgB;CACvB;CAEA,MAAM,OAAoB,OAAgB,OAAsB;EAC9D,IAAI,KAAKC,aAAa,UAAU,KAAA,GAC9B,KAAKE,QAAQ,KAAKA,MAAM,OAAO,KAAK;OAC/B,IAAI,KAAKF,aAAa,OAC3B,KAAKE,SAAS;EAEhB,KAAKA,SAAS,MAAM;EACpB,KAAKF,YAAY;EACjB,KAAKC,YAAY,MAAM;CACzB;CAEA,SAAS,MAAoB;EAC3B,KAAKC,SAAS;EACd,KAAKF,YAAY;CACnB;CAEA,QAAQ,MAAoB;EAC1B,IAAI,KAAKA,WAAW,KAAKE,SAAS,IAAI;OACjC,KAAKA,QAAQ;EAClB,KAAKF,YAAY;EACjB,KAAK,QAAQ;CACf;CAEA,SAAiB;EACf,KAAK,QAAQ;EACb,MAAM,OAAO,KAAKH,KAAK,KAAK,KAAKD,QAAQ;EACzC,OAAO,KAAK,SAAS,IAAI,GAAG,OAAO,KAAKA,aAAa;CACvD;AACF;AAGA,SAAS,aACP,MACA,KACA,iBACS;CACT,IAAI,SAAS,KAAA,GAAW,OAAO;CAC/B,IAAI,iBAAiB,OAAO;CAE5B,QAAQ,KAAR;EACE,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,SACH,OAAO;EACT,KAAK,UACH,OAAO,SAAS;EAClB,SACE;CACJ;CACA,QAAQ,MAAR;EACE,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,YACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAEA,SAAS,WAAW,QAAoB,MAAkB,OAAwB;CAChF,IAAI,eAAe;CACnB,IAAI,QAAQ;CACZ,IAAI,gBAAgB;CAEpB,MAAM,QAAQ,QAAoB,cAA6B;EAC7D,KAAK,MAAM,SAAS,OAAO,SAAS,GAAG;GACrC,IAAI,iBAAiB,YAAY;IAC/B,KAAK,OAAO,aAAa,MAAM,SAAS,eAAe;IACvD;GACF;GACA,IAAI,MAAM,SAAS,gBAAgB,MAAM,SAAS,WAAW;GAC7D,IAAI,MAAM,SAAS,WAAW;IAC5B,OAAO,QAAQ,MAAM,IAAI;IACzB,OAAO,OAAO;IACd,gBAAgB;IAChB,gBAAgB;IAChB,QAAQ;IACR;GACF;GACA,MAAM,MAAM,QAAQ,QAAQ,KAAA;GAC5B,MAAM,QAAQ,aAAa,OAAO,SAAS,GAAG,MAAM,MAAM,aAAa,aAAa;GACpF,OAAO,MAAM,OAAO,OAAO,OAAO,SAAS,IAAI,MAAM,KAAA,CAAS;GAC9D,gBAAgB;GAChB,QAAQ;EACV;CACF;CAEA,KAAK,MAAM,KAAK;CAChB,OAAO;AACT;AAEA,SAAS,kBAAkB,QAAoB,OAAqB;CAClE,KAAK,IAAI,IAAI,GAAG,IAAI,OAAO,KAAK,OAAO,SAAS;AAClD;AAEA,SAAS,UACP,QACA,OACA,SACQ;CACR,OAAO,UAAU,QAAQ,MAAM,QAAQ,OAAO;AAChD;AAEA,SAAS,cAAc,QAAoB,MAAuC;CAChF,OAAO,UAAU,QAAQ,KAAK,QAAQ,KAAA,CAAS;AACjD;AAEA,SAAS,UACP,QACA,KACA,SACQ;CACR,IAAI,eAAe;CACnB,IAAI,eAAe;CAEnB,KAAK,MAAM,SAAS,IAAI,SAAS,GAAG;EAClC,IAAI,iBAAiB,YAAY;GAC/B,IAAI;GACJ,IAAI,MAAM,SAAS,oBAAoB,iBAAiB,GACtD,QAAQ,SAAS;QACZ,IAAI,MAAM,SAAS,kBAAkB;IAC1C,IAAI,eAAe,GAAG,OAAO,QAAQ;SAChC,IAAI,CAAC,cAAc,QAAQ,SAAS;IACzC,eAAe;GACjB;GACA,gBAAgB,WAAW,QAAQ,OAAO,KAAK;GAC/C;EACF;EACA,IAAI,MAAM,SAAS,gBAAgB,MAAM,SAAS,WAAW;EAC7D,IAAI,MAAM,SAAS,WAAW;GAC5B,OAAO,QAAQ,MAAM,IAAI;GACzB,OAAO,OAAO;GACd,gBAAgB;GAChB;EACF;EACA,MAAM,QAAQ,aAAa,OAAO,SAAS,GAAG,MAAM,MAAM,KAAK;EAC/D,OAAO,MAAM,OAAO,KAAK;CAC3B;CAEA,OAAO;AACT;AAEA,SAAS,mBAAmB,QAAoB,WAAsC;CACpF,OAAO,WAAW,QAAQ,UAAU,MAAM;AAC5C;AAEA,SAAS,aAAa,QAAoB,MAA+B;CACvE,OAAO,WAAW,QAAQ,KAAK,MAAM;AACvC;AASA,SAAS,WACP,QACA,UACA,OACa;CACb,OAAO;EACL;EACA,KAAK,UAAU;GACb,MAAM,eAAe,MAAM;GAC3B,IAAI,aAAa,KAAA,GAAW,OAAO,QAAQ,QAAQ;QAC9C,OAAO,QAAQ;GACpB,OAAO;EACT;CACF;AACF;AAIA,SAAS,UACP,QACA,OACA,UACM;CACN,MAAM,UAAU,aAAa,MAAM,MAAM;CACzC,cAAc,QAAQ,MAAM,QAAQ,WAAW,SAAS;EACtD,MAAM,QAAQ,oBAAoB,KAAK,IAAI;EAC3C,IAAI,OAAO,OAAO,WAAW,QAAQ,iBAAiB,UAAU,QAAQ,OAAO,OAAO,CAAC;EACvF,MAAM,YAAY,kBAAkB,KAAK,IAAI;EAC7C,IAAI,WACF,OAAO,WAAW,QAAQ,wBAAwB,mBAAmB,QAAQ,SAAS,CAAC;CAE3F,CAAC;AACH;AAEA,SAAS,kBACP,QACA,WACA,UACM;CACN,MAAM,UAAU,aAAa,UAAU,MAAM;CAC7C,cAAc,QAAQ,UAAU,QAAQ,WAAW,SAAS;EAC1D,MAAM,QAAQ,oBAAoB,KAAK,IAAI;EAC3C,IAAI,OAAO,OAAO,WAAW,QAAQ,iBAAiB,UAAU,QAAQ,OAAO,OAAO,CAAC;EACvF,MAAM,YAAY,kBAAkB,KAAK,IAAI;EAC7C,IAAI,WACF,OAAO,WAAW,QAAQ,wBAAwB,mBAAmB,QAAQ,SAAS,CAAC;CAE3F,CAAC;AACH;AAEA,SAAS,iBACP,QACA,OACA,UACM;CACN,cAAc,QAAQ,MAAM,QAAQ,WAAW,SAAS;EACtD,MAAM,QAAQ,gBAAgB,KAAK,IAAI;EACvC,IAAI,OAAO,OAAO,WAAW,QAAQ,iBAAiB,aAAa,QAAQ,KAAK,CAAC;EACjF,MAAM,YAAY,kBAAkB,KAAK,IAAI;EAC7C,IAAI,WACF,OAAO,WAAW,QAAQ,wBAAwB,mBAAmB,QAAQ,SAAS,CAAC;CAE3F,CAAC;AACH;AAEA,SAAS,cACP,QACA,WACA,UACM;CACN,cAAc,QAAQ,UAAU,QAAQ,WAAW,SAAS;EAC1D,MAAM,cAAc,qBAAqB,IAAI;EAC7C,IAAI,aAAa,OAAO,kBAAkB,QAAQ,WAAW;CAE/D,CAAC;AACH;AAEA,SAAS,eACP,QACA,OACA,UACM;CACN,cAAc,QAAQ,MAAM,QAAQ,WAAW,SAAS;EACtD,MAAM,QAAQ,wBAAwB,KAAK,IAAI;EAC/C,IAAI,OAAO,OAAO,WAAW,QAAQ,iBAAiB,cAAc,QAAQ,KAAK,CAAC;CAEpF,CAAC;AACH;AAEA,SAAS,aAAa,QAAoB,UAA6B;CACrE,WAAW,QAAQ,MAAM,KAAK,SAAS,OAAO,SAAS,CAAC,GAAG,KAAA,IAAY,SAAS;EAC9E,MAAM,cAAc,wBAAwB,IAAI;EAChD,IAAI,aAAa,OAAO,kBAAkB,QAAQ,WAAW;CAE/D,CAAC;AACH;AAIA,SAAS,kBAAkB,QAAoB,OAAkC;CAC/E,OAAO;EACL,UAAU;EACV,KAAK,UAAU;GACb,MAAM,QAAQ,QAAQ;GACtB,OAAO;EACT;CACF;AACF;AAEA,SAAS,qBAAqB,MAA4C;CACxE,MAAM,QAAQ,oBAAoB,KAAK,IAAI;CAC3C,IAAI,OAAO,QAAQ,QAAQ,aAAa,UAAU,QAAQ,OAAO,QAAQ;CACzE,MAAM,YAAY,4BAA4B,KAAK,IAAI;CACvD,IAAI,WAAW,QAAQ,QAAQ,aAAa,kBAAkB,QAAQ,WAAW,QAAQ;CACzF,MAAM,UAAU,2BAA2B,KAAK,IAAI;CACpD,IAAI,SAAS,QAAQ,QAAQ,aAAa,iBAAiB,QAAQ,SAAS,QAAQ;AAEtF;AAEA,SAAS,wBAAwB,MAA4C;CAC3E,MAAM,QAAQ,qBAAqB,IAAI;CACvC,IAAI,OAAO,OAAO;CAClB,MAAM,YAAY,wBAAwB,KAAK,IAAI;CACnD,IAAI,WAAW,QAAQ,QAAQ,aAAa,cAAc,QAAQ,WAAW,QAAQ;CACrF,MAAM,QAAQ,cAAc,KAAK,IAAI;CACrC,IAAI,OAAO,QAAQ,QAAQ,aAAa,eAAe,QAAQ,OAAO,QAAQ;AAEhF;AAEA,SAAS,cACP,QACA,MACA,iBACA,UACM;CACN,MAAM,WAAW,MAAM,KAAK,KAAK,SAAS,CAAC;CAC3C,MAAM,YAAY,SAAS,WAAW,OAAO,EAAE,cAAc,eAAe,GAAG,SAAS,QAAQ;CAEhG,aAAa,QAAQ,IAAI;CACzB,MAAM,gBAAgB,qBAAqB,UAAU,SAAS;CAC9D,IAAI,kBAAkB,KAAA,GAAW,OAAO,QAAQ,aAAa;MACxD,OAAO,QAAQ;CAEpB,OAAO,OAAO;CACd,WAAW,QAAQ,UAAU,UAAU,QAAQ;CAC/C,OAAO,SAAS;CAEhB,OAAO,SAAS,GAAG;CACnB,IAAI,oBAAoB,KAAA,GAAW,OAAO,QAAQ,eAAe;MAC5D,OAAO,QAAQ;AACtB;AAEA,SAAS,aAAa,QAAoB,MAAwB;CAChE,IAAI,OAAO;CACX,MAAM,QAAQ,WAA6B;EACzC,KAAK,MAAM,SAAS,OAAO,SAAS,GAAG;GACrC,IAAI,MAAM;GACV,IAAI,iBAAiB,YAAY;IAC/B,KAAK,KAAK;IACV;GACF;GACA,IAAI,MAAM,SAAS,gBAAgB,MAAM,SAAS,aAAa,MAAM,SAAS,WAC5E;GAEF,MAAM,QAAQ,aAAa,OAAO,SAAS,GAAG,MAAM,MAAM,KAAK;GAC/D,OAAO,MAAM,OAAO,KAAK;GACzB,IAAI,MAAM,SAAS,UAAU;IAC3B,OAAO;IACP;GACF;EACF;CACF;CACA,KAAK,IAAI;AACX;AAEA,SAAS,WACP,QACA,UACA,WACA,UACM;CACN,IAAI,eAAe,cAAc,KAAA;CACjC,IAAI,aAAa;CACjB,IAAI,iBAAiB;CACrB,IAAI,eAAe;CACnB,IAAI,WAAW;CAEf,KAAK,IAAI,IAAI,GAAG,IAAI,SAAS,QAAQ,KAAK;EACxC,MAAM,UAAU,SAAS;EACzB,IAAI,YAAY,KAAA,GAAW;EAE3B,IAAI,mBAAmB,YAAY;GACjC,IAAI,CAAC,cAAc;GACnB,MAAM,SAAS,SAAS,OAAO;GAC/B,IAAI,WAAW,KAAA,GAAW;GAC1B,IAAI,CAAC;QACC,YAAY,KAAK,cAAc,CAAC,OAAO,YAAY,GAAG,OAAO,MAAM;SAClE,IAAI,sBAAsB,QAAQ,OAAO,UAAU,YAAY,cAAc,GAChF,OAAO,MAAM;GAAA;GAIjB,MAAM,WAAW,wBAAwB,UAAU,CAAC;GACpD,kBAAkB,QAAQ,OAAO,KAAK,SAAS,IAAI,CAAC;GACpD,IAAI,SAAS,UAAU,KAAA,GAAW,IAAI,SAAS;GAC/C,aAAa;GACb,iBAAiB,OAAO,aAAa;GACrC,eAAe;GACf,WAAW;GACX;EACF;EAEA,IAAI,QAAQ,SAAS,YAAY,cAAc,YAAY,CAAC,cAAc;GACxE,eAAe;GACf,WAAW;GACX;EACF;EACA,IAAI,CAAC,cAAc;EACnB,IAAI,cAAc,YAAY,QAAQ,SAAS,UAAU;EACzD,IAAI,QAAQ,SAAS,cAAc;EACnC,IAAI,QAAQ,SAAS,WAAW;GAC9B,YAAY;GACZ;EACF;EACA,IAAI,QAAQ,SAAS,WAAW;GAC9B,IAAI,cAAc,YAAY,aAAa,KAAK,CAAC,YAE/C;GAEF,IAAI,YAAY,KAAK,cAAc,CAAC,OAAO,YAAY,GAAG,OAAO,MAAM;QAClE,IAAI,CAAC,cAAc;IACtB,MAAM,MAAM,mBAAmB,UAAU,GAAG,QAAQ;IACpD,IAAI,OAAO,sBAAsB,QAAQ,KAAK,YAAY,cAAc,GAAG,OAAO,MAAM;GAC1F;GACA,OAAO,SAAS,QAAQ,IAAI;GAC5B,OAAO,QAAQ;GACf,aAAa;GACb,eAAe;GACf,WAAW;EACb;CACF;AACF;AAEA,SAAS,sBACP,QACA,UACA,YACA,gBACS;CACT,IAAI,CAAC,cAAc,OAAO,YAAY,GAAG,OAAO;CAChD,IAAI,aAAa,eAAe,OAAO;CACvC,OAAO,aAAa,oBAAoB;AAC1C;AAEA,SAAS,mBACP,UACA,cACA,UAC4B;CAC5B,KAAK,IAAI,IAAI,eAAe,GAAG,IAAI,SAAS,QAAQ,KAAK;EACvD,MAAM,UAAU,SAAS;EACzB,IAAI,YAAY,KAAA,GAAW;EAC3B,IAAI,mBAAmB,YAAY,OAAO,SAAS,OAAO,CAAC,EAAE;EAC7D,IAAI,QAAQ,SAAS,UAAU,OAAO,KAAA;CACxC;AAEF;AAEA,SAAS,wBACP,UACA,aACyD;CACzD,KAAK,IAAI,IAAI,cAAc,GAAG,IAAI,SAAS,QAAQ,KAAK;EACtD,MAAM,UAAU,SAAS;EACzB,IAAI,YAAY,KAAA,GAAW;EAC3B,IAAI,mBAAmB,YAAY;EACnC,IAAI,QAAQ,SAAS,cAAc;EACnC,IAAI,QAAQ,SAAS,WAAW,OAAO;GAAE,MAAM,QAAQ;GAAM,OAAO;EAAE;EACtE;CACF;CACA,OAAO;EAAE,MAAM,KAAA;EAAW,OAAO,KAAA;CAAU;AAC7C;AAEA,SAAS,qBACP,UACA,WACoB;CACpB,KAAK,IAAI,IAAI,YAAY,GAAG,IAAI,SAAS,QAAQ,KAAK;EACpD,MAAM,QAAQ,SAAS;EACvB,IAAI,UAAU,KAAA,GAAW;EACzB,IAAI,iBAAiB,YAAY,OAAO,KAAA;EACxC,IAAI,MAAM,SAAS,cAAc;EACjC,IAAI,MAAM,SAAS,WAAW,OAAO,MAAM;EAC3C;CACF;AAEF;AAOA,SAAS,aAAa,OAAiD;CACrE,MAAM,SAAuB,CAAC;CAC9B,KAAK,MAAM,WAAW,MAAM,SAAS,GAAG;EACtC,IAAI,EAAE,mBAAmB,aAAa;EACtC,IAAI,oBAAoB,KAAK,OAAO,MAAM,KAAA,GAAW;EAErD,IAAI,mBAAmB,OAAO,GAAG;EACjC,OAAO,KAAK,OAAO;CACrB;CACA,IAAI,OAAO,WAAW,GAAG,OAAO,KAAA;CAChC,OAAO,iBAAiB,MAAM;AAChC;AAEA,SAAS,iBAAiB,MAA+C;CACvE,IAAI,YAAY;CAChB,KAAK,MAAM,OAAO,MAAM;EACtB,MAAM,QAAQ,oBAAoB,KAAK,GAAG;EAC1C,IAAI,CAAC,OAAO;EACZ,YAAY,KAAK,IAAI,WAAW,aAAa,MAAM,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,MAAM;CAC3E;CACA,MAAM,aAAa,YAAY;CAC/B,IAAI,UAAU;CACd,KAAK,MAAM,OAAO,MAAM;EACtB,MAAM,QAAQ,oBAAoB,KAAK,GAAG;EAC1C,IAAI,CAAC,OAAO;EACZ,MAAM,OAAO,aAAa,MAAM,KAAK,CAAC,EAAE,MAAM;EAC9C,MAAM,OAAO,aAAa,MAAM,eAAe,CAAC,EAAE,MAAM;EACxD,UAAU,KAAK,IAAI,SAAS,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,KAAK,MAAM;CACtF;CACA,OAAO;EAAE;EAAY,iBAAiB,UAAU;CAAE;AACpD;AAEA,SAAS,mBAAmB,MAA2B;CACrD,KAAK,MAAM,SAAS,KAAK,OAAO,GAC9B,IAAI,MAAM,SAAS,WAAW,OAAO;CAEvC,OAAO;AACT;AAEA,SAAS,aAAa,MAAsC;CAC1D,IAAI,CAAC,MAAM,OAAO;CAClB,IAAI,MAAM;CACV,IAAI;CACJ,IAAI,gBAAgB;CACpB,MAAM,QAAQ,QAAoB,cAA6B;EAC7D,KAAK,MAAM,SAAS,OAAO,SAAS,GAAG;GACrC,IAAI,iBAAiB,YAAY;IAC/B,KAAK,OAAO,aAAa,MAAM,SAAS,eAAe;IACvD;GACF;GACA,IAAI,MAAM,SAAS,gBAAgB,MAAM,SAAS,aAAa,MAAM,SAAS,WAC5E;GAEF,IAAI,aAAa,MAAM,MAAM,MAAM,aAAa,aAAa,GAAG,OAAO;GACvE,OAAO,MAAM;GACb,OAAO,MAAM;GACb,gBAAgB;EAClB;CACF;CACA,KAAK,MAAM,KAAK;CAChB,OAAO;AACT;;;ACnlBA,SAAgB,SACd,MACA,SACA,SACiB;CACjB,OAAO,gBAAgB,MAAM,SAAS,OAAO;AAC/C;;;ACHA,SAAgB,qBAAqB,SAA2D;CAC9F,MAAM,SAAS,SAAS,UAAU;CAClC,IAAI,WAAW,UAAU,OAAO,WAAW,YAAY,CAAC,OAAO,UAAU,MAAM,KAAK,SAAS,IAC3F,MAAM,IAAI,UACR,2EAA2E,OAAO,MAAM,GAC1F;CAEF,MAAM,UAAU,SAAS,WAAW;CACpC,IAAI,YAAY,QAAQ,YAAY,QAClC,MAAM,IAAI,UACR,+DAA+D,OAAO,OAAO,GAC/E;CAEF,OAAO;EACL,YAAY,WAAW,QAAQ,MAAO,IAAI,OAAO,MAAM;EACvD,SAAS,YAAY,SAAS,SAAS;CACzC;AACF;;;ACtBA,SAAgB,OAAO,QAAgB,SAAiC;CACtE,MAAM,WAAW,qBAAqB,OAAO;CAC7C,MAAM,EAAE,UAAU,gBAAgB,MAAM,MAAM;CAC9C,IAAI,YAAY,SAAS,GAGvB,MAAM,SAAS,oBAAoB,wCAFnB,YAAY,EAAE,EAAE,WAAW,wBAC9B,YAAY,SAAS,IAAI,SAAS,YAAY,SAAS,EAAE,UAAU,MACa,EAC3F,MAAM,EAAE,YAAY,EACtB,CAAC;CAEH,OAAO,aAAa,UAAU,SAAS,YAAY,SAAS,OAAO;AACrE"}

dist/syntax.d.mts.map

@@ -1,1 +0,1 @@
-{"version":3,"file":"syntax.d.mts","names":[],"sources":["../src/syntax/green-builder.ts","../src/syntax/navigation.ts"],"mappings":";;;cAKa;;EAGX,UAAU,MAAM;EAIhB,MAAM,MAAM,WAAW;EAQvB,cAAc;;;;;KChBJ;;iBASI,aAAa,MAAM;;iBAKnB,SAAS,OAAO;;;;;iBAQhB,gBAAgB,OAAO,aAAa,WAAW,YAAY;;;;;iBAY3D,iBACd,SAAS,eACT,WAAW,YACV"}
+{"version":3,"file":"syntax.d.mts","names":[],"sources":["../src/syntax/green-builder.ts","../src/syntax/navigation.ts"],"mappings":";;;cAMa;;EAGX,UAAU,MAAM;EAIhB,MAAM,MAAM,WAAW;EAQvB,cAAc;;;;;KCjBJ;;iBASI,aAAa,MAAM;;iBAKnB,SAAS,OAAO;;;;;iBAQhB,gBAAgB,OAAO,aAAa,WAAW,YAAY;;;;;iBAY3D,iBACd,SAAS,eACT,WAAW,YACV"}

dist/syntax.mjs

 import { A as SyntaxNode, C as QualifiedNameAst, D as findChildToken, E as filterChildren, M as TokenAtOffset, N as createSyntaxTree, O as findFirstChild, S as castExpression, T as any, _ as FunctionCallAst, a as KeyValuePairAst, b as ObjectLiteralExprAst, c as NamespaceDeclarationAst, d as AttributeArgListAst, f as FieldAttributeAst, g as BooleanLiteralExprAst, h as AttributeArgAst, i as GenericBlockDeclarationAst, j as SyntaxToken, k as printSyntax, l as TypesBlockAst, m as ArrayLiteralAst, n as DocumentAst, o as ModelDeclarationAst, p as ModelAttributeAst, r as FieldDeclarationAst, s as NamedTypeDeclarationAst, t as CompositeTypeDeclarationAst, u as TypeAnnotationAst, v as NumberLiteralExprAst, w as IdentifierAst, x as StringLiteralExprAst, y as ObjectFieldAst } from "./declarations-DR6To8_k.mjs";
-import { a as SourceFile, i as greenToken, n as GreenNodeBuilder, r as greenNode, t as parse } from "./parse-CdeXr0T3.mjs";
+import { a as SourceFile, i as greenToken, n as GreenNodeBuilder, r as greenNode, t as parse } from "./parse-BNNJimVn.mjs";
 //#region src/syntax/navigation.ts
@@ -4,0 +4,0 @@ const TRIVIA_KINDS = /* @__PURE__ */ new Set([

package.json

 {
   "name": "@prisma-next/psl-parser",
-  "version": "0.16.0-dev.6",
+  "version": "0.16.0-dev.9",
   "license": "Apache-2.0",
@@ -9,10 +9,10 @@ "type": "module",
   "dependencies": {
-    "@prisma-next/config": "0.16.0-dev.6",
-    "@prisma-next/contract": "0.16.0-dev.6",
-    "@prisma-next/framework-components": "0.16.0-dev.6",
-    "@prisma-next/utils": "0.16.0-dev.6"
+    "@prisma-next/config": "0.16.0-dev.9",
+    "@prisma-next/contract": "0.16.0-dev.9",
+    "@prisma-next/framework-components": "0.16.0-dev.9",
+    "@prisma-next/utils": "0.16.0-dev.9"
   },
   "devDependencies": {
-    "@prisma-next/tsconfig": "0.16.0-dev.6",
-    "@prisma-next/tsdown": "0.16.0-dev.6",
+    "@prisma-next/tsconfig": "0.16.0-dev.9",
+    "@prisma-next/tsdown": "0.16.0-dev.9",
     "tsdown": "0.22.8",
@@ -19,0 +19,0 @@ "typescript": "5.9.3",

src/exports/format.ts

@@ -1,3 +0,2 @@
-export { PslFormatError } from '../format/error';
 export { format } from '../format/format';
 export type { FormatOptions } from '../format/options';

src/format/error.ts

@@ -1,13 +0,14 @@
-import type { ParseDiagnostic } from '../parse';
+import type { StructuredError, StructuredErrorOptions } from '@prisma-next/utils/structured-error';
+import { structuredError } from '@prisma-next/utils/structured-error';
 
-export class PslFormatError extends Error {
-  readonly diagnostics: readonly ParseDiagnostic[];
+export type PslCode = `PSL.${PslSubcode}`;
 
-  constructor(diagnostics: readonly ParseDiagnostic[]) {
-    const summary = diagnostics[0]?.message ?? 'unknown parse error';
-    const more = diagnostics.length > 1 ? ` (and ${diagnostics.length - 1} more)` : '';
-    super(`Cannot format PSL with parse errors: ${summary}${more}`);
-    this.name = 'PslFormatError';
-    this.diagnostics = diagnostics;
-  }
+type PslSubcode = 'PARSE_FAILED';
+
+export function pslError(
+  code: PslCode,
+  message: string,
+  options?: StructuredErrorOptions,
+): StructuredError {
+  return structuredError(code, message, options);
 }

src/format/format.ts

 import { parse } from '../parse';
 import { emitDocument } from './emit';
-import { PslFormatError } from './error';
+import { pslError } from './error';
 import { type FormatOptions, resolveFormatOptions } from './options';
@@ -10,5 +10,9 @@
   if (diagnostics.length > 0) {
-    throw new PslFormatError(diagnostics);
+    const summary = diagnostics[0]?.message ?? 'unknown parse error';
+    const more = diagnostics.length > 1 ? ` (and ${diagnostics.length - 1} more)` : '';
+    throw pslError('PSL.PARSE_FAILED', `Cannot format PSL with parse errors: ${summary}${more}`, {
+      meta: { diagnostics },
+    });
   }
   return emitDocument(document, resolved.indentUnit, resolved.newline);
 }

src/syntax/green-builder.ts

@@ -0,1 +1,2 @@
+import { InternalError } from '@prisma-next/utils/internal-error';
 import type { TokenKind } from '../tokenizer';
@@ -16,3 +17,3 @@ import type { GreenElement, GreenNode } from './green';
     if (!current) {
-      throw new Error('GreenNodeBuilder: token() called with no open node');
+      throw new InternalError('GreenNodeBuilder: token() called with no open node');
     }
@@ -25,3 +26,3 @@ current.children.push(greenToken(kind, text));
     if (!completed) {
-      throw new Error('GreenNodeBuilder: finishNode() called with no open node');
+      throw new InternalError('GreenNodeBuilder: finishNode() called with no open node');
     }
@@ -28,0 +29,0 @@ const node = greenNode(completed.kind, completed.children);

dist/parse-CdeXr0T3.mjs

-import { N as createSyntaxTree, n as DocumentAst } from "./declarations-DR6To8_k.mjs";
-import { n as isTerminatedStringLiteral, t as Tokenizer } from "./tokenizer-1hAHZzmp.mjs";
-import { UNSPECIFIED_PSL_NAMESPACE_ID } from "@prisma-next/framework-components/psl-ast";
-//#region src/source-file.ts
-const CARRIAGE_RETURN = 13;
-const LINE_FEED = 10;
-var SourceFile = class {
-	#text;
-	#lineStarts;
-	constructor(text) {
-		this.#text = text;
-		const lineStarts = [0];
-		for (let offset = 0; offset < text.length; offset++) if (text.charCodeAt(offset) === LINE_FEED) lineStarts.push(offset + 1);
-		this.#lineStarts = lineStarts;
-	}
-	get text() {
-		return this.#text;
-	}
-	get length() {
-		return this.#text.length;
-	}
-	get lineCount() {
-		return this.#lineStarts.length;
-	}
-	lineStartOffsets() {
-		return this.#lineStarts;
-	}
-	lineStartOffset(line) {
-		if (line <= 0) return 0;
-		return this.#lineStarts[line] ?? this.#text.length;
-	}
-	lineEndOffset(line) {
-		if (line < 0) return 0;
-		const nextLineStart = this.#lineStarts[line + 1];
-		if (nextLineStart === void 0) return this.#text.length;
-		const lineFeedOffset = nextLineStart - 1;
-		const carriageReturnOffset = lineFeedOffset - 1;
-		return this.#text.charCodeAt(carriageReturnOffset) === CARRIAGE_RETURN ? carriageReturnOffset : lineFeedOffset;
-	}
-	positionAt(offset) {
-		const clamped = clamp(offset, 0, this.#text.length);
-		const line = this.#lineIndexAt(clamped);
-		return {
-			line,
-			character: clamped - this.#lineStartAt(line)
-		};
-	}
-	offsetAt(position) {
-		const line = clamp(position.line, 0, this.#lineStarts.length - 1);
-		const lineStart = this.#lineStartAt(line);
-		const lineEnd = this.#lineEndAt(line);
-		return clamp(lineStart + position.character, lineStart, lineEnd);
-	}
-	#lineStartAt(line) {
-		return this.#lineStarts[line] ?? 0;
-	}
-	#lineEndAt(line) {
-		return line + 1 < this.#lineStarts.length ? this.#lineStartAt(line + 1) - 1 : this.#text.length;
-	}
-	#lineIndexAt(offset) {
-		const lineStarts = this.#lineStarts;
-		let low = 0;
-		let high = lineStarts.length - 1;
-		while (low < high) {
-			const mid = low + high + 1 >>> 1;
-			if ((lineStarts[mid] ?? 0) <= offset) low = mid;
-			else high = mid - 1;
-		}
-		return low;
-	}
-};
-function clamp(value, min, max) {
-	if (value < min) return min;
-	if (value > max) return max;
-	return value;
-}
-//#endregion
-//#region src/syntax/green.ts
-function greenToken(kind, text) {
-	return {
-		type: "token",
-		kind,
-		text
-	};
-}
-function greenNode(kind, children) {
-	let textLength = 0;
-	for (const child of children) textLength += child.type === "token" ? child.text.length : child.textLength;
-	return {
-		type: "node",
-		kind,
-		children,
-		textLength
-	};
-}
-//#endregion
-//#region src/syntax/green-builder.ts
-var GreenNodeBuilder = class {
-	#stack = [];
-	startNode(kind) {
-		this.#stack.push({
-			kind,
-			children: []
-		});
-	}
-	token(kind, text) {
-		const current = this.#stack.at(-1);
-		if (!current) throw new Error("GreenNodeBuilder: token() called with no open node");
-		current.children.push(greenToken(kind, text));
-	}
-	finishNode() {
-		const completed = this.#stack.pop();
-		if (!completed) throw new Error("GreenNodeBuilder: finishNode() called with no open node");
-		const node = greenNode(completed.kind, completed.children);
-		const parent = this.#stack.at(-1);
-		if (parent) parent.children.push(node);
-		return node;
-	}
-};
-//#endregion
-//#region src/parse.ts
-const TRIVIA_KINDS = /* @__PURE__ */ new Set([
-	"Whitespace",
-	"Newline",
-	"Comment"
-]);
-/**
-* The fault-tolerant parser substrate the grammars drive. Trivia is flushed
-* into the enclosing open node, so every child node spans exactly its first
-* through last significant token.
-*/
-var Cursor = class {
-	#tokenizer;
-	#sourceFile;
-	#builder = new GreenNodeBuilder();
-	#diagnostics = [];
-	#offset = 0;
-	#depth = 0;
-	constructor(source) {
-		this.#tokenizer = new Tokenizer(source);
-		this.#sourceFile = new SourceFile(source);
-	}
-	get diagnostics() {
-		return this.#diagnostics;
-	}
-	get sourceFile() {
-		return this.#sourceFile;
-	}
-	peekKind(ahead = 0) {
-		return this.peekToken(ahead).kind;
-	}
-	peekToken(ahead = 0) {
-		let rawIndex = 0;
-		let remaining = ahead;
-		for (;;) {
-			const token = this.#tokenizer.peek(rawIndex);
-			if (token.kind === "Eof") return token;
-			if (TRIVIA_KINDS.has(token.kind)) {
-				rawIndex++;
-				continue;
-			}
-			if (remaining === 0) return token;
-			remaining--;
-			rawIndex++;
-		}
-	}
-	/** Span of the significant token `lookahead` positions ahead (`mark(0)` = the next). */
-	mark(lookahead = 0) {
-		let rawIndex = 0;
-		let offset = this.#offset;
-		let remaining = lookahead;
-		for (;;) {
-			const token = this.#tokenizer.peek(rawIndex);
-			if (token.kind === "Eof") return {
-				offset,
-				length: token.text.length
-			};
-			if (!TRIVIA_KINDS.has(token.kind) && remaining === 0) return {
-				offset,
-				length: token.text.length
-			};
-			if (!TRIVIA_KINDS.has(token.kind)) remaining--;
-			offset += token.text.length;
-			rawIndex++;
-		}
-	}
-	/**
-	* Zero-width mark just past the last consumed significant token — anchors an
-	* "expected here" diagnostic, e.g. the `{` missing after a declaration's name.
-	*/
-	markAfterLastToken() {
-		return {
-			offset: this.#offset,
-			length: 0
-		};
-	}
-	startNode(kind) {
-		if (this.#depth > 0) this.flushTrivia();
-		this.#builder.startNode(kind);
-		this.#depth++;
-	}
-	finishNode() {
-		this.#depth--;
-		return this.#builder.finishNode();
-	}
-	bump() {
-		this.flushTrivia();
-		const token = this.#tokenizer.peek();
-		if (token.kind === "Eof") return token;
-		this.#builder.token(token.kind, token.text);
-		this.#advance();
-		return token;
-	}
-	recoverToSyncPoint() {
-		for (;;) {
-			const token = this.#tokenizer.peek();
-			if (token.kind === "Eof" || token.kind === "Newline" || token.kind === "RBrace") return;
-			this.#builder.token(token.kind, token.text);
-			this.#advance();
-		}
-	}
-	flushTrivia() {
-		for (;;) {
-			const token = this.#tokenizer.peek();
-			if (!TRIVIA_KINDS.has(token.kind)) return;
-			this.#builder.token(token.kind, token.text);
-			this.#advance();
-		}
-	}
-	diagnostic(code, message, mark) {
-		const start = mark.offset;
-		const end = start + mark.length;
-		this.#diagnostics.push({
-			code,
-			message,
-			range: {
-				start: this.#sourceFile.positionAt(start),
-				end: this.#sourceFile.positionAt(end)
-			}
-		});
-	}
-	#advance() {
-		this.#offset += this.#tokenizer.next().text.length;
-	}
-};
-function parseIdentifier(cursor) {
-	cursor.startNode("Identifier");
-	cursor.bump();
-	cursor.finishNode();
-}
-/**
-* Returns `undefined` when the next significant token does not start a
-* recognised expression, leaving recovery to the caller.
-*/
-function parseExpression(cursor) {
-	return parseStringLiteralExpr(cursor) ?? parseNumberLiteralExpr(cursor) ?? parseArrayLiteral(cursor) ?? parseObjectLiteralExpr(cursor) ?? parseFunctionCall(cursor) ?? parseBooleanLiteralExpr(cursor) ?? parseIdentifierExpr(cursor);
-}
-function parseStringLiteralExpr(cursor) {
-	if (cursor.peekKind() !== "StringLiteral") return void 0;
-	const stringMark = cursor.mark();
-	const text = cursor.peekToken().text;
-	cursor.startNode("StringLiteralExpr");
-	cursor.bump();
-	if (!isTerminatedStringLiteral(text)) cursor.diagnostic("PSL_UNTERMINATED_STRING", "Unterminated string literal", stringMark);
-	return cursor.finishNode();
-}
-function parseNumberLiteralExpr(cursor) {
-	if (cursor.peekKind() !== "NumberLiteral") return void 0;
-	cursor.startNode("NumberLiteralExpr");
-	cursor.bump();
-	return cursor.finishNode();
-}
-/**
-* Parses a namespace-qualified name `[space ':']? Ident ('.' Ident)*`. The
-* caller guarantees a leading `Ident`.
-*
-* Parsing the whole chain up front lets a position decide
-* constructor-vs-reference by peeking exactly one token for `(`, with no scan of
-* the dotted chain's length.
-*/
-function parseQualifiedName(cursor) {
-	cursor.startNode("QualifiedName");
-	parseIdentifier(cursor);
-	parseQualifiedSegments(cursor, "Colon");
-	parseQualifiedSegments(cursor, "Dot");
-	cursor.finishNode();
-}
-/**
-* A well-formed name carries at most one colon space and one dot namespace, so
-* each separator past the first of its kind reports `PSL_INVALID_QUALIFIED_NAME`.
-* The separator is consumed regardless, keeping the lossless round-trip intact.
-*/
-function parseQualifiedSegments(cursor, separator) {
-	let seen = 0;
-	while (cursor.peekKind() === separator) {
-		seen++;
-		const separatorMark = cursor.mark();
-		cursor.bump();
-		if (seen > 1) cursor.diagnostic("PSL_INVALID_QUALIFIED_NAME", "Qualified name has too many segments", separatorMark);
-		if (cursor.peekKind() === "Ident") parseIdentifier(cursor);
-		else cursor.diagnostic("PSL_INVALID_QUALIFIED_NAME", "Qualified name is missing a name after the separator", cursor.mark());
-	}
-}
-function parseBooleanLiteralExpr(cursor) {
-	if (cursor.peekKind() !== "Ident") return void 0;
-	const text = cursor.peekToken().text;
-	if (text !== "true" && text !== "false") return void 0;
-	cursor.startNode("BooleanLiteralExpr");
-	cursor.bump();
-	return cursor.finishNode();
-}
-function parseIdentifierExpr(cursor) {
-	if (cursor.peekKind() !== "Ident") return void 0;
-	cursor.startNode("Identifier");
-	cursor.bump();
-	return cursor.finishNode();
-}
-function parseArrayLiteral(cursor) {
-	if (cursor.peekKind() !== "LBracket") return void 0;
-	cursor.startNode("ArrayLiteral");
-	cursor.bump();
-	while (cursor.peekKind() !== "RBracket" && cursor.peekKind() !== "Eof") {
-		if (!parseExpression(cursor)) break;
-		if (cursor.peekKind() === "Comma") cursor.bump();
-		else break;
-	}
-	if (cursor.peekKind() === "RBracket") cursor.bump();
-	return cursor.finishNode();
-}
-function parseObjectLiteralExpr(cursor) {
-	if (cursor.peekKind() !== "LBrace") return void 0;
-	const braceMark = cursor.mark();
-	cursor.startNode("ObjectLiteralExpr");
-	cursor.bump();
-	while (cursor.peekKind() !== "RBrace" && cursor.peekKind() !== "Eof") {
-		parseObjectField(cursor);
-		if (cursor.peekKind() === "Comma") cursor.bump();
-		else if (cursor.peekKind() === "Ident") cursor.diagnostic("PSL_INVALID_OBJECT_LITERAL", "Expected \",\" between object-literal fields", cursor.markAfterLastToken());
-		else break;
-	}
-	if (cursor.peekKind() === "RBrace") cursor.bump();
-	else cursor.diagnostic("PSL_INVALID_OBJECT_LITERAL", "Unterminated object literal", braceMark);
-	return cursor.finishNode();
-}
-function parseObjectField(cursor) {
-	cursor.startNode("ObjectField");
-	const keyMark = cursor.mark();
-	const keyText = cursor.peekToken().text;
-	if (cursor.peekKind() === "Ident") parseIdentifier(cursor);
-	else if (cursor.peekKind() === "StringLiteral") parseStringLiteralExpr(cursor);
-	if (cursor.peekKind() === "Colon") {
-		cursor.bump();
-		if (!parseExpression(cursor)) cursor.diagnostic("PSL_INVALID_OBJECT_LITERAL", "Expected a value after \":\"", cursor.mark());
-	} else {
-		cursor.diagnostic("PSL_INVALID_OBJECT_LITERAL", `Expected ":" after "${keyText}"`, keyMark);
-		if (!(cursor.peekKind() === "Ident" && cursor.peekKind(1) === "Colon")) parseExpression(cursor);
-	}
-	return cursor.finishNode();
-}
-/**
-* Whether the next tokens open a call: a bare `Ident(` or a namespace-qualified
-* `Ident.Ident(`. The lookahead is deliberately bounded so a bare dotted
-* reference like `a.b` is not mistaken for a call, rather than scanning an
-* unbounded dotted chain ahead to find the paren.
-*/
-function isCallAhead(cursor) {
-	if (cursor.peekKind() !== "Ident") return false;
-	if (cursor.peekKind(1) === "LParen") return true;
-	return cursor.peekKind(1) === "Dot" && cursor.peekKind(2) === "Ident" && cursor.peekKind(3) === "LParen";
-}
-/**
-* Parses a function/constructor call — bare `autoincrement()` or qualified
-* `temporal.updatedAt()`. Returns `undefined` unless {@link isCallAhead}
-* confirms a trailing `(`, so the `parseExpression` chain falls through to the
-* boolean and bare-identifier forms.
-*/
-function parseFunctionCall(cursor) {
-	if (!isCallAhead(cursor)) return void 0;
-	cursor.startNode("FunctionCall");
-	parseQualifiedName(cursor);
-	if (cursor.peekKind() === "LParen") parseParenArgs(cursor);
-	return cursor.finishNode();
-}
-/** Parses a parenthesised, comma-separated `AttributeArg` list into the currently open node. */
-function parseParenArgs(cursor) {
-	cursor.bump();
-	while (cursor.peekKind() !== "RParen" && cursor.peekKind() !== "Eof") {
-		parseAttributeArg(cursor);
-		if (cursor.peekKind() === "Comma") cursor.bump();
-		else break;
-	}
-	if (cursor.peekKind() === "RParen") cursor.bump();
-}
-function parseAttributeArg(cursor) {
-	const kind = cursor.peekKind();
-	if (kind !== "Ident" && kind !== "StringLiteral" && kind !== "NumberLiteral" && kind !== "LBracket" && kind !== "LBrace") return;
-	cursor.startNode("AttributeArg");
-	if (cursor.peekKind() === "Ident" && cursor.peekKind(1) === "Colon") {
-		parseIdentifier(cursor);
-		cursor.bump();
-	}
-	parseArgValue(cursor);
-	cursor.finishNode();
-}
-function parseArgValue(cursor) {
-	parseExpression(cursor);
-}
-function parseAttributeArgList(cursor) {
-	cursor.startNode("AttributeArgList");
-	parseParenArgs(cursor);
-	return cursor.finishNode();
-}
-function parseAttribute(cursor) {
-	const isBlockAttribute = cursor.peekKind() === "DoubleAt";
-	const attributeMark = cursor.mark();
-	cursor.startNode(isBlockAttribute ? "ModelAttribute" : "FieldAttribute");
-	cursor.bump();
-	if (cursor.peekKind() === "Ident") parseQualifiedName(cursor);
-	else cursor.diagnostic("PSL_INVALID_ATTRIBUTE_SYNTAX", "Attribute name expected", attributeMark);
-	if (cursor.peekKind() === "LParen") parseAttributeArgList(cursor);
-	return cursor.finishNode();
-}
-/**
-* A type annotation: `QualifiedName (argList)? ([])? (?)?`, e.g.
-* `pgvector.Vector(1536)[]?`. When the field has no type, no node is emitted —
-* a missing type is the absence of a `TypeAnnotation`, not a zero-width one.
-*/
-function parseTypeAnnotation(cursor) {
-	const kind = cursor.peekKind();
-	if (kind !== "Ident" && kind !== "LBracket" && kind !== "Question") return;
-	cursor.startNode("TypeAnnotation");
-	if (cursor.peekKind() === "Ident") {
-		parseQualifiedName(cursor);
-		if (cursor.peekKind() === "LParen") parseAttributeArgList(cursor);
-	}
-	if (cursor.peekKind() === "LBracket") {
-		cursor.bump();
-		if (cursor.peekKind() === "RBracket") cursor.bump();
-	}
-	if (cursor.peekKind() === "Question") cursor.bump();
-	cursor.finishNode();
-}
-/**
-* Parses a full PSL document. Never throws — malformed input yields diagnostics
-* and a recovered tree, not an exception.
-*/
-function parse(source) {
-	const cursor = new Cursor(source);
-	const root = createSyntaxTree(parseDocument(cursor));
-	return {
-		document: DocumentAst.cast(root) ?? new DocumentAst(root),
-		diagnostics: cursor.diagnostics,
-		sourceFile: cursor.sourceFile
-	};
-}
-function parseDocument(cursor) {
-	cursor.startNode("Document");
-	while (cursor.peekKind() !== "Eof") parseDeclaration(cursor, false);
-	cursor.flushTrivia();
-	return cursor.finishNode();
-}
-const RESERVED_BLOCK_KEYWORDS = /* @__PURE__ */ new Set([
-	"model",
-	"namespace",
-	"type",
-	"types"
-]);
-function keywordIs(cursor, keyword) {
-	return cursor.peekKind() === "Ident" && cursor.peekToken().text === keyword;
-}
-/**
-* Each alternative is a no-op on non-match, consuming nothing, so the
-* forward-only cursor is never left half-consumed by a rejected alternative.
-* Recovery runs via the `if (!node)` tail rather than as a `??` arm, because it
-* appends raw tokens to the open parent instead of returning a child node.
-*/
-function parseDeclaration(cursor, insideNamespace) {
-	const name = cursor.peekKind(1) === "Ident" ? cursor.peekToken(1).text : "";
-	if (insideNamespace && keywordIs(cursor, "namespace")) cursor.diagnostic("PSL_INVALID_NAMESPACE_BLOCK", `Recursive "namespace ${name}" block is not allowed; namespace blocks may not nest`, cursor.mark());
-	else if (insideNamespace && keywordIs(cursor, "types")) cursor.diagnostic("PSL_INVALID_NAMESPACE_BLOCK", "`types` blocks must be declared at the document top level, not inside a namespace block", cursor.mark());
-	else if (keywordIs(cursor, "namespace") && name === UNSPECIFIED_PSL_NAMESPACE_ID) cursor.diagnostic("PSL_INVALID_NAMESPACE_BLOCK", `Namespace name "${UNSPECIFIED_PSL_NAMESPACE_ID}" is reserved for the parser-synthesised bucket for top-level declarations`, cursor.mark(1));
-	if (!(parseModel(cursor) ?? parseNamespace(cursor) ?? parseCompositeType(cursor) ?? parseTypesBlock(cursor) ?? parseGenericBlock(cursor))) parseUnsupportedTopLevel(cursor);
-}
-/**
-* Reports only the first missing piece — a missing name suppresses the
-* missing-brace diagnostic. `nameRequired` is false only for the `types` block.
-*/
-function parseBlock(cursor, kind, nameRequired, parseMember) {
-	const keyword = cursor.peekToken().text;
-	const keywordMark = cursor.mark();
-	cursor.startNode(kind);
-	cursor.bump();
-	const hasName = nameRequired && cursor.peekKind() === "Ident";
-	if (hasName) parseIdentifier(cursor);
-	if (nameRequired && !hasName) cursor.diagnostic("PSL_INVALID_DECLARATION", `Expected a name after "${keyword}"`, keywordMark);
-	else if (cursor.peekKind() !== "LBrace") cursor.diagnostic("PSL_INVALID_DECLARATION", `Expected "{" to open the "${keyword}" block`, cursor.markAfterLastToken());
-	if (cursor.peekKind() === "LBrace") parseBlockBody(cursor, parseMember);
-	else cursor.recoverToSyncPoint();
-	return cursor.finishNode();
-}
-function parseModel(cursor) {
-	if (!keywordIs(cursor, "model")) return void 0;
-	return parseBlock(cursor, "ModelDeclaration", true, parseModelMember);
-}
-/**
-* Excluding the reserved keywords keeps a malformed reserved block (e.g. `model
-* {` with no name) routed to its dedicated parser. The generic keyword set is
-* open, so a bare identifier with no brace (e.g. `oops`) is read as an unfinished
-* custom declaration rather than unsupported content.
-*/
-function parseGenericBlock(cursor) {
-	if (cursor.peekKind() !== "Ident") return void 0;
-	const keyword = cursor.peekToken().text;
-	if (RESERVED_BLOCK_KEYWORDS.has(keyword)) return void 0;
-	const hasName = cursor.peekKind(1) === "Ident" && cursor.peekKind(2) === "LBrace";
-	cursor.startNode("GenericBlockDeclaration");
-	cursor.bump();
-	if (hasName) parseIdentifier(cursor);
-	if (cursor.peekKind() === "LBrace") parseBlockBody(cursor, parseKeyValueMember);
-	else {
-		cursor.diagnostic("PSL_INVALID_DECLARATION", `Expected "{" to open the "${keyword}" block`, cursor.markAfterLastToken());
-		cursor.recoverToSyncPoint();
-	}
-	return cursor.finishNode();
-}
-function parseNamespace(cursor) {
-	if (!keywordIs(cursor, "namespace")) return void 0;
-	return parseBlock(cursor, "Namespace", true, (inner) => parseDeclaration(inner, true));
-}
-function parseCompositeType(cursor) {
-	if (!keywordIs(cursor, "type")) return void 0;
-	return parseBlock(cursor, "CompositeTypeDeclaration", true, parseModelMember);
-}
-/** `types` (plural) is the no-name types block; the singular `type` is the composite type above. */
-function parseTypesBlock(cursor) {
-	if (!keywordIs(cursor, "types")) return void 0;
-	return parseBlock(cursor, "TypesBlock", false, parseNamedTypeMember);
-}
-/** Every `parseMember` consumes at least one significant token, so the loop always terminates. */
-function parseBlockBody(cursor, parseMember) {
-	const braceMark = cursor.mark();
-	cursor.bump();
-	for (;;) {
-		const kind = cursor.peekKind();
-		if (kind === "RBrace" || kind === "Eof") break;
-		parseMember(cursor);
-	}
-	if (cursor.peekKind() === "RBrace") cursor.bump();
-	else cursor.diagnostic("PSL_UNTERMINATED_BLOCK", "Unterminated block declaration", braceMark);
-}
-function parseUnsupportedTopLevel(cursor) {
-	const offending = cursor.peekToken().text;
-	const message = cursor.peekKind(1) === "LBrace" ? `Unsupported top-level block "${offending}"` : `Unsupported top-level declaration "${offending}"`;
-	cursor.diagnostic("PSL_UNSUPPORTED_TOP_LEVEL_BLOCK", message, cursor.mark());
-	cursor.bump();
-	cursor.recoverToSyncPoint();
-}
-/**
-* Matches a leading `@@` block attribute, a no-op otherwise. Single-`@`
-* attributes belong to fields and are parsed inside `parseField`.
-*/
-function parseBlockAttribute(cursor) {
-	if (cursor.peekKind() !== "DoubleAt") return void 0;
-	return parseAttribute(cursor);
-}
-function parseModelMember(cursor) {
-	if (!(parseBlockAttribute(cursor) ?? parseField(cursor))) invalidMember(cursor, "PSL_INVALID_MODEL_MEMBER", `Invalid model member declaration "${cursor.peekToken().text}"`);
-}
-function parseNamedTypeMember(cursor) {
-	if (!parseNamedType(cursor)) invalidMember(cursor, "PSL_INVALID_TYPES_MEMBER", `Invalid types declaration "${cursor.peekToken().text}"`);
-}
-/**
-* A generic-block member is either a `@@`-block attribute or a `key = value`
-* entry. The block-attribute alternative is purely syntactic — it does not judge
-* whether the attribute is valid for the block's kind.
-*/
-function parseKeyValueMember(cursor) {
-	if (!(parseBlockAttribute(cursor) ?? parseKeyValue(cursor))) invalidMember(cursor, "PSL_INVALID_EXTENSION_BLOCK_MEMBER", "Invalid block entry");
-}
-function invalidMember(cursor, code, message) {
-	cursor.diagnostic(code, message, cursor.mark());
-	cursor.bump();
-	cursor.recoverToSyncPoint();
-}
-function parseField(cursor) {
-	if (cursor.peekKind() !== "Ident") return void 0;
-	cursor.startNode("FieldDeclaration");
-	const nameMark = cursor.mark();
-	const nameText = cursor.peekToken().text;
-	parseIdentifier(cursor);
-	if (cursor.peekKind() !== "Ident") cursor.diagnostic("PSL_INVALID_MODEL_MEMBER", `Expected a type after field "${nameText}"`, nameMark);
-	parseTypeAnnotation(cursor);
-	while (cursor.peekKind() === "At") parseAttribute(cursor);
-	return cursor.finishNode();
-}
-function parseNamedType(cursor) {
-	if (cursor.peekKind() !== "Ident") return void 0;
-	cursor.startNode("NamedTypeDeclaration");
-	const nameMark = cursor.mark();
-	const nameText = cursor.peekToken().text;
-	parseIdentifier(cursor);
-	if (cursor.peekKind() === "Equals") cursor.bump();
-	else cursor.diagnostic("PSL_INVALID_TYPES_MEMBER", `Expected "=" after "${nameText}"`, nameMark);
-	parseTypeAnnotation(cursor);
-	while (cursor.peekKind() === "At") parseAttribute(cursor);
-	return cursor.finishNode();
-}
-/**
-* A generic-block entry is either `key = value` or a bare `key` (committing a
-* `KeyValuePair` carrying only the key). A `key =` with no following expression
-* is flagged.
-*/
-function parseKeyValue(cursor) {
-	if (cursor.peekKind() !== "Ident") return void 0;
-	cursor.startNode("KeyValuePair");
-	parseIdentifier(cursor);
-	if (cursor.peekKind() === "Equals") {
-		cursor.bump();
-		if (!parseExpression(cursor)) cursor.diagnostic("PSL_INVALID_EXTENSION_BLOCK_MEMBER", "Expected a value after \"=\"", cursor.mark());
-	}
-	return cursor.finishNode();
-}
-//#endregion
-export { SourceFile as a, greenToken as i, GreenNodeBuilder as n, greenNode as r, parse as t };
-
-//# sourceMappingURL=parse-CdeXr0T3.mjs.map

dist/parse-CdeXr0T3.mjs.map

-{"version":3,"file":"parse-CdeXr0T3.mjs","names":["#text","#lineStarts","#lineIndexAt","#lineStartAt","#lineEndAt","#stack","#tokenizer","#sourceFile","#builder","#diagnostics","#offset","#depth","#advance"],"sources":["../src/source-file.ts","../src/syntax/green.ts","../src/syntax/green-builder.ts","../src/parse.ts"],"sourcesContent":["const CARRIAGE_RETURN = 13;\nconst LINE_FEED = 10;\n\nexport interface Position {\n  readonly line: number;\n  readonly character: number;\n}\n\nexport interface Range {\n  readonly start: Position;\n  readonly end: Position;\n}\n\nexport class SourceFile {\n  readonly #text: string;\n  readonly #lineStarts: readonly number[];\n\n  constructor(text: string) {\n    this.#text = text;\n    const lineStarts: number[] = [0];\n    for (let offset = 0; offset < text.length; offset++) {\n      if (text.charCodeAt(offset) === LINE_FEED) {\n        lineStarts.push(offset + 1);\n      }\n    }\n    this.#lineStarts = lineStarts;\n  }\n\n  get text(): string {\n    return this.#text;\n  }\n\n  get length(): number {\n    return this.#text.length;\n  }\n\n  get lineCount(): number {\n    return this.#lineStarts.length;\n  }\n\n  lineStartOffsets(): readonly number[] {\n    return this.#lineStarts;\n  }\n\n  lineStartOffset(line: number): number {\n    if (line <= 0) {\n      return 0;\n    }\n    return this.#lineStarts[line] ?? this.#text.length;\n  }\n\n  lineEndOffset(line: number): number {\n    if (line < 0) {\n      return 0;\n    }\n\n    const nextLineStart = this.#lineStarts[line + 1];\n    if (nextLineStart === undefined) {\n      return this.#text.length;\n    }\n\n    const lineFeedOffset = nextLineStart - 1;\n    const carriageReturnOffset = lineFeedOffset - 1;\n    return this.#text.charCodeAt(carriageReturnOffset) === CARRIAGE_RETURN\n      ? carriageReturnOffset\n      : lineFeedOffset;\n  }\n\n  positionAt(offset: number): Position {\n    const clamped = clamp(offset, 0, this.#text.length);\n    const line = this.#lineIndexAt(clamped);\n    return { line, character: clamped - this.#lineStartAt(line) };\n  }\n\n  offsetAt(position: Position): number {\n    const line = clamp(position.line, 0, this.#lineStarts.length - 1);\n    const lineStart = this.#lineStartAt(line);\n    const lineEnd = this.#lineEndAt(line);\n    return clamp(lineStart + position.character, lineStart, lineEnd);\n  }\n\n  #lineStartAt(line: number): number {\n    return this.#lineStarts[line] ?? 0;\n  }\n\n  #lineEndAt(line: number): number {\n    return line + 1 < this.#lineStarts.length ? this.#lineStartAt(line + 1) - 1 : this.#text.length;\n  }\n\n  #lineIndexAt(offset: number): number {\n    const lineStarts = this.#lineStarts;\n    let low = 0;\n    let high = lineStarts.length - 1;\n    while (low < high) {\n      const mid = (low + high + 1) >>> 1;\n      if ((lineStarts[mid] ?? 0) <= offset) {\n        low = mid;\n      } else {\n        high = mid - 1;\n      }\n    }\n    return low;\n  }\n}\n\nfunction clamp(value: number, min: number, max: number): number {\n  if (value < min) {\n    return min;\n  }\n  if (value > max) {\n    return max;\n  }\n  return value;\n}\n","import type { TokenKind } from '../tokenizer';\nimport type { SyntaxKind } from './syntax-kind';\n\nexport interface GreenToken {\n  readonly type: 'token';\n  readonly kind: TokenKind;\n  readonly text: string;\n}\n\nexport interface GreenNode {\n  readonly type: 'node';\n  readonly kind: SyntaxKind;\n  readonly children: ReadonlyArray<GreenElement>;\n  readonly textLength: number;\n}\n\nexport type GreenElement = GreenNode | GreenToken;\n\nexport function greenToken(kind: TokenKind, text: string): GreenToken {\n  return { type: 'token', kind, text };\n}\n\nexport function greenNode(kind: SyntaxKind, children: ReadonlyArray<GreenElement>): GreenNode {\n  let textLength = 0;\n  for (const child of children) {\n    textLength += child.type === 'token' ? child.text.length : child.textLength;\n  }\n  return { type: 'node', kind, children, textLength };\n}\n","import type { TokenKind } from '../tokenizer';\nimport type { GreenElement, GreenNode } from './green';\nimport { greenNode, greenToken } from './green';\nimport type { SyntaxKind } from './syntax-kind';\n\nexport class GreenNodeBuilder {\n  readonly #stack: Array<{ kind: SyntaxKind; children: GreenElement[] }> = [];\n\n  startNode(kind: SyntaxKind): void {\n    this.#stack.push({ kind, children: [] });\n  }\n\n  token(kind: TokenKind, text: string): void {\n    const current = this.#stack.at(-1);\n    if (!current) {\n      throw new Error('GreenNodeBuilder: token() called with no open node');\n    }\n    current.children.push(greenToken(kind, text));\n  }\n\n  finishNode(): GreenNode {\n    const completed = this.#stack.pop();\n    if (!completed) {\n      throw new Error('GreenNodeBuilder: finishNode() called with no open node');\n    }\n    const node = greenNode(completed.kind, completed.children);\n    const parent = this.#stack.at(-1);\n    if (parent) {\n      parent.children.push(node);\n    }\n    return node;\n  }\n}\n","import type { PslDiagnosticCode } from '@prisma-next/framework-components/psl-ast';\nimport { UNSPECIFIED_PSL_NAMESPACE_ID } from '@prisma-next/framework-components/psl-ast';\nimport { type Range, SourceFile } from './source-file';\nimport { DocumentAst } from './syntax/ast/declarations';\nimport type { GreenNode } from './syntax/green';\nimport { GreenNodeBuilder } from './syntax/green-builder';\nimport { createSyntaxTree } from './syntax/red';\nimport type { SyntaxKind } from './syntax/syntax-kind';\nimport { isTerminatedStringLiteral, type Token, Tokenizer, type TokenKind } from './tokenizer';\n\nexport interface ParseDiagnostic {\n  readonly code: PslDiagnosticCode;\n  readonly message: string;\n  readonly range: Range;\n}\n\nexport interface ParseResult {\n  readonly document: DocumentAst;\n  readonly diagnostics: readonly ParseDiagnostic[];\n  readonly sourceFile: SourceFile;\n}\n\nconst TRIVIA_KINDS: ReadonlySet<TokenKind> = new Set<TokenKind>([\n  'Whitespace',\n  'Newline',\n  'Comment',\n]);\n\n/**\n * The source span of a token, captured eagerly so it stays valid after the\n * cursor advances past the token it points at.\n */\nexport interface DiagnosticMark {\n  readonly offset: number;\n  readonly length: number;\n}\n\n/**\n * The fault-tolerant parser substrate the grammars drive. Trivia is flushed\n * into the enclosing open node, so every child node spans exactly its first\n * through last significant token.\n */\nexport class Cursor {\n  readonly #tokenizer: Tokenizer;\n  readonly #sourceFile: SourceFile;\n  readonly #builder = new GreenNodeBuilder();\n  readonly #diagnostics: ParseDiagnostic[] = [];\n  #offset = 0;\n  #depth = 0;\n\n  constructor(source: string) {\n    this.#tokenizer = new Tokenizer(source);\n    this.#sourceFile = new SourceFile(source);\n  }\n\n  get diagnostics(): readonly ParseDiagnostic[] {\n    return this.#diagnostics;\n  }\n\n  get sourceFile(): SourceFile {\n    return this.#sourceFile;\n  }\n\n  peekKind(ahead = 0): TokenKind {\n    return this.peekToken(ahead).kind;\n  }\n\n  peekToken(ahead = 0): Token {\n    let rawIndex = 0;\n    let remaining = ahead;\n    for (;;) {\n      const token = this.#tokenizer.peek(rawIndex);\n      if (token.kind === 'Eof') return token;\n      if (TRIVIA_KINDS.has(token.kind)) {\n        rawIndex++;\n        continue;\n      }\n      if (remaining === 0) return token;\n      remaining--;\n      rawIndex++;\n    }\n  }\n\n  /** Span of the significant token `lookahead` positions ahead (`mark(0)` = the next). */\n  mark(lookahead = 0): DiagnosticMark {\n    let rawIndex = 0;\n    let offset = this.#offset;\n    let remaining = lookahead;\n    for (;;) {\n      const token = this.#tokenizer.peek(rawIndex);\n      if (token.kind === 'Eof') {\n        return { offset, length: token.text.length };\n      }\n      if (!TRIVIA_KINDS.has(token.kind) && remaining === 0) {\n        return { offset, length: token.text.length };\n      }\n      if (!TRIVIA_KINDS.has(token.kind)) {\n        remaining--;\n      }\n      offset += token.text.length;\n      rawIndex++;\n    }\n  }\n\n  /**\n   * Zero-width mark just past the last consumed significant token — anchors an\n   * \"expected here\" diagnostic, e.g. the `{` missing after a declaration's name.\n   */\n  markAfterLastToken(): DiagnosticMark {\n    return { offset: this.#offset, length: 0 };\n  }\n\n  startNode(kind: SyntaxKind): void {\n    if (this.#depth > 0) {\n      this.flushTrivia();\n    }\n    this.#builder.startNode(kind);\n    this.#depth++;\n  }\n\n  finishNode(): GreenNode {\n    this.#depth--;\n    return this.#builder.finishNode();\n  }\n\n  bump(): Token {\n    this.flushTrivia();\n    const token = this.#tokenizer.peek();\n    if (token.kind === 'Eof') return token;\n    this.#builder.token(token.kind, token.text);\n    this.#advance();\n    return token;\n  }\n\n  recoverToSyncPoint(): void {\n    for (;;) {\n      const token = this.#tokenizer.peek();\n      if (token.kind === 'Eof' || token.kind === 'Newline' || token.kind === 'RBrace') {\n        return;\n      }\n      this.#builder.token(token.kind, token.text);\n      this.#advance();\n    }\n  }\n\n  flushTrivia(): void {\n    for (;;) {\n      const token = this.#tokenizer.peek();\n      if (!TRIVIA_KINDS.has(token.kind)) return;\n      this.#builder.token(token.kind, token.text);\n      this.#advance();\n    }\n  }\n\n  diagnostic(code: PslDiagnosticCode, message: string, mark: DiagnosticMark): void {\n    const start = mark.offset;\n    const end = start + mark.length;\n    this.#diagnostics.push({\n      code,\n      message,\n      range: {\n        start: this.#sourceFile.positionAt(start),\n        end: this.#sourceFile.positionAt(end),\n      },\n    });\n  }\n\n  #advance(): void {\n    this.#offset += this.#tokenizer.next().text.length;\n  }\n}\n\nfunction parseIdentifier(cursor: Cursor): void {\n  cursor.startNode('Identifier');\n  cursor.bump();\n  cursor.finishNode();\n}\n\n/**\n * Returns `undefined` when the next significant token does not start a\n * recognised expression, leaving recovery to the caller.\n */\nexport function parseExpression(cursor: Cursor): GreenNode | undefined {\n  return (\n    parseStringLiteralExpr(cursor) ??\n    parseNumberLiteralExpr(cursor) ??\n    parseArrayLiteral(cursor) ??\n    parseObjectLiteralExpr(cursor) ??\n    parseFunctionCall(cursor) ??\n    parseBooleanLiteralExpr(cursor) ??\n    parseIdentifierExpr(cursor)\n  );\n}\n\nexport function parseStringLiteralExpr(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'StringLiteral') return undefined;\n  const stringMark = cursor.mark();\n  const text = cursor.peekToken().text;\n  cursor.startNode('StringLiteralExpr');\n  cursor.bump();\n  if (!isTerminatedStringLiteral(text)) {\n    cursor.diagnostic('PSL_UNTERMINATED_STRING', 'Unterminated string literal', stringMark);\n  }\n  return cursor.finishNode();\n}\n\nexport function parseNumberLiteralExpr(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'NumberLiteral') return undefined;\n  cursor.startNode('NumberLiteralExpr');\n  cursor.bump();\n  return cursor.finishNode();\n}\n\n/**\n * Parses a namespace-qualified name `[space ':']? Ident ('.' Ident)*`. The\n * caller guarantees a leading `Ident`.\n *\n * Parsing the whole chain up front lets a position decide\n * constructor-vs-reference by peeking exactly one token for `(`, with no scan of\n * the dotted chain's length.\n */\nexport function parseQualifiedName(cursor: Cursor): void {\n  cursor.startNode('QualifiedName');\n  parseIdentifier(cursor); // first segment: the space, namespace, or bare name\n  parseQualifiedSegments(cursor, 'Colon');\n  parseQualifiedSegments(cursor, 'Dot');\n  cursor.finishNode();\n}\n\n/**\n * A well-formed name carries at most one colon space and one dot namespace, so\n * each separator past the first of its kind reports `PSL_INVALID_QUALIFIED_NAME`.\n * The separator is consumed regardless, keeping the lossless round-trip intact.\n */\nfunction parseQualifiedSegments(cursor: Cursor, separator: 'Colon' | 'Dot'): void {\n  let seen = 0;\n  while (cursor.peekKind() === separator) {\n    seen++;\n    const separatorMark = cursor.mark();\n    cursor.bump();\n    if (seen > 1) {\n      cursor.diagnostic(\n        'PSL_INVALID_QUALIFIED_NAME',\n        'Qualified name has too many segments',\n        separatorMark,\n      );\n    }\n    if (cursor.peekKind() === 'Ident') {\n      parseIdentifier(cursor);\n    } else {\n      cursor.diagnostic(\n        'PSL_INVALID_QUALIFIED_NAME',\n        'Qualified name is missing a name after the separator',\n        cursor.mark(),\n      );\n    }\n  }\n}\n\n// Ordering among the `Ident`-leading alternatives is load-bearing: the\n// `LParen`/`Dot` lookahead of `parseCall` must win before the boolean check, so\n// `true(` stays a function call named `true` rather than a boolean literal.\nexport function parseBooleanLiteralExpr(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  const text = cursor.peekToken().text;\n  if (text !== 'true' && text !== 'false') return undefined;\n  cursor.startNode('BooleanLiteralExpr');\n  cursor.bump();\n  return cursor.finishNode();\n}\n\nexport function parseIdentifierExpr(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  cursor.startNode('Identifier');\n  cursor.bump();\n  return cursor.finishNode();\n}\n\nexport function parseArrayLiteral(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'LBracket') return undefined;\n  cursor.startNode('ArrayLiteral');\n  cursor.bump();\n  while (cursor.peekKind() !== 'RBracket' && cursor.peekKind() !== 'Eof') {\n    const element = parseExpression(cursor);\n    if (!element) break;\n    if (cursor.peekKind() === 'Comma') {\n      cursor.bump();\n    } else {\n      break;\n    }\n  }\n  if (cursor.peekKind() === 'RBracket') {\n    cursor.bump();\n  }\n  return cursor.finishNode();\n}\n\nexport function parseObjectLiteralExpr(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'LBrace') return undefined;\n  const braceMark = cursor.mark();\n  cursor.startNode('ObjectLiteralExpr');\n  cursor.bump();\n  while (cursor.peekKind() !== 'RBrace' && cursor.peekKind() !== 'Eof') {\n    parseObjectField(cursor);\n    if (cursor.peekKind() === 'Comma') {\n      cursor.bump();\n    } else if (cursor.peekKind() === 'Ident') {\n      // A following identifier key with no comma re-enters the loop; the next\n      // parseObjectField consumes ≥1 token, so progress is guaranteed.\n      cursor.diagnostic(\n        'PSL_INVALID_OBJECT_LITERAL',\n        'Expected \",\" between object-literal fields',\n        cursor.markAfterLastToken(),\n      );\n    } else {\n      break;\n    }\n  }\n  if (cursor.peekKind() === 'RBrace') {\n    cursor.bump();\n  } else {\n    cursor.diagnostic('PSL_INVALID_OBJECT_LITERAL', 'Unterminated object literal', braceMark);\n  }\n  return cursor.finishNode();\n}\n\nexport function parseObjectField(cursor: Cursor): GreenNode {\n  cursor.startNode('ObjectField');\n  const keyMark = cursor.mark();\n  const keyText = cursor.peekToken().text;\n  if (cursor.peekKind() === 'Ident') {\n    parseIdentifier(cursor);\n  } else if (cursor.peekKind() === 'StringLiteral') {\n    // A string-literal key (e.g. `{ \"length\": 35 }`) is accepted; its logical\n    // name is the unquoted string.\n    parseStringLiteralExpr(cursor);\n  }\n  if (cursor.peekKind() === 'Colon') {\n    cursor.bump(); // Colon\n    const value = parseExpression(cursor);\n    if (!value) {\n      cursor.diagnostic('PSL_INVALID_OBJECT_LITERAL', 'Expected a value after \":\"', cursor.mark());\n    }\n  } else {\n    cursor.diagnostic('PSL_INVALID_OBJECT_LITERAL', `Expected \":\" after \"${keyText}\"`, keyMark);\n    const followsWithKey = cursor.peekKind() === 'Ident' && cursor.peekKind(1) === 'Colon';\n    if (!followsWithKey) {\n      parseExpression(cursor); // best-effort: consume a value if one follows\n    }\n  }\n  return cursor.finishNode();\n}\n\n/**\n * Whether the next tokens open a call: a bare `Ident(` or a namespace-qualified\n * `Ident.Ident(`. The lookahead is deliberately bounded so a bare dotted\n * reference like `a.b` is not mistaken for a call, rather than scanning an\n * unbounded dotted chain ahead to find the paren.\n */\nfunction isCallAhead(cursor: Cursor): boolean {\n  if (cursor.peekKind() !== 'Ident') return false;\n  if (cursor.peekKind(1) === 'LParen') return true;\n  return (\n    cursor.peekKind(1) === 'Dot' &&\n    cursor.peekKind(2) === 'Ident' &&\n    cursor.peekKind(3) === 'LParen'\n  );\n}\n\n/**\n * Parses a function/constructor call — bare `autoincrement()` or qualified\n * `temporal.updatedAt()`. Returns `undefined` unless {@link isCallAhead}\n * confirms a trailing `(`, so the `parseExpression` chain falls through to the\n * boolean and bare-identifier forms.\n */\nexport function parseFunctionCall(cursor: Cursor): GreenNode | undefined {\n  if (!isCallAhead(cursor)) return undefined;\n  cursor.startNode('FunctionCall');\n  parseQualifiedName(cursor);\n  if (cursor.peekKind() === 'LParen') {\n    parseParenArgs(cursor);\n  }\n  return cursor.finishNode();\n}\n\n/** Parses a parenthesised, comma-separated `AttributeArg` list into the currently open node. */\nfunction parseParenArgs(cursor: Cursor): void {\n  cursor.bump();\n  while (cursor.peekKind() !== 'RParen' && cursor.peekKind() !== 'Eof') {\n    parseAttributeArg(cursor);\n    if (cursor.peekKind() === 'Comma') {\n      cursor.bump();\n    } else {\n      break;\n    }\n  }\n  if (cursor.peekKind() === 'RParen') {\n    cursor.bump();\n  }\n}\n\nexport function parseAttributeArg(cursor: Cursor): void {\n  const kind = cursor.peekKind();\n  if (\n    kind !== 'Ident' &&\n    kind !== 'StringLiteral' &&\n    kind !== 'NumberLiteral' &&\n    kind !== 'LBracket' &&\n    kind !== 'LBrace'\n  ) {\n    return;\n  }\n  cursor.startNode('AttributeArg');\n  if (cursor.peekKind() === 'Ident' && cursor.peekKind(1) === 'Colon') {\n    parseIdentifier(cursor);\n    cursor.bump();\n  }\n  parseArgValue(cursor);\n  cursor.finishNode();\n}\n\nfunction parseArgValue(cursor: Cursor): void {\n  parseExpression(cursor);\n}\n\nexport function parseAttributeArgList(cursor: Cursor): GreenNode {\n  cursor.startNode('AttributeArgList');\n  parseParenArgs(cursor);\n  return cursor.finishNode();\n}\n\nexport function parseAttribute(cursor: Cursor): GreenNode {\n  const isBlockAttribute = cursor.peekKind() === 'DoubleAt';\n  const attributeMark = cursor.mark();\n  cursor.startNode(isBlockAttribute ? 'ModelAttribute' : 'FieldAttribute');\n  cursor.bump();\n  if (cursor.peekKind() === 'Ident') {\n    parseQualifiedName(cursor);\n  } else {\n    cursor.diagnostic('PSL_INVALID_ATTRIBUTE_SYNTAX', 'Attribute name expected', attributeMark);\n  }\n  if (cursor.peekKind() === 'LParen') {\n    parseAttributeArgList(cursor);\n  }\n  return cursor.finishNode();\n}\n\n/**\n * A type annotation: `QualifiedName (argList)? ([])? (?)?`, e.g.\n * `pgvector.Vector(1536)[]?`. When the field has no type, no node is emitted —\n * a missing type is the absence of a `TypeAnnotation`, not a zero-width one.\n */\nexport function parseTypeAnnotation(cursor: Cursor): void {\n  const kind = cursor.peekKind();\n  if (kind !== 'Ident' && kind !== 'LBracket' && kind !== 'Question') {\n    return;\n  }\n  cursor.startNode('TypeAnnotation');\n  if (cursor.peekKind() === 'Ident') {\n    parseQualifiedName(cursor);\n    if (cursor.peekKind() === 'LParen') {\n      parseAttributeArgList(cursor);\n    }\n  }\n  if (cursor.peekKind() === 'LBracket') {\n    cursor.bump();\n    if (cursor.peekKind() === 'RBracket') {\n      cursor.bump();\n    }\n  }\n  if (cursor.peekKind() === 'Question') {\n    cursor.bump();\n  }\n  cursor.finishNode();\n}\n\ntype MemberParser = (cursor: Cursor) => void;\n\n/**\n * Parses a full PSL document. Never throws — malformed input yields diagnostics\n * and a recovered tree, not an exception.\n */\nexport function parse(source: string): ParseResult {\n  const cursor = new Cursor(source);\n  const green = parseDocument(cursor);\n  const root = createSyntaxTree(green);\n  const document = DocumentAst.cast(root) ?? new DocumentAst(root);\n  return { document, diagnostics: cursor.diagnostics, sourceFile: cursor.sourceFile };\n}\n\nfunction parseDocument(cursor: Cursor): GreenNode {\n  cursor.startNode('Document');\n  while (cursor.peekKind() !== 'Eof') {\n    parseDeclaration(cursor, false);\n  }\n  cursor.flushTrivia(); // attach trailing trivia so the round-trip stays lossless\n  return cursor.finishNode();\n}\n\nconst RESERVED_BLOCK_KEYWORDS: ReadonlySet<string> = new Set([\n  'model',\n  'namespace',\n  'type',\n  'types',\n]);\n\nfunction keywordIs(cursor: Cursor, keyword: string): boolean {\n  return cursor.peekKind() === 'Ident' && cursor.peekToken().text === keyword;\n}\n\n/**\n * Each alternative is a no-op on non-match, consuming nothing, so the\n * forward-only cursor is never left half-consumed by a rejected alternative.\n * Recovery runs via the `if (!node)` tail rather than as a `??` arm, because it\n * appends raw tokens to the open parent instead of returning a child node.\n */\nfunction parseDeclaration(cursor: Cursor, insideNamespace: boolean): void {\n  const name = cursor.peekKind(1) === 'Ident' ? cursor.peekToken(1).text : '';\n  if (insideNamespace && keywordIs(cursor, 'namespace')) {\n    cursor.diagnostic(\n      'PSL_INVALID_NAMESPACE_BLOCK',\n      `Recursive \"namespace ${name}\" block is not allowed; namespace blocks may not nest`,\n      cursor.mark(),\n    );\n  } else if (insideNamespace && keywordIs(cursor, 'types')) {\n    cursor.diagnostic(\n      'PSL_INVALID_NAMESPACE_BLOCK',\n      '`types` blocks must be declared at the document top level, not inside a namespace block',\n      cursor.mark(),\n    );\n  } else if (keywordIs(cursor, 'namespace') && name === UNSPECIFIED_PSL_NAMESPACE_ID) {\n    cursor.diagnostic(\n      'PSL_INVALID_NAMESPACE_BLOCK',\n      `Namespace name \"${UNSPECIFIED_PSL_NAMESPACE_ID}\" is reserved for the parser-synthesised bucket for top-level declarations`,\n      cursor.mark(1),\n    );\n  }\n\n  const node =\n    parseModel(cursor) ??\n    parseNamespace(cursor) ??\n    parseCompositeType(cursor) ??\n    parseTypesBlock(cursor) ??\n    parseGenericBlock(cursor);\n  if (!node) {\n    parseUnsupportedTopLevel(cursor);\n  }\n}\n\n/**\n * Reports only the first missing piece — a missing name suppresses the\n * missing-brace diagnostic. `nameRequired` is false only for the `types` block.\n */\nfunction parseBlock(\n  cursor: Cursor,\n  kind: SyntaxKind,\n  nameRequired: boolean,\n  parseMember: MemberParser,\n): GreenNode {\n  const keyword = cursor.peekToken().text;\n  const keywordMark = cursor.mark();\n  cursor.startNode(kind);\n  cursor.bump();\n  const hasName = nameRequired && cursor.peekKind() === 'Ident';\n  if (hasName) {\n    parseIdentifier(cursor);\n  }\n  if (nameRequired && !hasName) {\n    cursor.diagnostic('PSL_INVALID_DECLARATION', `Expected a name after \"${keyword}\"`, keywordMark);\n  } else if (cursor.peekKind() !== 'LBrace') {\n    cursor.diagnostic(\n      'PSL_INVALID_DECLARATION',\n      `Expected \"{\" to open the \"${keyword}\" block`,\n      cursor.markAfterLastToken(),\n    );\n  }\n  if (cursor.peekKind() === 'LBrace') {\n    parseBlockBody(cursor, parseMember);\n  } else {\n    cursor.recoverToSyncPoint();\n  }\n  return cursor.finishNode();\n}\n\nexport function parseModel(cursor: Cursor): GreenNode | undefined {\n  if (!keywordIs(cursor, 'model')) return undefined;\n  return parseBlock(cursor, 'ModelDeclaration', true, parseModelMember);\n}\n\n/**\n * Excluding the reserved keywords keeps a malformed reserved block (e.g. `model\n * {` with no name) routed to its dedicated parser. The generic keyword set is\n * open, so a bare identifier with no brace (e.g. `oops`) is read as an unfinished\n * custom declaration rather than unsupported content.\n */\nexport function parseGenericBlock(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  const keyword = cursor.peekToken().text;\n  if (RESERVED_BLOCK_KEYWORDS.has(keyword)) return undefined;\n  const hasName = cursor.peekKind(1) === 'Ident' && cursor.peekKind(2) === 'LBrace';\n  cursor.startNode('GenericBlockDeclaration');\n  cursor.bump();\n  if (hasName) {\n    parseIdentifier(cursor);\n  }\n  if (cursor.peekKind() === 'LBrace') {\n    parseBlockBody(cursor, parseKeyValueMember);\n  } else {\n    cursor.diagnostic(\n      'PSL_INVALID_DECLARATION',\n      `Expected \"{\" to open the \"${keyword}\" block`,\n      cursor.markAfterLastToken(),\n    );\n    cursor.recoverToSyncPoint();\n  }\n  return cursor.finishNode();\n}\n\nexport function parseNamespace(cursor: Cursor): GreenNode | undefined {\n  if (!keywordIs(cursor, 'namespace')) return undefined;\n  return parseBlock(cursor, 'Namespace', true, (inner) => parseDeclaration(inner, true));\n}\n\nexport function parseCompositeType(cursor: Cursor): GreenNode | undefined {\n  if (!keywordIs(cursor, 'type')) return undefined;\n  return parseBlock(cursor, 'CompositeTypeDeclaration', true, parseModelMember);\n}\n\n/** `types` (plural) is the no-name types block; the singular `type` is the composite type above. */\nexport function parseTypesBlock(cursor: Cursor): GreenNode | undefined {\n  if (!keywordIs(cursor, 'types')) return undefined;\n  return parseBlock(cursor, 'TypesBlock', false, parseNamedTypeMember);\n}\n\n/** Every `parseMember` consumes at least one significant token, so the loop always terminates. */\nfunction parseBlockBody(cursor: Cursor, parseMember: MemberParser): void {\n  const braceMark = cursor.mark();\n  cursor.bump();\n  for (;;) {\n    const kind = cursor.peekKind();\n    if (kind === 'RBrace' || kind === 'Eof') break;\n    parseMember(cursor);\n  }\n  if (cursor.peekKind() === 'RBrace') {\n    cursor.bump();\n  } else {\n    cursor.diagnostic('PSL_UNTERMINATED_BLOCK', 'Unterminated block declaration', braceMark);\n  }\n}\n\nfunction parseUnsupportedTopLevel(cursor: Cursor): void {\n  const offending = cursor.peekToken().text;\n  const message =\n    cursor.peekKind(1) === 'LBrace'\n      ? `Unsupported top-level block \"${offending}\"`\n      : `Unsupported top-level declaration \"${offending}\"`;\n  cursor.diagnostic('PSL_UNSUPPORTED_TOP_LEVEL_BLOCK', message, cursor.mark());\n  cursor.bump();\n  cursor.recoverToSyncPoint();\n}\n\n/**\n * Matches a leading `@@` block attribute, a no-op otherwise. Single-`@`\n * attributes belong to fields and are parsed inside `parseField`.\n */\nexport function parseBlockAttribute(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'DoubleAt') return undefined;\n  return parseAttribute(cursor);\n}\n\nfunction parseModelMember(cursor: Cursor): void {\n  const node = parseBlockAttribute(cursor) ?? parseField(cursor);\n  if (!node) {\n    invalidMember(\n      cursor,\n      'PSL_INVALID_MODEL_MEMBER',\n      `Invalid model member declaration \"${cursor.peekToken().text}\"`,\n    );\n  }\n}\n\nfunction parseNamedTypeMember(cursor: Cursor): void {\n  const node = parseNamedType(cursor);\n  if (!node) {\n    invalidMember(\n      cursor,\n      'PSL_INVALID_TYPES_MEMBER',\n      `Invalid types declaration \"${cursor.peekToken().text}\"`,\n    );\n  }\n}\n\n/**\n * A generic-block member is either a `@@`-block attribute or a `key = value`\n * entry. The block-attribute alternative is purely syntactic — it does not judge\n * whether the attribute is valid for the block's kind.\n */\nfunction parseKeyValueMember(cursor: Cursor): void {\n  const node = parseBlockAttribute(cursor) ?? parseKeyValue(cursor);\n  if (!node) {\n    invalidMember(cursor, 'PSL_INVALID_EXTENSION_BLOCK_MEMBER', 'Invalid block entry');\n  }\n}\n\nfunction invalidMember(cursor: Cursor, code: PslDiagnosticCode, message: string): void {\n  cursor.diagnostic(code, message, cursor.mark());\n  cursor.bump(); // consume the offending token so the member loop makes progress\n  cursor.recoverToSyncPoint();\n}\n\nexport function parseField(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  cursor.startNode('FieldDeclaration');\n  const nameMark = cursor.mark();\n  const nameText = cursor.peekToken().text;\n  parseIdentifier(cursor);\n  if (cursor.peekKind() !== 'Ident') {\n    cursor.diagnostic(\n      'PSL_INVALID_MODEL_MEMBER',\n      `Expected a type after field \"${nameText}\"`,\n      nameMark,\n    );\n  }\n  parseTypeAnnotation(cursor);\n  while (cursor.peekKind() === 'At') {\n    parseAttribute(cursor);\n  }\n  return cursor.finishNode();\n}\n\nexport function parseNamedType(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  cursor.startNode('NamedTypeDeclaration');\n  const nameMark = cursor.mark();\n  const nameText = cursor.peekToken().text;\n  parseIdentifier(cursor);\n  if (cursor.peekKind() === 'Equals') {\n    cursor.bump();\n  } else {\n    cursor.diagnostic('PSL_INVALID_TYPES_MEMBER', `Expected \"=\" after \"${nameText}\"`, nameMark);\n  }\n  parseTypeAnnotation(cursor);\n  while (cursor.peekKind() === 'At') {\n    parseAttribute(cursor);\n  }\n  return cursor.finishNode();\n}\n\n/**\n * A generic-block entry is either `key = value` or a bare `key` (committing a\n * `KeyValuePair` carrying only the key). A `key =` with no following expression\n * is flagged.\n */\nexport function parseKeyValue(cursor: Cursor): GreenNode | undefined {\n  if (cursor.peekKind() !== 'Ident') return undefined;\n  cursor.startNode('KeyValuePair');\n  parseIdentifier(cursor);\n  if (cursor.peekKind() === 'Equals') {\n    cursor.bump();\n    if (!parseExpression(cursor)) {\n      cursor.diagnostic(\n        'PSL_INVALID_EXTENSION_BLOCK_MEMBER',\n        'Expected a value after \"=\"',\n        cursor.mark(),\n      );\n    }\n  }\n  return cursor.finishNode();\n}\n"],"mappings":";;;;AAAA,MAAM,kBAAkB;AACxB,MAAM,YAAY;AAYlB,IAAa,aAAb,MAAwB;CACtB;CACA;CAEA,YAAY,MAAc;EACxB,KAAKA,QAAQ;EACb,MAAM,aAAuB,CAAC,CAAC;EAC/B,KAAK,IAAI,SAAS,GAAG,SAAS,KAAK,QAAQ,UACzC,IAAI,KAAK,WAAW,MAAM,MAAM,WAC9B,WAAW,KAAK,SAAS,CAAC;EAG9B,KAAKC,cAAc;CACrB;CAEA,IAAI,OAAe;EACjB,OAAO,KAAKD;CACd;CAEA,IAAI,SAAiB;EACnB,OAAO,KAAKA,MAAM;CACpB;CAEA,IAAI,YAAoB;EACtB,OAAO,KAAKC,YAAY;CAC1B;CAEA,mBAAsC;EACpC,OAAO,KAAKA;CACd;CAEA,gBAAgB,MAAsB;EACpC,IAAI,QAAQ,GACV,OAAO;EAET,OAAO,KAAKA,YAAY,SAAS,KAAKD,MAAM;CAC9C;CAEA,cAAc,MAAsB;EAClC,IAAI,OAAO,GACT,OAAO;EAGT,MAAM,gBAAgB,KAAKC,YAAY,OAAO;EAC9C,IAAI,kBAAkB,KAAA,GACpB,OAAO,KAAKD,MAAM;EAGpB,MAAM,iBAAiB,gBAAgB;EACvC,MAAM,uBAAuB,iBAAiB;EAC9C,OAAO,KAAKA,MAAM,WAAW,oBAAoB,MAAM,kBACnD,uBACA;CACN;CAEA,WAAW,QAA0B;EACnC,MAAM,UAAU,MAAM,QAAQ,GAAG,KAAKA,MAAM,MAAM;EAClD,MAAM,OAAO,KAAKE,aAAa,OAAO;EACtC,OAAO;GAAE;GAAM,WAAW,UAAU,KAAKC,aAAa,IAAI;EAAE;CAC9D;CAEA,SAAS,UAA4B;EACnC,MAAM,OAAO,MAAM,SAAS,MAAM,GAAG,KAAKF,YAAY,SAAS,CAAC;EAChE,MAAM,YAAY,KAAKE,aAAa,IAAI;EACxC,MAAM,UAAU,KAAKC,WAAW,IAAI;EACpC,OAAO,MAAM,YAAY,SAAS,WAAW,WAAW,OAAO;CACjE;CAEA,aAAa,MAAsB;EACjC,OAAO,KAAKH,YAAY,SAAS;CACnC;CAEA,WAAW,MAAsB;EAC/B,OAAO,OAAO,IAAI,KAAKA,YAAY,SAAS,KAAKE,aAAa,OAAO,CAAC,IAAI,IAAI,KAAKH,MAAM;CAC3F;CAEA,aAAa,QAAwB;EACnC,MAAM,aAAa,KAAKC;EACxB,IAAI,MAAM;EACV,IAAI,OAAO,WAAW,SAAS;EAC/B,OAAO,MAAM,MAAM;GACjB,MAAM,MAAO,MAAM,OAAO,MAAO;GACjC,KAAK,WAAW,QAAQ,MAAM,QAC5B,MAAM;QAEN,OAAO,MAAM;EAEjB;EACA,OAAO;CACT;AACF;AAEA,SAAS,MAAM,OAAe,KAAa,KAAqB;CAC9D,IAAI,QAAQ,KACV,OAAO;CAET,IAAI,QAAQ,KACV,OAAO;CAET,OAAO;AACT;;;AC/FA,SAAgB,WAAW,MAAiB,MAA0B;CACpE,OAAO;EAAE,MAAM;EAAS;EAAM;CAAK;AACrC;AAEA,SAAgB,UAAU,MAAkB,UAAkD;CAC5F,IAAI,aAAa;CACjB,KAAK,MAAM,SAAS,UAClB,cAAc,MAAM,SAAS,UAAU,MAAM,KAAK,SAAS,MAAM;CAEnE,OAAO;EAAE,MAAM;EAAQ;EAAM;EAAU;CAAW;AACpD;;;ACvBA,IAAa,mBAAb,MAA8B;CAC5B,SAAyE,CAAC;CAE1E,UAAU,MAAwB;EAChC,KAAKI,OAAO,KAAK;GAAE;GAAM,UAAU,CAAC;EAAE,CAAC;CACzC;CAEA,MAAM,MAAiB,MAAoB;EACzC,MAAM,UAAU,KAAKA,OAAO,GAAG,EAAE;EACjC,IAAI,CAAC,SACH,MAAM,IAAI,MAAM,oDAAoD;EAEtE,QAAQ,SAAS,KAAK,WAAW,MAAM,IAAI,CAAC;CAC9C;CAEA,aAAwB;EACtB,MAAM,YAAY,KAAKA,OAAO,IAAI;EAClC,IAAI,CAAC,WACH,MAAM,IAAI,MAAM,yDAAyD;EAE3E,MAAM,OAAO,UAAU,UAAU,MAAM,UAAU,QAAQ;EACzD,MAAM,SAAS,KAAKA,OAAO,GAAG,EAAE;EAChC,IAAI,QACF,OAAO,SAAS,KAAK,IAAI;EAE3B,OAAO;CACT;AACF;;;ACVA,MAAM,+BAAuC,IAAI,IAAe;CAC9D;CACA;CACA;AACF,CAAC;;;;;;AAgBD,IAAa,SAAb,MAAoB;CAClB;CACA;CACA,WAAoB,IAAI,iBAAiB;CACzC,eAA2C,CAAC;CAC5C,UAAU;CACV,SAAS;CAET,YAAY,QAAgB;EAC1B,KAAKC,aAAa,IAAI,UAAU,MAAM;EACtC,KAAKC,cAAc,IAAI,WAAW,MAAM;CAC1C;CAEA,IAAI,cAA0C;EAC5C,OAAO,KAAKE;CACd;CAEA,IAAI,aAAyB;EAC3B,OAAO,KAAKF;CACd;CAEA,SAAS,QAAQ,GAAc;EAC7B,OAAO,KAAK,UAAU,KAAK,CAAC,CAAC;CAC/B;CAEA,UAAU,QAAQ,GAAU;EAC1B,IAAI,WAAW;EACf,IAAI,YAAY;EAChB,SAAS;GACP,MAAM,QAAQ,KAAKD,WAAW,KAAK,QAAQ;GAC3C,IAAI,MAAM,SAAS,OAAO,OAAO;GACjC,IAAI,aAAa,IAAI,MAAM,IAAI,GAAG;IAChC;IACA;GACF;GACA,IAAI,cAAc,GAAG,OAAO;GAC5B;GACA;EACF;CACF;;CAGA,KAAK,YAAY,GAAmB;EAClC,IAAI,WAAW;EACf,IAAI,SAAS,KAAKI;EAClB,IAAI,YAAY;EAChB,SAAS;GACP,MAAM,QAAQ,KAAKJ,WAAW,KAAK,QAAQ;GAC3C,IAAI,MAAM,SAAS,OACjB,OAAO;IAAE;IAAQ,QAAQ,MAAM,KAAK;GAAO;GAE7C,IAAI,CAAC,aAAa,IAAI,MAAM,IAAI,KAAK,cAAc,GACjD,OAAO;IAAE;IAAQ,QAAQ,MAAM,KAAK;GAAO;GAE7C,IAAI,CAAC,aAAa,IAAI,MAAM,IAAI,GAC9B;GAEF,UAAU,MAAM,KAAK;GACrB;EACF;CACF;;;;;CAMA,qBAAqC;EACnC,OAAO;GAAE,QAAQ,KAAKI;GAAS,QAAQ;EAAE;CAC3C;CAEA,UAAU,MAAwB;EAChC,IAAI,KAAKC,SAAS,GAChB,KAAK,YAAY;EAEnB,KAAKH,SAAS,UAAU,IAAI;EAC5B,KAAKG;CACP;CAEA,aAAwB;EACtB,KAAKA;EACL,OAAO,KAAKH,SAAS,WAAW;CAClC;CAEA,OAAc;EACZ,KAAK,YAAY;EACjB,MAAM,QAAQ,KAAKF,WAAW,KAAK;EACnC,IAAI,MAAM,SAAS,OAAO,OAAO;EACjC,KAAKE,SAAS,MAAM,MAAM,MAAM,MAAM,IAAI;EAC1C,KAAKI,SAAS;EACd,OAAO;CACT;CAEA,qBAA2B;EACzB,SAAS;GACP,MAAM,QAAQ,KAAKN,WAAW,KAAK;GACnC,IAAI,MAAM,SAAS,SAAS,MAAM,SAAS,aAAa,MAAM,SAAS,UACrE;GAEF,KAAKE,SAAS,MAAM,MAAM,MAAM,MAAM,IAAI;GAC1C,KAAKI,SAAS;EAChB;CACF;CAEA,cAAoB;EAClB,SAAS;GACP,MAAM,QAAQ,KAAKN,WAAW,KAAK;GACnC,IAAI,CAAC,aAAa,IAAI,MAAM,IAAI,GAAG;GACnC,KAAKE,SAAS,MAAM,MAAM,MAAM,MAAM,IAAI;GAC1C,KAAKI,SAAS;EAChB;CACF;CAEA,WAAW,MAAyB,SAAiB,MAA4B;EAC/E,MAAM,QAAQ,KAAK;EACnB,MAAM,MAAM,QAAQ,KAAK;EACzB,KAAKH,aAAa,KAAK;GACrB;GACA;GACA,OAAO;IACL,OAAO,KAAKF,YAAY,WAAW,KAAK;IACxC,KAAK,KAAKA,YAAY,WAAW,GAAG;GACtC;EACF,CAAC;CACH;CAEA,WAAiB;EACf,KAAKG,WAAW,KAAKJ,WAAW,KAAK,CAAC,CAAC,KAAK;CAC9C;AACF;AAEA,SAAS,gBAAgB,QAAsB;CAC7C,OAAO,UAAU,YAAY;CAC7B,OAAO,KAAK;CACZ,OAAO,WAAW;AACpB;;;;;AAMA,SAAgB,gBAAgB,QAAuC;CACrE,OACE,uBAAuB,MAAM,KAC7B,uBAAuB,MAAM,KAC7B,kBAAkB,MAAM,KACxB,uBAAuB,MAAM,KAC7B,kBAAkB,MAAM,KACxB,wBAAwB,MAAM,KAC9B,oBAAoB,MAAM;AAE9B;AAEA,SAAgB,uBAAuB,QAAuC;CAC5E,IAAI,OAAO,SAAS,MAAM,iBAAiB,OAAO,KAAA;CAClD,MAAM,aAAa,OAAO,KAAK;CAC/B,MAAM,OAAO,OAAO,UAAU,CAAC,CAAC;CAChC,OAAO,UAAU,mBAAmB;CACpC,OAAO,KAAK;CACZ,IAAI,CAAC,0BAA0B,IAAI,GACjC,OAAO,WAAW,2BAA2B,+BAA+B,UAAU;CAExF,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,uBAAuB,QAAuC;CAC5E,IAAI,OAAO,SAAS,MAAM,iBAAiB,OAAO,KAAA;CAClD,OAAO,UAAU,mBAAmB;CACpC,OAAO,KAAK;CACZ,OAAO,OAAO,WAAW;AAC3B;;;;;;;;;AAUA,SAAgB,mBAAmB,QAAsB;CACvD,OAAO,UAAU,eAAe;CAChC,gBAAgB,MAAM;CACtB,uBAAuB,QAAQ,OAAO;CACtC,uBAAuB,QAAQ,KAAK;CACpC,OAAO,WAAW;AACpB;;;;;;AAOA,SAAS,uBAAuB,QAAgB,WAAkC;CAChF,IAAI,OAAO;CACX,OAAO,OAAO,SAAS,MAAM,WAAW;EACtC;EACA,MAAM,gBAAgB,OAAO,KAAK;EAClC,OAAO,KAAK;EACZ,IAAI,OAAO,GACT,OAAO,WACL,8BACA,wCACA,aACF;EAEF,IAAI,OAAO,SAAS,MAAM,SACxB,gBAAgB,MAAM;OAEtB,OAAO,WACL,8BACA,wDACA,OAAO,KAAK,CACd;CAEJ;AACF;AAKA,SAAgB,wBAAwB,QAAuC;CAC7E,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,MAAM,OAAO,OAAO,UAAU,CAAC,CAAC;CAChC,IAAI,SAAS,UAAU,SAAS,SAAS,OAAO,KAAA;CAChD,OAAO,UAAU,oBAAoB;CACrC,OAAO,KAAK;CACZ,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,oBAAoB,QAAuC;CACzE,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,OAAO,UAAU,YAAY;CAC7B,OAAO,KAAK;CACZ,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,kBAAkB,QAAuC;CACvE,IAAI,OAAO,SAAS,MAAM,YAAY,OAAO,KAAA;CAC7C,OAAO,UAAU,cAAc;CAC/B,OAAO,KAAK;CACZ,OAAO,OAAO,SAAS,MAAM,cAAc,OAAO,SAAS,MAAM,OAAO;EAEtE,IAAI,CADY,gBAAgB,MACrB,GAAG;EACd,IAAI,OAAO,SAAS,MAAM,SACxB,OAAO,KAAK;OAEZ;CAEJ;CACA,IAAI,OAAO,SAAS,MAAM,YACxB,OAAO,KAAK;CAEd,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,uBAAuB,QAAuC;CAC5E,IAAI,OAAO,SAAS,MAAM,UAAU,OAAO,KAAA;CAC3C,MAAM,YAAY,OAAO,KAAK;CAC9B,OAAO,UAAU,mBAAmB;CACpC,OAAO,KAAK;CACZ,OAAO,OAAO,SAAS,MAAM,YAAY,OAAO,SAAS,MAAM,OAAO;EACpE,iBAAiB,MAAM;EACvB,IAAI,OAAO,SAAS,MAAM,SACxB,OAAO,KAAK;OACP,IAAI,OAAO,SAAS,MAAM,SAG/B,OAAO,WACL,8BACA,gDACA,OAAO,mBAAmB,CAC5B;OAEA;CAEJ;CACA,IAAI,OAAO,SAAS,MAAM,UACxB,OAAO,KAAK;MAEZ,OAAO,WAAW,8BAA8B,+BAA+B,SAAS;CAE1F,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,iBAAiB,QAA2B;CAC1D,OAAO,UAAU,aAAa;CAC9B,MAAM,UAAU,OAAO,KAAK;CAC5B,MAAM,UAAU,OAAO,UAAU,CAAC,CAAC;CACnC,IAAI,OAAO,SAAS,MAAM,SACxB,gBAAgB,MAAM;MACjB,IAAI,OAAO,SAAS,MAAM,iBAG/B,uBAAuB,MAAM;CAE/B,IAAI,OAAO,SAAS,MAAM,SAAS;EACjC,OAAO,KAAK;EAEZ,IAAI,CADU,gBAAgB,MACrB,GACP,OAAO,WAAW,8BAA8B,gCAA8B,OAAO,KAAK,CAAC;CAE/F,OAAO;EACL,OAAO,WAAW,8BAA8B,uBAAuB,QAAQ,IAAI,OAAO;EAE1F,IAAI,EADmB,OAAO,SAAS,MAAM,WAAW,OAAO,SAAS,CAAC,MAAM,UAE7E,gBAAgB,MAAM;CAE1B;CACA,OAAO,OAAO,WAAW;AAC3B;;;;;;;AAQA,SAAS,YAAY,QAAyB;CAC5C,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO;CAC1C,IAAI,OAAO,SAAS,CAAC,MAAM,UAAU,OAAO;CAC5C,OACE,OAAO,SAAS,CAAC,MAAM,SACvB,OAAO,SAAS,CAAC,MAAM,WACvB,OAAO,SAAS,CAAC,MAAM;AAE3B;;;;;;;AAQA,SAAgB,kBAAkB,QAAuC;CACvE,IAAI,CAAC,YAAY,MAAM,GAAG,OAAO,KAAA;CACjC,OAAO,UAAU,cAAc;CAC/B,mBAAmB,MAAM;CACzB,IAAI,OAAO,SAAS,MAAM,UACxB,eAAe,MAAM;CAEvB,OAAO,OAAO,WAAW;AAC3B;;AAGA,SAAS,eAAe,QAAsB;CAC5C,OAAO,KAAK;CACZ,OAAO,OAAO,SAAS,MAAM,YAAY,OAAO,SAAS,MAAM,OAAO;EACpE,kBAAkB,MAAM;EACxB,IAAI,OAAO,SAAS,MAAM,SACxB,OAAO,KAAK;OAEZ;CAEJ;CACA,IAAI,OAAO,SAAS,MAAM,UACxB,OAAO,KAAK;AAEhB;AAEA,SAAgB,kBAAkB,QAAsB;CACtD,MAAM,OAAO,OAAO,SAAS;CAC7B,IACE,SAAS,WACT,SAAS,mBACT,SAAS,mBACT,SAAS,cACT,SAAS,UAET;CAEF,OAAO,UAAU,cAAc;CAC/B,IAAI,OAAO,SAAS,MAAM,WAAW,OAAO,SAAS,CAAC,MAAM,SAAS;EACnE,gBAAgB,MAAM;EACtB,OAAO,KAAK;CACd;CACA,cAAc,MAAM;CACpB,OAAO,WAAW;AACpB;AAEA,SAAS,cAAc,QAAsB;CAC3C,gBAAgB,MAAM;AACxB;AAEA,SAAgB,sBAAsB,QAA2B;CAC/D,OAAO,UAAU,kBAAkB;CACnC,eAAe,MAAM;CACrB,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,eAAe,QAA2B;CACxD,MAAM,mBAAmB,OAAO,SAAS,MAAM;CAC/C,MAAM,gBAAgB,OAAO,KAAK;CAClC,OAAO,UAAU,mBAAmB,mBAAmB,gBAAgB;CACvE,OAAO,KAAK;CACZ,IAAI,OAAO,SAAS,MAAM,SACxB,mBAAmB,MAAM;MAEzB,OAAO,WAAW,gCAAgC,2BAA2B,aAAa;CAE5F,IAAI,OAAO,SAAS,MAAM,UACxB,sBAAsB,MAAM;CAE9B,OAAO,OAAO,WAAW;AAC3B;;;;;;AAOA,SAAgB,oBAAoB,QAAsB;CACxD,MAAM,OAAO,OAAO,SAAS;CAC7B,IAAI,SAAS,WAAW,SAAS,cAAc,SAAS,YACtD;CAEF,OAAO,UAAU,gBAAgB;CACjC,IAAI,OAAO,SAAS,MAAM,SAAS;EACjC,mBAAmB,MAAM;EACzB,IAAI,OAAO,SAAS,MAAM,UACxB,sBAAsB,MAAM;CAEhC;CACA,IAAI,OAAO,SAAS,MAAM,YAAY;EACpC,OAAO,KAAK;EACZ,IAAI,OAAO,SAAS,MAAM,YACxB,OAAO,KAAK;CAEhB;CACA,IAAI,OAAO,SAAS,MAAM,YACxB,OAAO,KAAK;CAEd,OAAO,WAAW;AACpB;;;;;AAQA,SAAgB,MAAM,QAA6B;CACjD,MAAM,SAAS,IAAI,OAAO,MAAM;CAEhC,MAAM,OAAO,iBADC,cAAc,MACM,CAAC;CAEnC,OAAO;EAAE,UADQ,YAAY,KAAK,IAAI,KAAK,IAAI,YAAY,IAAI;EAC5C,aAAa,OAAO;EAAa,YAAY,OAAO;CAAW;AACpF;AAEA,SAAS,cAAc,QAA2B;CAChD,OAAO,UAAU,UAAU;CAC3B,OAAO,OAAO,SAAS,MAAM,OAC3B,iBAAiB,QAAQ,KAAK;CAEhC,OAAO,YAAY;CACnB,OAAO,OAAO,WAAW;AAC3B;AAEA,MAAM,0CAA+C,IAAI,IAAI;CAC3D;CACA;CACA;CACA;AACF,CAAC;AAED,SAAS,UAAU,QAAgB,SAA0B;CAC3D,OAAO,OAAO,SAAS,MAAM,WAAW,OAAO,UAAU,CAAC,CAAC,SAAS;AACtE;;;;;;;AAQA,SAAS,iBAAiB,QAAgB,iBAAgC;CACxE,MAAM,OAAO,OAAO,SAAS,CAAC,MAAM,UAAU,OAAO,UAAU,CAAC,CAAC,CAAC,OAAO;CACzE,IAAI,mBAAmB,UAAU,QAAQ,WAAW,GAClD,OAAO,WACL,+BACA,wBAAwB,KAAK,wDAC7B,OAAO,KAAK,CACd;MACK,IAAI,mBAAmB,UAAU,QAAQ,OAAO,GACrD,OAAO,WACL,+BACA,2FACA,OAAO,KAAK,CACd;MACK,IAAI,UAAU,QAAQ,WAAW,KAAK,SAAS,8BACpD,OAAO,WACL,+BACA,mBAAmB,6BAA6B,6EAChD,OAAO,KAAK,CAAC,CACf;CASF,IAAI,EALF,WAAW,MAAM,KACjB,eAAe,MAAM,KACrB,mBAAmB,MAAM,KACzB,gBAAgB,MAAM,KACtB,kBAAkB,MAAM,IAExB,yBAAyB,MAAM;AAEnC;;;;;AAMA,SAAS,WACP,QACA,MACA,cACA,aACW;CACX,MAAM,UAAU,OAAO,UAAU,CAAC,CAAC;CACnC,MAAM,cAAc,OAAO,KAAK;CAChC,OAAO,UAAU,IAAI;CACrB,OAAO,KAAK;CACZ,MAAM,UAAU,gBAAgB,OAAO,SAAS,MAAM;CACtD,IAAI,SACF,gBAAgB,MAAM;CAExB,IAAI,gBAAgB,CAAC,SACnB,OAAO,WAAW,2BAA2B,0BAA0B,QAAQ,IAAI,WAAW;MACzF,IAAI,OAAO,SAAS,MAAM,UAC/B,OAAO,WACL,2BACA,6BAA6B,QAAQ,UACrC,OAAO,mBAAmB,CAC5B;CAEF,IAAI,OAAO,SAAS,MAAM,UACxB,eAAe,QAAQ,WAAW;MAElC,OAAO,mBAAmB;CAE5B,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,WAAW,QAAuC;CAChE,IAAI,CAAC,UAAU,QAAQ,OAAO,GAAG,OAAO,KAAA;CACxC,OAAO,WAAW,QAAQ,oBAAoB,MAAM,gBAAgB;AACtE;;;;;;;AAQA,SAAgB,kBAAkB,QAAuC;CACvE,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,MAAM,UAAU,OAAO,UAAU,CAAC,CAAC;CACnC,IAAI,wBAAwB,IAAI,OAAO,GAAG,OAAO,KAAA;CACjD,MAAM,UAAU,OAAO,SAAS,CAAC,MAAM,WAAW,OAAO,SAAS,CAAC,MAAM;CACzE,OAAO,UAAU,yBAAyB;CAC1C,OAAO,KAAK;CACZ,IAAI,SACF,gBAAgB,MAAM;CAExB,IAAI,OAAO,SAAS,MAAM,UACxB,eAAe,QAAQ,mBAAmB;MACrC;EACL,OAAO,WACL,2BACA,6BAA6B,QAAQ,UACrC,OAAO,mBAAmB,CAC5B;EACA,OAAO,mBAAmB;CAC5B;CACA,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,eAAe,QAAuC;CACpE,IAAI,CAAC,UAAU,QAAQ,WAAW,GAAG,OAAO,KAAA;CAC5C,OAAO,WAAW,QAAQ,aAAa,OAAO,UAAU,iBAAiB,OAAO,IAAI,CAAC;AACvF;AAEA,SAAgB,mBAAmB,QAAuC;CACxE,IAAI,CAAC,UAAU,QAAQ,MAAM,GAAG,OAAO,KAAA;CACvC,OAAO,WAAW,QAAQ,4BAA4B,MAAM,gBAAgB;AAC9E;;AAGA,SAAgB,gBAAgB,QAAuC;CACrE,IAAI,CAAC,UAAU,QAAQ,OAAO,GAAG,OAAO,KAAA;CACxC,OAAO,WAAW,QAAQ,cAAc,OAAO,oBAAoB;AACrE;;AAGA,SAAS,eAAe,QAAgB,aAAiC;CACvE,MAAM,YAAY,OAAO,KAAK;CAC9B,OAAO,KAAK;CACZ,SAAS;EACP,MAAM,OAAO,OAAO,SAAS;EAC7B,IAAI,SAAS,YAAY,SAAS,OAAO;EACzC,YAAY,MAAM;CACpB;CACA,IAAI,OAAO,SAAS,MAAM,UACxB,OAAO,KAAK;MAEZ,OAAO,WAAW,0BAA0B,kCAAkC,SAAS;AAE3F;AAEA,SAAS,yBAAyB,QAAsB;CACtD,MAAM,YAAY,OAAO,UAAU,CAAC,CAAC;CACrC,MAAM,UACJ,OAAO,SAAS,CAAC,MAAM,WACnB,gCAAgC,UAAU,KAC1C,sCAAsC,UAAU;CACtD,OAAO,WAAW,mCAAmC,SAAS,OAAO,KAAK,CAAC;CAC3E,OAAO,KAAK;CACZ,OAAO,mBAAmB;AAC5B;;;;;AAMA,SAAgB,oBAAoB,QAAuC;CACzE,IAAI,OAAO,SAAS,MAAM,YAAY,OAAO,KAAA;CAC7C,OAAO,eAAe,MAAM;AAC9B;AAEA,SAAS,iBAAiB,QAAsB;CAE9C,IAAI,EADS,oBAAoB,MAAM,KAAK,WAAW,MAAM,IAE3D,cACE,QACA,4BACA,qCAAqC,OAAO,UAAU,CAAC,CAAC,KAAK,EAC/D;AAEJ;AAEA,SAAS,qBAAqB,QAAsB;CAElD,IAAI,CADS,eAAe,MACpB,GACN,cACE,QACA,4BACA,8BAA8B,OAAO,UAAU,CAAC,CAAC,KAAK,EACxD;AAEJ;;;;;;AAOA,SAAS,oBAAoB,QAAsB;CAEjD,IAAI,EADS,oBAAoB,MAAM,KAAK,cAAc,MAAM,IAE9D,cAAc,QAAQ,sCAAsC,qBAAqB;AAErF;AAEA,SAAS,cAAc,QAAgB,MAAyB,SAAuB;CACrF,OAAO,WAAW,MAAM,SAAS,OAAO,KAAK,CAAC;CAC9C,OAAO,KAAK;CACZ,OAAO,mBAAmB;AAC5B;AAEA,SAAgB,WAAW,QAAuC;CAChE,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,OAAO,UAAU,kBAAkB;CACnC,MAAM,WAAW,OAAO,KAAK;CAC7B,MAAM,WAAW,OAAO,UAAU,CAAC,CAAC;CACpC,gBAAgB,MAAM;CACtB,IAAI,OAAO,SAAS,MAAM,SACxB,OAAO,WACL,4BACA,gCAAgC,SAAS,IACzC,QACF;CAEF,oBAAoB,MAAM;CAC1B,OAAO,OAAO,SAAS,MAAM,MAC3B,eAAe,MAAM;CAEvB,OAAO,OAAO,WAAW;AAC3B;AAEA,SAAgB,eAAe,QAAuC;CACpE,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,OAAO,UAAU,sBAAsB;CACvC,MAAM,WAAW,OAAO,KAAK;CAC7B,MAAM,WAAW,OAAO,UAAU,CAAC,CAAC;CACpC,gBAAgB,MAAM;CACtB,IAAI,OAAO,SAAS,MAAM,UACxB,OAAO,KAAK;MAEZ,OAAO,WAAW,4BAA4B,uBAAuB,SAAS,IAAI,QAAQ;CAE5F,oBAAoB,MAAM;CAC1B,OAAO,OAAO,SAAS,MAAM,MAC3B,eAAe,MAAM;CAEvB,OAAO,OAAO,WAAW;AAC3B;;;;;;AAOA,SAAgB,cAAc,QAAuC;CACnE,IAAI,OAAO,SAAS,MAAM,SAAS,OAAO,KAAA;CAC1C,OAAO,UAAU,cAAc;CAC/B,gBAAgB,MAAM;CACtB,IAAI,OAAO,SAAS,MAAM,UAAU;EAClC,OAAO,KAAK;EACZ,IAAI,CAAC,gBAAgB,MAAM,GACzB,OAAO,WACL,sCACA,gCACA,OAAO,KAAK,CACd;CAEJ;CACA,OAAO,OAAO,WAAW;AAC3B"}

No alert changes

Improved metrics

Total package byte prevSize

559493

0.02%

Worsened metrics

Lines of code

7920

-0.01%

Dependency changes

• + Added

  @prisma-next/config@0.16.0-dev.9
  (transitive)

• + Added

  @prisma-next/contract@0.16.0-dev.9
  (transitive)

• + Added

  @prisma-next/framework-components@0.16.0-dev.9
  (transitive)

• + Added

  @prisma-next/operations@0.16.0-dev.9
  (transitive)

• + Added

  @prisma-next/ts-render@0.16.0-dev.9
  (transitive)

• + Added

  @prisma-next/utils@0.16.0-dev.9
  (transitive)

• - Removed

  @prisma-next/config@0.16.0-dev.6
  (transitive)

• - Removed

  @prisma-next/contract@0.16.0-dev.6
  (transitive)

• - Removed

  @prisma-next/framework-components@0.16.0-dev.6
  (transitive)

• - Removed

  @prisma-next/operations@0.16.0-dev.6
  (transitive)

• - Removed

  @prisma-next/ts-render@0.16.0-dev.6
  (transitive)

• - Removed

  @prisma-next/utils@0.16.0-dev.6
  (transitive)

• Updated

  @prisma-next/config@0.16.0-dev.9

• Updated

  @prisma-next/contract@0.16.0-dev.9

• Updated

  @prisma-next/framework-components@0.16.0-dev.9

• Updated

  @prisma-next/utils@0.16.0-dev.9