danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-11-26 20:34:47 +01:00
Code Issues Projects Releases Wiki Activity

Merge pull request #10115 from edsrzf/file-find-unused-baseline

Browse Source
This commit is contained in:
Bruce Weirdan 2023-08-21 09:44:07 +02:00 committed by GitHub
commit c34d5132b5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 23 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/Psalm/Internal/Cli/Psalm.php
View File

@ -401,7 +401,7 @@ final class Psalm
!$paths_to_check,
$start_time,
isset($options['stats']),
self::initBaseline($options, $config, $current_dir, $path_to_config),
self::initBaseline($options, $config, $current_dir, $path_to_config, $paths_to_check),
);
} else {
self::autoGenerateConfig($project_analyzer, $current_dir, $init_source_dir, $vendor_dir);
@ -1036,17 +1036,23 @@ final class Psalm
}
/**
* @param ?list<string> $paths_to_check
* @return array<string,array<string,array{o:int, s: list<string>}>>
*/
private static function initBaseline(
array $options,
Config $config,
string $current_dir,
?string $path_to_config
?string $path_to_config,
?array $paths_to_check
): array {
$issue_baseline = [];
if (isset($options['set-baseline']) && is_string($options['set-baseline'])) {
if ($paths_to_check !== null) {
fwrite(STDERR, PHP_EOL . 'Cannot generate baseline when checking specific files' . PHP_EOL);
exit(1);
}
$issue_baseline = self::generateBaseline($options, $config, $current_dir, $path_to_config);
}
@ -1063,6 +1069,10 @@ final class Psalm
}
if (isset($options['update-baseline'])) {
if ($paths_to_check !== null) {
fwrite(STDERR, PHP_EOL . 'Cannot update baseline when checking specific files' . PHP_EOL);
exit(1);
}
$issue_baseline = self::updateBaseline($options, $config);
}
@ -1078,6 +1088,17 @@ final class Psalm
}
}
if ($paths_to_check !== null) {
$filtered_issue_baseline = [];
foreach ($paths_to_check as $path_to_check) {
$path_to_check = substr($path_to_check, strlen($config->base_dir));
if (isset($issue_baseline[$path_to_check])) {
$filtered_issue_baseline[$path_to_check] = $issue_baseline[$path_to_check];
}
}
$issue_baseline = $filtered_issue_baseline;
}
return $issue_baseline;
}