2018-01-14 18:09:40 +01:00
|
|
|
<?php
|
2018-11-06 03:57:36 +01:00
|
|
|
namespace Psalm\Internal\Analyzer\Statements;
|
2018-01-14 18:09:40 +01:00
|
|
|
|
|
|
|
use PhpParser;
|
2018-11-06 03:57:36 +01:00
|
|
|
use Psalm\Internal\Analyzer\StatementsAnalyzer;
|
|
|
|
use Psalm\Internal\Analyzer\TypeAnalyzer;
|
2018-01-14 18:09:40 +01:00
|
|
|
use Psalm\CodeLocation;
|
|
|
|
use Psalm\Context;
|
|
|
|
use Psalm\Issue\InvalidThrow;
|
|
|
|
use Psalm\IssueBuffer;
|
|
|
|
use Psalm\Type\Atomic\TNamedObject;
|
|
|
|
use Psalm\Type\Union;
|
|
|
|
|
2018-12-02 00:37:49 +01:00
|
|
|
/**
|
|
|
|
* @internal
|
|
|
|
*/
|
2018-11-06 03:57:36 +01:00
|
|
|
class ThrowAnalyzer
|
2018-01-14 18:09:40 +01:00
|
|
|
{
|
|
|
|
/**
|
|
|
|
* @return false|null
|
|
|
|
*/
|
|
|
|
public static function analyze(
|
2018-11-11 18:01:14 +01:00
|
|
|
StatementsAnalyzer $statements_analyzer,
|
2018-01-14 18:09:40 +01:00
|
|
|
PhpParser\Node\Stmt\Throw_ $stmt,
|
|
|
|
Context $context
|
|
|
|
) {
|
2018-11-11 18:01:14 +01:00
|
|
|
if (ExpressionAnalyzer::analyze($statements_analyzer, $stmt->expr, $context) === false) {
|
2018-01-14 18:09:40 +01:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($context->check_classes && isset($stmt->expr->inferredType) && !$stmt->expr->inferredType->isMixed()) {
|
|
|
|
$throw_type = $stmt->expr->inferredType;
|
|
|
|
|
|
|
|
$exception_type = new Union([new TNamedObject('Exception'), new TNamedObject('Throwable')]);
|
|
|
|
|
2018-11-11 18:01:14 +01:00
|
|
|
$file_analyzer = $statements_analyzer->getFileAnalyzer();
|
|
|
|
$codebase = $statements_analyzer->getCodebase();
|
2018-01-14 18:09:40 +01:00
|
|
|
|
2018-09-21 17:35:51 +02:00
|
|
|
foreach ($throw_type->getTypes() as $throw_type_part) {
|
|
|
|
$throw_type_candidate = new Union([$throw_type_part]);
|
|
|
|
|
2018-11-06 03:57:36 +01:00
|
|
|
if (!TypeAnalyzer::isContainedBy($codebase, $throw_type_candidate, $exception_type)) {
|
2018-09-21 17:35:51 +02:00
|
|
|
if (IssueBuffer::accepts(
|
|
|
|
new InvalidThrow(
|
|
|
|
'Cannot throw ' . $throw_type_part
|
|
|
|
. ' as it does not extend Exception or implement Throwable',
|
2018-11-11 18:01:14 +01:00
|
|
|
new CodeLocation($file_analyzer, $stmt),
|
2018-09-21 17:35:51 +02:00
|
|
|
(string) $throw_type_part
|
|
|
|
),
|
2018-11-11 18:01:14 +01:00
|
|
|
$statements_analyzer->getSuppressedIssues()
|
2018-09-21 17:35:51 +02:00
|
|
|
)) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
} elseif ($context->collect_exceptions) {
|
|
|
|
foreach ($throw_type->getTypes() as $throw_atomic_type) {
|
|
|
|
if ($throw_atomic_type instanceof TNamedObject) {
|
|
|
|
$context->possibly_thrown_exceptions[$throw_atomic_type->value] = true;
|
|
|
|
}
|
2018-06-22 07:13:49 +02:00
|
|
|
}
|
|
|
|
}
|
2018-01-14 18:09:40 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|