2017-12-12 06:49:40 +01:00
# Issue types
### AbstractInstantiation
Emitted when an attempt is made to instatiate an abstract class:
```php
abstract class A {}
new A();
```
### AssignmentToVoid
Emitted when assigning from a function that returns `void` :
```php
function foo() : void {}
$a = foo();
```
### ContinueOutsideLoop
Emitted when encountering a `continue` statement outside a loop context.
### DeprecatedClass
Emitted when creating a new instance of a deprecated class:
```php
/** @deprecated */
class A {}
new A();
```
### DeprecatedMethod
Emitted when calling a deprecated method on a given class:
```php
class A {
/** @deprecated */
public function foo() : void {}
}
(new A())->foo();
```
### DeprecatedProperty
Emitted when getting/setting a deprecated property of a given class
```php
class A {
/**
* @deprecated
* @var ?string
*/
public $foo;
}
(new A())->foo = 5;
```
### DuplicateClass
Emitted when a class is defined twice
```php
class A {}
class A {}
```
### DuplicateParam
Emitted when a class param is defined twice
```php
class A {
/** @var ?string */
public $foo;
/** @var ?string */
public $foo;
}
```
### EmptyArrayAccess
Emitted when attempting to access a value on an empty array
```php
$a = [];
$b = $a[0];
```
### ForbiddenCode
Emitted when Psalm encounters a var_dump, exec or similar expression that may make your code more vulnerable
```php
var_dump($foo);
```
### ImplementedReturnTypeMismatch
Emitted when a class that inherits another, or implements an interface, has docblock return type that's entirely different to the parent. Subclasses of the parent return type are permitted, in docblocks.
```php
class A {
/** @return bool */
public function foo() {
return true;
}
}
class B extends A {
/** @return string */
public function foo() {
return true;
}
}
```
### ImplicitToStringCast
Emitted when implictly converting an object with a `__toString` method to a string
```php
class A {
public function __toString() {
return "foo";
}
}
function takesString(string $s) : void {}
takesString(new A);
```
### InaccessibleClassConstant
Emitted when a public/private class constant is not accessible from the calling context
```php
class A {
protected const FOO = 'FOO';
}
echo A::FOO;
```
### InaccessibleMethod
2017-12-12 07:16:51 +01:00
Emitted when attempting to access a protected/private method from outside its available scope
2017-12-12 06:49:40 +01:00
```php
2017-12-12 07:16:51 +01:00
class A {
protected function foo() : void {}
}
echo (new A)->foo();
2017-12-12 06:49:40 +01:00
```
### InaccessibleProperty
2017-12-12 07:16:51 +01:00
Emitted when attempting to access a protected/private property from outside its available scope
2017-12-12 06:49:40 +01:00
```php
2017-12-12 07:16:51 +01:00
class A {
/** @return string */
protected $foo;
}
echo (new A)->foo;
2017-12-12 06:49:40 +01:00
```
### InvalidArgument
2017-12-12 07:16:51 +01:00
Emitted when a supplied function/method argument is incompatible with the method signature or docblock one.
2017-12-12 06:49:40 +01:00
```php
2017-12-12 07:16:51 +01:00
class A {}
function foo(A $a) : void {}
foo("hello");
2017-12-12 06:49:40 +01:00
```
### InvalidArrayAccess
2017-12-12 07:16:51 +01:00
Emitted when attempting to access an array offset on a value that does not permit it
2017-12-12 06:49:40 +01:00
```php
2017-12-12 07:16:51 +01:00
$arr = 5;
echo $arr[0];
2017-12-12 06:49:40 +01:00
```
### InvalidArrayAssignment
2017-12-13 17:57:46 +01:00
Emitted when attempting to assign a value on a non-array
2017-12-12 06:49:40 +01:00
```php
2017-12-13 17:57:46 +01:00
$arr = 5;
$arr[0] = 3;
2017-12-12 06:49:40 +01:00
```
### InvalidArrayOffset
2017-12-13 17:57:46 +01:00
Emitted when when attempting to access an array using a value that's not a valid offet for that array
2017-12-12 06:49:40 +01:00
```php
2017-12-13 17:57:46 +01:00
$a = [5, 20, 18];
echo $a["hello"];
2017-12-12 06:49:40 +01:00
```
### InvalidCast
2017-12-13 17:57:46 +01:00
Emitted when attempting to cast a value that's not castable
2017-12-12 06:49:40 +01:00
```php
2017-12-13 17:57:46 +01:00
class A {}
$a = new A();
$b = (string)$a;
2017-12-12 06:49:40 +01:00
```
### InvalidClass
2017-12-13 17:57:46 +01:00
Emitted when referencing a class with the wrong casing
2017-12-12 06:49:40 +01:00
```php
2017-12-13 17:57:46 +01:00
class Foo {}
(new foo());
2017-12-12 06:49:40 +01:00
```
### InvalidClone
2017-12-13 17:57:46 +01:00
Emitted when trying to clone a value that's not cloneable
2017-12-12 06:49:40 +01:00
```php
2017-12-13 17:57:46 +01:00
$a = "hello";
$b = clone $a;
2017-12-12 06:49:40 +01:00
```
### InvalidDocblock
2017-12-13 17:57:46 +01:00
Emitted when there's an error in a docblock type
2017-12-12 06:49:40 +01:00
```php
2017-12-13 17:57:46 +01:00
/** @var array() */
$a = [];
2017-12-12 06:49:40 +01:00
```
### InvalidFunctionCall
2017-12-13 17:57:46 +01:00
Emitted when calling a function on a non-callable variable
2017-12-12 06:49:40 +01:00
```php
2017-12-13 17:57:46 +01:00
$a = 5;
$b = $a();
2017-12-12 06:49:40 +01:00
```
### InvalidGlobal
Emitted when
```php
```
### InvalidIterator
2017-12-13 17:57:46 +01:00
Emitted when trying to iterate over a value that's not iterable
2017-12-12 06:49:40 +01:00
```php
2017-12-13 17:57:46 +01:00
$a = 5;
foreach ($a as $b) {}
2017-12-12 06:49:40 +01:00
```
### InvalidMethodCall
2017-12-13 17:57:46 +01:00
Emitted when attempting to call a method on a non-object
2017-12-12 06:49:40 +01:00
```php
2017-12-13 17:57:46 +01:00
$a = 5;
$a->foo();
2017-12-12 06:49:40 +01:00
```
### InvalidOperand
Emitted when
```php
```
### InvalidParamDefault
Emitted when
```php
```
### InvalidPassByReference
Emitted when
```php
```
### InvalidPropertyAssignment
Emitted when
```php
```
### InvalidPropertyFetch
Emitted when
```php
```
### InvalidReturnStatement
Emitted when
```php
```
### InvalidReturnType
Emitted when
```php
```
### InvalidScalarArgument
Emitted when
```php
```
### InvalidScope
Emitted when
```php
```
### InvalidStaticInvocation
Emitted when
```php
```
### InvalidStaticVariable
Emitted when
```php
```
### InvalidToString
Emitted when
```php
```
### LessSpecificReturnStatement
Emitted when
```php
```
### LessSpecificReturnType
Emitted when
```php
```
### MethodSignatureMismatch
Emitted when
```php
```
### MisplacedRequiredParam
Emitted when
```php
```
### MissingClosureReturnType
Emitted when
```php
```
### MissingConstructor
Emitted when
```php
```
### MissingDocblockType
Emitted when
```php
```
### MissingFile
Emitted when
```php
```
### MissingPropertyType
Emitted when
```php
```
### MissingReturnType
Emitted when
```php
```
### MixedArgument
Emitted when
```php
```
### MixedArrayAccess
Emitted when
```php
```
### MixedArrayAssignment
Emitted when
```php
```
### MixedArrayOffset
Emitted when
```php
```
### MixedAssignment
Emitted when
```php
```
### MixedInferredReturnType
Emitted when
```php
```
### MixedMethodCall
Emitted when
```php
```
### MixedOperand
Emitted when
```php
```
### MixedPropertyAssignment
Emitted when
```php
```
### MixedPropertyFetch
Emitted when
```php
```
### MixedStringOffsetAssignment
Emitted when
```php
```
### MixedTypeCoercion
Emitted when
```php
```
### MoreSpecificImplementedReturnType
Emitted when
```php
```
### MoreSpecificReturnType
Emitted when
```php
```
### NoInterfaceProperties
Emitted when
```php
```
### NonStaticSelfCall
Emitted when
```php
```
### NullArgument
Emitted when
```php
```
### NullArrayAccess
Emitted when
```php
```
### NullArrayOffset
Emitted when
```php
```
### NullFunctionCall
Emitted when
```php
```
### NullIterator
Emitted when
```php
```
### NullOperand
Emitted when
```php
```
### NullPropertyAssignment
Emitted when
```php
```
### NullPropertyFetch
Emitted when
```php
```
### NullReference
Emitted when
```php
```
### OverriddenMethodAccess
Emitted when
```php
```
### ParadoxicalCondition
Emitted when
```php
```
### ParentNotFound
Emitted when
```php
```
### PossiblyFalseArgument
Emitted when
```php
```
### PossiblyFalseReference
Emitted when
```php
```
### PossiblyInvalidArgument
Emitted when
```php
```
### PossiblyInvalidArrayAccess
Emitted when
```php
```
### PossiblyInvalidArrayAssignment
Emitted when
```php
```
### PossiblyInvalidArrayOffset
Emitted when
```php
```
### PossiblyInvalidMethodCall
Emitted when
```php
```
### PossiblyInvalidPropertyAssignment
Emitted when
```php
```
### PossiblyInvalidPropertyFetch
Emitted when
```php
```
### PossiblyNullArgument
Emitted when
```php
```
### PossiblyNullArrayAccess
Emitted when
```php
```
### PossiblyNullArrayAssignment
Emitted when
```php
```
### PossiblyNullArrayOffset
Emitted when
```php
```
### PossiblyNullFunctionCall
Emitted when
```php
```
### PossiblyNullIterator
Emitted when
```php
```
### PossiblyNullOperand
Emitted when
```php
```
### PossiblyNullPropertyAssignment
Emitted when
```php
```
### PossiblyNullPropertyFetch
Emitted when
```php
```
### PossiblyNullReference
Emitted when
```php
```
### PossiblyUndefinedGlobalVariable
Emitted when
```php
```
### PossiblyUndefinedMethod
Emitted when
```php
```
### PossiblyUndefinedVariable
Emitted when
```php
```
### PossiblyUnusedMethod
Emitted when
```php
```
### PossiblyUnusedVariable
Emitted when
```php
```
### PropertyNotSetInConstructor
Emitted when
```php
```
### RawObjectIteration
Emitted when
```php
```
### RedundantCondition
Emitted when
```php
```
### ReferenceConstraintViolation
Emitted when
```php
```
### ReservedWord
Emitted when
```php
```
### TooFewArguments
Emitted when
```php
```
### TooManyArguments
Emitted when
```php
```
### TypeCoercion
Emitted when
```php
```
### TypeDoesNotContainNull
Emitted when
```php
```
### TypeDoesNotContainType
Emitted when
```php
```
### UndefinedClass
Emitted when
```php
```
### UndefinedConstant
Emitted when
```php
```
### UndefinedFunction
Emitted when
```php
```
### UndefinedGlobalVariable
Emitted when
```php
```
### UndefinedMethod
Emitted when
```php
```
### UndefinedPropertyAssignment
Emitted when
```php
```
### UndefinedPropertyFetch
Emitted when
```php
```
### UndefinedThisPropertyAssignment
Emitted when
```php
```
### UndefinedThisPropertyFetch
Emitted when
```php
```
### UndefinedTrait
Emitted when
```php
```
### UndefinedVariable
Emitted when
```php
```
### UnevaluatedCode
Emitted when
```php
```
### UnimplementedAbstractMethod
Emitted when
```php
```
### UnimplementedInterfaceMethod
Emitted when
```php
```
### UnrecognizedExpression
Emitted when
```php
```
### UnrecognizedStatement
Emitted when
```php
```
### UnresolvableInclude
Emitted when
```php
```
### UntypedParam
Emitted when
```php
```
### UnusedClass
Emitted when
```php
```
### UnusedMethod
Emitted when
```php
```
### UnusedVariable
Emitted when
```php
```
