1
0
mirror of https://github.com/danog/psalm.git synced 2024-12-11 16:59:45 +01:00
psalm/tests/Internal/Codebase/InternalCallMapHandlerTest.php

649 lines
25 KiB
PHP
Raw Permalink Normal View History

<?php
2021-09-23 19:29:15 +02:00
namespace Psalm\Tests\Internal\Codebase;
2022-06-22 12:59:47 +02:00
use InvalidArgumentException;
use PHPUnit\Framework\AssertionFailedError;
2022-06-22 12:59:47 +02:00
use PHPUnit\Framework\ExpectationFailedException;
use Psalm\Codebase;
use Psalm\Internal\Analyzer\ProjectAnalyzer;
use Psalm\Internal\Codebase\InternalCallMapHandler;
use Psalm\Internal\Codebase\Reflection;
use Psalm\Internal\Provider\FakeFileProvider;
use Psalm\Internal\Provider\Providers;
use Psalm\Internal\Type\Comparator\UnionTypeComparator;
use Psalm\Tests\Internal\Provider\FakeParserCacheProvider;
2021-12-03 20:11:20 +01:00
use Psalm\Tests\TestCase;
use Psalm\Tests\TestConfig;
use Psalm\Type;
use ReflectionException;
use ReflectionFunction;
use ReflectionFunctionAbstract;
use ReflectionMethod;
use ReflectionParameter;
use ReflectionType;
2022-06-15 13:28:09 +02:00
use function array_shift;
2022-06-22 15:05:24 +02:00
use function class_exists;
2022-06-15 13:28:09 +02:00
use function count;
use function explode;
use function function_exists;
use function in_array;
2022-06-22 15:37:51 +02:00
use function is_array;
2022-06-22 15:32:35 +02:00
use function is_int;
2022-06-15 13:28:09 +02:00
use function json_encode;
use function preg_match;
use function print_r;
2022-06-22 15:32:35 +02:00
use function strcmp;
2022-06-15 13:28:09 +02:00
use function strncmp;
use function strpos;
use function substr;
use function version_compare;
2022-06-22 15:32:35 +02:00
use const PHP_MAJOR_VERSION;
use const PHP_MINOR_VERSION;
use const PHP_VERSION;
2022-06-22 15:32:35 +02:00
/** @group callmap */
2021-12-03 20:11:20 +01:00
class InternalCallMapHandlerTest extends TestCase
{
/**
* Regex patterns for callmap entries that should be skipped.
*
* These will not be checked against reflection. This prevents a
* large ignore list for extension functions have invalid reflection
* or are not maintained.
*
2023-07-02 08:33:43 +02:00
* @var list<non-empty-string>
*/
private static array $skippedPatterns = [
'/\'\d$/', // skip alternate signatures
'/^redis/', // redis extension
'/^imagick/', // imagick extension
'/^uopz/', // uopz extension
2023-02-24 03:49:30 +01:00
'/^memcache[_:]/', // memcache extension
'/^memcachepool/', // memcache extension
2023-03-28 11:20:39 +02:00
'/^gnupg/', // gnupg extension
];
2022-06-15 13:16:24 +02:00
/**
2022-06-22 15:32:35 +02:00
* Specify a function name as value, or a function name as key and
* an array containing the PHP versions in which to ignore this function as values.
*
2022-06-22 15:32:35 +02:00
* @var array<int|string, string|list<string>>
2022-06-15 13:16:24 +02:00
*/
2022-12-16 19:58:47 +01:00
private static array $ignoredFunctions = [
'array_multisort',
'datefmt_create' => ['8.0'],
'fiber::start',
2022-06-22 14:57:40 +02:00
'imagefilledpolygon',
'imagegd',
'imagegd2',
'imageopenpolygon',
'imagepolygon',
'intlgregoriancalendar::__construct',
'lzf_compress',
'lzf_decompress',
2022-06-22 14:57:40 +02:00
'mailparse_msg_extract_part',
'mailparse_msg_extract_part_file',
'mailparse_msg_extract_whole_part_file',
'mailparse_msg_free',
'mailparse_msg_get_part',
'mailparse_msg_get_part_data',
'mailparse_msg_get_structure',
'mailparse_msg_parse',
'mailparse_stream_encode',
2023-02-15 20:33:34 +01:00
'memcached::cas', // memcached 3.2.0 has incorrect reflection
'memcached::casbykey', // memcached 3.2.0 has incorrect reflection
'oauth::fetch',
'oauth::getaccesstoken',
'oauth::setcapath',
'oauth::settimeout',
'oauth::settimestamp',
'oauthprovider::consumerhandler',
'oauthprovider::isrequesttokenendpoint',
'oauthprovider::timestampnoncehandler',
'oauthprovider::tokenhandler',
2022-06-22 14:57:40 +02:00
'oci_collection_append',
'oci_collection_assign',
'oci_collection_element_assign',
'oci_collection_element_get',
'oci_collection_max',
'oci_collection_size',
'oci_collection_trim',
'oci_fetch_object',
'oci_field_is_null',
'oci_field_name',
'oci_field_precision',
'oci_field_scale',
'oci_field_size',
'oci_field_type',
'oci_field_type_raw',
'oci_free_collection',
'oci_free_descriptor',
'oci_lob_append',
'oci_lob_eof',
'oci_lob_erase',
'oci_lob_export',
'oci_lob_flush',
'oci_lob_import',
'oci_lob_load',
'oci_lob_read',
'oci_lob_rewind',
'oci_lob_save',
'oci_lob_seek',
'oci_lob_size',
'oci_lob_tell',
'oci_lob_truncate',
'oci_lob_write',
'oci_register_taf_callback',
'oci_result',
'ocigetbufferinglob',
'ocisetbufferinglob',
'recursiveiteratoriterator::__construct', // Class used in CallMap does not exist: recursiveiterator
2022-06-22 14:57:40 +02:00
'sqlsrv_fetch_array',
'sqlsrv_fetch_object',
'sqlsrv_get_field',
'sqlsrv_prepare',
'sqlsrv_query',
'sqlsrv_server_info',
'ssh2_forward_accept',
2022-06-22 14:57:40 +02:00
'xdiff_file_bdiff',
'xdiff_file_bdiff_size',
'xdiff_file_diff',
'xdiff_file_diff_binary',
'xdiff_file_merge3',
'xdiff_file_rabdiff',
'xdiff_string_bdiff',
'xdiff_string_bdiff_size',
'xdiff_string_bpatch',
'xdiff_string_diff',
'xdiff_string_diff_binary',
'xdiff_string_merge3',
'xdiff_string_patch',
'xdiff_string_patch_binary',
'xdiff_string_rabdiff',
2022-06-14 15:16:13 +02:00
];
2022-06-14 15:43:13 +02:00
/**
* List of function names to ignore only for return type checks.
*
* @var array<int|string, string|list<string>>
*/
2022-12-16 19:58:47 +01:00
private static array $ignoredReturnTypeOnlyFunctions = [
'appenditerator::getinneriterator' => ['8.1', '8.2', '8.3'],
'appenditerator::getiteratorindex' => ['8.1', '8.2', '8.3'],
'arrayobject::getiterator' => ['8.1', '8.2', '8.3'],
'cachingiterator::getinneriterator' => ['8.1', '8.2', '8.3'],
'callbackfilteriterator::getinneriterator' => ['8.1', '8.2', '8.3'],
'curl_multi_getcontent',
'datetime::add' => ['8.1', '8.2', '8.3'], // DateTime does not contain static
'datetime::modify' => ['8.1', '8.2', '8.3'], // DateTime does not contain static
'datetime::createfromformat' => ['8.1', '8.2', '8.3'], // DateTime does not contain static
2023-02-12 08:24:43 +01:00
'datetime::createfromimmutable' => ['8.1'],
'datetime::createfrominterface',
'datetime::setdate' => ['8.1', '8.2', '8.3'], // DateTime does not contain static
'datetime::setisodate' => ['8.1', '8.2', '8.3'], // DateTime does not contain static
'datetime::settime' => ['8.1', '8.2', '8.3'], // DateTime does not contain static
'datetime::settimestamp' => ['8.1', '8.2', '8.3'], // DateTime does not contain static
'datetime::settimezone' => ['8.1', '8.2', '8.3'], // DateTime does not contain static
'datetime::sub' => ['8.1', '8.2', '8.3'], // DateTime does not contain static
'datetimeimmutable::createfrominterface',
'fiber::getcurrent',
'filteriterator::getinneriterator' => ['8.1', '8.2', '8.3'],
'get_cfg_var', // Ignore array return type
'infiniteiterator::getinneriterator' => ['8.1', '8.2', '8.3'],
'iteratoriterator::getinneriterator' => ['8.1', '8.2', '8.3'],
'limititerator::getinneriterator' => ['8.1', '8.2', '8.3'],
'locale::canonicalize' => ['8.1', '8.2', '8.3'],
'locale::getallvariants' => ['8.1', '8.2', '8.3'],
'locale::getkeywords' => ['8.1', '8.2', '8.3'],
'locale::getprimarylanguage' => ['8.1', '8.2', '8.3'],
'locale::getregion' => ['8.1', '8.2', '8.3'],
'locale::getscript' => ['8.1', '8.2', '8.3'],
'locale::parselocale' => ['8.1', '8.2', '8.3'],
'messageformatter::create' => ['8.1', '8.2', '8.3'],
'multipleiterator::current' => ['8.1', '8.2', '8.3'],
'mysqli::get_charset' => ['8.1', '8.2', '8.3'],
'mysqli_stmt::get_warnings' => ['8.1', '8.2', '8.3'],
'mysqli_stmt_get_warnings',
'mysqli_stmt_insert_id',
'norewinditerator::getinneriterator' => ['8.1', '8.2', '8.3'],
'passthru',
'recursivecachingiterator::getinneriterator' => ['8.1', '8.2', '8.3'],
'recursivecallbackfilteriterator::getinneriterator' => ['8.1', '8.2', '8.3'],
'recursivefilteriterator::getinneriterator' => ['8.1', '8.2', '8.3'],
'recursiveregexiterator::getinneriterator' => ['8.1', '8.2', '8.3'],
'reflectionclass::getstaticproperties' => ['8.1', '8.2'],
'reflectionclass::newinstanceargs' => ['8.1', '8.2', '8.3'],
'reflectionfunction::getclosurescopeclass' => ['8.1', '8.2', '8.3'],
'reflectionfunction::getclosurethis' => ['8.1', '8.2', '8.3'],
'reflectionmethod::getclosurescopeclass' => ['8.1', '8.2', '8.3'],
'reflectionmethod::getclosurethis' => ['8.1', '8.2', '8.3'],
'reflectionobject::getstaticproperties' => ['8.1', '8.2'],
'reflectionobject::newinstanceargs' => ['8.1', '8.2', '8.3'],
'regexiterator::getinneriterator' => ['8.1', '8.2', '8.3'],
2023-01-15 10:57:22 +01:00
'register_shutdown_function' => ['8.0', '8.1'],
'splfileobject::fscanf' => ['8.1', '8.2', '8.3'],
'spltempfileobject::fscanf' => ['8.1', '8.2', '8.3'],
'xsltprocessor::transformtoxml' => ['8.1', '8.2', '8.3'],
];
/**
* List of function names to ignore because they cannot be reflected.
*
* These could be truly inaccessible, or they could be functions removed in newer PHP versions.
* Removed functions should be removed from CallMap and added to the appropriate delta.
*
* @var array<int|string, string|list<string>>
*/
2022-12-16 19:58:47 +01:00
private static array $ignoredUnreflectableFunctions = [
'closure::__invoke',
'domimplementation::__construct',
'intliterator::__construct',
'pdo::cubrid_schema',
'pdo::pgsqlcopyfromarray',
'pdo::pgsqlcopyfromfile',
'pdo::pgsqlcopytoarray',
'pdo::pgsqlcopytofile',
'pdo::pgsqlgetnotify',
'pdo::pgsqlgetpid',
'pdo::pgsqllobcreate',
'pdo::pgsqllobopen',
'pdo::pgsqllobunlink',
'pdo::sqlitecreateaggregate',
'pdo::sqlitecreatecollation',
'pdo::sqlitecreatefunction',
'simplexmlelement::__get',
'simplexmlelement::offsetexists',
'simplexmlelement::offsetget',
'simplexmlelement::offsetset',
'simplexmlelement::offsetunset',
'spldoublylinkedlist::__construct',
'splheap::__construct',
'splmaxheap::__construct',
'splobjectstorage::__construct',
'splpriorityqueue::__construct',
'splstack::__construct',
];
2022-12-16 19:58:47 +01:00
private static Codebase $codebase;
2022-06-15 13:13:24 +02:00
public static function setUpBeforeClass(): void
{
$project_analyzer = new ProjectAnalyzer(
new TestConfig(),
new Providers(
new FakeFileProvider(),
2022-12-18 17:15:15 +01:00
new FakeParserCacheProvider(),
),
);
self::$codebase = $project_analyzer->getCodebase();
}
2022-06-22 15:32:35 +02:00
public function testIgnoresAreSortedAndUnique(): void
2022-06-22 14:57:40 +02:00
{
2022-06-22 15:32:35 +02:00
$previousFunction = "";
foreach (self::$ignoredFunctions as $key => $value) {
2022-06-22 15:37:51 +02:00
/** @var string */
2022-06-22 15:32:35 +02:00
$function = is_int($key) ? $value : $key;
$diff = strcmp($function, $previousFunction);
$this->assertGreaterThan(0, $diff, "'{$function}' should come before '{$previousFunction}' in InternalCallMapHandlerTest::\$ignoredFunctions");
2022-06-22 15:32:35 +02:00
$previousFunction = $function;
}
2022-06-22 14:57:40 +02:00
}
/**
2022-01-11 16:45:29 +01:00
* @covers \Psalm\Internal\Codebase\InternalCallMapHandler::getCallMap
*/
public function testGetcallmapReturnsAValidCallmap(): void
{
$callMap = InternalCallMapHandler::getCallMap();
self::assertArrayKeysAreStrings($callMap, "Returned CallMap has non-string keys");
self::assertArrayValuesAreArrays($callMap, "Returned CallMap has non-array values");
foreach ($callMap as $function => $signature) {
self::assertArrayKeysAreZeroOrString($signature, "Function " . $function . " in returned CallMap has invalid keys");
self::assertArrayValuesAreStrings($signature, "Function " . $function . " in returned CallMap has non-string values");
foreach ($signature as $type) {
self::assertStringIsParsableType($type, "Function " . $function . " in returned CallMap contains invalid type declaration " . $type);
}
}
}
/**
* @return iterable<string, array{string, array<int|string, string>}>
*/
public function callMapEntryProvider(): iterable
{
2022-06-15 14:46:50 +02:00
/**
* This call is needed since InternalCallMapHandler uses the singleton that is initialized by it.
**/
new ProjectAnalyzer(
new TestConfig(),
new Providers(
new FakeFileProvider(),
2022-12-18 17:15:15 +01:00
new FakeParserCacheProvider(),
),
);
$callMap = InternalCallMapHandler::getCallMap();
2022-06-15 13:28:09 +02:00
foreach ($callMap as $function => $entry) {
foreach (static::$skippedPatterns as $skipPattern) {
if (preg_match($skipPattern, $function)) {
continue 2;
}
}
// Skip functions with alternate signatures
if (isset($callMap["$function'1"])) {
continue;
}
$classNameEnd = strpos($function, '::');
if ($classNameEnd !== false) {
$className = substr($function, 0, $classNameEnd);
if (!class_exists($className, false)) {
continue;
}
} elseif (!function_exists($function)) {
2022-06-15 09:11:14 +02:00
continue;
}
yield "$function: " . json_encode($entry) => [$function, $entry];
}
}
2022-06-22 15:05:24 +02:00
private function isIgnored(string $functionName): bool
2022-06-22 12:59:47 +02:00
{
if (in_array($functionName, self::$ignoredFunctions)) {
return true;
}
2022-06-22 15:32:35 +02:00
2022-06-22 15:37:51 +02:00
if (isset(self::$ignoredFunctions[$functionName])
&& is_array(self::$ignoredFunctions[$functionName])
&& in_array(PHP_MAJOR_VERSION . '.' . PHP_MINOR_VERSION, self::$ignoredFunctions[$functionName])) {
2022-06-22 15:32:35 +02:00
return true;
}
2022-06-22 12:59:47 +02:00
return false;
}
private function isReturnTypeOnlyIgnored(string $functionName): bool
{
if (in_array($functionName, static::$ignoredReturnTypeOnlyFunctions, true)) {
return true;
}
if (isset(self::$ignoredReturnTypeOnlyFunctions[$functionName])
&& is_array(self::$ignoredReturnTypeOnlyFunctions[$functionName])
&& in_array(PHP_MAJOR_VERSION . '.' . PHP_MINOR_VERSION, self::$ignoredReturnTypeOnlyFunctions[$functionName])) {
return true;
}
return false;
}
private function isUnreflectableIgnored(string $functionName): bool
{
if (in_array($functionName, static::$ignoredUnreflectableFunctions, true)) {
return true;
}
if (isset(self::$ignoredUnreflectableFunctions[$functionName])
&& is_array(self::$ignoredUnreflectableFunctions[$functionName])
&& in_array(PHP_MAJOR_VERSION . '.' . PHP_MINOR_VERSION, self::$ignoredUnreflectableFunctions[$functionName])) {
return true;
}
return false;
}
2022-06-22 12:59:47 +02:00
/**
2022-06-22 15:32:35 +02:00
* @depends testIgnoresAreSortedAndUnique
* @depends testGetcallmapReturnsAValidCallmap
2022-06-22 12:59:47 +02:00
* @dataProvider callMapEntryProvider
* @coversNothing
* @psalm-param string $functionName
* @param array<int|string, string> $callMapEntry
2022-06-22 12:59:47 +02:00
*/
public function testIgnoredFunctionsStillFail(string $functionName, array $callMapEntry): void
{
$functionIgnored = $this->isIgnored($functionName);
$unreflectableIgnored = $this->isUnreflectableIgnored($functionName);
if (!$functionIgnored && !$this->isReturnTypeOnlyIgnored($functionName) && !$unreflectableIgnored) {
2022-06-22 12:59:47 +02:00
// Dummy assertion to mark it as passed
$this->assertTrue(true);
return;
}
$function = $this->getReflectionFunction($functionName);
if ($unreflectableIgnored && $function !== null) {
$this->fail("Remove '{$functionName}' from InternalCallMapHandlerTest::\$ignoredUnreflectableFunctions");
} elseif ($function === null) {
$this->assertTrue(true);
return;
}
/** @var string $entryReturnType */
$entryReturnType = array_shift($callMapEntry);
if ($functionIgnored) {
try {
/** @var array<string, string> $callMapEntry */
$this->assertEntryParameters($function, $callMapEntry);
$this->assertEntryReturnType($function, $entryReturnType);
} catch (AssertionFailedError $e) {
$this->assertTrue(true);
return;
} catch (ExpectationFailedException $e) {
$this->assertTrue(true);
return;
}
$this->fail("Remove '{$functionName}' from InternalCallMapHandlerTest::\$ignoredFunctions");
}
2022-06-22 12:59:47 +02:00
try {
$this->assertEntryReturnType($function, $entryReturnType);
} catch (AssertionFailedError $e) {
$this->assertTrue(true);
return;
2022-06-22 15:05:24 +02:00
} catch (ExpectationFailedException $e) {
$this->assertTrue(true);
return;
2022-06-22 12:59:47 +02:00
}
$this->fail("Remove '{$functionName}' from InternalCallMapHandlerTest::\$ignoredReturnTypeOnlyFunctions");
2022-06-22 12:59:47 +02:00
}
/**
* This function will test functions that are in the callmap AND currently defined
*
* @coversNothing
* @depends testGetcallmapReturnsAValidCallmap
2022-06-22 15:32:35 +02:00
* @depends testIgnoresAreSortedAndUnique
* @dataProvider callMapEntryProvider
* @psalm-param string $functionName
* @param array<int|string, string> $callMapEntry
*/
public function testCallMapCompliesWithReflection(string $functionName, array $callMapEntry): void
{
2022-06-22 12:59:47 +02:00
if ($this->isIgnored($functionName)) {
$this->markTestSkipped("Function $functionName is ignored in config");
}
2022-06-15 15:05:06 +02:00
$function = $this->getReflectionFunction($functionName);
if ($function === null) {
if (!$this->isUnreflectableIgnored($functionName)) {
$this->fail('Unable to reflect method. Add name to $ignoredUnreflectableFunctions if exists in latest PHP version.');
}
return;
}
/** @var string $entryReturnType */
$entryReturnType = array_shift($callMapEntry);
2022-06-15 15:05:06 +02:00
/** @var array<string, string> $callMapEntry */
$this->assertEntryParameters($function, $callMapEntry);
if (!$this->isReturnTypeOnlyIgnored($functionName)) {
$this->assertEntryReturnType($function, $entryReturnType);
}
}
/**
* Returns the correct reflection type for function or method name.
*/
private function getReflectionFunction(string $functionName): ?ReflectionFunctionAbstract
{
try {
if (strpos($functionName, '::') !== false) {
return new ReflectionMethod($functionName);
}
/** @var callable-string $functionName */
return new ReflectionFunction($functionName);
} catch (ReflectionException $e) {
return null;
}
}
2022-06-15 14:46:50 +02:00
/**
* @param array<string, string> $entryParameters
2022-06-15 14:46:50 +02:00
*/
private function assertEntryParameters(ReflectionFunctionAbstract $function, array $entryParameters): void
{
/**
* Parse the parameter names from the map.
*
* @var array<string, array{byRef: bool, refMode: 'rw'|'w'|'r', variadic: bool, optional: bool, type: string}>
*/
$normalizedEntries = [];
foreach ($entryParameters as $key => $entry) {
$normalizedKey = $key;
2022-06-15 15:05:06 +02:00
/**
* @var array{byRef: bool, refMode: 'rw'|'w'|'r', variadic: bool, optional: bool, type: string} $normalizedEntry
2022-06-15 15:05:06 +02:00
*/
$normalizedEntry = [
'variadic' => false,
'byRef' => false,
'optional' => false,
'type' => $entry,
];
if (strncmp($normalizedKey, '&', 1) === 0) {
$normalizedEntry['byRef'] = true;
$normalizedKey = substr($normalizedKey, 1);
}
if (strncmp($normalizedKey, '...', 3) === 0) {
$normalizedEntry['variadic'] = true;
$normalizedKey = substr($normalizedKey, 3);
}
// Read the reference mode
if ($normalizedEntry['byRef']) {
$parts = explode('_', $normalizedKey, 2);
if (count($parts) === 2) {
Add support for strict arrays, fix type alias intersection, fix array_is_list assertion on non-lists (#8395) * Immutable CodeLocation * Remove excess clones * Remove external clones * Remove leftover clones * Fix final clone issue * Immutable storages * Refactoring * Fixes * Fixes * Fix * Fix * Fixes * Simplify * Fixes * Fix * Fixes * Update * Fix * Cache global types * Fix * Update * Update * Fixes * Fixes * Refactor * Fixes * Fix * Fix * More caching * Fix * Fix * Update * Update * Fix * Fixes * Update * Refactor * Update * Fixes * Break one more test * Fix * FIx * Fix * Fix * Fix * Fix * Improve performance and readability * Equivalent logic * Fixes * Revert * Revert "Revert" This reverts commit f9175100c8452c80559234200663fd4c4f4dd889. * Fix * Fix reference bug * Make default TypeVisitor immutable * Bugfix * Remove clones * Partial refactoring * Refactoring * Fixes * Fix * Fixes * Fixes * cs-fix * Fix final bugs * Add test * Misc fixes * Update * Fixes * Experiment with removing different property * revert "Experiment with removing different property" This reverts commit ac1156e077fc4ea633530d51096d27b6e88bfdf9. * Uniform naming * Uniform naming * Hack hotfix * Clean up $_FILES ref #8621 * Undo hack, try fixing properly * Helper method * Remove redundant call * Partially fix bugs * Cleanup * Change defaults * Fix bug * Fix (?, hope this doesn't break anything else) * cs-fix * Review fixes * Bugfix * Bugfix * Improve logic * Add support for list{} and callable-list{} types, properly implement array_is_list assertions (fixes #8389) * Default to sealed arrays * Fix array_merge bug * Fixes * Fix * Sealed type checks * Properly infer properties-of and get_object_vars on final classes * Fix array_map zipping * Fix tests * Fixes * Fixes * Fix more stuff * Recursively resolve type aliases * Fix typo * Fixes * Fix array_is_list assertion on keyed array * Add BC docs * Fixes * fix * Update * Update * Update * Update * Seal arrays with count assertions * Fix #8528 * Fix * Update * Improve sealed array foreach logic * get_object_vars on template properties * Fix sealed array assertion reconciler logic * Improved reconciler * Add tests * Single source of truth for test types * Fix tests * Fixup tests * Fixup tests * Fixup tests * Update * Fix tests * Fix tests * Final fixes * Fixes * Use list syntax only when needed * Fix tests * Cs-fix * Update docs * Update docs * Update docs * Update docs * Update docs * Document missing types * Update docs * Improve class-string-map docs * Update * Update * I love working on psalm :) * Keep arrays unsealed by default * Fixup tests * Fix syntax mistake * cs-fix * Fix typo * Re-import missing types * Keep strict types only in return types * argc/argv fixes * argc/argv fixes * Fix test * Comment-out valinor code, pinging @romm pls merge https://github.com/CuyZ/Valinor/pull/246 so we can add valinor to the psalm docs :)
2022-11-05 22:34:42 +01:00
if (!($parts[0] === 'rw' || $parts[0] === 'w' || $parts[0] === 'r')) {
throw new InvalidArgumentException('Invalid refMode: '.$parts[0]);
}
$normalizedEntry['refMode'] = $parts[0];
$normalizedKey = $parts[1];
} else {
$normalizedEntry['refMode'] = 'rw';
}
}
// Strip prefixes.
if (substr($normalizedKey, -1, 1) === "=") {
$normalizedEntry['optional'] = true;
$normalizedKey = substr($normalizedKey, 0, -1);
}
2022-12-22 19:16:38 +01:00
//$this->assertTrue($this->hasParameter($function, $normalizedKey), "Calmap has extra param entry {$normalizedKey}");
$normalizedEntry['name'] = $normalizedKey;
$normalizedEntries[$normalizedKey] = $normalizedEntry;
}
2022-12-22 19:16:38 +01:00
foreach ($function->getParameters() as $parameter) {
$this->assertArrayHasKey($parameter->getName(), $normalizedEntries, "Callmap is missing entry for param {$parameter->getName()} in {$function->getName()}: " . print_r($normalizedEntries, true));
2022-06-15 15:05:06 +02:00
$this->assertParameter($normalizedEntries[$parameter->getName()], $parameter);
}
}
2022-12-22 19:16:38 +01:00
/* Used by above assert
private function hasParameter(ReflectionFunctionAbstract $function, string $name): bool
{
foreach ($function->getParameters() as $parameter)
{
if ($parameter->getName() === $name) {
return true;
}
}
return false;
}
*/
/**
* @param array{byRef: bool, name?: string, refMode: 'rw'|'w'|'r', variadic: bool, optional: bool, type: string} $normalizedEntry
*/
2022-06-15 15:05:06 +02:00
private function assertParameter(array $normalizedEntry, ReflectionParameter $param): void
{
$name = $param->getName();
2022-06-22 12:59:47 +02:00
$this->assertSame($param->isOptional(), $normalizedEntry['optional'], "Expected param '{$name}' to " . ($param->isOptional() ? "be" : "not be") . " optional");
$this->assertSame($param->isVariadic(), $normalizedEntry['variadic'], "Expected param '{$name}' to " . ($param->isVariadic() ? "be" : "not be") . " variadic");
$this->assertSame($param->isPassedByReference(), $normalizedEntry['byRef'], "Expected param '{$name}' to " . ($param->isPassedByReference() ? "be" : "not be") . " by reference");
$expectedType = $param->getType();
2022-06-14 15:16:13 +02:00
if (isset($expectedType) && !empty($normalizedEntry['type'])) {
2022-12-22 19:16:38 +01:00
$this->assertTypeValidity($expectedType, $normalizedEntry['type'], "Param '{$name}'");
}
}
public function assertEntryReturnType(ReflectionFunctionAbstract $function, string $entryReturnType): void
{
if (version_compare(PHP_VERSION, '8.1.0', '>=')) {
/** @var ReflectionType|null $expectedType */
$expectedType = $function->hasTentativeReturnType() ? $function->getTentativeReturnType() : $function->getReturnType();
} else {
$expectedType = $function->getReturnType();
}
$this->assertNotEmpty($entryReturnType, 'CallMap entry has empty return type');
if ($expectedType !== null) {
2022-12-22 19:16:38 +01:00
$this->assertTypeValidity($expectedType, $entryReturnType, 'Return');
}
}
/**
* Since string equality is too strict, we do some extra checking here
*/
2022-12-22 19:16:38 +01:00
private function assertTypeValidity(ReflectionType $reflected, string $specified, string $msgPrefix): void
{
$expectedType = Reflection::getPsalmTypeFromReflectionType($reflected);
$callMapType = Type::parseString($specified);
2022-06-22 12:59:47 +02:00
try {
$this->assertTrue(UnionTypeComparator::isContainedBy(self::$codebase, $callMapType, $expectedType, false, false, null, false, false), "{$msgPrefix} type '{$specified}' is not contained by reflected type '{$reflected}'");
2022-06-22 15:05:24 +02:00
} catch (InvalidArgumentException $e) {
2022-06-22 12:59:47 +02:00
if (preg_match('/^Could not get class storage for (.*)$/', $e->getMessage(), $matches)
&& !class_exists($matches[1])
) {
$this->fail("Class used in CallMap does not exist: {$matches[1]}");
2022-06-22 12:59:47 +02:00
}
}
// Reflection::getPsalmTypeFromReflectionType adds |null to mixed types so skip comparison
2022-12-22 19:16:38 +01:00
if (!$expectedType->hasMixed()) {
$this->assertSame($expectedType->isNullable(), $callMapType->isNullable(), "{$msgPrefix} type '{$specified}' missing null from reflected type '{$reflected}'");
//$this->assertSame($expectedType->hasBool(), $callMapType->hasBool(), "{$msgPrefix} type '{$specified}' missing bool from reflected type '{$reflected}'");
$this->assertSame($expectedType->hasArray(), $callMapType->hasArray(), "{$msgPrefix} type '{$specified}' missing array from reflected type '{$reflected}'");
$this->assertSame($expectedType->hasInt(), $callMapType->hasInt(), "{$msgPrefix} type '{$specified}' missing int from reflected type '{$reflected}'");
$this->assertSame($expectedType->hasFloat(), $callMapType->hasFloat(), "{$msgPrefix} type '{$specified}' missing float from reflected type '{$reflected}'");
}
}
}