@prisma-next/psl-parser 0.13.0 → 0.14.0-dev.10

package/dist/tokenizer-1hAHZzmp.mjs

@@ -0,0 +1,228 @@
+//#region src/tokenizer.ts
+var Tokenizer = class {
+	#source;
+	#pos;
+	#buffer;
+	constructor(source) {
+		this.#source = source;
+		this.#pos = 0;
+		this.#buffer = [];
+	}
+	next() {
+		const next = this.#buffer.shift();
+		if (next) return next;
+		return this.#scanNext();
+	}
+	peek(offset = 0) {
+		if (offset > this.#buffer.length) {
+			const last = this.#buffer.at(-1);
+			if (last?.kind === "Eof") return last;
+		}
+		const token = this.#buffer[offset];
+		if (token) return token;
+		while (this.#buffer.length <= offset) {
+			const token = this.#scanNext();
+			if (token.kind === "Eof") return token;
+			this.#buffer.push(token);
+		}
+		return this.#buffer[offset];
+	}
+	#scanNext() {
+		const token = scan(this.#source, this.#pos);
+		this.#pos += token.text.length;
+		return token;
+	}
+};
+function scan(source, pos) {
+	if (pos >= source.length) return {
+		kind: "Eof",
+		text: ""
+	};
+	return scanNewline(source, pos) ?? scanWhitespace(source, pos) ?? scanComment(source, pos) ?? scanAt(source, pos) ?? scanKeywordNumber(source, pos) ?? scanIdent(source, pos) ?? scanNumber(source, pos) ?? scanString(source, pos) ?? scanPunctuation(source, pos) ?? {
+		kind: "Invalid",
+		text: readChar(source, pos)
+	};
+}
+function scanNewline(source, pos) {
+	const ch = source.charAt(pos);
+	if (ch !== "\r" && ch !== "\n") return void 0;
+	if (ch === "\r" && source.charAt(pos + 1) === "\n") return {
+		kind: "Newline",
+		text: "\r\n"
+	};
+	return {
+		kind: "Newline",
+		text: ch
+	};
+}
+function scanWhitespace(source, pos) {
+	const ch = source.charAt(pos);
+	if (ch !== " " && ch !== "	") return void 0;
+	let end = pos + 1;
+	while (end < source.length) {
+		const c = source.charAt(end);
+		if (c !== " " && c !== "	") break;
+		end++;
+	}
+	return {
+		kind: "Whitespace",
+		text: source.slice(pos, end)
+	};
+}
+function scanComment(source, pos) {
+	if (source.charAt(pos) !== "/" || source.charAt(pos + 1) !== "/") return void 0;
+	let end = pos + 2;
+	while (end < source.length) {
+		const c = source.charAt(end);
+		if (c === "\n" || c === "\r") break;
+		end++;
+	}
+	return {
+		kind: "Comment",
+		text: source.slice(pos, end)
+	};
+}
+function scanAt(source, pos) {
+	if (source.charAt(pos) !== "@") return void 0;
+	if (source.charAt(pos + 1) === "@") return {
+		kind: "DoubleAt",
+		text: "@@"
+	};
+	return {
+		kind: "At",
+		text: "@"
+	};
+}
+function scanIdent(source, pos) {
+	const ch = readChar(source, pos);
+	if (!isIdentStart(ch)) return void 0;
+	let end = pos + ch.length;
+	while (end < source.length) {
+		const c = readChar(source, end);
+		if (isIdentPart(c)) end += c.length;
+		else break;
+	}
+	return {
+		kind: "Ident",
+		text: source.slice(pos, end)
+	};
+}
+const KEYWORD_NUMBERS = [
+	"-Infinity",
+	"Infinity",
+	"NaN"
+];
+function scanKeywordNumber(source, pos) {
+	for (const word of KEYWORD_NUMBERS) {
+		if (!source.startsWith(word, pos)) continue;
+		const after = readChar(source, pos + word.length);
+		if (after !== "" && isIdentPart(after)) return void 0;
+		return {
+			kind: "NumberLiteral",
+			text: word
+		};
+	}
+}
+function scanNumber(source, pos) {
+	let end = pos;
+	if (source.charAt(end) === "-") {
+		if (end + 1 >= source.length || !isDigit(source.charAt(end + 1))) return void 0;
+		end++;
+	} else if (!isDigit(source.charAt(end))) return;
+	end++;
+	while (end < source.length && isDigit(source.charAt(end))) end++;
+	if (source.charAt(end) === "." && end + 1 < source.length && isDigit(source.charAt(end + 1))) {
+		end++;
+		while (end < source.length && isDigit(source.charAt(end))) end++;
+	}
+	return {
+		kind: "NumberLiteral",
+		text: source.slice(pos, end)
+	};
+}
+function scanString(source, pos) {
+	const quote = source.charAt(pos);
+	if (quote !== "\"" && quote !== "'") return void 0;
+	let end = pos + 1;
+	while (end < source.length) {
+		const c = source.charAt(end);
+		if (c === "\\" && end + 1 < source.length) {
+			end += 2;
+			continue;
+		}
+		if (c === quote) {
+			end++;
+			return {
+				kind: "StringLiteral",
+				text: source.slice(pos, end)
+			};
+		}
+		if (c === "\n" || c === "\r") return {
+			kind: "StringLiteral",
+			text: source.slice(pos, end)
+		};
+		end++;
+	}
+	return {
+		kind: "StringLiteral",
+		text: source.slice(pos, end)
+	};
+}
+/**
+* `scanString` emits the same `StringLiteral` kind for well-formed and
+* unterminated strings, so callers ask here to tell them apart.
+*
+* The closing quote is unescaped iff an **even** number of backslashes precede
+* it (each `\\` pair cancels; an odd run leaves the final `\` escaping the
+* quote), so counting the trailing backslash run suffices — no full re-scan:
+*
+* - `"ok"`  → 0 backslashes (even) → terminated
+* - `'a\'`  → 1 backslash  (odd)   → the quote is escaped → unterminated
+* - `"a\\"` → 2 backslashes (even) → escaped `\`, real `"` → terminated
+*/
+function isTerminatedStringLiteral(text) {
+	const quote = text.charAt(0);
+	if (quote !== "\"" && quote !== "'") return false;
+	if (text.length < 2 || text.charAt(text.length - 1) !== quote) return false;
+	let backslashes = 0;
+	for (let i = text.length - 2; i >= 1 && text.charAt(i) === "\\"; i--) backslashes++;
+	return backslashes % 2 === 0;
+}
+function scanPunctuation(source, pos) {
+	const kind = PUNCTUATION[source.charAt(pos)];
+	if (kind === void 0) return void 0;
+	return {
+		kind,
+		text: source.charAt(pos)
+	};
+}
+function readChar(source, pos) {
+	const cp = source.codePointAt(pos);
+	return cp !== void 0 ? String.fromCodePoint(cp) : "";
+}
+function isIdentStart(ch) {
+	return /\p{L}/u.test(ch) || ch === "_";
+}
+function isIdentPart(ch) {
+	return isIdentStart(ch) || isDigit(ch) || ch === "-";
+}
+function isDigit(ch) {
+	return ch >= "0" && ch <= "9";
+}
+const PUNCTUATION = {
+	"{": "LBrace",
+	"}": "RBrace",
+	"(": "LParen",
+	")": "RParen",
+	"[": "LBracket",
+	"]": "RBracket",
+	"=": "Equals",
+	"?": "Question",
+	".": "Dot",
+	",": "Comma",
+	":": "Colon"
+};
+//#endregion
+export { isTerminatedStringLiteral as n, Tokenizer as t };
+
+//# sourceMappingURL=tokenizer-1hAHZzmp.mjs.map

package/dist/tokenizer-1hAHZzmp.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"tokenizer-1hAHZzmp.mjs","names":["#source","#buffer","#pos","#scanNext"],"sources":["../src/tokenizer.ts"],"sourcesContent":["export type TokenKind =\n  | 'Ident'\n  | 'StringLiteral'\n  | 'NumberLiteral'\n  | 'At'\n  | 'DoubleAt'\n  | 'LBrace'\n  | 'RBrace'\n  | 'LParen'\n  | 'RParen'\n  | 'LBracket'\n  | 'RBracket'\n  | 'Equals'\n  | 'Question'\n  | 'Dot'\n  | 'Comma'\n  | 'Colon'\n  | 'Whitespace'\n  | 'Newline'\n  | 'Comment'\n  | 'Invalid'\n  | 'Eof';\n\nexport interface Token {\n  readonly kind: TokenKind;\n  readonly text: string;\n}\n\nexport class Tokenizer {\n  readonly #source: string;\n  #pos: number;\n  readonly #buffer: Token[];\n\n  constructor(source: string) {\n    this.#source = source;\n    this.#pos = 0;\n    this.#buffer = [];\n  }\n\n  next(): Token {\n    const next = this.#buffer.shift();\n    if (next) {\n      return next;\n    }\n    return this.#scanNext();\n  }\n\n  peek(offset = 0): Token {\n    if (offset > this.#buffer.length) {\n      const last = this.#buffer.at(-1);\n      if (last?.kind === 'Eof') {\n        return last;\n      }\n    }\n\n    const token = this.#buffer[offset];\n    if (token) {\n      return token;\n    }\n\n    while (this.#buffer.length <= offset) {\n      const token = this.#scanNext();\n      if (token.kind === 'Eof') {\n        return token;\n      }\n      this.#buffer.push(token);\n    }\n\n    return this.#buffer[offset] as Token;\n  }\n\n  #scanNext(): Token {\n    const token = scan(this.#source, this.#pos);\n    this.#pos += token.text.length;\n    return token;\n  }\n}\n\nfunction scan(source: string, pos: number): Token {\n  if (pos >= source.length) {\n    return { kind: 'Eof', text: '' };\n  }\n\n  return (\n    scanNewline(source, pos) ??\n    scanWhitespace(source, pos) ??\n    scanComment(source, pos) ??\n    scanAt(source, pos) ??\n    scanKeywordNumber(source, pos) ??\n    scanIdent(source, pos) ??\n    scanNumber(source, pos) ??\n    scanString(source, pos) ??\n    scanPunctuation(source, pos) ?? {\n      kind: 'Invalid' as const,\n      text: readChar(source, pos),\n    }\n  );\n}\n\nfunction scanNewline(source: string, pos: number): Token | undefined {\n  const ch = source.charAt(pos);\n  if (ch !== '\\r' && ch !== '\\n') return undefined;\n  if (ch === '\\r' && source.charAt(pos + 1) === '\\n') {\n    return { kind: 'Newline', text: '\\r\\n' };\n  }\n  return { kind: 'Newline', text: ch };\n}\n\nfunction scanWhitespace(source: string, pos: number): Token | undefined {\n  const ch = source.charAt(pos);\n  if (ch !== ' ' && ch !== '\\t') return undefined;\n  let end = pos + 1;\n  while (end < source.length) {\n    const c = source.charAt(end);\n    if (c !== ' ' && c !== '\\t') break;\n    end++;\n  }\n  return { kind: 'Whitespace', text: source.slice(pos, end) };\n}\n\nfunction scanComment(source: string, pos: number): Token | undefined {\n  if (source.charAt(pos) !== '/' || source.charAt(pos + 1) !== '/') return undefined;\n  let end = pos + 2;\n  while (end < source.length) {\n    const c = source.charAt(end);\n    if (c === '\\n' || c === '\\r') break;\n    end++;\n  }\n  return { kind: 'Comment', text: source.slice(pos, end) };\n}\n\nfunction scanAt(source: string, pos: number): Token | undefined {\n  if (source.charAt(pos) !== '@') return undefined;\n  if (source.charAt(pos + 1) === '@') {\n    return { kind: 'DoubleAt', text: '@@' };\n  }\n  return { kind: 'At', text: '@' };\n}\n\nfunction scanIdent(source: string, pos: number): Token | undefined {\n  const ch = readChar(source, pos);\n  if (!isIdentStart(ch)) return undefined;\n  let end = pos + ch.length;\n  while (end < source.length) {\n    const c = readChar(source, end);\n    if (isIdentPart(c)) {\n      end += c.length;\n    } else {\n      break;\n    }\n  }\n  return { kind: 'Ident', text: source.slice(pos, end) };\n}\n\nconst KEYWORD_NUMBERS = ['-Infinity', 'Infinity', 'NaN'] as const;\n\n// `NaN`, `Infinity`, and `-Infinity` are numeric literals; they must match\n// before `scanIdent` and are word-bounded, so `Infinityx` stays an `Ident`.\nfunction scanKeywordNumber(source: string, pos: number): Token | undefined {\n  for (const word of KEYWORD_NUMBERS) {\n    if (!source.startsWith(word, pos)) continue;\n    const after = readChar(source, pos + word.length);\n    if (after !== '' && isIdentPart(after)) return undefined;\n    return { kind: 'NumberLiteral', text: word };\n  }\n  return undefined;\n}\n\nfunction scanNumber(source: string, pos: number): Token | undefined {\n  let end = pos;\n  if (source.charAt(end) === '-') {\n    if (end + 1 >= source.length || !isDigit(source.charAt(end + 1))) return undefined;\n    end++;\n  } else if (!isDigit(source.charAt(end))) {\n    return undefined;\n  }\n  end++;\n  while (end < source.length && isDigit(source.charAt(end))) {\n    end++;\n  }\n  if (source.charAt(end) === '.' && end + 1 < source.length && isDigit(source.charAt(end + 1))) {\n    end++;\n    while (end < source.length && isDigit(source.charAt(end))) {\n      end++;\n    }\n  }\n  return { kind: 'NumberLiteral', text: source.slice(pos, end) };\n}\n\nfunction scanString(source: string, pos: number): Token | undefined {\n  const quote = source.charAt(pos);\n  if (quote !== '\"' && quote !== \"'\") return undefined;\n  let end = pos + 1;\n  while (end < source.length) {\n    const c = source.charAt(end);\n    if (c === '\\\\' && end + 1 < source.length) {\n      end += 2;\n      continue;\n    }\n    if (c === quote) {\n      end++;\n      return { kind: 'StringLiteral', text: source.slice(pos, end) };\n    }\n    if (c === '\\n' || c === '\\r') {\n      // Unterminated string: stop before the newline.\n      return { kind: 'StringLiteral', text: source.slice(pos, end) };\n    }\n    end++;\n  }\n  return { kind: 'StringLiteral', text: source.slice(pos, end) };\n}\n\n/**\n * `scanString` emits the same `StringLiteral` kind for well-formed and\n * unterminated strings, so callers ask here to tell them apart.\n *\n * The closing quote is unescaped iff an **even** number of backslashes precede\n * it (each `\\\\` pair cancels; an odd run leaves the final `\\` escaping the\n * quote), so counting the trailing backslash run suffices — no full re-scan:\n *\n * - `\"ok\"`  → 0 backslashes (even) → terminated\n * - `'a\\'`  → 1 backslash  (odd)   → the quote is escaped → unterminated\n * - `\"a\\\\\"` → 2 backslashes (even) → escaped `\\`, real `\"` → terminated\n */\nexport function isTerminatedStringLiteral(text: string): boolean {\n  const quote = text.charAt(0);\n  if (quote !== '\"' && quote !== \"'\") return false;\n  if (text.length < 2 || text.charAt(text.length - 1) !== quote) {\n    return false;\n  }\n  let backslashes = 0;\n  for (let i = text.length - 2; i >= 1 && text.charAt(i) === '\\\\'; i--) {\n    backslashes++;\n  }\n  return backslashes % 2 === 0;\n}\n\nfunction scanPunctuation(source: string, pos: number): Token | undefined {\n  const kind = PUNCTUATION[source.charAt(pos)];\n  if (kind === undefined) return undefined;\n  return { kind, text: source.charAt(pos) };\n}\n\nfunction readChar(source: string, pos: number): string {\n  const cp = source.codePointAt(pos);\n  return cp !== undefined ? String.fromCodePoint(cp) : '';\n}\n\nfunction isIdentStart(ch: string): boolean {\n  return /\\p{L}/u.test(ch) || ch === '_';\n}\n\nfunction isIdentPart(ch: string): boolean {\n  return isIdentStart(ch) || isDigit(ch) || ch === '-';\n}\n\nfunction isDigit(ch: string): boolean {\n  return ch >= '0' && ch <= '9';\n}\n\nconst PUNCTUATION: Record<string, TokenKind> = {\n  '{': 'LBrace',\n  '}': 'RBrace',\n  '(': 'LParen',\n  ')': 'RParen',\n  '[': 'LBracket',\n  ']': 'RBracket',\n  '=': 'Equals',\n  '?': 'Question',\n  '.': 'Dot',\n  ',': 'Comma',\n  ':': 'Colon',\n};\n"],"mappings":";AA4BA,IAAa,YAAb,MAAuB;CACrB;CACA;CACA;CAEA,YAAY,QAAgB;EAC1B,KAAKA,UAAU;EACf,KAAKE,OAAO;EACZ,KAAKD,UAAU,CAAC;CAClB;CAEA,OAAc;EACZ,MAAM,OAAO,KAAKA,QAAQ,MAAM;EAChC,IAAI,MACF,OAAO;EAET,OAAO,KAAKE,UAAU;CACxB;CAEA,KAAK,SAAS,GAAU;EACtB,IAAI,SAAS,KAAKF,QAAQ,QAAQ;GAChC,MAAM,OAAO,KAAKA,QAAQ,GAAG,EAAE;GAC/B,IAAI,MAAM,SAAS,OACjB,OAAO;EAEX;EAEA,MAAM,QAAQ,KAAKA,QAAQ;EAC3B,IAAI,OACF,OAAO;EAGT,OAAO,KAAKA,QAAQ,UAAU,QAAQ;GACpC,MAAM,QAAQ,KAAKE,UAAU;GAC7B,IAAI,MAAM,SAAS,OACjB,OAAO;GAET,KAAKF,QAAQ,KAAK,KAAK;EACzB;EAEA,OAAO,KAAKA,QAAQ;CACtB;CAEA,YAAmB;EACjB,MAAM,QAAQ,KAAK,KAAKD,SAAS,KAAKE,IAAI;EAC1C,KAAKA,QAAQ,MAAM,KAAK;EACxB,OAAO;CACT;AACF;AAEA,SAAS,KAAK,QAAgB,KAAoB;CAChD,IAAI,OAAO,OAAO,QAChB,OAAO;EAAE,MAAM;EAAO,MAAM;CAAG;CAGjC,OACE,YAAY,QAAQ,GAAG,KACvB,eAAe,QAAQ,GAAG,KAC1B,YAAY,QAAQ,GAAG,KACvB,OAAO,QAAQ,GAAG,KAClB,kBAAkB,QAAQ,GAAG,KAC7B,UAAU,QAAQ,GAAG,KACrB,WAAW,QAAQ,GAAG,KACtB,WAAW,QAAQ,GAAG,KACtB,gBAAgB,QAAQ,GAAG,KAAK;EAC9B,MAAM;EACN,MAAM,SAAS,QAAQ,GAAG;CAC5B;AAEJ;AAEA,SAAS,YAAY,QAAgB,KAAgC;CACnE,MAAM,KAAK,OAAO,OAAO,GAAG;CAC5B,IAAI,OAAO,QAAQ,OAAO,MAAM,OAAO,KAAA;CACvC,IAAI,OAAO,QAAQ,OAAO,OAAO,MAAM,CAAC,MAAM,MAC5C,OAAO;EAAE,MAAM;EAAW,MAAM;CAAO;CAEzC,OAAO;EAAE,MAAM;EAAW,MAAM;CAAG;AACrC;AAEA,SAAS,eAAe,QAAgB,KAAgC;CACtE,MAAM,KAAK,OAAO,OAAO,GAAG;CAC5B,IAAI,OAAO,OAAO,OAAO,KAAM,OAAO,KAAA;CACtC,IAAI,MAAM,MAAM;CAChB,OAAO,MAAM,OAAO,QAAQ;EAC1B,MAAM,IAAI,OAAO,OAAO,GAAG;EAC3B,IAAI,MAAM,OAAO,MAAM,KAAM;EAC7B;CACF;CACA,OAAO;EAAE,MAAM;EAAc,MAAM,OAAO,MAAM,KAAK,GAAG;CAAE;AAC5D;AAEA,SAAS,YAAY,QAAgB,KAAgC;CACnE,IAAI,OAAO,OAAO,GAAG,MAAM,OAAO,OAAO,OAAO,MAAM,CAAC,MAAM,KAAK,OAAO,KAAA;CACzE,IAAI,MAAM,MAAM;CAChB,OAAO,MAAM,OAAO,QAAQ;EAC1B,MAAM,IAAI,OAAO,OAAO,GAAG;EAC3B,IAAI,MAAM,QAAQ,MAAM,MAAM;EAC9B;CACF;CACA,OAAO;EAAE,MAAM;EAAW,MAAM,OAAO,MAAM,KAAK,GAAG;CAAE;AACzD;AAEA,SAAS,OAAO,QAAgB,KAAgC;CAC9D,IAAI,OAAO,OAAO,GAAG,MAAM,KAAK,OAAO,KAAA;CACvC,IAAI,OAAO,OAAO,MAAM,CAAC,MAAM,KAC7B,OAAO;EAAE,MAAM;EAAY,MAAM;CAAK;CAExC,OAAO;EAAE,MAAM;EAAM,MAAM;CAAI;AACjC;AAEA,SAAS,UAAU,QAAgB,KAAgC;CACjE,MAAM,KAAK,SAAS,QAAQ,GAAG;CAC/B,IAAI,CAAC,aAAa,EAAE,GAAG,OAAO,KAAA;CAC9B,IAAI,MAAM,MAAM,GAAG;CACnB,OAAO,MAAM,OAAO,QAAQ;EAC1B,MAAM,IAAI,SAAS,QAAQ,GAAG;EAC9B,IAAI,YAAY,CAAC,GACf,OAAO,EAAE;OAET;CAEJ;CACA,OAAO;EAAE,MAAM;EAAS,MAAM,OAAO,MAAM,KAAK,GAAG;CAAE;AACvD;AAEA,MAAM,kBAAkB;CAAC;CAAa;CAAY;AAAK;AAIvD,SAAS,kBAAkB,QAAgB,KAAgC;CACzE,KAAK,MAAM,QAAQ,iBAAiB;EAClC,IAAI,CAAC,OAAO,WAAW,MAAM,GAAG,GAAG;EACnC,MAAM,QAAQ,SAAS,QAAQ,MAAM,KAAK,MAAM;EAChD,IAAI,UAAU,MAAM,YAAY,KAAK,GAAG,OAAO,KAAA;EAC/C,OAAO;GAAE,MAAM;GAAiB,MAAM;EAAK;CAC7C;AAEF;AAEA,SAAS,WAAW,QAAgB,KAAgC;CAClE,IAAI,MAAM;CACV,IAAI,OAAO,OAAO,GAAG,MAAM,KAAK;EAC9B,IAAI,MAAM,KAAK,OAAO,UAAU,CAAC,QAAQ,OAAO,OAAO,MAAM,CAAC,CAAC,GAAG,OAAO,KAAA;EACzE;CACF,OAAO,IAAI,CAAC,QAAQ,OAAO,OAAO,GAAG,CAAC,GACpC;CAEF;CACA,OAAO,MAAM,OAAO,UAAU,QAAQ,OAAO,OAAO,GAAG,CAAC,GACtD;CAEF,IAAI,OAAO,OAAO,GAAG,MAAM,OAAO,MAAM,IAAI,OAAO,UAAU,QAAQ,OAAO,OAAO,MAAM,CAAC,CAAC,GAAG;EAC5F;EACA,OAAO,MAAM,OAAO,UAAU,QAAQ,OAAO,OAAO,GAAG,CAAC,GACtD;CAEJ;CACA,OAAO;EAAE,MAAM;EAAiB,MAAM,OAAO,MAAM,KAAK,GAAG;CAAE;AAC/D;AAEA,SAAS,WAAW,QAAgB,KAAgC;CAClE,MAAM,QAAQ,OAAO,OAAO,GAAG;CAC/B,IAAI,UAAU,QAAO,UAAU,KAAK,OAAO,KAAA;CAC3C,IAAI,MAAM,MAAM;CAChB,OAAO,MAAM,OAAO,QAAQ;EAC1B,MAAM,IAAI,OAAO,OAAO,GAAG;EAC3B,IAAI,MAAM,QAAQ,MAAM,IAAI,OAAO,QAAQ;GACzC,OAAO;GACP;EACF;EACA,IAAI,MAAM,OAAO;GACf;GACA,OAAO;IAAE,MAAM;IAAiB,MAAM,OAAO,MAAM,KAAK,GAAG;GAAE;EAC/D;EACA,IAAI,MAAM,QAAQ,MAAM,MAEtB,OAAO;GAAE,MAAM;GAAiB,MAAM,OAAO,MAAM,KAAK,GAAG;EAAE;EAE/D;CACF;CACA,OAAO;EAAE,MAAM;EAAiB,MAAM,OAAO,MAAM,KAAK,GAAG;CAAE;AAC/D;;;;;;;;;;;;;AAcA,SAAgB,0BAA0B,MAAuB;CAC/D,MAAM,QAAQ,KAAK,OAAO,CAAC;CAC3B,IAAI,UAAU,QAAO,UAAU,KAAK,OAAO;CAC3C,IAAI,KAAK,SAAS,KAAK,KAAK,OAAO,KAAK,SAAS,CAAC,MAAM,OACtD,OAAO;CAET,IAAI,cAAc;CAClB,KAAK,IAAI,IAAI,KAAK,SAAS,GAAG,KAAK,KAAK,KAAK,OAAO,CAAC,MAAM,MAAM,KAC/D;CAEF,OAAO,cAAc,MAAM;AAC7B;AAEA,SAAS,gBAAgB,QAAgB,KAAgC;CACvE,MAAM,OAAO,YAAY,OAAO,OAAO,GAAG;CAC1C,IAAI,SAAS,KAAA,GAAW,OAAO,KAAA;CAC/B,OAAO;EAAE;EAAM,MAAM,OAAO,OAAO,GAAG;CAAE;AAC1C;AAEA,SAAS,SAAS,QAAgB,KAAqB;CACrD,MAAM,KAAK,OAAO,YAAY,GAAG;CACjC,OAAO,OAAO,KAAA,IAAY,OAAO,cAAc,EAAE,IAAI;AACvD;AAEA,SAAS,aAAa,IAAqB;CACzC,OAAO,SAAS,KAAK,EAAE,KAAK,OAAO;AACrC;AAEA,SAAS,YAAY,IAAqB;CACxC,OAAO,aAAa,EAAE,KAAK,QAAQ,EAAE,KAAK,OAAO;AACnD;AAEA,SAAS,QAAQ,IAAqB;CACpC,OAAO,MAAM,OAAO,MAAM;AAC5B;AAEA,MAAM,cAAyC;CAC7C,KAAK;CACL,KAAK;CACL,KAAK;CACL,KAAK;CACL,KAAK;CACL,KAAK;CACL,KAAK;CACL,KAAK;CACL,KAAK;CACL,KAAK;CACL,KAAK;AACP"}

package/dist/tokenizer.mjs

@@ -1,191 +1,2 @@
-//#region src/tokenizer.ts
-var Tokenizer = class {
-	#source;
-	#pos;
-	#buffer;
-	constructor(source) {
-		this.#source = source;
-		this.#pos = 0;
-		this.#buffer = [];
-	}
-	next() {
-		const next = this.#buffer.shift();
-		if (next) return next;
-		return this.#scanNext();
-	}
-	peek(offset = 0) {
-		if (offset > this.#buffer.length) {
-			const last = this.#buffer.at(-1);
-			if (last?.kind === "Eof") return last;
-		}
-		const token = this.#buffer[offset];
-		if (token) return token;
-		while (this.#buffer.length <= offset) {
-			const token = this.#scanNext();
-			if (token.kind === "Eof") return token;
-			this.#buffer.push(token);
-		}
-		return this.#buffer[offset];
-	}
-	#scanNext() {
-		const token = scan(this.#source, this.#pos);
-		this.#pos += token.text.length;
-		return token;
-	}
-};
-function scan(source, pos) {
-	if (pos >= source.length) return {
-		kind: "Eof",
-		text: ""
-	};
-	return scanNewline(source, pos) ?? scanWhitespace(source, pos) ?? scanComment(source, pos) ?? scanAt(source, pos) ?? scanIdent(source, pos) ?? scanNumber(source, pos) ?? scanString(source, pos) ?? scanPunctuation(source, pos) ?? {
-		kind: "Invalid",
-		text: readChar(source, pos)
-	};
-}
-function scanNewline(source, pos) {
-	const ch = source.charAt(pos);
-	if (ch !== "\r" && ch !== "\n") return void 0;
-	if (ch === "\r" && source.charAt(pos + 1) === "\n") return {
-		kind: "Newline",
-		text: "\r\n"
-	};
-	return {
-		kind: "Newline",
-		text: ch
-	};
-}
-function scanWhitespace(source, pos) {
-	const ch = source.charAt(pos);
-	if (ch !== " " && ch !== "	") return void 0;
-	let end = pos + 1;
-	while (end < source.length) {
-		const c = source.charAt(end);
-		if (c !== " " && c !== "	") break;
-		end++;
-	}
-	return {
-		kind: "Whitespace",
-		text: source.slice(pos, end)
-	};
-}
-function scanComment(source, pos) {
-	if (source.charAt(pos) !== "/" || source.charAt(pos + 1) !== "/") return void 0;
-	let end = pos + 2;
-	while (end < source.length) {
-		const c = source.charAt(end);
-		if (c === "\n" || c === "\r") break;
-		end++;
-	}
-	return {
-		kind: "Comment",
-		text: source.slice(pos, end)
-	};
-}
-function scanAt(source, pos) {
-	if (source.charAt(pos) !== "@") return void 0;
-	if (source.charAt(pos + 1) === "@") return {
-		kind: "DoubleAt",
-		text: "@@"
-	};
-	return {
-		kind: "At",
-		text: "@"
-	};
-}
-function scanIdent(source, pos) {
-	const ch = readChar(source, pos);
-	if (!isIdentStart(ch)) return void 0;
-	let end = pos + ch.length;
-	while (end < source.length) {
-		const c = readChar(source, end);
-		if (isIdentPart(c)) end += c.length;
-		else break;
-	}
-	return {
-		kind: "Ident",
-		text: source.slice(pos, end)
-	};
-}
-function scanNumber(source, pos) {
-	let end = pos;
-	if (source.charAt(end) === "-") {
-		if (end + 1 >= source.length || !isDigit(source.charAt(end + 1))) return void 0;
-		end++;
-	} else if (!isDigit(source.charAt(end))) return;
-	end++;
-	while (end < source.length && isDigit(source.charAt(end))) end++;
-	if (source.charAt(end) === "." && end + 1 < source.length && isDigit(source.charAt(end + 1))) {
-		end++;
-		while (end < source.length && isDigit(source.charAt(end))) end++;
-	}
-	return {
-		kind: "NumberLiteral",
-		text: source.slice(pos, end)
-	};
-}
-function scanString(source, pos) {
-	if (source.charAt(pos) !== "\"") return void 0;
-	let end = pos + 1;
-	while (end < source.length) {
-		const c = source.charAt(end);
-		if (c === "\\" && end + 1 < source.length) {
-			end += 2;
-			continue;
-		}
-		if (c === "\"") {
-			end++;
-			return {
-				kind: "StringLiteral",
-				text: source.slice(pos, end)
-			};
-		}
-		if (c === "\n" || c === "\r") return {
-			kind: "StringLiteral",
-			text: source.slice(pos, end)
-		};
-		end++;
-	}
-	return {
-		kind: "StringLiteral",
-		text: source.slice(pos, end)
-	};
-}
-function scanPunctuation(source, pos) {
-	const kind = PUNCTUATION[source.charAt(pos)];
-	if (kind === void 0) return void 0;
-	return {
-		kind,
-		text: source.charAt(pos)
-	};
-}
-function readChar(source, pos) {
-	const cp = source.codePointAt(pos);
-	return cp !== void 0 ? String.fromCodePoint(cp) : "";
-}
-function isIdentStart(ch) {
-	return /\p{L}/u.test(ch) || ch === "_";
-}
-function isIdentPart(ch) {
-	return isIdentStart(ch) || isDigit(ch) || ch === "-";
-}
-function isDigit(ch) {
-	return ch >= "0" && ch <= "9";
-}
-const PUNCTUATION = {
-	"{": "LBrace",
-	"}": "RBrace",
-	"(": "LParen",
-	")": "RParen",
-	"[": "LBracket",
-	"]": "RBracket",
-	"=": "Equals",
-	"?": "Question",
-	".": "Dot",
-	",": "Comma",
-	":": "Colon"
-};
-//#endregion
+import { t as Tokenizer } from "./tokenizer-1hAHZzmp.mjs";
 export { Tokenizer };
-
-//# sourceMappingURL=tokenizer.mjs.map

package/package.json

@@ -1,17 +1,17 @@
 {
   "name": "@prisma-next/psl-parser",
-  "version": "0.13.0",
+  "version": "0.14.0-dev.10",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Reusable parser for Prisma Schema Language (PSL)",
   "dependencies": {
-    "@prisma-next/framework-components": "0.13.0",
-    "@prisma-next/utils": "0.13.0"
+    "@prisma-next/framework-components": "0.14.0-dev.10",
+    "@prisma-next/utils": "0.14.0-dev.10"
   },
   "devDependencies": {
-    "@prisma-next/tsconfig": "0.13.0",
-    "@prisma-next/tsdown": "0.13.0",
+    "@prisma-next/tsconfig": "0.14.0-dev.10",
+    "@prisma-next/tsdown": "0.14.0-dev.10",
     "tsdown": "0.22.1",
     "typescript": "5.9.3",
     "vitest": "4.1.8"
@@ -31,7 +31,7 @@
   "types": "./dist/index.d.mts",
   "exports": {
     ".": "./dist/index.mjs",
-    "./parser": "./dist/parser.mjs",
+    "./format": "./dist/format.mjs",
     "./syntax": "./dist/syntax.mjs",
     "./tokenizer": "./dist/tokenizer.mjs",
     "./package.json": "./package.json"

package/src/block-reconstruction.ts

@@ -0,0 +1,139 @@
+import type { AuthoringPslBlockDescriptor } from '@prisma-next/framework-components/authoring';
+import type {
+  PslBlockParam,
+  PslExtensionBlock,
+  PslExtensionBlockAttribute,
+  PslExtensionBlockParamValue,
+  PslSpan,
+} from '@prisma-next/framework-components/psl-ast';
+import type { ParseDiagnostic } from './parse';
+import { nodePslSpan } from './resolve';
+import type { SourceFile } from './source-file';
+import type { GenericBlockDeclarationAst, KeyValuePairAst } from './syntax/ast/declarations';
+import { ArrayLiteralAst, type ExpressionAst } from './syntax/ast/expressions';
+import { printSyntax } from './syntax/ast-helpers';
+
+/**
+ * Descriptor-free and unknown parameters become `value` stubs so validation can
+ * report them via key-set comparison. Duplicate member names are first-wins.
+ */
+export function reconstructExtensionBlock(
+  node: GenericBlockDeclarationAst,
+  descriptor: AuthoringPslBlockDescriptor | undefined,
+  sourceFile: SourceFile,
+  diagnostics: ParseDiagnostic[],
+): PslExtensionBlock {
+  const keyword = node.keyword()?.text ?? '';
+  const blockName = node.name()?.name() ?? '';
+
+  const blockAttributes: PslExtensionBlockAttribute[] = [];
+  for (const attribute of node.attributes()) {
+    const name = attribute.name()?.path().join('.') ?? '';
+    const args = Array.from(attribute.argList()?.args() ?? [], (arg) => {
+      const value = arg.value();
+      return {
+        kind: 'positional' as const,
+        value: value === undefined ? '' : printSyntax(value.syntax).trim(),
+        span: nodePslSpan(arg.syntax, sourceFile),
+      };
+    });
+    blockAttributes.push({
+      name,
+      args,
+      span: nodePslSpan(attribute.syntax, sourceFile),
+    });
+  }
+
+  const parameters: Record<string, PslExtensionBlockParamValue> = {};
+  for (const entry of node.entries()) {
+    const key = entry.key()?.name();
+    if (key === undefined) continue;
+    const span = nodePslSpan(entry.syntax, sourceFile);
+    if (Object.hasOwn(parameters, key)) {
+      diagnostics.push({
+        code: 'PSL_EXTENSION_DUPLICATE_PARAMETER',
+        message: `Duplicate parameter "${key}" in "${keyword}" block "${blockName}"; first occurrence wins`,
+        range: {
+          start: sourceFile.positionAt(entry.syntax.offset),
+          end: sourceFile.positionAt(entry.syntax.offset + entry.syntax.green.textLength),
+        },
+      });
+      continue;
+    }
+    parameters[key] = reconstructParamValue(
+      entry,
+      descriptor?.parameters[key],
+      span,
+      sourceFile,
+      diagnostics,
+    );
+  }
+
+  return {
+    kind: descriptor?.discriminator ?? keyword,
+    name: blockName,
+    parameters,
+    blockAttributes,
+    span: nodePslSpan(node.syntax, sourceFile),
+  };
+}
+
+function reconstructParamValue(
+  entry: KeyValuePairAst,
+  param: PslBlockParam | undefined,
+  span: PslSpan,
+  sourceFile: SourceFile,
+  diagnostics: ParseDiagnostic[],
+): PslExtensionBlockParamValue {
+  const value = entry.value();
+  if (value === undefined) {
+    return { kind: 'bare', span };
+  }
+  return reconstructFromExpression(value, param, span, sourceFile, diagnostics);
+}
+
+function reconstructFromExpression(
+  value: ExpressionAst,
+  param: PslBlockParam | undefined,
+  span: PslSpan,
+  sourceFile: SourceFile,
+  diagnostics?: ParseDiagnostic[],
+): PslExtensionBlockParamValue {
+  const raw = printSyntax(value.syntax).trim();
+  if (param?.kind === 'list') {
+    const array = ArrayLiteralAst.cast(value.syntax);
+    if (!array) {
+      diagnostics?.push({
+        code: 'PSL_EXTENSION_INVALID_VALUE',
+        message: `List parameter expects an array literal, got ${raw}`,
+        range: {
+          start: sourceFile.positionAt(value.syntax.offset),
+          end: sourceFile.positionAt(value.syntax.offset + value.syntax.green.textLength),
+        },
+      });
+      return { kind: 'value', raw, span };
+    }
+
+    const items: PslExtensionBlockParamValue[] = [];
+    for (const element of array.elements()) {
+      items.push(
+        reconstructFromExpression(
+          element,
+          param.of,
+          nodePslSpan(element.syntax, sourceFile),
+          sourceFile,
+          diagnostics,
+        ),
+      );
+    }
+    return { kind: 'list', items, span };
+  }
+  switch (param?.kind) {
+    case 'ref':
+      return { kind: 'ref', identifier: raw, span };
+    case 'option':
+      return { kind: 'option', token: raw, span };
+    default:
+      return { kind: 'value', raw, span };
+  }
+}

package/src/exports/format.ts

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

package/src/exports/index.ts

@@ -1,6 +1,4 @@
 export type {
-  ParsePslDocumentInput,
-  ParsePslDocumentResult,
   PslAttribute,
   PslAttributeArgument,
   PslAttributeNamedArgument,
@@ -13,8 +11,15 @@ export type {
   PslDiagnostic,
   PslDiagnosticCode,
   PslDocumentAst,
-  PslEnum,
-  PslEnumValue,
+  PslExtensionBlock,
+  PslExtensionBlockAttribute,
+  PslExtensionBlockAttributeArg,
+  PslExtensionBlockParamBare,
+  PslExtensionBlockParamList,
+  PslExtensionBlockParamOption,
+  PslExtensionBlockParamRef,
+  PslExtensionBlockParamScalarValue,
+  PslExtensionBlockParamValue,
   PslField,
   PslFieldAttribute,
   PslModel,
@@ -26,5 +31,35 @@ export type {
   PslTypeConstructorCall,
   PslTypesBlock,
 } from '@prisma-next/framework-components/psl-ast';
+export {
+  flatPslModels,
+  namespacePslExtensionBlocks,
+} from '@prisma-next/framework-components/psl-ast';
 export { getPositionalArgument, parseQuotedStringLiteral } from '../attribute-helpers';
-export { parsePslDocument } from '../parser';
+export { findBlockDescriptor, validateExtensionBlockFromSymbol } from '../extension-block';
+export {
+  keywordPslSpan,
+  nodePslSpan,
+  rangeToPslSpan,
+  readResolvedAttribute,
+  readResolvedAttributes,
+  readResolvedConstructorCall,
+} from '../resolve';
+export type {
+  BlockSymbol,
+  BuildSymbolTableOptions,
+  CompositeTypeSymbol,
+  FieldSymbol,
+  ModelSymbol,
+  NamespaceSymbol,
+  ResolvedAttribute,
+  ResolvedAttributeArg,
+  ResolvedNamedTypeBinding,
+  ResolvedTypeConstructorCall,
+  ScalarSymbol,
+  SymbolTable,
+  SymbolTableResult,
+  TopLevelScope,
+  TypeAliasSymbol,
+} from '../symbol-table';
+export { buildSymbolTable } from '../symbol-table';