@prisma-next/psl-parser 0.14.0-dev.3 → 0.14.0-dev.31

package/dist/format.mjs.map

@@ -0,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"}

package/dist/index.d.mts

@@ -1,9 +1,142 @@
-import { t as parsePslDocument } from "./parser-Dfi3Wfdq.mjs";
-import { ParsePslDocumentInput, ParsePslDocumentResult, PslAttribute, PslAttribute as PslAttribute$1, PslAttributeArgument, PslAttributeNamedArgument, PslAttributePositionalArgument, PslAttributeTarget, PslCompositeType, PslDefaultFunctionValue, PslDefaultLiteralValue, PslDefaultValue, PslDiagnostic, PslDiagnosticCode, PslDocumentAst, PslExtensionBlock, PslExtensionBlockAttribute, PslExtensionBlockAttributeArg, PslExtensionBlockParamBare, PslExtensionBlockParamList, PslExtensionBlockParamOption, PslExtensionBlockParamRef, PslExtensionBlockParamScalarValue, PslExtensionBlockParamValue, PslField, PslFieldAttribute, PslModel, PslModelAttribute, PslNamedTypeDeclaration, PslNamespace, PslPosition, PslSpan, PslTypeConstructorCall, PslTypesBlock, flatPslModels, namespacePslExtensionBlocks } from "@prisma-next/framework-components/psl-ast";
+import { B as SyntaxNode, X as Range, Z as SourceFile, b as FieldAttributeAst, c as DocumentAst, h as NamespaceDeclarationAst, l as FieldDeclarationAst, m as NamedTypeDeclarationAst, o as CompositeTypeDeclarationAst, p as ModelDeclarationAst, t as ParseDiagnostic, u as GenericBlockDeclarationAst, v as TypeAnnotationAst, x as ModelAttributeAst } from "./parse-Ce9Em5k9.mjs";
+import { PslAttribute, PslAttribute as PslAttribute$1, PslAttributeArgument, PslAttributeNamedArgument, PslAttributePositionalArgument, PslAttributeTarget, PslCompositeType, PslDefaultFunctionValue, PslDefaultLiteralValue, PslDefaultValue, PslDiagnostic, PslDiagnostic as PslDiagnostic$1, PslDiagnosticCode, PslDocumentAst, PslExtensionBlock, PslExtensionBlock as PslExtensionBlock$1, PslExtensionBlockAttribute, PslExtensionBlockAttributeArg, PslExtensionBlockParamBare, PslExtensionBlockParamList, PslExtensionBlockParamOption, PslExtensionBlockParamRef, PslExtensionBlockParamScalarValue, PslExtensionBlockParamValue, PslField, PslFieldAttribute, PslModel, PslModelAttribute, PslNamedTypeDeclaration, PslNamespace, PslPosition, PslSpan, PslSpan as PslSpan$1, PslTypeConstructorCall, PslTypesBlock, flatPslModels, namespacePslExtensionBlocks } from "@prisma-next/framework-components/psl-ast";
+import { AuthoringPslBlockDescriptor, AuthoringPslBlockDescriptorNamespace } from "@prisma-next/framework-components/authoring";
+import { CodecLookup } from "@prisma-next/framework-components/codec";
 
 //#region src/attribute-helpers.d.ts
 declare function getPositionalArgument(attribute: PslAttribute$1, index?: number): string | undefined;
 declare function parseQuotedStringLiteral(value: string): string | undefined;
 //#endregion
-export { type ParsePslDocumentInput, type ParsePslDocumentResult, type PslAttribute, type PslAttributeArgument, type PslAttributeNamedArgument, type PslAttributePositionalArgument, type PslAttributeTarget, type PslCompositeType, type PslDefaultFunctionValue, type PslDefaultLiteralValue, type PslDefaultValue, type PslDiagnostic, type PslDiagnosticCode, type PslDocumentAst, type PslExtensionBlock, type PslExtensionBlockAttribute, type PslExtensionBlockAttributeArg, type PslExtensionBlockParamBare, type PslExtensionBlockParamList, type PslExtensionBlockParamOption, type PslExtensionBlockParamRef, type PslExtensionBlockParamScalarValue, type PslExtensionBlockParamValue, type PslField, type PslFieldAttribute, type PslModel, type PslModelAttribute, type PslNamedTypeDeclaration, type PslNamespace, type PslPosition, type PslSpan, type PslTypeConstructorCall, type PslTypesBlock, flatPslModels, getPositionalArgument, namespacePslExtensionBlocks, parsePslDocument, parseQuotedStringLiteral };
+//#region src/resolve.d.ts
+interface ResolvedAttributeArg {
+  readonly kind: 'positional' | 'named';
+  readonly name?: string;
+  readonly value: string;
+  readonly span: PslSpan$1;
+}
+interface ResolvedAttribute {
+  readonly name: string;
+  readonly args: readonly ResolvedAttributeArg[];
+  readonly span: PslSpan$1;
+}
+interface ResolvedTypeConstructorCall {
+  readonly path: readonly string[];
+  readonly args: readonly ResolvedAttributeArg[];
+  readonly span: PslSpan$1;
+}
+declare function readResolvedAttribute(attribute: FieldAttributeAst | ModelAttributeAst, sourceFile: SourceFile): ResolvedAttribute;
+declare function readResolvedAttributes(attributes: Iterable<FieldAttributeAst | ModelAttributeAst>, sourceFile: SourceFile): readonly ResolvedAttribute[];
+declare function readResolvedConstructorCall(annotation: TypeAnnotationAst | undefined, sourceFile: SourceFile): ResolvedTypeConstructorCall | undefined;
+declare function nodePslSpan(node: SyntaxNode, sourceFile: SourceFile): PslSpan$1;
+/** Unsupported-top-level-block diagnostics are anchored to the keyword token. */
+declare function keywordPslSpan(node: SyntaxNode, keyword: string, sourceFile: SourceFile): PslSpan$1;
+declare function rangeToPslSpan(range: Range, sourceFile: SourceFile): PslSpan$1;
+//#endregion
+//#region src/symbol-table.d.ts
+interface SymbolTable {
+  readonly topLevel: TopLevelScope;
+}
+interface TopLevelScope {
+  readonly namespaces: Record<string, NamespaceSymbol>;
+  readonly scalars: Record<string, ScalarSymbol>;
+  readonly typeAliases: Record<string, TypeAliasSymbol>;
+  readonly blocks: Record<string, BlockSymbol>;
+  readonly models: Record<string, ModelSymbol>;
+  readonly compositeTypes: Record<string, CompositeTypeSymbol>;
+}
+interface NamespaceSymbol {
+  readonly kind: 'namespace';
+  readonly name: string;
+  readonly node: NamespaceDeclarationAst;
+  readonly span: PslSpan$1;
+  readonly models: Record<string, ModelSymbol>;
+  readonly compositeTypes: Record<string, CompositeTypeSymbol>;
+  readonly blocks: Record<string, BlockSymbol>;
+}
+interface ModelSymbol {
+  readonly kind: 'model';
+  readonly name: string;
+  readonly node: ModelDeclarationAst;
+  readonly span: PslSpan$1;
+  readonly fields: Record<string, FieldSymbol>;
+  readonly attributes: readonly ResolvedAttribute[];
+}
+interface CompositeTypeSymbol {
+  readonly kind: 'compositeType';
+  readonly name: string;
+  readonly node: CompositeTypeDeclarationAst;
+  readonly span: PslSpan$1;
+  readonly fields: Record<string, FieldSymbol>;
+  readonly attributes: readonly ResolvedAttribute[];
+}
+interface BlockSymbol {
+  readonly kind: 'block';
+  readonly name: string;
+  readonly keyword: string;
+  readonly node: GenericBlockDeclarationAst;
+  readonly span: PslSpan$1;
+  /** Resolved once so consumers do not independently classify block parameters. */
+  readonly block: PslExtensionBlock$1;
+}
+interface ResolvedNamedTypeBinding {
+  readonly baseType?: string;
+  readonly typeConstructor?: ResolvedTypeConstructorCall;
+  readonly isConstructor: boolean;
+  readonly attributes: readonly ResolvedAttribute[];
+}
+interface ScalarSymbol extends ResolvedNamedTypeBinding {
+  readonly kind: 'scalar';
+  readonly name: string;
+  readonly node: NamedTypeDeclarationAst;
+  readonly span: PslSpan$1;
+}
+interface TypeAliasSymbol extends ResolvedNamedTypeBinding {
+  readonly kind: 'typeAlias';
+  readonly name: string;
+  readonly node: NamedTypeDeclarationAst;
+  readonly span: PslSpan$1;
+}
+interface FieldSymbol {
+  readonly kind: 'field';
+  readonly name: string;
+  readonly node: FieldDeclarationAst;
+  readonly span: PslSpan$1;
+  readonly typeName: string;
+  readonly typeNamespaceId?: string;
+  readonly typeContractSpaceId?: string;
+  readonly optional: boolean;
+  readonly list: boolean;
+  readonly typeConstructor?: ResolvedTypeConstructorCall;
+  readonly attributes: readonly ResolvedAttribute[];
+  /** Prevents cascading unsupported-type diagnostics after invalid qualification. */
+  readonly malformedType?: boolean;
+}
+interface BuildSymbolTableOptions {
+  readonly document: DocumentAst;
+  readonly sourceFile: SourceFile;
+  readonly scalarTypes: readonly string[];
+  readonly pslBlockDescriptors: AuthoringPslBlockDescriptorNamespace;
+}
+interface SymbolTableResult {
+  readonly table: SymbolTable;
+  readonly diagnostics: readonly ParseDiagnostic[];
+}
+/**
+ * Owns duplicate-declaration detection for all PSL scopes; downstream consumers
+ * should consume first-wins symbols rather than re-emitting duplicate diagnostics.
+ */
+declare function buildSymbolTable(options: BuildSymbolTableOptions): SymbolTableResult;
+//#endregion
+//#region src/extension-block.d.ts
+declare function findBlockDescriptor(descriptors: AuthoringPslBlockDescriptorNamespace | undefined, keyword: string): AuthoringPslBlockDescriptor | undefined;
+declare function validateExtensionBlockFromSymbol(input: {
+  readonly block: BlockSymbol;
+  readonly descriptor: AuthoringPslBlockDescriptor;
+  readonly symbolTable: SymbolTable;
+  readonly sourceFile: SourceFile;
+  readonly sourceId: string;
+  readonly codecLookup: CodecLookup;
+}): readonly PslDiagnostic$1[];
+//#endregion
+export { type BlockSymbol, type BuildSymbolTableOptions, type CompositeTypeSymbol, type FieldSymbol, type ModelSymbol, type NamespaceSymbol, type PslAttribute, type PslAttributeArgument, type PslAttributeNamedArgument, type PslAttributePositionalArgument, type PslAttributeTarget, type PslCompositeType, type PslDefaultFunctionValue, type PslDefaultLiteralValue, type PslDefaultValue, type PslDiagnostic, type PslDiagnosticCode, type PslDocumentAst, type PslExtensionBlock, type PslExtensionBlockAttribute, type PslExtensionBlockAttributeArg, type PslExtensionBlockParamBare, type PslExtensionBlockParamList, type PslExtensionBlockParamOption, type PslExtensionBlockParamRef, type PslExtensionBlockParamScalarValue, type PslExtensionBlockParamValue, type PslField, type PslFieldAttribute, type PslModel, type PslModelAttribute, type PslNamedTypeDeclaration, type PslNamespace, type PslPosition, type PslSpan, type PslTypeConstructorCall, type PslTypesBlock, type ResolvedAttribute, type ResolvedAttributeArg, type ResolvedNamedTypeBinding, type ResolvedTypeConstructorCall, type ScalarSymbol, type SymbolTable, type SymbolTableResult, type TopLevelScope, type TypeAliasSymbol, buildSymbolTable, findBlockDescriptor, flatPslModels, getPositionalArgument, keywordPslSpan, namespacePslExtensionBlocks, nodePslSpan, parseQuotedStringLiteral, rangeToPslSpan, readResolvedAttribute, readResolvedAttributes, readResolvedConstructorCall, validateExtensionBlockFromSymbol };
 //# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":[],"sources":["../src/attribute-helpers.ts"],"mappings":";;;;iBAEgB,qBAAA,CAAsB,SAAA,EAAW,cAAY,EAAE,KAAA;AAAA,iBAK/C,wBAAA,CAAyB,KAAa"}
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/attribute-helpers.ts","../src/resolve.ts","../src/symbol-table.ts","../src/extension-block.ts"],"mappings":";;;;;;iBAEgB,qBAAA,CAAsB,SAAA,EAAW,cAAY,EAAE,KAAA;AAAA,iBAK/C,wBAAA,CAAyB,KAAa;;;UCMrC,oBAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,KAAA;EAAA,SACA,IAAA,EAAM,SAAO;AAAA;AAAA,UAGP,iBAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA,WAAe,oBAAA;EAAA,SACf,IAAA,EAAM,SAAO;AAAA;AAAA,UAGP,2BAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA,WAAe,oBAAA;EAAA,SACf,IAAA,EAAM,SAAO;AAAA;AAAA,iBAGR,qBAAA,CACd,SAAA,EAAW,iBAAA,GAAoB,iBAAA,EAC/B,UAAA,EAAY,UAAA,GACX,iBAAA;AAAA,iBAQa,sBAAA,CACd,UAAA,EAAY,QAAA,CAAS,iBAAA,GAAoB,iBAAA,GACzC,UAAA,EAAY,UAAA,YACF,iBAAA;AAAA,iBAII,2BAAA,CACd,UAAA,EAAY,iBAAA,cACZ,UAAA,EAAY,UAAA,GACX,2BAAA;AAAA,iBAqCa,WAAA,CAAY,IAAA,EAAM,UAAA,EAAY,UAAA,EAAY,UAAA,GAAa,SAAA;;iBAUvD,cAAA,CAAe,IAAA,EAAM,UAAA,EAAY,OAAA,UAAiB,UAAA,EAAY,UAAA,GAAa,SAAA;AAAA,iBAS3E,cAAA,CAAe,KAAA,EAAO,KAAA,EAAO,UAAA,EAAY,UAAA,GAAa,SAAA;;;UC7ErD,WAAA;EAAA,SACN,QAAA,EAAU,aAAa;AAAA;AAAA,UAGjB,aAAA;EAAA,SACN,UAAA,EAAY,MAAA,SAAe,eAAA;EAAA,SAC3B,OAAA,EAAS,MAAA,SAAe,YAAA;EAAA,SACxB,WAAA,EAAa,MAAA,SAAe,eAAA;EAAA,SAC5B,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,cAAA,EAAgB,MAAA,SAAe,mBAAA;AAAA;AAAA,UAGzB,eAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,uBAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,cAAA,EAAgB,MAAA,SAAe,mBAAA;EAAA,SAC/B,MAAA,EAAQ,MAAA,SAAe,WAAA;AAAA;AAAA,UAGjB,WAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,mBAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,UAAA,WAAqB,iBAAA;AAAA;AAAA,UAGf,mBAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,2BAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,MAAA,EAAQ,MAAA,SAAe,WAAA;EAAA,SACvB,UAAA,WAAqB,iBAAA;AAAA;AAAA,UAGf,WAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;EAAA,SACA,IAAA,EAAM,0BAAA;EAAA,SACN,IAAA,EAAM,SAAA;EDnDN;EAAA,SCqDA,KAAA,EAAO,mBAAA;AAAA;AAAA,UAGD,wBAAA;EAAA,SACN,QAAA;EAAA,SACA,eAAA,GAAkB,2BAAA;EAAA,SAClB,aAAA;EAAA,SACA,UAAA,WAAqB,iBAAiB;AAAA;AAAA,UAGhC,YAAA,SAAqB,wBAAA;EAAA,SAC3B,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,uBAAA;EAAA,SACN,IAAA,EAAM,SAAA;AAAA;AAAA,UAGA,eAAA,SAAwB,wBAAA;EAAA,SAC9B,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,uBAAA;EAAA,SACN,IAAA,EAAM,SAAA;AAAA;AAAA,UAGA,WAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA,EAAM,mBAAA;EAAA,SACN,IAAA,EAAM,SAAA;EAAA,SACN,QAAA;EAAA,SACA,eAAA;EAAA,SACA,mBAAA;EAAA,SACA,QAAA;EAAA,SACA,IAAA;EAAA,SACA,eAAA,GAAkB,2BAAA;EAAA,SAClB,UAAA,WAAqB,iBAAA;EDrEH;EAAA,SCuElB,aAAA;AAAA;AAAA,UAGM,uBAAA;EAAA,SACN,QAAA,EAAU,WAAA;EAAA,SACV,UAAA,EAAY,UAAA;EAAA,SACZ,WAAA;EAAA,SACA,mBAAA,EAAqB,oCAAA;AAAA;AAAA,UAGf,iBAAA;EAAA,SACN,KAAA,EAAO,WAAA;EAAA,SACP,WAAA,WAAsB,eAAe;AAAA;;;;;iBAOhC,gBAAA,CAAiB,OAAA,EAAS,uBAAA,GAA0B,iBAAiB;;;iBCtHrE,mBAAA,CACd,WAAA,EAAa,oCAAA,cACb,OAAA,WACC,2BAA2B;AAAA,iBAcd,gCAAA,CAAiC,KAAA;EAAA,SACtC,KAAA,EAAO,WAAA;EAAA,SACP,UAAA,EAAY,2BAAA;EAAA,SACZ,WAAA,EAAa,WAAA;EAAA,SACb,UAAA,EAAY,UAAA;EAAA,SACZ,QAAA;EAAA,SACA,WAAA,EAAa,WAAA;AAAA,aACX,eAAA"}