mirror of
https://github.com/danog/psalm.git
synced 2024-12-12 09:19:40 +01:00
dabfb16e34
* Run tests in random order Being able to run tests in any order is a pre-requisite for being able to run them in parallel. * Reset type coverage between tests, fix affected tests * Reset parser and lexer between test runs and on php version change Previously lexer was reset, but parser kept the reference to the old one, and reference to the parser was kept by StatementsProvider. This resulted in order-dependent tests - if the parser was first initialized with phpVersion set to 7.4 then arrow functions worked fine, but were failing when the parser was initially constructed with settings for 7.3 This can be demonstrated on current master by upgrading to nikic/php-parser:4.9 and running: ``` vendor/bin/phpunit --no-coverage --filter="inferredArgArrowFunction" tests/ClosureTest.php ``` Now all tests using PHP 7.4 features must set the PHP version accordingly. * Marked more tests using 7.4 syntax * Reset newline-between-annotation flag between tests * Resolve real paths before passing them to checkPaths When checkPaths is called from psalm.php the paths are resolved, so we just mimicking SUT behaviour here. * Restore newline-between-annotations in DocCommentTest * Tweak Appveyor caches * Tweak TravisCI caches * Tweak CircleCI caches * Run tests in parallel Use `vendor/bin/paratest` instead of `vendor/bin/phpunit` * Use default paratest runner on Windows WrapperRunner is not supported on Windows. * TRAVIS_TAG could be empty * Restore appveyor conditional caching
1329 lines
49 KiB
PHP
1329 lines
49 KiB
PHP
<?php
|
|
namespace Psalm\Tests\FileUpdates;
|
|
|
|
use function array_keys;
|
|
use const DIRECTORY_SEPARATOR;
|
|
use function getcwd;
|
|
use Psalm\Internal\Analyzer\FileAnalyzer;
|
|
use Psalm\Internal\Analyzer\ProjectAnalyzer;
|
|
use Psalm\Internal\Provider\Providers;
|
|
use Psalm\Tests\Internal\Provider;
|
|
use Psalm\Tests\TestConfig;
|
|
use function strpos;
|
|
|
|
class AnalyzedMethodTest extends \Psalm\Tests\TestCase
|
|
{
|
|
/**
|
|
* @return void
|
|
*/
|
|
public function setUp() : void
|
|
{
|
|
parent::setUp();
|
|
|
|
$this->file_provider = new \Psalm\Tests\Internal\Provider\FakeFileProvider();
|
|
|
|
$config = new TestConfig();
|
|
|
|
$providers = new Providers(
|
|
$this->file_provider,
|
|
new \Psalm\Tests\Internal\Provider\ParserInstanceCacheProvider(),
|
|
null,
|
|
null,
|
|
new Provider\FakeFileReferenceCacheProvider(),
|
|
new \Psalm\Tests\Internal\Provider\ProjectCacheProvider()
|
|
);
|
|
|
|
$this->project_analyzer = new ProjectAnalyzer(
|
|
$config,
|
|
$providers
|
|
);
|
|
$this->project_analyzer->setPhpVersion('7.3');
|
|
}
|
|
|
|
/**
|
|
* @dataProvider providerTestValidUpdates
|
|
*
|
|
* @param array<string, string> $start_files
|
|
* @param array<string, string> $end_files
|
|
* @param array<string, string> $error_levels
|
|
*
|
|
* @return void
|
|
*/
|
|
public function testValidInclude(
|
|
array $start_files,
|
|
array $end_files,
|
|
array $initial_analyzed_methods,
|
|
array $unaffected_analyzed_methods,
|
|
array $error_levels = []
|
|
) {
|
|
$test_name = $this->getTestName();
|
|
if (strpos($test_name, 'SKIPPED-') !== false) {
|
|
$this->markTestSkipped('Skipped due to a bug.');
|
|
}
|
|
|
|
$this->project_analyzer->getCodebase()->diff_methods = true;
|
|
|
|
$codebase = $this->project_analyzer->getCodebase();
|
|
|
|
$config = $codebase->config;
|
|
$config->throw_exception = false;
|
|
|
|
foreach ($error_levels as $error_type => $error_level) {
|
|
$config->setCustomErrorLevel($error_type, $error_level);
|
|
}
|
|
|
|
foreach ($start_files as $file_path => $contents) {
|
|
$this->file_provider->registerFile($file_path, $contents);
|
|
$codebase->addFilesToAnalyze([$file_path => $file_path]);
|
|
}
|
|
|
|
$codebase->scanFiles();
|
|
|
|
$this->assertSame([], $codebase->analyzer->getAnalyzedMethods());
|
|
|
|
$codebase->analyzer->analyzeFiles($this->project_analyzer, 1, false);
|
|
|
|
$this->assertSame(
|
|
$initial_analyzed_methods,
|
|
$codebase->analyzer->getAnalyzedMethods(),
|
|
'initial analyzed methods are not the same'
|
|
);
|
|
|
|
foreach ($end_files as $file_path => $contents) {
|
|
$this->file_provider->registerFile($file_path, $contents);
|
|
}
|
|
|
|
$codebase->reloadFiles($this->project_analyzer, array_keys($end_files));
|
|
|
|
$codebase->analyzer->loadCachedResults($this->project_analyzer);
|
|
|
|
$this->assertSame(
|
|
$unaffected_analyzed_methods,
|
|
$codebase->analyzer->getAnalyzedMethods(),
|
|
'unaffected analyzed methods are not the same'
|
|
);
|
|
}
|
|
|
|
/**
|
|
* @return array<string,array{start_files:array<string,string>,end_files:array<string,string>,initial_analyzed_methods:array<string,array<string,int>>,unaffected_analyzed_methods:array<string,array<string,int>>,4?:array<string,string>}>
|
|
*/
|
|
public function providerTestValidUpdates()
|
|
{
|
|
return [
|
|
'basicRequire' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A{
|
|
public function fooFoo(): void {
|
|
|
|
}
|
|
|
|
public function barBar(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo(): void {
|
|
(new A)->fooFoo();
|
|
}
|
|
|
|
public function bar() : void {
|
|
echo (new A)->barBar();
|
|
}
|
|
|
|
public function noReturnType() {}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A{
|
|
public function fooFoo(?string $foo = null): void {
|
|
|
|
}
|
|
|
|
public function barBar(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo(): void {
|
|
(new A)->fooFoo();
|
|
}
|
|
|
|
public function bar() : void {
|
|
echo (new A)->barBar();
|
|
}
|
|
|
|
public function noReturnType() {}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::foofoo' => 1,
|
|
'foo\a::barbar' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::foo' => 1,
|
|
'foo\b::bar' => 1,
|
|
'foo\b::noreturntype' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::barbar' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::bar' => 1,
|
|
'foo\b::noreturntype' => 1,
|
|
],
|
|
],
|
|
[
|
|
'MissingReturnType' => \Psalm\Config::REPORT_INFO,
|
|
],
|
|
],
|
|
'invalidateAfterPropertyChange' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string */
|
|
public $foo = "bar";
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo() : string {
|
|
return (new A)->foo;
|
|
}
|
|
|
|
public function bar() : void {
|
|
$a = new A();
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var int */
|
|
public $foo = 5;
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo() : string {
|
|
return (new A)->foo;
|
|
}
|
|
|
|
public function bar() : void {
|
|
$a = new A();
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::foo' => 1,
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
],
|
|
'invalidateAfterStaticPropertyChange' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string */
|
|
public static $foo = "bar";
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo() : string {
|
|
return A::$foo;
|
|
}
|
|
|
|
public function bar() : void {
|
|
$a = new A();
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var int */
|
|
public static $foo = 5;
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo() : string {
|
|
return A::$foo;
|
|
}
|
|
|
|
public function bar() : void {
|
|
$a = new A();
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::foo' => 1,
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
],
|
|
'invalidateAfterStaticFlipPropertyChange' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string */
|
|
public static $foo = "bar";
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo() : string {
|
|
return A::$foo;
|
|
}
|
|
|
|
public function bar() : void {
|
|
$a = new A();
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string */
|
|
public $foo = "bar";
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo() : string {
|
|
return A::$foo;
|
|
}
|
|
|
|
public function bar() : void {
|
|
$a = new A();
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::foo' => 1,
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
],
|
|
'invalidateAfterConstantChange' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
public const FOO = "bar";
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo() : string {
|
|
return A::FOO;
|
|
}
|
|
|
|
public function bar() : void {
|
|
$a = new A();
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
public const FOO = 5;
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo() : string {
|
|
return A::FOO;
|
|
}
|
|
|
|
public function bar() : void {
|
|
$a = new A();
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::foo' => 1,
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
],
|
|
'dontInvalidateTraitMethods' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
use T;
|
|
|
|
public function fooFoo(): void { }
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo(): void {
|
|
(new A)->fooFoo();
|
|
}
|
|
|
|
public function bar() : void {
|
|
echo (new A)->barBar();
|
|
}
|
|
|
|
public function noReturnType() {}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
public function barBar(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
use T;
|
|
|
|
public function fooFoo(?string $foo = null): void { }
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo(): void {
|
|
(new A)->fooFoo();
|
|
}
|
|
|
|
public function bar() : void {
|
|
echo (new A)->barBar();
|
|
}
|
|
|
|
public function noReturnType() {}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
public function barBar(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [
|
|
'foo\a::barbar&foo\t::barbar' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::foofoo' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::foo' => 1,
|
|
'foo\b::bar' => 1,
|
|
'foo\b::noreturntype' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [
|
|
'foo\a::barbar&foo\t::barbar' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::bar' => 1,
|
|
'foo\b::noreturntype' => 1,
|
|
],
|
|
],
|
|
[
|
|
'MissingReturnType' => \Psalm\Config::REPORT_INFO,
|
|
],
|
|
],
|
|
'invalidateTraitMethodsWhenTraitRemoved' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
use T;
|
|
|
|
public function fooFoo(?string $foo = null): void { }
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo(): void {
|
|
(new A)->fooFoo();
|
|
}
|
|
|
|
public function bar() : void {
|
|
echo (new A)->barBar();
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
public function barBar(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
public function fooFoo(): void { }
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo(): void {
|
|
(new A)->fooFoo();
|
|
}
|
|
|
|
public function bar() : void {
|
|
echo (new A)->barBar();
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
public function barBar(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [
|
|
'foo\a::barbar&foo\t::barbar' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::foofoo' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::foo' => 1,
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [],
|
|
],
|
|
],
|
|
'invalidateTraitMethodsWhenTraitReplaced' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
use T;
|
|
|
|
public function fooFoo(): void { }
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo(): void {
|
|
(new A)->fooFoo();
|
|
}
|
|
|
|
public function bar() : void {
|
|
echo (new A)->barBar();
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
public function barBar(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
public function fooFoo(?string $foo = null): void { }
|
|
|
|
public function barBar(): int {
|
|
return 5;
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo(): void {
|
|
(new A)->fooFoo();
|
|
}
|
|
|
|
public function bar() : void {
|
|
echo (new A)->barBar();
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
public function barBar(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [
|
|
'foo\a::barbar&foo\t::barbar' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::foofoo' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::foo' => 1,
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [],
|
|
],
|
|
],
|
|
'invalidateTraitMethodsWhenMethodChanged' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
use T;
|
|
|
|
public function fooFoo(): void { }
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo(): void {
|
|
(new A)->fooFoo();
|
|
}
|
|
|
|
public function bar() : void {
|
|
echo (new A)->barBar();
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
public function barBar(): string {
|
|
return "hello";
|
|
}
|
|
|
|
public function bat(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
use T;
|
|
|
|
public function fooFoo(?string $foo = null): void { }
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function foo(): void {
|
|
(new A)->fooFoo();
|
|
}
|
|
|
|
public function bar() : void {
|
|
echo (new A)->barBar();
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
public function barBar(): int {
|
|
return 5;
|
|
}
|
|
|
|
public function bat(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [
|
|
'foo\a::barbar&foo\t::barbar' => 1,
|
|
'foo\a::bat&foo\t::bat' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::foofoo' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::foo' => 1,
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [
|
|
'foo\a::bat&foo\t::bat' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [],
|
|
],
|
|
],
|
|
'invalidateTraitMethodsWhenMethodSuperimposed' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
use T;
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function bar() : string {
|
|
return (new A)->barBar();
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
public function barBar(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
use T;
|
|
|
|
public function barBar(): int {
|
|
return 5;
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class B {
|
|
public function bar() : string {
|
|
return (new A)->barBar();
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
public function barBar(): string {
|
|
return "hello";
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [
|
|
'foo\a::barbar&foo\t::barbar' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [
|
|
'foo\b::bar' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'B.php' => [],
|
|
],
|
|
],
|
|
'dontInvalidateConstructor' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string */
|
|
public $foo;
|
|
|
|
public function __construct() {
|
|
$this->setFoo();
|
|
}
|
|
|
|
private function setFoo() : void {
|
|
$this->reallySetFoo();
|
|
}
|
|
|
|
private function reallySetFoo() : void {
|
|
$this->foo = "bar";
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string */
|
|
public $foo;
|
|
|
|
public function __construct() {
|
|
$this->setFoo();
|
|
}
|
|
|
|
private function setFoo() : void {
|
|
$this->reallySetFoo();
|
|
}
|
|
|
|
private function reallySetFoo() : void {
|
|
$this->foo = "bar";
|
|
}
|
|
}',
|
|
],
|
|
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 2,
|
|
'foo\a::setfoo' => 1,
|
|
'foo\a::reallysetfoo' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 2,
|
|
'foo\a::setfoo' => 1,
|
|
'foo\a::reallysetfoo' => 1,
|
|
],
|
|
],
|
|
],
|
|
'invalidateConstructorWhenDependentMethodChanges' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string */
|
|
public $foo;
|
|
|
|
public function __construct() {
|
|
$this->setFoo();
|
|
}
|
|
|
|
private function setFoo() : void {
|
|
$this->reallySetFoo();
|
|
}
|
|
|
|
private function reallySetFoo() : void {
|
|
$this->foo = "bar";
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string */
|
|
public $foo;
|
|
|
|
public function __construct() {
|
|
$this->setFoo();
|
|
}
|
|
|
|
private function setFoo() : void {
|
|
$this->reallySetFoo();
|
|
}
|
|
|
|
private function reallySetFoo() : void {
|
|
//$this->foo = "bar";
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 2,
|
|
'foo\a::setfoo' => 1,
|
|
'foo\a::reallysetfoo' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::setfoo' => 1,
|
|
],
|
|
],
|
|
],
|
|
'invalidateConstructorWhenDependentMethodInSubclassChanges' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
abstract class A {
|
|
public function __construct() {
|
|
$this->setFoo();
|
|
}
|
|
|
|
abstract protected function setFoo() : void;
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class AChild extends A {
|
|
/** @var string */
|
|
public $foo;
|
|
|
|
protected function setFoo() : void {
|
|
$this->reallySetFoo();
|
|
}
|
|
|
|
private function reallySetFoo() : void {
|
|
$this->foo = "bar";
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
abstract class A {
|
|
public function __construct() {
|
|
$this->setFoo();
|
|
}
|
|
|
|
abstract protected function setFoo() : void;
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class AChild extends A {
|
|
/** @var string */
|
|
public $foo;
|
|
|
|
protected function setFoo() : void {
|
|
$this->reallySetFoo();
|
|
}
|
|
|
|
private function reallySetFoo() : void {
|
|
//$this->foo = "bar";
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 1,
|
|
'foo\a::setfoo' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => [
|
|
'foo\achild::setfoo' => 1,
|
|
'foo\achild::reallysetfoo' => 1,
|
|
'foo\achild::__construct' => 2,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 1,
|
|
'foo\a::setfoo' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => [
|
|
'foo\achild::setfoo' => 1,
|
|
],
|
|
],
|
|
],
|
|
'invalidateConstructorWhenDependentMethodInSubclassChanges2' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string */
|
|
public $foo;
|
|
|
|
public function __construct() {
|
|
$this->setFoo();
|
|
}
|
|
|
|
protected function setFoo() : void {
|
|
$this->foo = "bar";
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class AChild extends A {
|
|
public function __construct() {
|
|
parent::__construct();
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string */
|
|
public $foo;
|
|
|
|
public function __construct() {
|
|
$this->setFoo();
|
|
}
|
|
|
|
protected function setFoo() : void {
|
|
$this->foo = "baz";
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class AChild extends A {
|
|
public function __construct() {
|
|
parent::__construct();
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 2,
|
|
'foo\a::setfoo' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => [
|
|
'foo\achild::__construct' => 2,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => [],
|
|
],
|
|
],
|
|
'invalidateConstructorWhenDependentTraitMethodChanges' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
use T;
|
|
|
|
/** @var string */
|
|
public $foo;
|
|
|
|
public function __construct() {
|
|
$this->setFoo();
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
private function setFoo() : void {
|
|
$this->foo = "bar";
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
use T;
|
|
|
|
/** @var string */
|
|
public $foo;
|
|
|
|
public function __construct() {
|
|
$this->setFoo();
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => '<?php
|
|
namespace Foo;
|
|
|
|
trait T {
|
|
private function setFoo() : void {
|
|
//$this->foo = "bar";
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [
|
|
'foo\a::setfoo&foo\t::setfoo' => 1,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 2,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'T.php' => [],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [],
|
|
],
|
|
],
|
|
'rescanPropertyAssertingMethod' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string */
|
|
private $foo;
|
|
|
|
public function __construct() {}
|
|
|
|
public function bar() : void {
|
|
if ($this->foo === null) {}
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string|null */
|
|
private $foo;
|
|
|
|
public function __construct() {}
|
|
|
|
public function bar() : void {
|
|
if ($this->foo === null) {}
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 2,
|
|
'foo\a::bar' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 2,
|
|
],
|
|
],
|
|
[
|
|
'PropertyNotSetInConstructor' => \Psalm\Config::REPORT_INFO,
|
|
'DocblockTypeContradiction' => \Psalm\Config::REPORT_INFO,
|
|
'RedundantConditionGivenDocblockType' => \Psalm\Config::REPORT_INFO,
|
|
],
|
|
],
|
|
'noChangeAfterSyntaxError' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string|null */
|
|
private $foo;
|
|
|
|
public function __construct() {}
|
|
|
|
public function bar() : void {
|
|
if ($this->foo === null) {}
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string|null */
|
|
private $foo
|
|
|
|
public function __construct() {}
|
|
|
|
public function bar() : void {
|
|
if ($this->foo === null) {}
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 1,
|
|
'foo\a::bar' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 1,
|
|
],
|
|
],
|
|
],
|
|
'nothingBeforeSyntaxError' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string|null */
|
|
private $foo
|
|
|
|
public function __construct() {}
|
|
|
|
public function bar() : void {
|
|
if ($this->foo === null) {}
|
|
}
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class A {
|
|
/** @var string|null */
|
|
private $foo;
|
|
|
|
public function __construct() {}
|
|
|
|
public function bar() : void {
|
|
if ($this->foo === null) {}
|
|
}
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 1,
|
|
'foo\a::bar' => 1,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 1,
|
|
],
|
|
],
|
|
],
|
|
'modifyPropertyOfChildClass' => [
|
|
'start_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
abstract class A {
|
|
protected $arr = [1, 2, 3];
|
|
|
|
protected string $b;
|
|
|
|
public function __construct(int $a, string $b) {
|
|
echo $this->arr[$a];
|
|
$this->b = $b;
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class AChild extends A {
|
|
public $arr = [1, 2, 3, 4];
|
|
}',
|
|
],
|
|
'end_files' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => '<?php
|
|
namespace Foo;
|
|
|
|
abstract class A {
|
|
protected $arr = [1, 2, 3];
|
|
|
|
protected string $b;
|
|
|
|
public function __construct(int $a, string $b) {
|
|
echo $this->arr[$a];
|
|
$this->b = $b;
|
|
}
|
|
}',
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => '<?php
|
|
namespace Foo;
|
|
|
|
class AChild extends A {
|
|
protected $arr;
|
|
}',
|
|
],
|
|
'initial_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 2,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => [
|
|
'foo\achild::__construct' => 2,
|
|
],
|
|
],
|
|
'unaffected_analyzed_methods' => [
|
|
getcwd() . DIRECTORY_SEPARATOR . 'A.php' => [
|
|
'foo\a::__construct' => 2,
|
|
],
|
|
getcwd() . DIRECTORY_SEPARATOR . 'AChild.php' => []
|
|
],
|
|
],
|
|
];
|
|
}
|
|
}
|