%PDF-
%PDF-
Mini Shell
Mini Shell
<?php
declare (strict_types=1);
namespace Rector\Php70\Rector\If_;
use PhpParser\Node;
use PhpParser\Node\Expr;
use PhpParser\Node\Expr\BinaryOp\Equal;
use PhpParser\Node\Expr\BinaryOp\Greater;
use PhpParser\Node\Expr\BinaryOp\Identical;
use PhpParser\Node\Expr\BinaryOp\Smaller;
use PhpParser\Node\Expr\BinaryOp\Spaceship;
use PhpParser\Node\Expr\Ternary;
use PhpParser\Node\Stmt\Else_;
use PhpParser\Node\Stmt\If_;
use PhpParser\Node\Stmt\Return_;
use Rector\Core\Rector\AbstractRector;
use Rector\Core\ValueObject\PhpVersionFeature;
use Rector\NodeTypeResolver\Node\AttributeKey;
use Rector\VersionBonding\Contract\MinPhpVersionInterface;
use Symplify\RuleDocGenerator\ValueObject\CodeSample\CodeSample;
use Symplify\RuleDocGenerator\ValueObject\RuleDefinition;
/**
* @changelog https://wiki.php.net/rfc/combined-comparison-operator https://3v4l.org/LPbA0
*
* @see \Rector\Tests\Php70\Rector\If_\IfToSpaceshipRector\IfToSpaceshipRectorTest
*/
final class IfToSpaceshipRector extends AbstractRector implements MinPhpVersionInterface
{
/**
* @var int|float|string|bool|mixed[]|null
*/
private $onEqual = null;
/**
* @var int|float|string|bool|mixed[]|null
*/
private $onSmaller = null;
/**
* @var int|float|string|bool|mixed[]|null
*/
private $onGreater = null;
/**
* @var \PhpParser\Node\Expr|null
*/
private $firstValue;
/**
* @var \PhpParser\Node\Expr|null
*/
private $secondValue;
/**
* @var \PhpParser\Node|null
*/
private $nextNode = null;
/**
* @var \PhpParser\Node\Expr\Ternary|null
*/
private $ternary = null;
public function getRuleDefinition() : RuleDefinition
{
return new RuleDefinition('Changes if/else to spaceship <=> where useful', [new CodeSample(<<<'CODE_SAMPLE'
class SomeClass
{
public function run()
{
usort($languages, function ($a, $b) {
if ($a[0] === $b[0]) {
return 0;
}
return ($a[0] < $b[0]) ? 1 : -1;
});
}
}
CODE_SAMPLE
, <<<'CODE_SAMPLE'
class SomeClass
{
public function run()
{
usort($languages, function ($a, $b) {
return $b[0] <=> $a[0];
});
}
}
CODE_SAMPLE
)]);
}
/**
* @return array<class-string<Node>>
*/
public function getNodeTypes() : array
{
return [If_::class];
}
/**
* @param If_ $node
*/
public function refactor(Node $node) : ?Node
{
if (!$node->cond instanceof Equal && !$node->cond instanceof Identical) {
return null;
}
$this->reset();
$this->matchOnEqualFirstValueAndSecondValue($node);
if (!isset($this->firstValue, $this->secondValue)) {
return null;
}
/** @var Equal|Identical $condition */
$condition = $node->cond;
if (!$this->areVariablesEqual($condition, $this->firstValue, $this->secondValue)) {
return null;
}
if ([$this->onGreater, $this->onEqual, $this->onSmaller] === [1, 0, -1]) {
return $this->processAscendingSort($this->ternary, $this->firstValue, $this->secondValue);
}
if ([$this->onGreater, $this->onEqual, $this->onSmaller] === [-1, 0, 1]) {
return $this->processDescendingSort($this->ternary, $this->firstValue, $this->secondValue);
}
return null;
}
public function provideMinPhpVersion() : int
{
return PhpVersionFeature::SPACESHIP;
}
private function processReturnSpaceship(Expr $firstValue, Expr $secondValue) : Return_
{
if ($this->nextNode instanceof Return_) {
$this->removeNode($this->nextNode);
}
// spaceship ready!
$spaceship = new Spaceship($secondValue, $firstValue);
return new Return_($spaceship);
}
private function reset() : void
{
$this->onEqual = null;
$this->onSmaller = null;
$this->onGreater = null;
$this->firstValue = null;
$this->secondValue = null;
}
private function matchOnEqualFirstValueAndSecondValue(If_ $if) : void
{
$this->matchOnEqual($if);
if ($if->else !== null) {
$this->processElse($if->else);
} else {
$nextNode = $if->getAttribute(AttributeKey::NEXT_NODE);
if ($nextNode instanceof Return_ && $nextNode->expr instanceof Ternary) {
$this->ternary = $nextNode->expr;
$this->processTernary($this->ternary, $nextNode);
}
}
}
/**
* @param \PhpParser\Node\Expr\BinaryOp\Equal|\PhpParser\Node\Expr\BinaryOp\Identical $binaryOp
*/
private function areVariablesEqual($binaryOp, Expr $firstValue, Expr $secondValue) : bool
{
if ($this->nodeComparator->areNodesEqual($binaryOp->left, $firstValue) && $this->nodeComparator->areNodesEqual($binaryOp->right, $secondValue)) {
return \true;
}
if (!$this->nodeComparator->areNodesEqual($binaryOp->right, $firstValue)) {
return \false;
}
return $this->nodeComparator->areNodesEqual($binaryOp->left, $secondValue);
}
private function matchOnEqual(If_ $if) : void
{
if (\count($if->stmts) !== 1) {
return;
}
$onlyIfStmt = $if->stmts[0];
if ($onlyIfStmt instanceof Return_) {
if ($onlyIfStmt->expr === null) {
return;
}
$this->onEqual = $this->valueResolver->getValue($onlyIfStmt->expr);
}
}
private function processElse(Else_ $else) : void
{
if (\count($else->stmts) !== 1) {
return;
}
if (!$else->stmts[0] instanceof Return_) {
return;
}
/** @var Return_ $returnNode */
$returnNode = $else->stmts[0];
if ($returnNode->expr instanceof Ternary) {
$this->ternary = $returnNode->expr;
$this->processTernary($returnNode->expr, null);
}
}
private function processTernary(Ternary $ternary, ?Return_ $return) : void
{
if ($ternary->cond instanceof Smaller) {
$this->firstValue = $ternary->cond->left;
$this->secondValue = $ternary->cond->right;
if ($ternary->if !== null) {
$this->onSmaller = $this->valueResolver->getValue($ternary->if);
}
$this->onGreater = $this->valueResolver->getValue($ternary->else);
$this->nextNode = $return;
} elseif ($ternary->cond instanceof Greater) {
$this->firstValue = $ternary->cond->right;
$this->secondValue = $ternary->cond->left;
if ($ternary->if !== null) {
$this->onGreater = $this->valueResolver->getValue($ternary->if);
}
$this->onSmaller = $this->valueResolver->getValue($ternary->else);
$this->nextNode = $return;
}
}
private function processAscendingSort(?Ternary $ternary, Expr $firstValue, Expr $secondValue) : Return_
{
if ($ternary instanceof Ternary && !$ternary->cond instanceof Greater) {
return $this->processReturnSpaceship($secondValue, $firstValue);
}
return $this->processReturnSpaceship($firstValue, $secondValue);
}
private function processDescendingSort(?Ternary $ternary, Expr $firstValue, Expr $secondValue) : Return_
{
if ($ternary instanceof Ternary && !$ternary->cond instanceof Smaller) {
return $this->processReturnSpaceship($secondValue, $firstValue);
}
return $this->processReturnSpaceship($firstValue, $secondValue);
}
}
Zerion Mini Shell 1.0