2018-06-30 21:29:37 +02:00
|
|
|
<?php
|
|
|
|
namespace Psalm\Tests;
|
|
|
|
|
2019-07-05 22:24:00 +02:00
|
|
|
use function define;
|
|
|
|
use function defined;
|
|
|
|
use function dirname;
|
|
|
|
use function getcwd;
|
2018-06-30 21:29:37 +02:00
|
|
|
use Psalm\Config;
|
|
|
|
use Psalm\Context;
|
2019-03-23 19:27:54 +01:00
|
|
|
use Psalm\Internal\Analyzer\FileAnalyzer;
|
2018-11-12 16:57:05 +01:00
|
|
|
use Psalm\Tests\Internal\Provider;
|
2018-06-30 21:29:37 +02:00
|
|
|
|
|
|
|
class StubTest extends TestCase
|
|
|
|
{
|
|
|
|
/** @var TestConfig */
|
|
|
|
protected static $config;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
2019-05-17 00:36:36 +02:00
|
|
|
public static function setUpBeforeClass() : void
|
2018-06-30 21:29:37 +02:00
|
|
|
{
|
|
|
|
self::$config = new TestConfig();
|
|
|
|
|
|
|
|
if (!defined('PSALM_VERSION')) {
|
|
|
|
define('PSALM_VERSION', '2.0.0');
|
|
|
|
}
|
|
|
|
|
|
|
|
if (!defined('PHP_PARSER_VERSION')) {
|
|
|
|
define('PHP_PARSER_VERSION', '4.0.0');
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
2019-05-17 00:36:36 +02:00
|
|
|
public function setUp() : void
|
2018-06-30 21:29:37 +02:00
|
|
|
{
|
2018-11-06 03:57:36 +01:00
|
|
|
FileAnalyzer::clearCache();
|
2018-06-30 21:29:37 +02:00
|
|
|
$this->file_provider = new Provider\FakeFileProvider();
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param Config $config
|
|
|
|
*
|
2018-11-06 03:57:36 +01:00
|
|
|
* @return \Psalm\Internal\Analyzer\ProjectAnalyzer
|
2018-06-30 21:29:37 +02:00
|
|
|
*/
|
2018-11-06 03:57:36 +01:00
|
|
|
private function getProjectAnalyzerWithConfig(Config $config)
|
2018-06-30 21:29:37 +02:00
|
|
|
{
|
2018-11-11 18:01:14 +01:00
|
|
|
$project_analyzer = new \Psalm\Internal\Analyzer\ProjectAnalyzer(
|
2018-06-30 21:29:37 +02:00
|
|
|
$config,
|
2018-11-06 03:57:36 +01:00
|
|
|
new \Psalm\Internal\Provider\Providers(
|
2018-09-28 22:18:45 +02:00
|
|
|
$this->file_provider,
|
|
|
|
new Provider\FakeParserCacheProvider()
|
|
|
|
)
|
2018-06-30 21:29:37 +02:00
|
|
|
);
|
2019-02-07 21:27:43 +01:00
|
|
|
$project_analyzer->setPhpVersion('7.3');
|
2018-07-03 17:17:52 +02:00
|
|
|
|
2019-05-30 16:30:41 +02:00
|
|
|
$config->visitComposerAutoloadFiles($project_analyzer, null);
|
2018-07-03 17:17:52 +02:00
|
|
|
|
2018-11-11 18:01:14 +01:00
|
|
|
return $project_analyzer;
|
2018-06-30 21:29:37 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2019-05-17 00:36:36 +02:00
|
|
|
* @return void
|
2018-06-30 21:29:37 +02:00
|
|
|
*/
|
|
|
|
public function testNonexistentStubFile()
|
|
|
|
{
|
2019-05-17 00:36:36 +02:00
|
|
|
$this->expectException(\Psalm\Exception\ConfigException::class);
|
|
|
|
$this->expectExceptionMessage('Cannot resolve stubfile path');
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
Config::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
|
|
|
<file name="stubs/invalidfile.php" />
|
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
2019-03-25 05:07:32 +01:00
|
|
|
public function testStubFileClass()
|
2018-06-30 21:29:37 +02:00
|
|
|
{
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/systemclass.php" />
|
2018-06-30 21:29:37 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
2019-03-25 05:07:32 +01:00
|
|
|
namespace A\B\C;
|
2018-06-30 21:29:37 +02:00
|
|
|
|
2019-03-25 05:07:32 +01:00
|
|
|
$a = new \SystemClass();
|
2018-06-30 21:29:37 +02:00
|
|
|
$b = $a->foo(5, "hello");
|
2019-03-25 05:07:32 +01:00
|
|
|
$c = \SystemClass::bar(5, "hello");
|
|
|
|
echo \SystemClass::HELLO;'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testStubFileConstant()
|
|
|
|
{
|
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/systemclass.php" />
|
2019-03-25 05:07:32 +01:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
namespace A\B\C;
|
|
|
|
|
|
|
|
$d = ROOT_CONST_CONSTANT;
|
|
|
|
$e = \ROOT_CONST_CONSTANT;
|
|
|
|
$f = ROOT_DEFINE_CONSTANT;
|
|
|
|
$g = \ROOT_DEFINE_CONSTANT;'
|
2018-06-30 21:29:37 +02:00
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
2019-02-16 17:16:52 +01:00
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testPhpStormMetaParsingFile()
|
|
|
|
{
|
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
2019-02-17 00:50:25 +01:00
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/phpstorm.meta.php" />
|
2019-02-17 00:50:25 +01:00
|
|
|
</stubs>
|
2019-02-16 17:16:52 +01:00
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
namespace Ns {
|
|
|
|
class MyClass {
|
|
|
|
/**
|
|
|
|
* @return mixed
|
|
|
|
* @psalm-suppress InvalidReturnType
|
|
|
|
*/
|
|
|
|
public function create(string $s) {}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param mixed $s
|
|
|
|
* @return mixed
|
|
|
|
* @psalm-suppress InvalidReturnType
|
|
|
|
*/
|
|
|
|
public function foo($s) {}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return mixed
|
|
|
|
* @psalm-suppress InvalidReturnType
|
|
|
|
*/
|
|
|
|
public function bar(array $a) {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
namespace {
|
|
|
|
/**
|
|
|
|
* @return mixed
|
|
|
|
* @psalm-suppress InvalidReturnType
|
|
|
|
*/
|
|
|
|
function create(string $s) {}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param mixed $s
|
|
|
|
* @return mixed
|
|
|
|
* @psalm-suppress InvalidReturnType
|
|
|
|
*/
|
|
|
|
function foo($s) {}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return mixed
|
|
|
|
* @psalm-suppress InvalidReturnType
|
|
|
|
*/
|
|
|
|
function bar(array $a) {}
|
|
|
|
|
|
|
|
$a1 = (new \Ns\MyClass)->create("object");
|
|
|
|
$a2 = (new \Ns\MyClass)->create("exception");
|
|
|
|
|
|
|
|
$b1 = \create("object");
|
|
|
|
$b2 = \create("exception");
|
|
|
|
|
2019-02-16 18:16:34 +01:00
|
|
|
$e2 = \create(\LogicException::class);
|
|
|
|
|
2019-02-16 17:16:52 +01:00
|
|
|
$c1 = (new \Ns\MyClass)->foo(5);
|
|
|
|
$c2 = (new \Ns\MyClass)->bar(["hello"]);
|
|
|
|
|
|
|
|
$d1 = \foo(5);
|
|
|
|
$d2 = \bar(["hello"]);
|
|
|
|
}'
|
|
|
|
);
|
|
|
|
|
|
|
|
$context = new Context();
|
|
|
|
$this->analyzeFile($file_path, $context);
|
|
|
|
}
|
|
|
|
|
2018-06-30 21:29:37 +02:00
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testNamespacedStubClass()
|
|
|
|
{
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/namespaced_class.php" />
|
2018-06-30 21:29:37 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
$a = new Foo\SystemClass();
|
|
|
|
echo Foo\SystemClass::HELLO;
|
|
|
|
|
|
|
|
$b = $a->foo(5, "hello");
|
2018-08-08 22:13:37 +02:00
|
|
|
$c = Foo\SystemClass::bar(5, "hello");
|
|
|
|
|
|
|
|
echo Foo\BAR;'
|
2018-06-30 21:29:37 +02:00
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
2018-12-01 01:21:14 +01:00
|
|
|
public function testStubRegularFunction()
|
2018-06-30 21:29:37 +02:00
|
|
|
{
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/custom_functions.php" />
|
2018-06-30 21:29:37 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
echo barBar("hello");'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
2018-12-01 01:21:14 +01:00
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testStubVariadicFunction()
|
|
|
|
{
|
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/custom_functions.php" />
|
2018-12-01 01:21:14 +01:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
variadic("bat", "bam");'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2019-05-17 00:36:36 +02:00
|
|
|
* @return void
|
2018-12-01 01:21:14 +01:00
|
|
|
*/
|
|
|
|
public function testStubVariadicFunctionWrongArgType()
|
|
|
|
{
|
2019-05-17 00:36:36 +02:00
|
|
|
$this->expectExceptionMessage('InvalidScalarArgument');
|
|
|
|
$this->expectException(\Psalm\Exception\CodeException::class);
|
2018-12-01 01:21:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/custom_functions.php" />
|
2018-12-01 01:21:14 +01:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
variadic("bat", 5);'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2019-05-17 00:36:36 +02:00
|
|
|
* @return void
|
2018-12-01 01:21:14 +01:00
|
|
|
*/
|
|
|
|
public function testUserVariadicWithFalseVariadic()
|
|
|
|
{
|
2019-05-17 00:36:36 +02:00
|
|
|
$this->expectExceptionMessage('TooManyArguments');
|
|
|
|
$this->expectException(\Psalm\Exception\CodeException::class);
|
2018-12-01 01:21:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
/**
|
|
|
|
* @param string ...$bar
|
|
|
|
*/
|
|
|
|
function variadic() : void {}
|
|
|
|
variadic("hello");'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
2018-06-30 21:29:37 +02:00
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testPolyfilledFunction()
|
|
|
|
{
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm
|
2019-05-10 00:23:14 +02:00
|
|
|
autoloader="tests/fixtures/stubs/polyfill.php"
|
2018-06-30 21:29:37 +02:00
|
|
|
>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
2018-07-03 17:17:52 +02:00
|
|
|
$a = random_bytes(16);
|
|
|
|
$b = new_random_bytes(16);'
|
2018-06-30 21:29:37 +02:00
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
2018-11-29 06:05:56 +01:00
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testClassAlias()
|
|
|
|
{
|
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm
|
2019-05-10 00:23:14 +02:00
|
|
|
autoloader="tests/fixtures/stubs/class_alias.php"
|
2018-11-29 06:05:56 +01:00
|
|
|
>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
2018-12-21 07:21:00 +01:00
|
|
|
namespace ClassAliasStubTest;
|
|
|
|
|
2018-11-29 06:05:56 +01:00
|
|
|
function foo(A $a) : void {}
|
|
|
|
|
|
|
|
foo(new B());
|
2018-11-29 06:46:34 +01:00
|
|
|
foo(new C());
|
2018-11-29 06:05:56 +01:00
|
|
|
|
|
|
|
function bar(B $b) : void {}
|
|
|
|
|
|
|
|
bar(new A());
|
|
|
|
|
|
|
|
$a = new B();
|
|
|
|
|
|
|
|
echo $a->foo;
|
|
|
|
|
2018-12-05 16:36:42 +01:00
|
|
|
echo $a->bar("hello");
|
|
|
|
|
|
|
|
function f(): A {
|
|
|
|
return new A;
|
|
|
|
}
|
|
|
|
|
|
|
|
function getAliased(): B {
|
|
|
|
return f();
|
2018-12-21 07:21:00 +01:00
|
|
|
}
|
|
|
|
|
2018-12-21 15:29:23 +01:00
|
|
|
$d = new D();
|
|
|
|
|
2018-12-21 17:39:28 +01:00
|
|
|
D::bat();
|
|
|
|
$d::bat();
|
|
|
|
|
2018-12-21 15:29:23 +01:00
|
|
|
class E implements IAlias {}'
|
2018-11-29 06:05:56 +01:00
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
2018-06-30 21:29:37 +02:00
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testStubFunctionWithFunctionExists()
|
|
|
|
{
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/custom_functions.php" />
|
2018-06-30 21:29:37 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
function_exists("fooBar");
|
|
|
|
echo barBar("hello");'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testNamespacedStubFunctionWithFunctionExists()
|
|
|
|
{
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/custom_functions.php" />
|
2018-06-30 21:29:37 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
namespace A;
|
|
|
|
function_exists("fooBar");
|
|
|
|
echo barBar("hello");'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2019-05-17 00:36:36 +02:00
|
|
|
* @return void
|
2018-06-30 21:29:37 +02:00
|
|
|
*/
|
|
|
|
public function testNoStubFunction()
|
|
|
|
{
|
2019-05-17 00:36:36 +02:00
|
|
|
$this->expectExceptionMessage('UndefinedFunction - /src/somefile.php:2:22 - Function barBar does not exist');
|
|
|
|
$this->expectException(\Psalm\Exception\CodeException::class);
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
echo barBar("hello");'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testNamespacedStubFunction()
|
|
|
|
{
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/namespaced_functions.php" />
|
2018-06-30 21:29:37 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
echo Foo\barBar("hello");'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testConditionalNamespacedStubFunction()
|
|
|
|
{
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/conditional_namespaced_functions.php" />
|
2018-06-30 21:29:37 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
echo Foo\barBar("hello");'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
2019-06-10 05:50:18 +02:00
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testConditionallyExtendingInterface()
|
|
|
|
{
|
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
|
|
|
<file name="tests/fixtures/stubs/conditional_interface.php" />
|
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
class C implements I1, I2, I3, I4 {}
|
|
|
|
|
|
|
|
function foo(I5 $d) : void {
|
|
|
|
$d->getMessage();
|
|
|
|
}
|
|
|
|
|
|
|
|
function bar(I6 $d) : void {
|
|
|
|
$d->getMessage();
|
2019-06-28 16:17:59 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
function bat(I7 $d) : void {
|
|
|
|
$d->getMessage();
|
|
|
|
}
|
|
|
|
|
|
|
|
function baz(I8 $d) : void {
|
|
|
|
$d->getMessage();
|
2019-06-10 05:50:18 +02:00
|
|
|
}'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
2018-06-30 21:29:37 +02:00
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testStubFileWithExistingClassDefinition()
|
|
|
|
{
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/DomainException.php" />
|
2018-06-30 21:29:37 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
2019-03-17 17:46:48 +01:00
|
|
|
$a = new DomainException(5);'
|
2018-06-30 21:29:37 +02:00
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testStubFileWithPartialClassDefinitionWithMoreMethods()
|
|
|
|
{
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/partial_class.php" />
|
2018-06-30 21:29:37 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
namespace Foo;
|
|
|
|
|
|
|
|
class PartiallyStubbedClass {
|
|
|
|
/**
|
|
|
|
* @param string $a
|
|
|
|
* @return object
|
|
|
|
*/
|
|
|
|
public function foo(string $a) {
|
|
|
|
return new self;
|
|
|
|
}
|
|
|
|
|
|
|
|
public function bar(int $i) : void {}
|
|
|
|
}
|
|
|
|
|
|
|
|
class A {}
|
|
|
|
|
|
|
|
(new PartiallyStubbedClass())->foo(A::class);
|
|
|
|
(new PartiallyStubbedClass())->bar(5);'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
2019-04-21 17:30:42 +02:00
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testStubFileWithExtendedStubbedClass()
|
|
|
|
{
|
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/partial_class.php" />
|
2019-04-21 17:30:42 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
namespace Foo;
|
|
|
|
|
|
|
|
class Bar extends PartiallyStubbedClass {}
|
|
|
|
|
|
|
|
new Bar();'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
2018-06-30 21:29:37 +02:00
|
|
|
/**
|
2019-05-17 00:36:36 +02:00
|
|
|
* @return void
|
2018-06-30 21:29:37 +02:00
|
|
|
*/
|
|
|
|
public function testStubFileWithPartialClassDefinitionWithCoercion()
|
|
|
|
{
|
2019-05-17 00:36:36 +02:00
|
|
|
$this->expectExceptionMessage('TypeCoercion');
|
|
|
|
$this->expectException(\Psalm\Exception\CodeException::class);
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/partial_class.php" />
|
2018-06-30 21:29:37 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
namespace Foo;
|
|
|
|
|
|
|
|
class PartiallyStubbedClass {
|
|
|
|
/**
|
|
|
|
* @param string $a
|
|
|
|
* @return object
|
|
|
|
*/
|
|
|
|
public function foo(string $a) {
|
|
|
|
return new self;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
(new PartiallyStubbedClass())->foo("dasda");'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2019-05-17 00:36:36 +02:00
|
|
|
* @return void
|
2018-06-30 21:29:37 +02:00
|
|
|
*/
|
|
|
|
public function testStubFileWithPartialClassDefinitionGeneralReturnType()
|
|
|
|
{
|
2019-05-17 00:36:36 +02:00
|
|
|
$this->expectExceptionMessage('InvalidReturnStatement');
|
|
|
|
$this->expectException(\Psalm\Exception\CodeException::class);
|
2018-11-11 18:01:14 +01:00
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
2018-06-30 21:29:37 +02:00
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
2019-05-10 00:23:14 +02:00
|
|
|
<file name="tests/fixtures/stubs/partial_class.php" />
|
2018-06-30 21:29:37 +02:00
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
namespace Foo;
|
|
|
|
|
|
|
|
class PartiallyStubbedClass {
|
|
|
|
/**
|
|
|
|
* @param string $a
|
|
|
|
* @return object
|
|
|
|
*/
|
|
|
|
public function foo(string $a) {
|
|
|
|
return new \stdClass;
|
|
|
|
}
|
|
|
|
}'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
2019-07-11 18:51:43 +02:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function testStubFileWithTemplatedClassDefinitionAndMagicMethodOverride()
|
|
|
|
{
|
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
|
|
|
|
<stubs>
|
|
|
|
<file name="tests/fixtures/stubs/templated_class.php" />
|
|
|
|
</stubs>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
class A {
|
|
|
|
/**
|
|
|
|
* @param int $id
|
|
|
|
* @param ?int $lockMode
|
|
|
|
* @param ?int $lockVersion
|
|
|
|
* @return mixed
|
|
|
|
*/
|
|
|
|
public function find($id, $lockMode = null, $lockVersion = null) {}
|
|
|
|
}
|
|
|
|
|
|
|
|
class B extends A {}
|
|
|
|
|
|
|
|
class Obj {}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @method ?Obj find(int $id, $lockMode = null, $lockVersion = null)
|
|
|
|
*/
|
|
|
|
class C extends B {}'
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, new Context());
|
|
|
|
}
|
2019-09-01 22:52:40 +02:00
|
|
|
|
|
|
|
public function testInheritedMethodUsedInStub() : void
|
|
|
|
{
|
|
|
|
$this->project_analyzer = $this->getProjectAnalyzerWithConfig(
|
|
|
|
TestConfig::loadFromXML(
|
|
|
|
dirname(__DIR__),
|
|
|
|
'<?xml version="1.0"?>
|
|
|
|
<psalm
|
|
|
|
findUnusedCode="true"
|
|
|
|
>
|
|
|
|
<projectFiles>
|
|
|
|
<directory name="src" />
|
|
|
|
</projectFiles>
|
|
|
|
</psalm>'
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
$this->project_analyzer->getCodebase()->reportUnusedCode();
|
|
|
|
|
|
|
|
$vendor_file_path = getcwd() . '/vendor/vendor_class.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$vendor_file_path,
|
|
|
|
'<?php
|
|
|
|
namespace SomeVendor;
|
|
|
|
|
|
|
|
class VendorClass {
|
|
|
|
abstract public function foo() : void;
|
|
|
|
|
|
|
|
public static function vendorFunction(VendorClass $v) : void {
|
|
|
|
$v->foo();
|
|
|
|
}
|
2019-09-01 22:55:03 +02:00
|
|
|
}'
|
2019-09-01 22:52:40 +02:00
|
|
|
);
|
|
|
|
|
|
|
|
$file_path = getcwd() . '/src/somefile.php';
|
|
|
|
|
|
|
|
$this->addFile(
|
|
|
|
$file_path,
|
|
|
|
'<?php
|
|
|
|
class MyClass extends \SomeVendor\VendorClass {
|
|
|
|
public function foo() : void {}
|
|
|
|
}
|
|
|
|
|
|
|
|
\SomeVendor\VendorClass::vendorFunction(new MyClass);'
|
|
|
|
);
|
|
|
|
|
|
|
|
$context = new Context();
|
|
|
|
$context->collect_references = true;
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, $context, false);
|
|
|
|
|
2019-12-02 21:24:01 +01:00
|
|
|
$this->project_analyzer->consolidateAnalyzedData();
|
2019-09-01 22:52:40 +02:00
|
|
|
}
|
2018-06-30 21:29:37 +02:00
|
|
|
}
|