2018-12-02 00:37:49 +01:00
|
|
|
<?php
|
2021-12-15 04:58:32 +01:00
|
|
|
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace Psalm\Tests;
|
|
|
|
|
2021-12-04 21:55:53 +01:00
|
|
|
use Psalm\Tests\Traits\InvalidCodeAnalysisTestTrait;
|
|
|
|
use Psalm\Tests\Traits\ValidCodeAnalysisTestTrait;
|
|
|
|
|
2018-12-02 00:37:49 +01:00
|
|
|
class InternalAnnotationTest extends TestCase
|
|
|
|
{
|
2021-12-04 21:55:53 +01:00
|
|
|
use InvalidCodeAnalysisTestTrait;
|
|
|
|
use ValidCodeAnalysisTestTrait;
|
2018-12-02 00:37:49 +01:00
|
|
|
|
2020-09-12 17:24:05 +02:00
|
|
|
public function providerValidCodeParse(): iterable
|
2018-12-02 00:37:49 +01:00
|
|
|
{
|
|
|
|
return [
|
|
|
|
'internalMethodWithCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
\A\Foo::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'internalClassWithStaticCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
\A\Foo::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2020-06-28 19:15:54 +02:00
|
|
|
'internalClassWithInstanceCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-06-28 19:15:54 +02:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function getFoo(): Foo {
|
|
|
|
return new Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(): void {
|
|
|
|
\A\getFoo()->barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2020-07-23 01:27:35 +02:00
|
|
|
'internalClassWithPropertyFetch' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-23 01:27:35 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public int $barBar = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
function getFoo(): Foo {
|
|
|
|
return new Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(\A\B\Foo $instance): void {
|
|
|
|
\A\B\getFoo()->barBar;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2018-12-02 00:37:49 +01:00
|
|
|
'internalClassExtendingNamespaceWithStaticCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo extends \B\Foo {
|
|
|
|
public function __construct() {
|
|
|
|
parent::__construct();
|
|
|
|
}
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B {
|
|
|
|
class Foo {
|
|
|
|
public function __construct() {
|
|
|
|
static::barBar();
|
|
|
|
}
|
|
|
|
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'internalClassWithNew' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo { }
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
$a = new \A\Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'internalClassWithExtends' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo { }
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B {
|
|
|
|
class Bar extends \A\Foo {}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'internalPropertyGet' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
* @var ?int
|
|
|
|
*/
|
|
|
|
public $foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
echo (new \A\Foo)->foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'internalPropertySet' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
* @var ?int
|
|
|
|
*/
|
|
|
|
public $foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
namespace A\B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
$a = new \A\Foo;
|
|
|
|
$a->foo = 5;
|
|
|
|
}
|
2018-12-13 15:28:30 +01:00
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'internalMethodInTraitWithCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-13 15:28:30 +01:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
trait T {
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
class Foo {
|
|
|
|
use T;
|
|
|
|
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
\A\Foo::barBar();
|
|
|
|
}
|
2018-12-02 00:37:49 +01:00
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2019-05-30 14:50:43 +02:00
|
|
|
'magicPropertyGetInternalImplicit' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2019-05-30 14:50:43 +02:00
|
|
|
namespace A {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
public function __get(string $s): string {
|
|
|
|
return "hello";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
echo (new \A\Foo)->foo;
|
|
|
|
}
|
|
|
|
}
|
2019-07-05 22:24:00 +02:00
|
|
|
}',
|
2019-05-30 14:50:43 +02:00
|
|
|
],
|
2020-07-24 21:38:56 +02:00
|
|
|
'constInternalClass' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-24 21:38:56 +02:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
const AA = "a";
|
|
|
|
}
|
|
|
|
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
echo \A\Foo::AA;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2020-07-26 16:12:53 +02:00
|
|
|
'psalmInternalMethodWithCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
\A\B\Foo::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'internalMethodWithCallWithCaseMisMatched' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace a\b\c {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
\A\B\Foo::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2021-12-23 19:57:32 +01:00
|
|
|
'psalmInternalMethodWithTrailingWhitespace' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2021-12-23 19:57:32 +01:00
|
|
|
namespace A\B {
|
|
|
|
class Foo {
|
|
|
|
/** @psalm-internal A\B */
|
|
|
|
public static function barBar(): void {
|
|
|
|
self::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2020-07-26 16:12:53 +02:00
|
|
|
'internalToClassMethodWithCallSameNamespace' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
|
|
|
|
public static function foo(): void {
|
|
|
|
self::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'psalmInternalClassWithStaticCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
\A\B\Foo::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'psalmInternalClassWithInstanceCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function getFoo(): Foo {
|
|
|
|
return new Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(\A\B\Foo $instance): void {
|
|
|
|
\A\B\getFoo()->barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'psalmInternalClassWithPropertyFetch' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public int $barBar = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
function getFoo(): Foo {
|
|
|
|
return new Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(\A\B\Foo $instance): void {
|
|
|
|
\A\B\getFoo()->barBar;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'psalmInternalClassExtendingNamespaceWithStaticCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A
|
|
|
|
*/
|
|
|
|
class Foo extends \B\Foo {
|
|
|
|
public function __construct() {
|
|
|
|
parent::__construct();
|
|
|
|
}
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B {
|
|
|
|
class Foo {
|
|
|
|
public function __construct() {
|
|
|
|
static::barBar();
|
|
|
|
}
|
|
|
|
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'psalmInternalClassWithNew' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
class Foo { }
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
$a = new \A\B\Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'psalmInternalClassWithInstanceOf' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
interface Bar {};
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
class Foo { }
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(\A\B\Bar $bar) : void {
|
|
|
|
$bar instanceOf \A\B\Foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'psalmInternalClassWithExtends' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
class Foo { }
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B\C {
|
|
|
|
class Bar extends \A\B\Foo {}
|
|
|
|
}',
|
|
|
|
],
|
2021-12-23 19:57:32 +01:00
|
|
|
'psalmInternalClassWithTrailingWhitespace' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2021-12-23 19:57:32 +01:00
|
|
|
namespace A\B {
|
|
|
|
/** @psalm-internal A\B */
|
|
|
|
class Foo {}
|
|
|
|
class Bar extends Foo {}
|
|
|
|
}',
|
|
|
|
],
|
2020-07-26 16:12:53 +02:00
|
|
|
'psalmInternalPropertyGet' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
* @var ?int
|
|
|
|
*/
|
|
|
|
public $foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\B\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
echo (new \A\B\Foo)->foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'psalmInternalPropertySet' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
* @var ?int
|
|
|
|
*/
|
|
|
|
public $foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
namespace A\B\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
$a = new \A\B\Foo;
|
|
|
|
$a->foo = 5;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2021-12-23 19:57:32 +01:00
|
|
|
'psalmInternalPropertyWithTrailingWhitespace' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2021-12-23 19:57:32 +01:00
|
|
|
namespace A\B {
|
|
|
|
class Foo {
|
|
|
|
/** @psalm-internal A\B */
|
|
|
|
public int $foo = 0;
|
|
|
|
|
|
|
|
public function barBar() : void {
|
|
|
|
$this->foo = 42;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2020-07-26 16:12:53 +02:00
|
|
|
'psalmInternalMethodInTraitWithCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A
|
|
|
|
*/
|
|
|
|
trait T {
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
class Foo {
|
|
|
|
use T;
|
|
|
|
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
\A\Foo::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2022-06-25 09:03:26 +02:00
|
|
|
'psalmInternalMultipleNamespaces' => [
|
2022-07-07 07:21:35 +02:00
|
|
|
'code' => '<?php
|
2022-06-25 09:03:26 +02:00
|
|
|
namespace A
|
|
|
|
{
|
|
|
|
class Foo
|
|
|
|
{
|
|
|
|
/**
|
|
|
|
* @psalm-internal \B
|
|
|
|
* @psalm-internal \C
|
|
|
|
*/
|
|
|
|
public static function foobar(): void {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B
|
|
|
|
{
|
|
|
|
\A\Foo::foobar();
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace C
|
|
|
|
{
|
|
|
|
\A\Foo::foobar();
|
|
|
|
}
|
|
|
|
',
|
|
|
|
],
|
|
|
|
'psalmInternalToClass' => [
|
2022-07-07 07:21:35 +02:00
|
|
|
'code' => '<?php
|
2022-06-25 09:03:26 +02:00
|
|
|
namespace A
|
|
|
|
{
|
|
|
|
class Foo
|
|
|
|
{
|
|
|
|
/** @psalm-internal B\Bar */
|
|
|
|
public static function foo(): void {}
|
|
|
|
|
|
|
|
/** @psalm-internal B\Bar */
|
|
|
|
public function bar(): void {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B
|
|
|
|
{
|
|
|
|
class Bar
|
|
|
|
{
|
|
|
|
public function baz(): void
|
|
|
|
{
|
|
|
|
\A\Foo::foo();
|
|
|
|
$foo = new \A\Foo();
|
|
|
|
$foo->bar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
'
|
|
|
|
],
|
2018-12-02 00:37:49 +01:00
|
|
|
];
|
|
|
|
}
|
|
|
|
|
2020-09-12 17:24:05 +02:00
|
|
|
public function providerInvalidCodeParse(): iterable
|
2018-12-02 00:37:49 +01:00
|
|
|
{
|
|
|
|
return [
|
|
|
|
'internalMethodWithCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
2020-07-23 01:27:35 +02:00
|
|
|
public function batBat(): void {
|
2018-12-02 00:37:49 +01:00
|
|
|
\A\Foo::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
2021-08-17 19:54:57 +02:00
|
|
|
'error_message' => 'The method A\Foo::barBar is internal to A but called from B\Bat',
|
|
|
|
],
|
2022-06-24 12:37:33 +02:00
|
|
|
'internalCloneMethodWithCall' => [
|
|
|
|
'code' => '<?php
|
|
|
|
namespace A {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
public function __clone() {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(): void {
|
|
|
|
$a = new \A\Foo;
|
|
|
|
$aa = clone $a;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
2022-07-07 07:21:35 +02:00
|
|
|
'error_message' => 'The method A\Foo::__clone is internal to A but called from B',
|
2022-06-24 12:37:33 +02:00
|
|
|
],
|
2021-08-17 19:54:57 +02:00
|
|
|
'internalMethodWithCallFromRootNamespace' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2021-08-17 19:54:57 +02:00
|
|
|
namespace A {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
\A\Foo::barBar();
|
|
|
|
}',
|
|
|
|
'error_message' => 'The method A\Foo::barBar is internal to A but called from root namespace',
|
2018-12-02 00:37:49 +01:00
|
|
|
],
|
|
|
|
'internalClassWithStaticCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() {
|
|
|
|
\A\Foo::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'InternalClass',
|
|
|
|
],
|
2020-06-28 19:15:54 +02:00
|
|
|
'internalClassWithInstanceCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-06-28 19:15:54 +02:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function getFoo(): Foo {
|
|
|
|
return new Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(): void {
|
|
|
|
\A\getFoo()->barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'InternalMethod',
|
|
|
|
],
|
2020-07-23 01:27:35 +02:00
|
|
|
'internalClassWithPropertyFetch' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-23 01:27:35 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public int $barBar = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
function getFoo(): Foo {
|
|
|
|
return new Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(): void {
|
|
|
|
\A\B\getFoo()->barBar;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
2020-07-24 15:32:54 +02:00
|
|
|
'error_message' => 'A\B\Foo::$barBar is internal',
|
2020-07-23 01:27:35 +02:00
|
|
|
],
|
2018-12-02 00:37:49 +01:00
|
|
|
'internalClassWithNew' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo { }
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() {
|
|
|
|
$a = new \A\Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'InternalClass',
|
|
|
|
],
|
|
|
|
'internalClassWithExtends' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo { }
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B {
|
|
|
|
class Bar extends \A\Foo {}
|
|
|
|
}',
|
|
|
|
'error_message' => 'InternalClass',
|
|
|
|
],
|
|
|
|
'internalPropertyGet' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
* @var ?int
|
|
|
|
*/
|
|
|
|
public $foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
echo (new \A\Foo)->foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'InternalProperty',
|
|
|
|
],
|
|
|
|
'internalPropertySet' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2018-12-02 00:37:49 +01:00
|
|
|
namespace A {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
* @var ?int
|
|
|
|
*/
|
|
|
|
public $foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
$a = new \A\Foo;
|
|
|
|
$a->foo = 5;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'InternalProperty',
|
|
|
|
],
|
2019-05-30 14:53:20 +02:00
|
|
|
'magicPropertyGetInternalExplicit' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2019-05-30 14:50:43 +02:00
|
|
|
namespace A {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
public function __get(string $s): string {
|
|
|
|
return "hello";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
echo (new \A\Foo)->__get("foo");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'InternalMethod',
|
|
|
|
],
|
2020-07-24 21:38:56 +02:00
|
|
|
'constInternalClass' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-24 21:38:56 +02:00
|
|
|
namespace A {
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
const AA = "a";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
namespace B {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
echo \A\Foo::AA;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'InternalClass',
|
|
|
|
],
|
2020-07-26 16:12:53 +02:00
|
|
|
'psalmInternalMethodWithCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(): void {
|
|
|
|
\A\B\Foo::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'The method A\B\Foo::barBar is internal to A\B',
|
|
|
|
],
|
|
|
|
'psalmInternalToClassMethodWithCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B\Foo
|
|
|
|
*/
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(): void {
|
|
|
|
\A\B\Foo::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'The method A\B\Foo::barBar is internal to A\B\Foo',
|
|
|
|
],
|
|
|
|
'psalmInternalClassWithStaticCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public static function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(): void {
|
|
|
|
\A\B\Foo::barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'InternalClass',
|
|
|
|
],
|
|
|
|
'psalmInternalClassWithPropertyFetch' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public int $barBar = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
function getFoo(): Foo {
|
|
|
|
return new Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(): void {
|
|
|
|
\A\B\getFoo()->barBar;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'A\B\Foo::$barBar is internal to A\B',
|
|
|
|
],
|
|
|
|
'psalmInternalClassWithInstanceCall' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
class Foo {
|
|
|
|
public function barBar(): void {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function getFoo(): Foo {
|
|
|
|
return new Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(): void {
|
|
|
|
\A\B\getFoo()->barBar();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'The method A\B\Foo::barBar is internal to A\B',
|
|
|
|
],
|
|
|
|
'psalmInternalClassWithNew' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
class Foo { }
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat(): void {
|
|
|
|
$a = new \A\B\Foo();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'InternalClass',
|
|
|
|
],
|
|
|
|
'psalmInternalClassWithExtends' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
*/
|
|
|
|
class Foo { }
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\C {
|
|
|
|
class Bar extends \A\B\Foo {}
|
|
|
|
}',
|
|
|
|
'error_message' => 'A\B\Foo is internal to A\B',
|
|
|
|
],
|
|
|
|
'psalmInternalPropertyGet' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
* @var ?int
|
|
|
|
*/
|
|
|
|
public $foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
namespace A\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
echo (new \A\B\Foo)->foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'A\B\Foo::$foo is internal to A\B',
|
|
|
|
],
|
|
|
|
'psalmInternalPropertySet' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
namespace A\B {
|
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @psalm-internal A\B
|
|
|
|
* @var ?int
|
|
|
|
*/
|
|
|
|
public $foo;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
namespace A\C {
|
|
|
|
class Bat {
|
|
|
|
public function batBat() : void {
|
|
|
|
$a = new \A\B\Foo;
|
|
|
|
$a->foo = 5;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'A\B\Foo::$foo is internal to A\B',
|
|
|
|
],
|
|
|
|
'psalmInternalClassMissingNamespace' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
* @psalm-internal
|
|
|
|
*/
|
|
|
|
class Foo {}
|
|
|
|
|
|
|
|
',
|
|
|
|
'error_message' => 'psalm-internal annotation used without specifying namespace',
|
|
|
|
],
|
|
|
|
'psalmInternalPropertyMissingNamespace' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @var int
|
|
|
|
* @internal
|
|
|
|
* @psalm-internal
|
|
|
|
*/
|
|
|
|
var $bar;
|
|
|
|
}
|
|
|
|
',
|
|
|
|
'error_message' => 'psalm-internal annotation used without specifying namespace',
|
|
|
|
],
|
|
|
|
'psalmInternalMethodMissingNamespace' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2020-07-26 16:12:53 +02:00
|
|
|
class Foo {
|
|
|
|
/**
|
|
|
|
* @psalm-internal
|
|
|
|
*/
|
|
|
|
function Bar(): void {}
|
|
|
|
}
|
|
|
|
|
|
|
|
',
|
|
|
|
'error_message' => 'psalm-internal annotation used without specifying namespace',
|
|
|
|
],
|
2021-05-28 15:44:07 +02:00
|
|
|
'internalConstructor' => [
|
2022-01-13 19:49:37 +01:00
|
|
|
'code' => '<?php
|
2021-05-28 15:44:07 +02:00
|
|
|
namespace A {
|
|
|
|
class C {
|
|
|
|
/** @internal */
|
|
|
|
public function __construct() {}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
namespace B {
|
|
|
|
use A\C;
|
|
|
|
new C;
|
|
|
|
}
|
|
|
|
',
|
|
|
|
'error_message' => 'InternalMethod',
|
|
|
|
],
|
2018-12-02 00:37:49 +01:00
|
|
|
];
|
|
|
|
}
|
|
|
|
}
|