Skip to content
PHPStan rules for checked & unchecked exceptions
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.
src Use PHPStan\DependencyInjection\Container instead of Nette Container.… May 11, 2019
tests/src Compatibility with latest phpstan (#90) Aug 17, 2019
tmp Setup phpcs cache (#75) Mar 3, 2019
.coveralls.yml initial commit May 8, 2018
.editorconfig initial commit May 8, 2018
.gitattributes initial commit May 8, 2018
.gitignore Setup phpcs cache (#75) Mar 3, 2019
.travis.yml Run phpstan check on php7.3 only Dec 2, 2018
composer.json Compatibility with latest phpstan (#90) Aug 17, 2019
extension.neon Fixed nette DI deprecations (#91) Aug 17, 2019
phpcs.xml Setup phpcs cache (#75) Mar 3, 2019
phpstan.neon.dist Test with bleeding edge (#84) May 15, 2019
phpunit.xml.dist Codebase ported to current phpstan-master May 30, 2018

PHPStan exception rules

Build Status Latest Stable Version License

This extension provides following rules and features:

  • Require @throws annotation when some checked exception is thrown (examples)
  • Exception propagation over:
    • Function calls
    • Magic, dynamic and static method calls
    • Iterable interface in foreach and in iterator_*() functions (examples)
    • Countable interface combinated with count() function (examples)
    • JsonSerializable interface combinated with json_encode() function (examples)
  • Ignore caught checked exceptions (examples)
  • Unnecessary @throws annotation detection (examples)
  • Useless @throws annotation detection (examples)
  • Optionally ignore descriptive @throws annotations (examples)
  • @throws annotation variance validation (examples)
  • Dynamic throw types based on arguments
  • Unreachable catch statements
    • exception has been caught in some previous catch statement (examples)
    • checked exception is never thrown in the corresponding try block (examples)
  • Report throwing checked exceptions in the global scope (examples)

Features and rules provided by PHPStan core (we rely on):

  • @throws annotation must contain only valid Throwable types
  • Thrown value must be subclass of Throwable


To use this extension, require it in Composer:

composer require --dev pepakriz/phpstan-exception-rules

And include and configure extension.neon in your project's PHPStan config:

	- vendor/pepakriz/phpstan-exception-rules/extension.neon

		reportUnusedCatchesOfUncheckedExceptions: false
		reportCheckedThrowsInGlobalScope: false
		ignoreDescriptiveUncheckedExceptions: false
			- RuntimeException

You could use uncheckedExceptions when you prefer a list of unchecked exceptions instead. It is a safer variant, but harder to adapt to the existing project.

			- LogicException
			- PHPUnit\Framework\Exception

checkedExceptions and uncheckedExceptions cannot be configured at the same time

If some third-party code defines wrong throw types (or it doesn't use @throws annotations at all), you could override definitions like this:

					- FooProject\ConnectionTimeoutException
				methodWithoutException: []
				- FooException


Dynamic throw type extensions - If the throw type is not always the same, but depends on an argument passed to the method. (Similar feature as Dynamic return type extensions)

There are interfaces, which you can implement:

  • Pepakriz\PHPStanExceptionRules\DynamicMethodThrowTypeExtension - service tag: exceptionRules.dynamicMethodThrowTypeExtension
  • Pepakriz\PHPStanExceptionRules\DynamicStaticMethodThrowTypeExtension - service tag: exceptionRules.dynamicStaticMethodThrowTypeExtension
  • Pepakriz\PHPStanExceptionRules\DynamicConstructorThrowTypeExtension - service tag: exceptionRules.dynamicConstructorThrowTypeExtension
  • Pepakriz\PHPStanExceptionRules\DynamicFunctionThrowTypeExtension - service tag: exceptionRules.dynamicFunctionThrowTypeExtension

and register as service with correct tag:

		class: App\PHPStan\EntityManagerDynamicMethodThrowTypeExtension
			- exceptionRules.dynamicMethodThrowTypeExtension


There are 2 types of exceptions:

  1. Safety-checks that something should never happen (you should never call some method in some case etc.). We call these LogicException and if they are thrown, programmer did something wrong. For that reason, it is important that this exception is never caught and kills the application. Also, it is important to write good descriptive message of what went wrong and how to fix it - that is why every LogicException must have a message. Therefore, inheriting LogicException does not make much sense. Also, LogicException should never be @throws annotation (see below).
  2. Special cases in business logic which should be handled by application and error cases that just may happen no matter how hard we try (e.g. HTTP request may fail). These exceptions we called RuntimeException or maybe better "checked exception". All these exceptions should be checked. Therefore it must be either caught or written in @throws annotation. Also if you call an method with that annotation and do not catch the exception, you must propagate it in your @throws annotation. This, of course, may spread quickly. When this exception is handled (caught), it is important for programmer to immediately know what case is handled and therefore all used RuntimeExceptions are inherited from some parent and have very descriptive class name (so that you can see it in catch construct) - for example CannotCloseAccountWithPositiveBalanceException. The message is not that important since you should always catch these exceptions somewhere, but in our case we often use that message in API output and display it to end-user, so please use something informative for users in that cases (you can pass custom arguments to constructor (e.g. entities) to provide better message). Sometimes you can meet a place where you know that some exception will never be thrown - in this case you can catch it and wrap to LogicException (because when it is thrown, it is a programmer's fault).

It is always a good idea to wrap previous exception so that we do not lose information of what really happened in some logs.

// no throws annotation
public function decide(int $arg): void
	switch ($arg) {
		case self::ONE:
		case self::TWO:
			throw new LogicException("Decision cannot be made for argument $arg because of ...");

 * @return mixed[]
 * @throws PrintJobFailedException
private function sendRequest(Request $request): array
	try {
		$response = $this->httpClient->send($request);
		return Json::decode((string) $response->getBody(), Json::FORCE_ARRAY);

	} catch (GuzzleException | JsonException $e) {
		throw new PrintJobFailedException($e);

class PrintJobFailedException extends RuntimeException

	public function __construct(Throwable $previous)
		parent::__construct('Printing failed, remote printing service is down. Please try again later', $previous);


Known limitations

Anonymous functions are analyzed at the same place they are declared

False positive when a method does not execute declared function:

 * @throws FooRuntimeException false positive
public function createFnFoo(int $arg): callable
	return function () {
		throw new FooRuntimeException();

But most of use-cases just works:

 * @param string[] $rows
 * @return string[]
 * @throws EmptyLineException
public function normalizeRows(array $rows): array
	return array_map(function (string $row): string {
		$row = trim($row);
		if ($row === '') {
			throw new EmptyLineException();

		return $row;
	}, $rows);

Catch statement does not know about runtime subtypes

This case is detected by rule, so you will be warned about a potential risk.

Runtime exception is absorbed:

// @throws phpdoc is not required
public function methodWithoutThrowsPhpDoc(): void
	try {
		throw new RuntimeException();

	} catch (Throwable $e) {
		throw $e;

As a workaround you could use custom catch statement:

 * @throws RuntimeException
public function methodWithThrowsPhpDoc(): void
	try {
		throw new RuntimeException();

	} catch (RuntimeException $e) {
		throw $e;
	} catch (Throwable $e) {
		throw $e;
You can’t perform that action at this time.