mirror of
https://github.com/danog/psalm.git
synced 2024-11-27 04:45:20 +01:00
e29dd140e3
* Add failing test * Add visitor to soup up classlike references * Move a whole bunch of code into the visitor * Move some methods back, move onto analysis stage * Use the getAliases method everywhere * Fix refs * Fix more refs * Fix some tests * Fix more tests * Fix include tests * Shift config class finding to project checker and fix bugs * Fix a few more tests * transition test to new syntax * Remove var_dump * Delete a bunch of code and fix mutation test * Remove unnecessary visitation * Transition to better mocked out file provider, breaking some cached statement loading * Use different scheme for naming anonymous classes * Fix anonymous class issues * Refactor file/statement loading * Add specific property types * Fix mapped property assignment * Improve how we deal with traits * Fix trait checking * Pass Psalm checks * Add multi-process support * Delay console output until the end * Remove PHP 7 syntax * Update file storage with classes * Fix scanning individual files and add reflection return types * Always turn XDebug off * Add quicker method of getting method mutations * Queue return types for crawling * Interpret all strings as possible classes once we see a `get_class` call * Check invalid return types again * Fix template namespacing issues * Default to class-insensitive file names for includes * Don’t overwrite existing issues data * Add var docblocks for scanning * Add null check * Fix loading of external classes in templates * Only try to populate class when we haven’t yet seen it’s not a class * Fix trait property accessibility * Only ever improve docblock param type * Make param replacement more robust * Fix static const missing inferred type * Fix a few more tests * Register constant definitions * Fix trait aliasing * Skip constant type tests for now * Fix linting issues * Make sure caching is off for tests * Remove unnecessary return * Use emulative parser if on PHP 5.6 * Cache parser for faster first-time parse * Fix constant resolution when scanning classes * Remove test that’s beyond a practical scope * Add back --diff support * Add --help for --threads * Remove unused vars
387 lines
11 KiB
PHP
387 lines
11 KiB
PHP
<?php
|
|
namespace Psalm\Tests;
|
|
|
|
class InterfaceTest extends TestCase
|
|
{
|
|
use Traits\FileCheckerInvalidCodeParseTestTrait;
|
|
use Traits\FileCheckerValidCodeParseTestTrait;
|
|
|
|
/**
|
|
* @return array
|
|
*/
|
|
public function providerFileCheckerValidCodeParse()
|
|
{
|
|
return [
|
|
'extendsAndImplements' => [
|
|
'<?php
|
|
interface A
|
|
{
|
|
/**
|
|
* @return string
|
|
*/
|
|
public function fooFoo();
|
|
}
|
|
|
|
interface B
|
|
{
|
|
/**
|
|
* @return string
|
|
*/
|
|
public function barBar();
|
|
}
|
|
|
|
interface C extends A, B
|
|
{
|
|
/**
|
|
* @return string
|
|
*/
|
|
public function baz();
|
|
}
|
|
|
|
class D implements C
|
|
{
|
|
public function fooFoo()
|
|
{
|
|
return "hello";
|
|
}
|
|
|
|
public function barBar()
|
|
{
|
|
return "goodbye";
|
|
}
|
|
|
|
public function baz()
|
|
{
|
|
return "hello again";
|
|
}
|
|
}
|
|
|
|
$cee = (new D())->baz();
|
|
$dee = (new D())->fooFoo();',
|
|
'assertions' => [
|
|
'$cee' => 'string',
|
|
'$dee' => 'string',
|
|
],
|
|
],
|
|
'isExtendedInterface' => [
|
|
'<?php
|
|
interface A {}
|
|
class B implements A {}
|
|
|
|
/**
|
|
* @param A $a
|
|
* @return void
|
|
*/
|
|
function qux(A $a) { }
|
|
|
|
qux(new B());',
|
|
],
|
|
'isDoubleExtendedInterface' => [
|
|
'<?php
|
|
interface A {}
|
|
interface B extends A {}
|
|
class C implements B {}
|
|
|
|
/**
|
|
* @param A $a
|
|
* @return void
|
|
*/
|
|
function qux(A $a) {
|
|
}
|
|
|
|
qux(new C());',
|
|
],
|
|
'extendsWithMethod' => [
|
|
'<?php
|
|
interface A
|
|
{
|
|
/**
|
|
* @return string
|
|
*/
|
|
public function fooFoo();
|
|
}
|
|
|
|
interface B extends A
|
|
{
|
|
public function barBar();
|
|
}
|
|
|
|
/** @return void */
|
|
function mux(B $b) {
|
|
$b->fooFoo();
|
|
}',
|
|
],
|
|
'correctInterfaceMethodSignature' => [
|
|
'<?php
|
|
interface A {
|
|
public function fooFoo(int $a) : void;
|
|
}
|
|
|
|
class B implements A {
|
|
public function fooFoo(int $a) : void {
|
|
|
|
}
|
|
}',
|
|
],
|
|
'interfaceMethodImplementedInParent' => [
|
|
'<?php
|
|
interface MyInterface {
|
|
public function fooFoo(int $a) : void;
|
|
}
|
|
|
|
class B {
|
|
public function fooFoo(int $a) : void {
|
|
|
|
}
|
|
}
|
|
|
|
class C extends B implements MyInterface { }',
|
|
],
|
|
'interfaceMethodSignatureInTrait' => [
|
|
'<?php
|
|
interface A {
|
|
public function fooFoo(int $a, int $b) : void;
|
|
}
|
|
|
|
trait T {
|
|
public function fooFoo(int $a, int $b) : void {
|
|
}
|
|
}
|
|
|
|
class B implements A {
|
|
use T;
|
|
}',
|
|
],
|
|
'delayedInterface' => [
|
|
'<?php
|
|
// fails in PHP, whatcha gonna do
|
|
$c = new C;
|
|
|
|
class A { }
|
|
|
|
interface B { }
|
|
|
|
class C extends A implements B { }',
|
|
],
|
|
'typeDoesNotContainType' => [
|
|
'<?php
|
|
interface A { }
|
|
interface B {
|
|
function foo();
|
|
}
|
|
function bar(A $a) : void {
|
|
if ($a instanceof B) {
|
|
$a->foo();
|
|
}
|
|
}',
|
|
],
|
|
'abstractInterfaceImplements' => [
|
|
'<?php
|
|
interface I {
|
|
public function fnc();
|
|
}
|
|
|
|
abstract class A implements I {}',
|
|
],
|
|
'abstractInterfaceImplementsButCallMethod' => [
|
|
'<?php
|
|
interface I {
|
|
public function foo();
|
|
}
|
|
|
|
abstract class A implements I {
|
|
public function bar() : void {
|
|
$this->foo();
|
|
}
|
|
}',
|
|
],
|
|
'implementsPartialInterfaceMethods' => [
|
|
'<?php
|
|
namespace Bat;
|
|
|
|
interface I {
|
|
public function foo();
|
|
public function bar();
|
|
}
|
|
abstract class A implements I {
|
|
public function foo() {
|
|
return "hello";
|
|
}
|
|
}
|
|
class B extends A {
|
|
public function bar() {
|
|
return "goodbye";
|
|
}
|
|
}',
|
|
'assertions' => [],
|
|
'error_levels' => ['MissingReturnType'],
|
|
],
|
|
'interfaceConstants' => [
|
|
'<?php
|
|
interface I1 {
|
|
const A = 5;
|
|
const B = "two";
|
|
const C = 3.0;
|
|
}
|
|
|
|
interface I2 extends I1 {
|
|
const D = 5;
|
|
const E = "two";
|
|
}
|
|
|
|
class A implements I2 {
|
|
/** @var int */
|
|
public $foo = I1::A;
|
|
|
|
/** @var string */
|
|
public $bar = self::B;
|
|
|
|
/** @var float */
|
|
public $bar2 = I2::C;
|
|
|
|
/** @var int */
|
|
public $foo2 = I2::D;
|
|
|
|
/** @var string */
|
|
public $bar3 = self::E;
|
|
}',
|
|
],
|
|
'interfaceExtendsReturnType' => [
|
|
'<?php
|
|
interface A {}
|
|
interface B extends A {}
|
|
|
|
function foo(B $a) : A {
|
|
return $a;
|
|
}',
|
|
],
|
|
'SKIPPED-interfaceInstanceof' => [
|
|
'<?php
|
|
interface A {}
|
|
interface B {}
|
|
|
|
function foo(A $i) : A {
|
|
if ($i instanceof B) {}
|
|
return $i;
|
|
}',
|
|
],
|
|
];
|
|
}
|
|
|
|
/**
|
|
* @return array
|
|
*/
|
|
public function providerFileCheckerInvalidCodeParse()
|
|
{
|
|
return [
|
|
'invalidInterface' => [
|
|
'<?php
|
|
class C2 implements A { }',
|
|
'error_message' => 'UndefinedClass',
|
|
],
|
|
'noInterfaceProperties' => [
|
|
'<?php
|
|
interface A { }
|
|
|
|
function fooFoo(A $a) : void {
|
|
if ($a->bar) {
|
|
|
|
}
|
|
}',
|
|
'error_message' => 'NoInterfaceProperties',
|
|
],
|
|
'unimplementedInterfaceMethod' => [
|
|
'<?php
|
|
interface A {
|
|
public function fooFoo();
|
|
}
|
|
|
|
class B implements A { }',
|
|
'error_message' => 'UnimplementedInterfaceMethod',
|
|
],
|
|
'mismatchingInterfaceMethodSignature' => [
|
|
'<?php
|
|
interface A {
|
|
public function fooFoo(int $a) : void;
|
|
}
|
|
|
|
class B implements A {
|
|
public function fooFoo(string $a) : void {
|
|
|
|
}
|
|
}',
|
|
'error_message' => 'MethodSignatureMismatch',
|
|
],
|
|
'mismatchingInterfaceMethodSignatureInTrait' => [
|
|
'<?php
|
|
interface A {
|
|
public function fooFoo(int $a, int $b) : void;
|
|
}
|
|
|
|
trait T {
|
|
public function fooFoo(int $a) : void {
|
|
}
|
|
}
|
|
|
|
class B implements A {
|
|
use T;
|
|
}',
|
|
'error_message' => 'MethodSignatureMismatch',
|
|
],
|
|
'mismatchingInterfaceMethodSignatureInImplementer' => [
|
|
'<?php
|
|
interface A {
|
|
public function fooFoo(int $a, int $b) : void;
|
|
}
|
|
|
|
trait T {
|
|
public function fooFoo(int $a, int $b) : void {
|
|
}
|
|
}
|
|
|
|
class B implements A {
|
|
use T;
|
|
|
|
public function fooFoo(int $a) : void {
|
|
}
|
|
}',
|
|
'error_message' => 'MethodSignatureMismatch',
|
|
],
|
|
'abstractInterfaceImplementsButCallUndefinedMethod' => [
|
|
'<?php
|
|
interface I {
|
|
public function foo();
|
|
}
|
|
|
|
abstract class A implements I {
|
|
public function bar() : void {
|
|
$this->foo2();
|
|
}
|
|
}',
|
|
'error_message' => 'UndefinedMethod',
|
|
],
|
|
'abstractInterfaceImplementsWithSubclass' => [
|
|
'<?php
|
|
interface I {
|
|
public function fnc();
|
|
}
|
|
|
|
abstract class A implements I {}
|
|
|
|
class B extends A {}',
|
|
'error_message' => 'UnimplementedInterfaceMethod',
|
|
],
|
|
'moreSpecificReturnType' => [
|
|
'<?php
|
|
interface A {}
|
|
interface B extends A {}
|
|
|
|
function foo(A $a) : B {
|
|
return $a;
|
|
}',
|
|
'error_message' => 'MoreSpecificReturnType',
|
|
],
|
|
];
|
|
}
|
|
}
|