mirror of
https://github.com/rectorphp/rector.git
synced 2024-06-02 01:10:53 +00:00
1731eeac5d
befe096ca1
[phpstan] tidy up bin files, group complex errors + Cleanup AddTypeToConstRector (#5405)
139 lines
4.5 KiB
PHP
139 lines
4.5 KiB
PHP
<?php
|
|
|
|
declare (strict_types=1);
|
|
namespace Rector\Php80\NodeResolver;
|
|
|
|
use PhpParser\Node\Expr;
|
|
use PhpParser\Node\Expr\Assign;
|
|
use PhpParser\Node\Stmt\Break_;
|
|
use PhpParser\Node\Stmt\Case_;
|
|
use PhpParser\Node\Stmt\Expression;
|
|
use PhpParser\Node\Stmt\Return_;
|
|
use PhpParser\Node\Stmt\Switch_;
|
|
use PhpParser\Node\Stmt\Throw_;
|
|
use Rector\Php80\Enum\MatchKind;
|
|
use Rector\Php80\ValueObject\CondAndExpr;
|
|
final class SwitchExprsResolver
|
|
{
|
|
/**
|
|
* @return CondAndExpr[]
|
|
*/
|
|
public function resolve(Switch_ $switch) : array
|
|
{
|
|
$newSwitch = clone $switch;
|
|
$condAndExpr = [];
|
|
$collectionEmptyCasesCond = [];
|
|
if (!$this->areCasesValid($newSwitch)) {
|
|
return [];
|
|
}
|
|
$this->moveDefaultCaseToLast($newSwitch);
|
|
foreach ($newSwitch->cases as $key => $case) {
|
|
if ($case->stmts !== []) {
|
|
continue;
|
|
}
|
|
if (!$case->cond instanceof Expr) {
|
|
continue;
|
|
}
|
|
$collectionEmptyCasesCond[$key] = $case->cond;
|
|
}
|
|
foreach ($newSwitch->cases as $key => $case) {
|
|
if ($case->stmts === []) {
|
|
continue;
|
|
}
|
|
$expr = $case->stmts[0];
|
|
if ($expr instanceof Expression) {
|
|
$expr = $expr->expr;
|
|
}
|
|
$condExprs = [];
|
|
if ($case->cond instanceof Expr) {
|
|
$emptyCasesCond = [];
|
|
foreach ($collectionEmptyCasesCond as $i => $collectionEmptyCaseCond) {
|
|
if ($i > $key) {
|
|
break;
|
|
}
|
|
$emptyCasesCond[$i] = $collectionEmptyCaseCond;
|
|
unset($collectionEmptyCasesCond[$i]);
|
|
}
|
|
$condExprs = $emptyCasesCond;
|
|
$condExprs[] = $case->cond;
|
|
}
|
|
if ($expr instanceof Return_) {
|
|
$returnedExpr = $expr->expr;
|
|
if (!$returnedExpr instanceof Expr) {
|
|
return [];
|
|
}
|
|
$condAndExpr[] = new CondAndExpr($condExprs, $returnedExpr, MatchKind::RETURN);
|
|
} elseif ($expr instanceof Assign) {
|
|
$condAndExpr[] = new CondAndExpr($condExprs, $expr, MatchKind::ASSIGN);
|
|
} elseif ($expr instanceof Expr) {
|
|
$condAndExpr[] = new CondAndExpr($condExprs, $expr, MatchKind::NORMAL);
|
|
} elseif ($expr instanceof Throw_) {
|
|
$throwExpr = new Expr\Throw_($expr->expr);
|
|
$condAndExpr[] = new CondAndExpr($condExprs, $throwExpr, MatchKind::THROW);
|
|
} else {
|
|
return [];
|
|
}
|
|
}
|
|
return $condAndExpr;
|
|
}
|
|
private function moveDefaultCaseToLast(Switch_ $switch) : void
|
|
{
|
|
foreach ($switch->cases as $key => $case) {
|
|
if ($case->cond instanceof Expr) {
|
|
continue;
|
|
}
|
|
// not has next? default is at the end, no need move
|
|
if (!isset($switch->cases[$key + 1])) {
|
|
return;
|
|
}
|
|
// current default has no stmt? keep as is as rely to next case
|
|
if ($case->stmts === []) {
|
|
return;
|
|
}
|
|
for ($loop = $key - 1; $loop >= 0; --$loop) {
|
|
if ($switch->cases[$loop]->stmts !== []) {
|
|
break;
|
|
}
|
|
unset($switch->cases[$loop]);
|
|
}
|
|
$caseToMove = $switch->cases[$key];
|
|
unset($switch->cases[$key]);
|
|
$switch->cases[] = $caseToMove;
|
|
break;
|
|
}
|
|
}
|
|
private function isValidCase(Case_ $case) : bool
|
|
{
|
|
// prepend to previous one
|
|
if ($case->stmts === []) {
|
|
return \true;
|
|
}
|
|
if (\count($case->stmts) === 2 && $case->stmts[1] instanceof Break_) {
|
|
return \true;
|
|
}
|
|
// default throws stmts
|
|
if (\count($case->stmts) !== 1) {
|
|
return \false;
|
|
}
|
|
// throws expressoin
|
|
if ($case->stmts[0] instanceof Throw_) {
|
|
return \true;
|
|
}
|
|
// instant return
|
|
if ($case->stmts[0] instanceof Return_) {
|
|
return \true;
|
|
}
|
|
// default value
|
|
return !$case->cond instanceof Expr;
|
|
}
|
|
private function areCasesValid(Switch_ $newSwitch) : bool
|
|
{
|
|
foreach ($newSwitch->cases as $case) {
|
|
if (!$this->isValidCase($case)) {
|
|
return \false;
|
|
}
|
|
}
|
|
return \true;
|
|
}
|
|
}
|