This extension provides following features:
- Nette\ComponentModel\Container::getComponent()knows type of the component because it reads the return type on- createComponent*(this works best in presenters and controls)
- Nette\DI\Container::getByTypeand- createInstancereturn type based on first parameter (- Foo::class).
- Nette\Forms\Container::getValuesreturn type based on- $asArrayparameter.
- Nette\ComponentModel\Component::lookupreturn type based on- $throwparameter.
- Nette\Application\UI\Component::getPresenterreturn type based on- $throwparameter.
- Dynamic methods of Nette\Utils\Html
- Magic Nette\Object and Nette\SmartObject properties
- Event listeners through the on*properties
- Defines early terminating method calls for Presenter methods to prevent Undefined variableerrors
- Understand the exact array shape coming from Nette\Utils\Strings::match()andNette\Utils\Strings::matchAll()based on pattern
It also contains these framework-specific rules (can be enabled separately):
- Do not extend Nette\Object, use Nette\SmartObject trait instead
- Rethrow exceptions that are always meant to be rethrown (like AbortException)
To use this extension, require it in Composer:
composer require --dev phpstan/phpstan-nette
If you also install phpstan/extension-installer then you're all set!
Manual installation
If you don't want to use phpstan/extension-installer, include extension.neon in your project's PHPStan config:
includes:
    - vendor/phpstan/phpstan-nette/extension.neon
To perform framework-specific checks, include also this file:
    - vendor/phpstan/phpstan-nette/rules.neon