import type { EachMapping } from '@jridgewell/trace-mapping'
import type { Awaitable, ParsedStack, TestError } from '@vitest/utils'
import type { ChildProcess } from 'node:child_process'
import type { Result } from 'tinyexec'
import type { FileInformation } from '../node/ast-collect'
import type { Vitest } from '../node/core'
import type { TestProject } from '../node/project'
import type { File, Task, TaskEventPack, TaskResultPack, TaskState } from '../runtime/runner/types'
import type { TscErrorInfo } from './types'
import os from 'node:os'
import { performance } from 'node:perf_hooks'
import { eachMapping, generatedPositionFor, TraceMap } from '@jridgewell/trace-mapping'
import { basename, join, resolve } from 'pathe'
import { x } from 'tinyexec'
import { astCollectFileInformation } from '../node/ast-collect'
import { distDir } from '../paths'
import { createLocationsIndexMap } from '../utils/base'
import { convertTasksToEvents } from '../utils/tasks'
import { getRawErrsMapFromTsCompile } from './parse'

export class TypeCheckError extends Error {
  name = 'TypeCheckError'

  constructor(public message: string, public stacks: ParsedStack[]) {
    super(message)
  }
}

export interface TypecheckResults {
  files: File[]
  sourceErrors: TestError[]
  time: number
}

type Callback<Args extends Array<any> = []> = (
  ...args: Args
) => Awaitable<void>

export class Typechecker {
  private _onParseStart?: Callback
  private _onParseEnd?: Callback<[TypecheckResults]>
  private _onWatcherRerun?: Callback
  private _result: TypecheckResults = {
    files: [],
    sourceErrors: [],
    time: 0,
  }

  private _startTime = 0
  private _output = ''
  private _tests: Record<string, FileInformation> | null = {}
  private process?: ChildProcess

  protected files: string[] = []

  constructor(protected project: TestProject) { }

  public setFiles(files: string[]): void {
    this.files = files
  }

  public onParseStart(fn: Callback): void {
    this._onParseStart = fn
  }

  public onParseEnd(fn: Callback<[TypecheckResults]>): void {
    this._onParseEnd = fn
  }

  public onWatcherRerun(fn: Callback): void {
    this._onWatcherRerun = fn
  }

  protected async collectFileTests(
    filepath: string,
  ): Promise<FileInformation | null> {
    return astCollectFileInformation(this.project, filepath, { pool: 'typescript' })
  }

  protected getFiles(): string[] {
    return this.files
  }

  public async collectTests(): Promise<Record<string, FileInformation>> {
    const tests = (
      await Promise.all(
        this.getFiles().map(filepath => this.collectFileTests(filepath)),
      )
    ).reduce((acc, data) => {
      if (!data) {
        return acc
      }
      acc[data.filepath] = data
      return acc
    }, {} as Record<string, FileInformation>)
    this._tests = tests
    return tests
  }

  protected markPassed(file: File): void {
    if (!file.result?.state) {
      file.result = {
        state: 'pass',
      }
    }
    const markTasks = (tasks: Task[]): void => {
      for (const task of tasks) {
        if ('tasks' in task) {
          markTasks(task.tasks)
        }
        if (!task.result?.state && (task.mode === 'run' || task.mode === 'queued')) {
          task.result = {
            state: 'pass',
          }
        }
      }
    }
    markTasks(file.tasks)
  }

  protected async prepareResults(output: string): Promise<{
    files: File[]
    sourceErrors: TestError[]
    time: number
  }> {
    // Detect if tsc output is help text instead of error output
    // This happens when tsconfig.json is missing and tsc can't find any config
    if (output.includes('The TypeScript Compiler - Version') || output.includes('COMMON COMMANDS')) {
      const { typecheck } = this.project.config
      const tsconfigPath = typecheck.tsconfig || 'tsconfig.json'
      const msg = `TypeScript compiler returned help text instead of type checking results.\n`
        + `This usually means the tsconfig file was not found.\n\n`
        + `Possible solutions:\n`
        + `  1. Ensure '${tsconfigPath}' exists in your project root\n`
        + `  2. If using a custom tsconfig, verify the path in your Vitest config:\n`
        + `     test: { typecheck: { tsconfig: 'path/to/tsconfig.json' } }\n`
        + `  3. Check that the tsconfig file is valid JSON`

      throw new Error(msg)
    }

    const typeErrors = await this.parseTscLikeOutput(output)
    const testFiles = new Set(this.getFiles())

    if (!this._tests) {
      this._tests = await this.collectTests()
    }

    const sourceErrors: TestError[] = []
    const files: File[] = []

    testFiles.forEach((path) => {
      const { file, definitions, map, parsed } = this._tests![path]
      const errors = typeErrors.get(path)
      files.push(file)
      if (!errors) {
        this.markPassed(file)
        return
      }
      const sortedDefinitions = [
        ...definitions.sort((a, b) => b.start - a.start),
      ]
      // has no map for ".js" files that use // @ts-check
      const traceMap = (map && new TraceMap(map as any))
      const indexMap = createLocationsIndexMap(parsed)
      const markState = (task: Task, state: TaskState) => {
        task.result = {
          state:
            task.mode === 'run' || task.mode === 'only' ? state : task.mode,
        }
        if (task.suite) {
          markState(task.suite, state)
        }
        else if (task.file && task !== task.file) {
          markState(task.file, state)
        }
      }
      errors.forEach(({ error, originalError }) => {
        const processedPos = traceMap
          ? findGeneratedPosition(traceMap, {
              line: originalError.line,
              column: originalError.column,
              source: basename(path),
            })
          : originalError
        const line = processedPos.line ?? originalError.line
        const column = processedPos.column ?? originalError.column
        const index = indexMap.get(`${line}:${column}`)
        const definition
          = index != null
            && sortedDefinitions.find(
              def => def.start <= index && def.end >= index,
            )
        const suite = definition ? definition.task : file
        const state: TaskState
          = suite.mode === 'run' || suite.mode === 'only' ? 'fail' : suite.mode
        const errors = suite.result?.errors || []
        suite.result = {
          state,
          errors,
        }
        errors.push(error)
        if (state === 'fail') {
          if (suite.suite) {
            markState(suite.suite, 'fail')
          }
          else if (suite.file && suite !== suite.file) {
            markState(suite.file, 'fail')
          }
        }
      })

      this.markPassed(file)
    })

    typeErrors.forEach((errors, path) => {
      if (!testFiles.has(path)) {
        sourceErrors.push(...errors.map(({ error }) => error))
      }
    })

    return {
      files,
      sourceErrors,
      time: performance.now() - this._startTime,
    }
  }

  protected async parseTscLikeOutput(output: string): Promise<Map<string, {
    error: TestError
    originalError: TscErrorInfo
  }[]>> {
    const errorsMap = await getRawErrsMapFromTsCompile(output)
    const typesErrors = new Map<
      string,
      { error: TestError; originalError: TscErrorInfo }[]
    >()
    errorsMap.forEach((errors, path) => {
      const filepath = resolve(this.project.config.root, path)
      const suiteErrors = errors.map((info) => {
        const limit = Error.stackTraceLimit
        Error.stackTraceLimit = 0
        // Some expect-type errors have the most useful information on the second line e.g. `This expression is not callable.\n  Type 'ExpectString<number>' has no call signatures.`
        const errMsg = info.errMsg.replace(
          /\r?\n\s*(Type .* has no call signatures)/g,
          ' $1',
        )
        const error = new TypeCheckError(errMsg, [
          {
            file: filepath,
            line: info.line,
            column: info.column,
            method: '',
          },
        ])
        Error.stackTraceLimit = limit
        return {
          originalError: info,
          error: {
            name: error.name,
            message: errMsg,
            stacks: error.stacks,
            stack: '',
          } satisfies TestError,
        }
      })
      typesErrors.set(filepath, suiteErrors)
    })
    return typesErrors
  }

  public async stop(): Promise<void> {
    this.process?.kill()
    this.process = undefined
  }

  protected async ensurePackageInstalled(ctx: Vitest, checker: string): Promise<void> {
    if (checker !== 'tsc' && checker !== 'vue-tsc') {
      return
    }
    const packageName = checker === 'tsc' ? 'typescript' : 'vue-tsc'
    await ctx.packageInstaller.ensureInstalled(packageName, ctx.config.root)
  }

  public getExitCode(): number | false {
    return this.process?.exitCode != null && this.process.exitCode
  }

  public getOutput(): string {
    return this._output
  }

  private async spawn() {
    const { root, watch, typecheck } = this.project.config

    const args = [
      '--pretty',
      'false',
    ]

    if (typecheck.build) {
      args.unshift('--build')
    }
    else {
      args.push(
        '--noEmit',
        '--incremental',
        '--tsBuildInfoFile',
        join(
          process.versions.pnp ? join(os.tmpdir(), this.project.hash) : distDir,
          'tsconfig.tmp.tsbuildinfo',
        ),
      )
    }

    // use builtin watcher because it's faster
    if (watch) {
      args.push('--watch')
    }
    if (typecheck.allowJs) {
      args.push('--allowJs', '--checkJs')
    }
    if (typecheck.tsconfig) {
      if (!typecheck.build) {
        args.push('-p')
      }

      args.push(resolve(root, typecheck.tsconfig))
    }
    this._output = ''
    this._startTime = performance.now()
    const child = x(typecheck.checker, args, {
      nodeOptions: {
        cwd: root,
        stdio: 'pipe',
      },
      throwOnError: false,
    })

    this.process = child.process

    let rerunTriggered = false
    let dataReceived = false

    return new Promise<{ result: Result }>((resolve, reject) => {
      if (!child.process || !child.process.stdout) {
        reject(new Error(`Failed to initialize ${typecheck.checker}. This is a bug in Vitest - please, open an issue with reproduction.`))
        return
      }

      let resolved = false

      child.process.stdout.on('data', (chunk) => {
        dataReceived = true
        this._output += chunk
        if (!watch) {
          return
        }
        if (this._output.includes('File change detected') && !rerunTriggered) {
          this._onWatcherRerun?.()
          this._startTime = performance.now()
          this._result.sourceErrors = []
          this._result.files = []
          this._tests = null // test structure might've changed
          rerunTriggered = true
        }
        if (/Found \w+ errors*. Watching for/.test(this._output)) {
          rerunTriggered = false
          this.prepareResults(this._output).then((result) => {
            this._result = result
            this._onParseEnd?.(result)
          })
          this._output = ''
        }
      })

      // Also capture stderr for configuration errors like missing tsconfig
      child.process.stderr?.on('data', (chunk) => {
        this._output += chunk
      })

      const timeout = setTimeout(
        () => reject(new Error(`${typecheck.checker} spawn timed out`)),
        this.project.config.typecheck.spawnTimeout,
      )

      let winTimeout: NodeJS.Timeout | undefined

      function onError(cause: Error) {
        if (resolved) {
          return
        }
        clearTimeout(timeout)
        clearTimeout(winTimeout)
        resolved = true
        reject(new Error('Spawning typechecker failed - is typescript installed?', { cause }))
      }

      child.process.once('spawn', () => {
        this._onParseStart?.()
        child.process?.off('error', onError)
        clearTimeout(timeout)
        if (process.platform === 'win32') {
          // on Windows, the process might be spawned but fail to start
          // we wait for a potential error here. if "close" event didn't trigger,
          // we resolve the promise
          winTimeout = setTimeout(() => {
            resolved = true
            resolve({ result: child })
          }, 200)
        }
        else {
          resolved = true
          resolve({ result: child })
        }
      })

      if (process.platform === 'win32') {
        child.process.once('close', (code) => {
          if (code != null && code !== 0 && !dataReceived) {
            onError(new Error(`The ${typecheck.checker} command exited with code ${code}.`))
          }
        })
      }
      child.process.once('error', onError)
    })
  }

  public async start(): Promise<void> {
    if (this.process) {
      return
    }

    const { watch } = this.project.config
    const { result: child } = await this.spawn()

    if (!watch) {
      await child
      this._result = await this.prepareResults(this._output)
      await this._onParseEnd?.(this._result)
    }
  }

  public getResult(): TypecheckResults {
    return this._result
  }

  public getTestFiles(): File[] {
    return Object.values(this._tests || {}).map(i => i.file)
  }

  public getTestPacksAndEvents(): {
    packs: TaskResultPack[]
    events: TaskEventPack[]
  } {
    const packs: TaskResultPack[] = []
    const events: TaskEventPack[] = []

    for (const { file } of Object.values(this._tests || {})) {
      const result = convertTasksToEvents(file)
      packs.push(...result.packs)
      events.push(...result.events)
    }

    return { packs, events }
  }
}

function findGeneratedPosition(traceMap: TraceMap, { line, column, source }: { line: number; column: number; source: string }) {
  const found = generatedPositionFor(traceMap, {
    line,
    column,
    source,
  })
  if (found.line !== null) {
    return found
  }
  // find the next source token position when the exact error position doesn't exist in source map.
  // this can happen, for example, when the type error is in the comment "// @ts-expect-error"
  // and comments are stripped away in the generated code.
  const mappings: (EachMapping & { originalLine: number })[] = []
  eachMapping(traceMap, (m) => {
    if (
      m.source === source
      && m.originalLine !== null
      && m.originalColumn !== null
      && (line === m.originalLine ? column < m.originalColumn : line < m.originalLine)
    ) {
      mappings.push(m)
    }
  })
  const next = mappings
    .sort((a, b) =>
      a.originalLine === b.originalLine ? a.originalColumn - b.originalColumn : a.originalLine - b.originalLine,
    )
    .at(0)
  if (next) {
    return {
      line: next.generatedLine,
      column: next.generatedColumn,
    }
  }
  return { line: null, column: null }
}
