validation.ts overviewCopy Anchor Link

Exports Grouped by CategoryCopy Anchor Link

• utils
  • DiagnosticContext (interface)
  • hasDiagnosticContractErrors
  • registryOf
  • validateDiagnostics

utilsCopy Anchor Link

DiagnosticContext (interface)Copy Anchor Link

Signature

export interface DiagnosticContext {
  readonly phase?: "collect" | "expand" | "interpret" | "analyze"
  readonly strictAccess?: boolean
}

hasDiagnosticContractErrorsCopy Anchor Link

A related contract error also blocks output even when its parent is informational.

Signature

declare const hasDiagnosticContractErrors: (diagnostics: ReadonlyArray<Diagnostic>) => boolean

registryOfCopy Anchor Link

Pure boundary shared by synchronous stages and both compilation entry points.

Signature

declare const registryOf: (
  extensions: ReadonlyArray<Pick<Extension, "name" | "diagnosticEntries">>
) => StageResult<Registry>

validateDiagnosticsCopy Anchor Link

Valid occurrences retain their order, fields and related tree. Each invalid occurrence becomes registered EFFX0010 data at its original position; no callback data escapes unchecked. No effects, resources, retries or runtime ownership are introduced by this boundary.

Signature

declare const validateDiagnostics: (
  input: ReadonlyArray<Diagnostic>,
  registry: Registry,
  owner: string,
  context?: DiagnosticContext
) => ReadonlyArray<Diagnostic>