2016-06-10 00:08:25 +02:00
|
|
|
<?php
|
2016-08-13 20:20:46 +02:00
|
|
|
namespace Psalm\Checker;
|
2016-06-10 00:08:25 +02:00
|
|
|
|
2016-08-13 20:20:46 +02:00
|
|
|
use Psalm\Config;
|
2017-01-12 06:54:41 +01:00
|
|
|
use Psalm\Context;
|
2016-08-14 01:44:24 +02:00
|
|
|
use Psalm\Exception;
|
2016-11-02 07:29:00 +01:00
|
|
|
use Psalm\IssueBuffer;
|
2017-01-02 21:31:18 +01:00
|
|
|
use Psalm\Storage\PropertyStorage;
|
|
|
|
use Psalm\Type;
|
2016-11-02 07:29:00 +01:00
|
|
|
use RecursiveDirectoryIterator;
|
|
|
|
use RecursiveIteratorIterator;
|
2016-08-13 20:20:46 +02:00
|
|
|
|
2016-06-10 00:08:25 +02:00
|
|
|
class ProjectChecker
|
|
|
|
{
|
2016-06-26 19:45:20 +02:00
|
|
|
/**
|
|
|
|
* Cached config
|
2016-11-02 07:29:00 +01:00
|
|
|
*
|
2016-06-26 19:45:20 +02:00
|
|
|
* @var Config|null
|
|
|
|
*/
|
2016-12-08 04:38:57 +01:00
|
|
|
protected $config;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var self
|
|
|
|
*/
|
|
|
|
public static $instance;
|
2016-06-26 19:45:20 +02:00
|
|
|
|
2016-07-25 21:05:58 +02:00
|
|
|
/**
|
|
|
|
* Whether or not to use colors in error output
|
2016-11-02 07:29:00 +01:00
|
|
|
*
|
2016-07-25 21:05:58 +02:00
|
|
|
* @var boolean
|
|
|
|
*/
|
2016-12-08 04:38:57 +01:00
|
|
|
public $use_color;
|
2016-07-25 21:05:58 +02:00
|
|
|
|
2016-08-04 20:38:43 +02:00
|
|
|
/**
|
|
|
|
* Whether or not to show informational messages
|
2016-11-02 07:29:00 +01:00
|
|
|
*
|
2016-08-04 20:38:43 +02:00
|
|
|
* @var boolean
|
|
|
|
*/
|
2016-12-08 04:38:57 +01:00
|
|
|
public $show_info;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var string
|
|
|
|
*/
|
|
|
|
public $output_format;
|
|
|
|
|
2017-01-02 21:31:18 +01:00
|
|
|
/**
|
|
|
|
* @var bool
|
|
|
|
*/
|
|
|
|
public $debug_output = false;
|
|
|
|
|
2017-01-13 20:06:05 +01:00
|
|
|
/**
|
|
|
|
* @var boolean
|
|
|
|
*/
|
|
|
|
public $update_docblocks = false;
|
|
|
|
|
2017-01-12 06:54:41 +01:00
|
|
|
/**
|
|
|
|
* @var boolean
|
|
|
|
*/
|
|
|
|
public $cache = false;
|
|
|
|
|
2017-01-09 05:58:06 +01:00
|
|
|
/**
|
|
|
|
* @var array<string, bool>
|
|
|
|
*/
|
|
|
|
protected $existing_classlikes_ci = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, bool>
|
|
|
|
*/
|
|
|
|
protected $existing_classlikes = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, bool>
|
|
|
|
*/
|
|
|
|
protected $existing_classes_ci = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, bool>
|
|
|
|
*/
|
|
|
|
public $existing_classes = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, bool>
|
|
|
|
*/
|
|
|
|
protected $existing_interfaces_ci = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, bool>
|
|
|
|
*/
|
|
|
|
public $existing_interfaces = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, bool>
|
|
|
|
*/
|
|
|
|
protected $existing_traits_ci = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, bool>
|
|
|
|
*/
|
|
|
|
public $existing_traits = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, string>
|
|
|
|
*/
|
|
|
|
protected $classlike_files = [];
|
|
|
|
|
2017-01-02 21:31:18 +01:00
|
|
|
/**
|
|
|
|
* @var array<string, string>
|
|
|
|
*/
|
|
|
|
protected $files_to_visit = [];
|
|
|
|
|
2017-01-08 18:55:32 +01:00
|
|
|
/**
|
|
|
|
* @var array<string, string>
|
|
|
|
*/
|
|
|
|
protected $files_to_analyze = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, bool>
|
|
|
|
*/
|
|
|
|
protected $scanned_files = [];
|
|
|
|
|
2017-01-02 21:31:18 +01:00
|
|
|
/**
|
|
|
|
* @var array<string, bool>
|
|
|
|
*/
|
|
|
|
protected $visited_files = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, bool>
|
|
|
|
*/
|
|
|
|
protected $visited_classes = [];
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @var array<string, FileChecker>
|
|
|
|
*/
|
|
|
|
protected $file_checkers = [];
|
|
|
|
|
2017-01-12 06:54:41 +01:00
|
|
|
/**
|
|
|
|
* @var array<string, MethodChecker>
|
|
|
|
*/
|
|
|
|
public $method_checkers = [];
|
|
|
|
|
2016-12-08 04:38:57 +01:00
|
|
|
/**
|
|
|
|
* @var array<string, string>
|
|
|
|
*/
|
|
|
|
public $fake_files = [];
|
|
|
|
|
|
|
|
const TYPE_CONSOLE = 'console';
|
|
|
|
const TYPE_JSON = 'json';
|
2017-01-16 04:39:26 +01:00
|
|
|
const TYPE_EMACS = 'emacs';
|
2016-12-08 04:38:57 +01:00
|
|
|
|
2016-12-17 06:48:31 +01:00
|
|
|
/**
|
|
|
|
* @param boolean $use_color
|
|
|
|
* @param boolean $show_info
|
2017-01-02 21:31:18 +01:00
|
|
|
* @param boolean $debug_output
|
2016-12-17 06:48:31 +01:00
|
|
|
* @param string $output_format
|
2017-01-13 20:06:05 +01:00
|
|
|
* @param bool $update_docblocks
|
2016-12-17 06:48:31 +01:00
|
|
|
*/
|
2017-01-02 21:31:18 +01:00
|
|
|
public function __construct(
|
|
|
|
$use_color = true,
|
|
|
|
$show_info = true,
|
|
|
|
$output_format = self::TYPE_CONSOLE,
|
2017-01-13 20:06:05 +01:00
|
|
|
$debug_output = false,
|
|
|
|
$update_docblocks = false
|
2017-01-02 21:31:18 +01:00
|
|
|
) {
|
2016-12-08 04:38:57 +01:00
|
|
|
$this->use_color = $use_color;
|
|
|
|
$this->show_info = $show_info;
|
2017-01-02 21:31:18 +01:00
|
|
|
$this->debug_output = $debug_output;
|
2017-01-13 20:06:05 +01:00
|
|
|
$this->update_docblocks = $update_docblocks;
|
2016-12-08 04:38:57 +01:00
|
|
|
|
2017-01-16 04:39:26 +01:00
|
|
|
if (!in_array($output_format, [self::TYPE_CONSOLE, self::TYPE_JSON, self::TYPE_EMACS])) {
|
2016-12-08 04:38:57 +01:00
|
|
|
throw new \UnexpectedValueException('Unrecognised output format ' . $output_format);
|
|
|
|
}
|
|
|
|
|
|
|
|
$this->output_format = $output_format;
|
|
|
|
self::$instance = $this;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return self
|
|
|
|
*/
|
|
|
|
public static function getInstance()
|
|
|
|
{
|
|
|
|
return self::$instance;
|
|
|
|
}
|
2016-08-04 20:38:43 +02:00
|
|
|
|
2016-10-15 06:12:57 +02:00
|
|
|
/**
|
|
|
|
* @param boolean $is_diff
|
|
|
|
* @return void
|
|
|
|
*/
|
2017-01-13 20:06:05 +01:00
|
|
|
public function check($is_diff = false)
|
2016-06-13 21:33:18 +02:00
|
|
|
{
|
2016-10-15 06:12:57 +02:00
|
|
|
$cwd = getcwd();
|
|
|
|
|
2016-11-06 05:59:29 +01:00
|
|
|
$start_checks = (int)microtime(true);
|
|
|
|
|
2016-10-15 06:12:57 +02:00
|
|
|
if (!$cwd) {
|
|
|
|
throw new \InvalidArgumentException('Cannot work with empty cwd');
|
|
|
|
}
|
|
|
|
|
2016-12-08 04:38:57 +01:00
|
|
|
if (!$this->config) {
|
2017-01-02 21:31:18 +01:00
|
|
|
$this->config = $this->getConfigForPath($cwd);
|
2016-06-26 21:33:51 +02:00
|
|
|
}
|
2016-06-26 19:45:20 +02:00
|
|
|
|
2016-10-07 06:58:08 +02:00
|
|
|
$diff_files = null;
|
2016-10-07 19:26:29 +02:00
|
|
|
$deleted_files = null;
|
2016-10-05 19:24:46 +02:00
|
|
|
|
2016-10-07 06:58:08 +02:00
|
|
|
if ($is_diff && FileChecker::loadReferenceCache() && FileChecker::canDiffFiles()) {
|
2016-10-07 19:26:29 +02:00
|
|
|
$deleted_files = FileChecker::getDeletedReferencedFiles();
|
|
|
|
$diff_files = $deleted_files;
|
2016-10-07 06:58:08 +02:00
|
|
|
|
2016-12-29 16:24:10 +01:00
|
|
|
foreach ($this->config->getProjectDirectories() as $dir_name) {
|
2016-12-08 04:38:57 +01:00
|
|
|
$diff_files = array_merge($diff_files, self::getDiffFilesInDir($dir_name, $this->config));
|
2016-10-07 06:58:08 +02:00
|
|
|
}
|
2016-10-05 19:24:46 +02:00
|
|
|
}
|
2016-10-07 06:58:08 +02:00
|
|
|
|
2016-11-06 05:59:29 +01:00
|
|
|
$files_checked = [];
|
|
|
|
|
2016-10-07 19:26:29 +02:00
|
|
|
if ($diff_files === null || $deleted_files === null || count($diff_files) > 200) {
|
2016-12-29 16:24:10 +01:00
|
|
|
foreach ($this->config->getProjectDirectories() as $dir_name) {
|
2017-01-13 20:06:05 +01:00
|
|
|
$this->checkDirWithConfig($dir_name, $this->config);
|
2016-10-05 19:24:46 +02:00
|
|
|
}
|
2017-01-02 21:31:18 +01:00
|
|
|
|
|
|
|
$this->visitFiles();
|
|
|
|
$this->analyzeFiles();
|
2016-11-02 07:29:00 +01:00
|
|
|
} else {
|
2017-01-02 21:31:18 +01:00
|
|
|
if ($this->debug_output) {
|
2016-10-07 06:58:08 +02:00
|
|
|
echo count($diff_files) . ' changed files' . PHP_EOL;
|
|
|
|
}
|
2016-06-21 01:30:38 +02:00
|
|
|
|
2016-10-07 06:58:08 +02:00
|
|
|
$file_list = self::getReferencedFilesFromDiff($diff_files);
|
2016-11-02 07:29:00 +01:00
|
|
|
|
2016-10-07 19:26:29 +02:00
|
|
|
// strip out deleted files
|
|
|
|
$file_list = array_diff($file_list, $deleted_files);
|
2017-01-02 21:31:18 +01:00
|
|
|
$this->checkDiffFilesWithConfig($this->config, $file_list);
|
2017-01-12 07:12:01 +01:00
|
|
|
|
|
|
|
$this->visitFiles();
|
|
|
|
$this->analyzeFiles();
|
2016-10-07 06:58:08 +02:00
|
|
|
}
|
|
|
|
|
2016-11-06 05:59:29 +01:00
|
|
|
$removed_parser_files = FileChecker::deleteOldParserCaches(
|
|
|
|
$is_diff ? FileChecker::getLastGoodRun() : $start_checks
|
|
|
|
);
|
|
|
|
|
2017-01-02 21:31:18 +01:00
|
|
|
if ($this->debug_output && $removed_parser_files) {
|
2016-11-06 05:59:29 +01:00
|
|
|
echo 'Removed ' . $removed_parser_files . ' old parser caches' . PHP_EOL;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($is_diff) {
|
2016-12-08 04:38:57 +01:00
|
|
|
FileChecker::touchParserCaches($this->getAllFiles($this->config), $start_checks);
|
2016-11-06 05:59:29 +01:00
|
|
|
}
|
|
|
|
|
2017-01-02 21:31:18 +01:00
|
|
|
IssueBuffer::finish(true, (int)$start_checks, $this->debug_output);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
protected function visitFiles()
|
|
|
|
{
|
|
|
|
if (!$this->config) {
|
|
|
|
throw new \UnexpectedValueException('$this->config cannot be null');
|
|
|
|
}
|
|
|
|
|
|
|
|
$filetype_handlers = $this->config->getFiletypeHandlers();
|
|
|
|
|
2017-01-08 18:55:32 +01:00
|
|
|
foreach ($this->files_to_analyze as $file_path => $_) {
|
2017-01-02 21:31:18 +01:00
|
|
|
$this->visitFile($file_path, $filetype_handlers);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
protected function analyzeFiles()
|
|
|
|
{
|
2017-01-08 18:55:32 +01:00
|
|
|
if (!$this->config) {
|
|
|
|
throw new \UnexpectedValueException('$this->config cannot be null');
|
|
|
|
}
|
|
|
|
|
|
|
|
$filetype_handlers = $this->config->getFiletypeHandlers();
|
|
|
|
|
|
|
|
foreach ($this->files_to_analyze as $file_path => $_) {
|
|
|
|
$file_checker = $this->visitFile($file_path, $filetype_handlers);
|
2017-01-02 21:31:18 +01:00
|
|
|
|
|
|
|
if ($this->debug_output) {
|
|
|
|
echo 'Analyzing ' . $file_checker->getFilePath() . PHP_EOL;
|
|
|
|
}
|
|
|
|
|
2017-01-13 20:06:05 +01:00
|
|
|
$file_checker->analyze($this->update_docblocks);
|
2017-01-02 21:31:18 +01:00
|
|
|
}
|
2016-06-13 21:33:18 +02:00
|
|
|
}
|
|
|
|
|
2016-10-15 06:12:57 +02:00
|
|
|
/**
|
|
|
|
* @param string $dir_name
|
|
|
|
* @return void
|
|
|
|
*/
|
2017-01-13 20:06:05 +01:00
|
|
|
public function checkDir($dir_name)
|
2016-06-10 00:08:25 +02:00
|
|
|
{
|
2016-12-08 04:38:57 +01:00
|
|
|
if (!$this->config) {
|
2017-01-02 21:31:18 +01:00
|
|
|
$this->config = $this->getConfigForPath($dir_name);
|
2017-01-18 04:10:21 +01:00
|
|
|
$this->config->hide_external_errors = $this->config->isInProjectDirs($dir_name . DIRECTORY_SEPARATOR);
|
2016-06-26 19:45:20 +02:00
|
|
|
}
|
2016-06-10 00:08:25 +02:00
|
|
|
|
2016-10-05 19:24:46 +02:00
|
|
|
FileChecker::loadReferenceCache();
|
|
|
|
|
2017-01-02 21:31:18 +01:00
|
|
|
$start_checks = (int)microtime(true);
|
2016-06-26 21:25:38 +02:00
|
|
|
|
2017-01-19 05:34:56 +01:00
|
|
|
$this->checkDirWithConfig($dir_name, $this->config, true);
|
2017-01-02 21:31:18 +01:00
|
|
|
|
|
|
|
$this->visitFiles();
|
|
|
|
$this->analyzeFiles();
|
|
|
|
|
|
|
|
IssueBuffer::finish(false, $start_checks, $this->debug_output);
|
2016-06-26 21:25:38 +02:00
|
|
|
}
|
|
|
|
|
2016-10-15 06:12:57 +02:00
|
|
|
/**
|
|
|
|
* @param string $dir_name
|
|
|
|
* @param Config $config
|
|
|
|
* @return void
|
|
|
|
*/
|
2017-01-19 05:34:56 +01:00
|
|
|
protected function checkDirWithConfig($dir_name, Config $config, $allow_non_project_files = false)
|
2016-06-26 21:25:38 +02:00
|
|
|
{
|
|
|
|
$file_extensions = $config->getFileExtensions();
|
2016-06-13 21:33:18 +02:00
|
|
|
|
|
|
|
/** @var RecursiveDirectoryIterator */
|
2016-06-28 20:28:45 +02:00
|
|
|
$iterator = new RecursiveIteratorIterator(new RecursiveDirectoryIterator($dir_name));
|
2016-06-13 21:33:18 +02:00
|
|
|
$iterator->rewind();
|
|
|
|
|
|
|
|
while ($iterator->valid()) {
|
|
|
|
if (!$iterator->isDot()) {
|
2016-06-20 06:38:13 +02:00
|
|
|
$extension = $iterator->getExtension();
|
|
|
|
if (in_array($extension, $file_extensions)) {
|
2017-01-02 21:31:18 +01:00
|
|
|
$file_path = (string)$iterator->getRealPath();
|
2016-12-30 05:37:09 +01:00
|
|
|
|
2017-01-19 05:34:56 +01:00
|
|
|
if ($allow_non_project_files || $config->isInProjectDirs($file_path)) {
|
2017-01-08 18:55:32 +01:00
|
|
|
$this->files_to_analyze[$file_path] = $file_path;
|
2016-06-20 06:38:13 +02:00
|
|
|
}
|
2016-06-13 21:33:18 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
$iterator->next();
|
|
|
|
}
|
2016-06-20 06:38:13 +02:00
|
|
|
}
|
2016-06-10 00:08:25 +02:00
|
|
|
|
2016-11-07 23:07:59 +01:00
|
|
|
/**
|
|
|
|
* @param Config $config
|
|
|
|
* @return array<int, string>
|
|
|
|
*/
|
2016-12-08 04:38:57 +01:00
|
|
|
protected function getAllFiles(Config $config)
|
2016-11-06 05:59:29 +01:00
|
|
|
{
|
|
|
|
$file_extensions = $config->getFileExtensions();
|
|
|
|
$file_names = [];
|
|
|
|
|
2016-12-29 16:24:10 +01:00
|
|
|
foreach ($config->getProjectDirectories() as $dir_name) {
|
2016-11-06 05:59:29 +01:00
|
|
|
/** @var RecursiveDirectoryIterator */
|
|
|
|
$iterator = new RecursiveIteratorIterator(new RecursiveDirectoryIterator($dir_name));
|
|
|
|
$iterator->rewind();
|
|
|
|
|
|
|
|
while ($iterator->valid()) {
|
|
|
|
if (!$iterator->isDot()) {
|
|
|
|
$extension = $iterator->getExtension();
|
|
|
|
if (in_array($extension, $file_extensions)) {
|
|
|
|
$file_names[] = (string)$iterator->getRealPath();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
$iterator->next();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return $file_names;
|
|
|
|
}
|
|
|
|
|
2016-10-15 06:12:57 +02:00
|
|
|
/**
|
|
|
|
* @param string $dir_name
|
|
|
|
* @param Config $config
|
|
|
|
* @return array<string>
|
|
|
|
*/
|
2016-10-07 06:58:08 +02:00
|
|
|
protected static function getDiffFilesInDir($dir_name, Config $config)
|
|
|
|
{
|
|
|
|
$file_extensions = $config->getFileExtensions();
|
|
|
|
$filetype_handlers = $config->getFiletypeHandlers();
|
|
|
|
|
|
|
|
/** @var RecursiveDirectoryIterator */
|
|
|
|
$iterator = new RecursiveIteratorIterator(new RecursiveDirectoryIterator($dir_name));
|
|
|
|
$iterator->rewind();
|
|
|
|
|
|
|
|
$diff_files = [];
|
|
|
|
|
|
|
|
while ($iterator->valid()) {
|
|
|
|
if (!$iterator->isDot()) {
|
|
|
|
$extension = $iterator->getExtension();
|
|
|
|
if (in_array($extension, $file_extensions)) {
|
2016-10-15 06:12:57 +02:00
|
|
|
$file_name = (string)$iterator->getRealPath();
|
2016-10-07 06:58:08 +02:00
|
|
|
|
2017-01-16 17:51:42 +01:00
|
|
|
if ($config->isInProjectDirs($file_name)) {
|
2016-12-30 05:37:09 +01:00
|
|
|
if (FileChecker::hasFileChanged($file_name)) {
|
|
|
|
$diff_files[] = $file_name;
|
|
|
|
}
|
2016-10-07 06:58:08 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
$iterator->next();
|
|
|
|
}
|
|
|
|
|
|
|
|
return $diff_files;
|
|
|
|
}
|
|
|
|
|
2016-10-15 06:12:57 +02:00
|
|
|
/**
|
|
|
|
* @param Config $config
|
2016-11-04 01:51:56 +01:00
|
|
|
* @param array<string> $file_list
|
2016-10-15 06:12:57 +02:00
|
|
|
* @return void
|
|
|
|
*/
|
2017-01-02 21:31:18 +01:00
|
|
|
protected function checkDiffFilesWithConfig(Config $config, array $file_list = [])
|
2016-10-05 19:24:46 +02:00
|
|
|
{
|
|
|
|
$file_extensions = $config->getFileExtensions();
|
|
|
|
$filetype_handlers = $config->getFiletypeHandlers();
|
|
|
|
|
2017-01-12 07:12:01 +01:00
|
|
|
foreach ($file_list as $file_path) {
|
|
|
|
if (!file_exists($file_path)) {
|
2016-10-09 02:49:14 +02:00
|
|
|
continue;
|
|
|
|
}
|
2016-10-18 16:17:25 +02:00
|
|
|
|
2017-01-16 17:51:42 +01:00
|
|
|
if (!$config->isInProjectDirs($file_path)) {
|
2017-01-02 21:31:18 +01:00
|
|
|
if ($this->debug_output) {
|
2017-01-12 07:12:01 +01:00
|
|
|
echo('skipping ' . $file_path . PHP_EOL);
|
2016-10-18 16:17:25 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
continue;
|
|
|
|
}
|
2016-10-09 02:49:14 +02:00
|
|
|
|
2017-01-12 07:12:01 +01:00
|
|
|
$this->files_to_analyze[$file_path] = $file_path;
|
2016-10-05 19:24:46 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-10-15 06:12:57 +02:00
|
|
|
/**
|
|
|
|
* @param string $file_name
|
|
|
|
* @return void
|
|
|
|
*/
|
2017-01-13 20:06:05 +01:00
|
|
|
public function checkFile($file_name)
|
2016-06-20 06:38:13 +02:00
|
|
|
{
|
2017-01-02 21:31:18 +01:00
|
|
|
if ($this->debug_output) {
|
2016-06-20 06:38:13 +02:00
|
|
|
echo 'Checking ' . $file_name . PHP_EOL;
|
|
|
|
}
|
2016-06-10 00:08:25 +02:00
|
|
|
|
2016-12-08 04:38:57 +01:00
|
|
|
if (!$this->config) {
|
2017-01-02 21:31:18 +01:00
|
|
|
$this->config = $this->getConfigForPath($file_name);
|
2016-06-26 19:45:20 +02:00
|
|
|
}
|
2016-06-20 06:38:13 +02:00
|
|
|
|
2017-01-02 21:31:18 +01:00
|
|
|
$start_checks = (int)microtime(true);
|
|
|
|
|
2017-01-16 17:51:42 +01:00
|
|
|
$this->config->hide_external_errors = $this->config->isInProjectDirs($file_name);
|
2016-09-01 05:12:35 +02:00
|
|
|
|
2016-07-26 21:00:40 +02:00
|
|
|
$file_name_parts = explode('.', $file_name);
|
|
|
|
|
|
|
|
$extension = array_pop($file_name_parts);
|
2016-06-20 06:38:13 +02:00
|
|
|
|
2016-12-08 04:38:57 +01:00
|
|
|
$filetype_handlers = $this->config->getFiletypeHandlers();
|
2016-06-20 06:38:13 +02:00
|
|
|
|
2016-10-05 19:24:46 +02:00
|
|
|
FileChecker::loadReferenceCache();
|
|
|
|
|
2017-01-08 18:55:32 +01:00
|
|
|
$file_checker = $this->visitFile($file_name, $filetype_handlers);
|
2017-01-02 21:31:18 +01:00
|
|
|
|
|
|
|
if ($this->debug_output) {
|
|
|
|
echo 'Analyzing ' . $file_checker->getFilePath() . PHP_EOL;
|
2016-06-10 00:08:25 +02:00
|
|
|
}
|
2016-06-20 06:38:13 +02:00
|
|
|
|
2017-01-13 20:06:05 +01:00
|
|
|
$file_checker->analyze($this->update_docblocks);
|
2016-06-21 01:30:38 +02:00
|
|
|
|
2017-01-02 21:31:18 +01:00
|
|
|
IssueBuffer::finish(false, $start_checks, $this->debug_output);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $file_path
|
|
|
|
* @param array $filetype_handlers
|
2017-01-08 18:55:32 +01:00
|
|
|
* @return FileChecker
|
2017-01-02 21:31:18 +01:00
|
|
|
*/
|
2017-01-08 18:55:32 +01:00
|
|
|
public function getFileChecker($file_path, array $filetype_handlers)
|
2017-01-02 21:31:18 +01:00
|
|
|
{
|
|
|
|
$extension = (string)pathinfo($file_path)['extension'];
|
|
|
|
|
|
|
|
if (isset($filetype_handlers[$extension])) {
|
|
|
|
/** @var FileChecker */
|
2017-01-12 06:54:41 +01:00
|
|
|
return new $filetype_handlers[$extension]($file_path, $this);
|
2017-01-02 21:31:18 +01:00
|
|
|
}
|
|
|
|
|
2017-01-08 18:55:32 +01:00
|
|
|
return new FileChecker($file_path, $this);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $file_path
|
|
|
|
* @param array $filetype_handlers
|
|
|
|
* @return FileChecker
|
|
|
|
*/
|
|
|
|
public function visitFile($file_path, array $filetype_handlers)
|
|
|
|
{
|
|
|
|
$file_checker = $this->getFileChecker($file_path, $filetype_handlers);
|
2017-01-02 21:31:18 +01:00
|
|
|
|
|
|
|
if ($this->debug_output) {
|
2017-01-08 18:55:32 +01:00
|
|
|
echo (isset($this->visited_files[$file_path]) ? 'Rev' : 'V') . 'isiting ' . $file_path . PHP_EOL;
|
2017-01-02 21:31:18 +01:00
|
|
|
}
|
|
|
|
|
2017-01-08 19:21:21 +01:00
|
|
|
$this->visited_files[$file_path] = true;
|
|
|
|
|
2017-01-08 18:55:32 +01:00
|
|
|
$file_checker->visit();
|
|
|
|
|
|
|
|
return $file_checker;
|
2017-01-02 21:31:18 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2017-01-09 05:58:06 +01:00
|
|
|
* Checks whether a class exists, and if it does then records what file it's in
|
|
|
|
* for later checking
|
|
|
|
*
|
2017-01-02 21:31:18 +01:00
|
|
|
* @param string $fq_class_name
|
|
|
|
* @return boolean
|
|
|
|
* @psalm-suppress MixedMethodCall due to Reflection class weirdness
|
|
|
|
*/
|
2017-01-09 05:58:06 +01:00
|
|
|
public function fileExistsForClassLike($fq_class_name)
|
2017-01-02 21:31:18 +01:00
|
|
|
{
|
2017-01-09 05:58:06 +01:00
|
|
|
if (isset($this->existing_classlikes_ci[strtolower($fq_class_name)])) {
|
|
|
|
return $this->existing_classlikes_ci[strtolower($fq_class_name)];
|
2017-01-02 21:31:18 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
$old_level = error_reporting();
|
|
|
|
error_reporting(0);
|
|
|
|
|
|
|
|
try {
|
|
|
|
$reflected_class = new \ReflectionClass($fq_class_name);
|
|
|
|
} catch (\ReflectionException $e) {
|
|
|
|
error_reporting($old_level);
|
|
|
|
|
|
|
|
$this->visited_classes[$fq_class_name] = false;
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
error_reporting($old_level);
|
|
|
|
|
|
|
|
if ($reflected_class->isUserDefined()) {
|
2017-01-09 05:58:06 +01:00
|
|
|
$fq_class_name = $reflected_class->getName();
|
|
|
|
$this->existing_classlikes_ci[strtolower($fq_class_name)] = true;
|
|
|
|
$this->existing_classlikes[$fq_class_name] = true;
|
|
|
|
|
|
|
|
if ($reflected_class->isInterface()) {
|
|
|
|
$this->addFullyQualifiedInterfaceName($fq_class_name);
|
|
|
|
} elseif ($reflected_class->isTrait()) {
|
|
|
|
$this->addFullyQualifiedTraitName($fq_class_name);
|
|
|
|
} else {
|
|
|
|
$this->addFullyQualifiedClassName($fq_class_name);
|
|
|
|
}
|
|
|
|
|
|
|
|
$this->classlike_files[$fq_class_name] = (string)$reflected_class->getFileName();
|
|
|
|
} else {
|
|
|
|
$this->visited_classes[$fq_class_name] = true;
|
|
|
|
ClassLikeChecker::registerReflectedClass($reflected_class->name, $reflected_class, $this);
|
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2017-01-12 06:54:41 +01:00
|
|
|
* @param string $fq_class_name
|
2017-01-09 05:58:06 +01:00
|
|
|
* @return boolean
|
|
|
|
* @psalm-suppress MixedMethodCall due to Reflection class weirdness
|
|
|
|
*/
|
|
|
|
public function visitFileForClassLike($fq_class_name)
|
|
|
|
{
|
|
|
|
if (!$fq_class_name || strpos($fq_class_name, '::') !== false) {
|
|
|
|
throw new \InvalidArgumentException('Invalid class name ' . $fq_class_name);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (isset($this->visited_classes[$fq_class_name])) {
|
|
|
|
return $this->visited_classes[$fq_class_name];
|
|
|
|
}
|
|
|
|
|
|
|
|
$this->visited_classes[$fq_class_name] = true;
|
|
|
|
|
|
|
|
// this registers the class if it's not user defined
|
|
|
|
if (!$this->fileExistsForClassLike($fq_class_name)) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (isset($this->classlike_files[$fq_class_name])) {
|
|
|
|
$file_path = $this->classlike_files[$fq_class_name];
|
2017-01-02 21:31:18 +01:00
|
|
|
|
|
|
|
if (isset($this->visited_files[$file_path])) {
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2017-01-09 05:58:06 +01:00
|
|
|
$this->visited_files[$file_path] = true;
|
2017-01-02 21:31:18 +01:00
|
|
|
|
|
|
|
$file_checker = new FileChecker($file_path, $this);
|
|
|
|
|
|
|
|
$short_file_name = $file_checker->getFileName();
|
|
|
|
|
|
|
|
ClassLikeChecker::$file_classes[$file_path][] = $fq_class_name;
|
|
|
|
|
2017-01-09 05:58:06 +01:00
|
|
|
$fq_class_name_lower = strtolower($fq_class_name);
|
2017-01-02 21:31:18 +01:00
|
|
|
|
2017-01-09 05:58:06 +01:00
|
|
|
if (!isset(ClassLikeChecker::$storage[$fq_class_name_lower])) {
|
|
|
|
ClassLikeChecker::$storage[$fq_class_name_lower] =
|
|
|
|
$storage = new \Psalm\Storage\ClassLikeStorage();
|
|
|
|
$storage->file_path = $file_path;
|
|
|
|
$storage->file_name = $short_file_name;
|
|
|
|
} else {
|
|
|
|
$storage = ClassLikeChecker::$storage[$fq_class_name_lower];
|
|
|
|
}
|
2017-01-02 21:31:18 +01:00
|
|
|
|
|
|
|
if ($this->debug_output) {
|
|
|
|
echo 'Visiting ' . $file_path . PHP_EOL;
|
|
|
|
}
|
|
|
|
|
|
|
|
$file_checker->visit();
|
|
|
|
|
|
|
|
if (ClassLikeChecker::inPropertyMap($fq_class_name)) {
|
|
|
|
$public_mapped_properties = ClassLikeChecker::getPropertyMap()[strtolower($fq_class_name)];
|
|
|
|
|
|
|
|
foreach ($public_mapped_properties as $property_name => $public_mapped_property) {
|
|
|
|
$property_type = Type::parseString($public_mapped_property);
|
|
|
|
$storage->properties[$property_name] = new PropertyStorage();
|
|
|
|
$storage->properties[$property_name]->type = $property_type;
|
|
|
|
$storage->properties[$property_name]->visibility = ClassLikeChecker::VISIBILITY_PUBLIC;
|
|
|
|
|
|
|
|
$property_id = $fq_class_name . '::$' . $property_name;
|
|
|
|
|
|
|
|
$storage->declaring_property_ids[$property_name] = $property_id;
|
|
|
|
$storage->appearing_property_ids[$property_name] = $property_id;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return true;
|
2016-06-10 00:08:25 +02:00
|
|
|
}
|
2016-06-26 19:45:20 +02:00
|
|
|
|
2017-01-12 06:54:41 +01:00
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function enableCache()
|
|
|
|
{
|
|
|
|
$this->cache = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function disableCache()
|
|
|
|
{
|
|
|
|
$this->cache = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return bool
|
|
|
|
*/
|
|
|
|
public function canCache()
|
|
|
|
{
|
|
|
|
return $this->cache;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $original_method_id
|
|
|
|
* @param Context $this_context
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function getMethodMutations($original_method_id, Context $this_context)
|
|
|
|
{
|
|
|
|
list($fq_class_name, $method_name) = explode('::', $original_method_id);
|
|
|
|
|
|
|
|
$file_checker = $this->getVisitedFileCheckerForClassLike($fq_class_name);
|
|
|
|
|
|
|
|
$declaring_method_id = (string)MethodChecker::getDeclaringMethodId($original_method_id);
|
|
|
|
list($declaring_fq_class_name, $declaring_method_name) = explode('::', $declaring_method_id);
|
|
|
|
|
|
|
|
if (strtolower($declaring_fq_class_name) !== strtolower($fq_class_name)) {
|
|
|
|
$file_checker = $this->getVisitedFileCheckerForClassLike($declaring_fq_class_name);
|
|
|
|
}
|
|
|
|
|
|
|
|
$file_checker->analyze(false, true);
|
|
|
|
|
|
|
|
if (!$this_context->self) {
|
|
|
|
$this_context->self = $fq_class_name;
|
|
|
|
$this_context->vars_in_scope['$this'] = Type::parseString($fq_class_name);
|
|
|
|
}
|
|
|
|
|
|
|
|
$file_checker->getMethodMutations($declaring_method_id, $this_context);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $fq_class_name
|
|
|
|
* @return FileChecker
|
|
|
|
*/
|
|
|
|
public function getVisitedFileCheckerForClassLike($fq_class_name)
|
|
|
|
{
|
|
|
|
if (!$this->fake_files) {
|
|
|
|
// this registers the class if it's not user defined
|
|
|
|
if (!$this->fileExistsForClassLike($fq_class_name)) {
|
|
|
|
throw new \UnexpectedValueException('File does not exist for ' . $fq_class_name);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!isset($this->classlike_files[$fq_class_name])) {
|
|
|
|
throw new \UnexpectedValueException('Class ' . $fq_class_name . ' is not user-defined');
|
|
|
|
}
|
|
|
|
|
|
|
|
$file_path = $this->classlike_files[$fq_class_name];
|
|
|
|
} else {
|
|
|
|
$file_path = array_keys($this->fake_files)[0];
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($this->cache && isset($this->file_checkers[$file_path])) {
|
|
|
|
return $this->file_checkers[$file_path];
|
|
|
|
}
|
|
|
|
|
|
|
|
$file_checker = new FileChecker($file_path, $this);
|
|
|
|
|
|
|
|
$file_checker->visit();
|
|
|
|
|
|
|
|
if ($this->debug_output) {
|
|
|
|
echo 'Visiting ' . $file_path . PHP_EOL;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($this->cache) {
|
|
|
|
$this->file_checkers[$file_path] = $file_checker;
|
|
|
|
}
|
|
|
|
|
|
|
|
return $file_checker;
|
|
|
|
}
|
|
|
|
|
2016-06-26 19:45:20 +02:00
|
|
|
/**
|
|
|
|
* Gets a Config object from an XML file.
|
2016-11-02 07:29:00 +01:00
|
|
|
*
|
|
|
|
* Searches up a folder hierarchy for the most immediate config.
|
2016-06-26 19:45:20 +02:00
|
|
|
*
|
|
|
|
* @param string $path
|
|
|
|
* @return Config
|
2016-11-02 07:29:00 +01:00
|
|
|
* @throws Exception\ConfigException If a config path is not found.
|
2016-06-26 19:45:20 +02:00
|
|
|
*/
|
2017-01-02 21:31:18 +01:00
|
|
|
protected function getConfigForPath($path)
|
2016-06-26 19:45:20 +02:00
|
|
|
{
|
2017-01-18 15:36:16 +01:00
|
|
|
$dir_path = realpath($path);
|
2016-06-26 19:45:20 +02:00
|
|
|
|
|
|
|
if (!is_dir($dir_path)) {
|
2017-01-18 15:36:16 +01:00
|
|
|
$dir_path = dirname($dir_path);
|
2016-06-26 19:45:20 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
$config = null;
|
|
|
|
|
|
|
|
do {
|
2017-01-18 15:36:16 +01:00
|
|
|
$maybe_path = $dir_path . DIRECTORY_SEPARATOR . Config::DEFAULT_FILE_NAME;
|
2016-06-26 19:45:20 +02:00
|
|
|
|
|
|
|
if (file_exists($maybe_path)) {
|
2016-12-29 16:24:10 +01:00
|
|
|
$config = Config::loadFromXMLFile($maybe_path);
|
2016-07-26 21:03:15 +02:00
|
|
|
|
|
|
|
if ($config->autoloader) {
|
2017-01-19 05:34:56 +01:00
|
|
|
require_once($dir_path . DIRECTORY_SEPARATOR . $config->autoloader);
|
2016-07-26 21:03:15 +02:00
|
|
|
}
|
|
|
|
|
2016-11-21 03:49:06 +01:00
|
|
|
$config->collectPredefinedConstants();
|
2017-01-16 02:11:02 +01:00
|
|
|
$config->collectPredefinedFunctions();
|
2016-11-21 03:49:06 +01:00
|
|
|
|
2016-06-26 19:45:20 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2017-01-18 15:36:16 +01:00
|
|
|
$dir_path = dirname($dir_path);
|
|
|
|
} while (dirname($dir_path) !== $dir_path);
|
2016-06-26 19:45:20 +02:00
|
|
|
|
|
|
|
if (!$config) {
|
|
|
|
throw new Exception\ConfigException('Config not found for path ' . $path);
|
|
|
|
}
|
|
|
|
|
2017-01-02 21:31:18 +01:00
|
|
|
$config->initializePlugins($this);
|
|
|
|
|
2016-06-26 19:45:20 +02:00
|
|
|
return $config;
|
|
|
|
}
|
2016-06-26 21:33:51 +02:00
|
|
|
|
2016-10-15 06:12:57 +02:00
|
|
|
/**
|
|
|
|
* @param string $path_to_config
|
2016-11-02 07:29:00 +01:00
|
|
|
* @return void
|
|
|
|
* @throws Exception\ConfigException If a config file is not found in the given location.
|
2016-10-15 06:12:57 +02:00
|
|
|
*/
|
2016-12-08 04:38:57 +01:00
|
|
|
public function setConfigXML($path_to_config)
|
2016-06-26 21:33:51 +02:00
|
|
|
{
|
|
|
|
if (!file_exists($path_to_config)) {
|
|
|
|
throw new Exception\ConfigException('Config not found at location ' . $path_to_config);
|
|
|
|
}
|
|
|
|
|
2017-01-18 04:10:21 +01:00
|
|
|
$dir_path = dirname($path_to_config) . DIRECTORY_SEPARATOR;
|
2016-07-26 21:00:40 +02:00
|
|
|
|
2016-12-29 16:24:10 +01:00
|
|
|
$this->config = Config::loadFromXMLFile($path_to_config);
|
2016-07-26 21:00:40 +02:00
|
|
|
|
2016-12-08 04:38:57 +01:00
|
|
|
if ($this->config->autoloader) {
|
2017-01-19 05:34:56 +01:00
|
|
|
require_once($dir_path . DIRECTORY_SEPARATOR . $this->config->autoloader);
|
2016-07-26 21:03:15 +02:00
|
|
|
}
|
2016-11-21 03:49:06 +01:00
|
|
|
|
2016-12-08 04:38:57 +01:00
|
|
|
$this->config->collectPredefinedConstants();
|
2017-01-16 02:11:02 +01:00
|
|
|
$this->config->collectPredefinedFunctions();
|
2016-06-26 21:33:51 +02:00
|
|
|
}
|
2016-10-05 19:24:46 +02:00
|
|
|
|
2016-10-15 06:12:57 +02:00
|
|
|
/**
|
|
|
|
* @param array<string> $diff_files
|
|
|
|
* @return array<string>
|
|
|
|
*/
|
2016-10-05 19:24:46 +02:00
|
|
|
public static function getReferencedFilesFromDiff(array $diff_files)
|
|
|
|
{
|
2016-10-05 23:08:20 +02:00
|
|
|
$all_inherited_files_to_check = $diff_files;
|
2016-10-05 19:24:46 +02:00
|
|
|
|
|
|
|
while ($diff_files) {
|
|
|
|
$diff_file = array_shift($diff_files);
|
|
|
|
|
2016-10-05 23:08:20 +02:00
|
|
|
$dependent_files = FileChecker::getFilesInheritingFromFile($diff_file);
|
|
|
|
$new_dependent_files = array_diff($dependent_files, $all_inherited_files_to_check);
|
|
|
|
|
|
|
|
$all_inherited_files_to_check += $new_dependent_files;
|
|
|
|
$diff_files += $new_dependent_files;
|
|
|
|
}
|
|
|
|
|
|
|
|
$all_files_to_check = $all_inherited_files_to_check;
|
|
|
|
|
|
|
|
foreach ($all_inherited_files_to_check as $file_name) {
|
|
|
|
$dependent_files = FileChecker::getFilesReferencingFile($file_name);
|
|
|
|
$all_files_to_check = array_merge($dependent_files, $all_files_to_check);
|
2016-10-05 19:24:46 +02:00
|
|
|
}
|
|
|
|
|
2016-10-05 23:08:20 +02:00
|
|
|
return array_unique($all_files_to_check);
|
2016-10-05 19:24:46 +02:00
|
|
|
}
|
2016-12-08 04:38:57 +01:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $file_path
|
|
|
|
* @param string $file_contents
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function registerFile($file_path, $file_contents)
|
|
|
|
{
|
|
|
|
$this->fake_files[$file_path] = $file_contents;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $file_path
|
|
|
|
* @return string
|
|
|
|
*/
|
|
|
|
public function getFileContents($file_path)
|
|
|
|
{
|
|
|
|
if (isset($this->fake_files[$file_path])) {
|
|
|
|
return $this->fake_files[$file_path];
|
|
|
|
}
|
|
|
|
|
|
|
|
return (string)file_get_contents($file_path);
|
|
|
|
}
|
2017-01-09 05:58:06 +01:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $fq_class_name
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function addFullyQualifiedClassName($fq_class_name)
|
|
|
|
{
|
|
|
|
$fq_class_name_ci = strtolower($fq_class_name);
|
|
|
|
$this->existing_classlikes_ci[$fq_class_name_ci] = true;
|
|
|
|
$this->existing_classes_ci[$fq_class_name_ci] = true;
|
|
|
|
$this->existing_traits_ci[$fq_class_name_ci] = false;
|
|
|
|
$this->existing_interfaces_ci[$fq_class_name_ci] = false;
|
|
|
|
$this->existing_classes[$fq_class_name] = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $fq_class_name
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function addFullyQualifiedInterfaceName($fq_class_name)
|
|
|
|
{
|
|
|
|
$fq_class_name_ci = strtolower($fq_class_name);
|
|
|
|
$this->existing_classlikes_ci[$fq_class_name_ci] = true;
|
|
|
|
$this->existing_interfaces_ci[$fq_class_name_ci] = true;
|
|
|
|
$this->existing_classes_ci[$fq_class_name_ci] = false;
|
|
|
|
$this->existing_traits_ci[$fq_class_name_ci] = false;
|
|
|
|
$this->existing_interfaces[$fq_class_name] = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $fq_class_name
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function addFullyQualifiedTraitName($fq_class_name)
|
|
|
|
{
|
|
|
|
$fq_class_name_ci = strtolower($fq_class_name);
|
|
|
|
$this->existing_classlikes_ci[$fq_class_name_ci] = true;
|
|
|
|
$this->existing_traits_ci[$fq_class_name_ci] = true;
|
|
|
|
$this->existing_classes_ci[$fq_class_name_ci] = false;
|
|
|
|
$this->existing_interfaces_ci[$fq_class_name_ci] = false;
|
|
|
|
$this->existing_traits[$fq_class_name] = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $fq_class_name
|
|
|
|
* @return bool
|
|
|
|
*/
|
|
|
|
public function hasFullyQualifiedClassName($fq_class_name)
|
|
|
|
{
|
|
|
|
$fq_class_name_ci = strtolower($fq_class_name);
|
|
|
|
return isset($this->existing_classes_ci[$fq_class_name_ci]) && $this->existing_classes_ci[$fq_class_name_ci];
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $fq_class_name
|
|
|
|
* @return bool
|
|
|
|
*/
|
|
|
|
public function hasFullyQualifiedInterfaceName($fq_class_name)
|
|
|
|
{
|
|
|
|
$fq_class_name_ci = strtolower($fq_class_name);
|
|
|
|
return isset($this->existing_interfaces_ci[$fq_class_name_ci]) && $this->existing_interfaces_ci[$fq_class_name_ci];
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param string $fq_class_name
|
|
|
|
* @return bool
|
|
|
|
*/
|
|
|
|
public function hasFullyQualifiedTraitName($fq_class_name)
|
|
|
|
{
|
|
|
|
$fq_class_name_ci = strtolower($fq_class_name);
|
|
|
|
return isset($this->existing_traits_ci[$fq_class_name_ci]) && $this->existing_traits_ci[$fq_class_name_ci];
|
|
|
|
}
|
2016-06-10 00:08:25 +02:00
|
|
|
}
|