<?php

declare (strict_types=1);
namespace Rector\DeadCode\Rector\ClassMethod;

use PhpParser\Node;
use PhpParser\Node\Arg;
use PhpParser\Node\Expr;
use PhpParser\Node\Expr\StaticCall;
use PhpParser\Node\Expr\Variable;
use PhpParser\Node\Stmt;
use PhpParser\Node\Stmt\ClassMethod;
use PhpParser\Node\Stmt\Expression;
use PhpParser\NodeVisitor;
use PHPStan\BetterReflection\Reflection\Adapter\ReflectionParameter;
use PHPStan\Reflection\ClassReflection;
use PHPStan\Reflection\ExtendedMethodReflection;
use Rector\Enum\ObjectReference;
use Rector\PhpParser\Node\Value\ValueResolver;
use Rector\PHPStan\ScopeFetcher;
use Rector\PHPStanStaticTypeMapper\Enum\TypeKind;
use Rector\Rector\AbstractRector;
use Rector\StaticTypeMapper\StaticTypeMapper;
use Rector\ValueObject\MethodName;
use Symplify\RuleDocGenerator\ValueObject\CodeSample\CodeSample;
use Symplify\RuleDocGenerator\ValueObject\RuleDefinition;
/**
 * @see \Rector\Tests\DeadCode\Rector\ClassMethod\RemoveParentDelegatingConstructorRector\RemoveParentDelegatingConstructorRectorTest
 */
final class RemoveParentDelegatingConstructorRector extends AbstractRector
{
    /**
     * @readonly
     */
    private StaticTypeMapper $staticTypeMapper;
    /**
     * @readonly
     */
    private ValueResolver $valueResolver;
    public function __construct(StaticTypeMapper $staticTypeMapper, ValueResolver $valueResolver)
    {
        $this->staticTypeMapper = $staticTypeMapper;
        $this->valueResolver = $valueResolver;
    }
    public function getRuleDefinition(): RuleDefinition
    {
        return new RuleDefinition('Remove constructor that only delegates call to parent class with same values', [new CodeSample(<<<'CODE_SAMPLE'
class Node
{
    public function __construct(array $attributes)
    {
    }
}

class SomeParent extends Node
{
    public function __construct(array $attributes)
    {
        parent::__construct($attributes);
    }
}
CODE_SAMPLE
, <<<'CODE_SAMPLE'
class Node
{
    public function __construct(array $attributes)
    {
    }
}

class SomeParent extends Node
{
}
CODE_SAMPLE
)]);
    }
    /**
     * @return array<class-string<Node>>
     */
    public function getNodeTypes(): array
    {
        return [ClassMethod::class];
    }
    /**
     * @param ClassMethod $node
     */
    public function refactor(Node $node): ?int
    {
        if (!$this->isName($node, MethodName::CONSTRUCT)) {
            return null;
        }
        if ($node->stmts === null || count($node->stmts) !== 1) {
            return null;
        }
        if ($node->isFinal()) {
            return null;
        }
        if (!$node->isPublic()) {
            return null;
        }
        $parentMethodReflection = $this->matchParentConstructorReflection($node);
        if (!$parentMethodReflection instanceof ExtendedMethodReflection) {
            return null;
        }
        $soleStmt = $node->stmts[0];
        $parentCallArgs = $this->matchParentConstructorCallArgs($soleStmt);
        if ($parentCallArgs === null) {
            return null;
        }
        // match count and order
        if (!$this->isParameterAndArgCountAndOrderIdentical($node)) {
            return null;
        }
        // match parameter types and parent constructor types
        if (!$this->areConstructorAndParentParameterTypesMatching($node, $parentMethodReflection)) {
            return null;
        }
        return NodeVisitor::REMOVE_NODE;
    }
    private function matchParentConstructorReflection(ClassMethod $classMethod): ?ExtendedMethodReflection
    {
        $scope = ScopeFetcher::fetch($classMethod);
        $classReflection = $scope->getClassReflection();
        if (!$classReflection instanceof ClassReflection) {
            return null;
        }
        $parentClassReflection = $classReflection->getParentClass();
        if (!$parentClassReflection instanceof ClassReflection) {
            return null;
        }
        if (!$parentClassReflection->hasConstructor()) {
            return null;
        }
        return $parentClassReflection->getConstructor();
    }
    /**
     * Looking for parent::__construct()
     *
     * @return Arg[]|null
     */
    private function matchParentConstructorCallArgs(Stmt $stmt): ?array
    {
        if (!$stmt instanceof Expression) {
            return null;
        }
        if (!$stmt->expr instanceof StaticCall) {
            return null;
        }
        $staticCall = $stmt->expr;
        if ($staticCall->isFirstClassCallable()) {
            return null;
        }
        if (!$this->isName($staticCall->class, ObjectReference::PARENT)) {
            return null;
        }
        if (!$this->isName($staticCall->name, MethodName::CONSTRUCT)) {
            return null;
        }
        return $staticCall->getArgs();
    }
    private function isParameterAndArgCountAndOrderIdentical(ClassMethod $classMethod): bool
    {
        $soleStmt = $classMethod->stmts[0];
        $parentCallArgs = $this->matchParentConstructorCallArgs($soleStmt);
        if ($parentCallArgs === null) {
            return \false;
        }
        $constructorParams = $classMethod->getParams();
        if (count($constructorParams) !== count($parentCallArgs)) {
            return \false;
        }
        // match passed names in the same order
        $paramNames = [];
        foreach ($constructorParams as $constructorParam) {
            $paramNames[] = $this->getName($constructorParam->var);
        }
        $argNames = [];
        foreach ($parentCallArgs as $parentCallArg) {
            $argValue = $parentCallArg->value;
            if (!$argValue instanceof Variable) {
                return \false;
            }
            $argNames[] = $this->getName($argValue);
        }
        return $paramNames === $argNames;
    }
    private function areConstructorAndParentParameterTypesMatching(ClassMethod $classMethod, ExtendedMethodReflection $extendedMethodReflection): bool
    {
        foreach ($classMethod->getParams() as $position => $param) {
            if ($param->isPromoted() && $param->isPrivate()) {
                return \false;
            }
            $parameterType = $param->type;
            // no type override
            if ($parameterType === null) {
                continue;
            }
            $parametersSelector = $extendedMethodReflection->getOnlyVariant();
            foreach ($parametersSelector->getParameters() as $index => $parameterReflection) {
                if ($index !== $position) {
                    continue;
                }
                $parentParameterType = $this->staticTypeMapper->mapPHPStanTypeToPhpParserNode($parameterReflection->getType(), TypeKind::PARAM);
                if (!$this->nodeComparator->areNodesEqual($parameterType, $parentParameterType)) {
                    return \false;
                }
                if (!$param->default instanceof Expr) {
                    continue;
                }
                if ($this->isDifferentDefaultValue($param->default, $extendedMethodReflection, $index)) {
                    return \false;
                }
            }
        }
        return \true;
    }
    private function isDifferentDefaultValue(Expr $defaultExpr, ExtendedMethodReflection $extendedMethodReflection, int $index): bool
    {
        $methodName = $extendedMethodReflection->getName();
        // native reflection is needed to get exact default value
        if ($extendedMethodReflection->getDeclaringClass()->getNativeReflection()->hasMethod($methodName)) {
            $parentMethod = $extendedMethodReflection->getDeclaringClass()->getNativeReflection()->getMethod($methodName);
            $nativeParentParameterReflection = $parentMethod->getParameters()[$index] ?? null;
            if (!$nativeParentParameterReflection instanceof ReflectionParameter) {
                return \false;
            }
            // when child has default value, but parent does not have default value,
            // mark as different
            if (!$nativeParentParameterReflection->isDefaultValueAvailable()) {
                return \true;
            }
            $parentDefault = $nativeParentParameterReflection->getDefaultValue();
            if (!$this->valueResolver->isValue($defaultExpr, $parentDefault)) {
                return \true;
            }
        }
        return \false;
    }
}
