phpstorm-phpstan

#!/usr/bin/env php
<?php

declare(strict_types=1);

/**
 * Possible names of config file. Ordered by priority.
 */
const CONFIG_FILENAMES = [
  'phpstan.neon',
  'phpstan.neon.dist',
];

/**
 * Name of tool to run.
 */
const TOOL_NAME = 'phpstan';

/**
 * Paths to search for tool relative to directory of config dir starting with
 * "/". Ordered by priority.
 */
const RELATIVE_TOOL_PATHS = [
  '/tools/phpstan/vendor/bin/phpstan',
  '/vendor/bin/phpstan',
];

/**
 * Absolute path to tool, name of command in PATH, or NULL. Used if tool could
 * not be found in relative paths.
 */
const TOOL_FALLBACK = TOOL_NAME;

$fileToAnalyze = $argv[$argc - 1];

function buildArgs(array $argv, int $argc, string $configFile): array {
  for ($i = 1; $i < $argc; ++$i) {
    if ('-c' === $argv[$i]) {
      $argv[$i + 1] = $configFile;

      return $argv;
    }
  }

  throw new \RuntimeException('Argument "-c" not found');
}

function findConfigFile(string $origFile, string $projectDir): string {
  $configDir = \dirname($origFile);
  $projectParentDir = dirname($projectDir);
  while ($configDir !== $projectParentDir && $configDir !== '/') {
    foreach (CONFIG_FILENAMES as $configFilename) {
      $configFile = $configDir . '/' . $configFilename;
      if (\file_exists($configFile)) {
        return $configFile;
      }
    }

    $configDir = \dirname($configDir);
  }

  \fprintf(STDERR, "No configuration file found for $origFile\n");
  exit(0);
}

function findTool(string $configDir): string {
  foreach (RELATIVE_TOOL_PATHS as $path) {
    $tool = $configDir . $path;
    if (\file_exists($tool)) {
      return $tool;
    }
  }

  $command = locateCommand(TOOL_FALLBACK);
  if (NULL !== $command) {
    return $command;
  }

  throw new \RuntimeException(TOOL_NAME . ' not found');
}

function locateCommand(?string $command): ?string {
  if (NULL === $command) {
    return NULL;
  }

  return \exec('which ' . $command) ?: NULL;
}

// File to analyze should be below /tmp with the same directory structure as in the project directory.
if (1 !== \preg_match('#^/tmp/[^/]+(?<file>.+)$#', $fileToAnalyze, $matches)) {
  throw new \RuntimeException('Could not determine original file from ' . $fileToAnalyze);
}

$projectDir = \getcwd();
$origFile = $projectDir . $matches['file'];

$configFile = findConfigFile($origFile, $projectDir);
$configDir = \dirname($configFile);
$tool = findTool($configDir);

$argv[0] = $tool;
$argv = buildArgs($argv, $argc, $configFile);

\chdir($configDir);
\putenv('XDEBUG_MODE=off');
\passthru(PHP_BINARY . ' ' . \implode(' ', $argv), $exitCode);
exit($exitCode);