<?php

/*
 * This file is part of Psy Shell.
 *
 * (c) 2012-2025 Justin Hileman
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */

namespace Psy;

use PhpParser\Node\Expr\ClassConstFetch;
use PhpParser\Node\Name;
use PhpParser\Node\Name\FullyQualified;
use PhpParser\Node\Stmt\Expression;
use PhpParser\Node\Stmt\Namespace_;
use PhpParser\NodeTraverser;
use PhpParser\NodeVisitor\NameResolver;
use PhpParser\Parser;
use PhpParser\PrettyPrinter\Standard as Printer;
use Psy\CodeCleaner\AbstractClassPass;
use Psy\CodeCleaner\AssignThisVariablePass;
use Psy\CodeCleaner\CalledClassPass;
use Psy\CodeCleaner\CallTimePassByReferencePass;
use Psy\CodeCleaner\CodeCleanerPass;
use Psy\CodeCleaner\EmptyArrayDimFetchPass;
use Psy\CodeCleaner\ExitPass;
use Psy\CodeCleaner\FinalClassPass;
use Psy\CodeCleaner\FunctionContextPass;
use Psy\CodeCleaner\FunctionReturnInWriteContextPass;
use Psy\CodeCleaner\ImplicitReturnPass;
use Psy\CodeCleaner\ImplicitUsePass;
use Psy\CodeCleaner\IssetPass;
use Psy\CodeCleaner\LabelContextPass;
use Psy\CodeCleaner\LeavePsyshAlonePass;
use Psy\CodeCleaner\ListPass;
use Psy\CodeCleaner\LoopContextPass;
use Psy\CodeCleaner\MagicConstantsPass;
use Psy\CodeCleaner\NamespaceAwarePass;
use Psy\CodeCleaner\NamespacePass;
use Psy\CodeCleaner\PassableByReferencePass;
use Psy\CodeCleaner\RequirePass;
use Psy\CodeCleaner\ReturnTypePass;
use Psy\CodeCleaner\StrictTypesPass;
use Psy\CodeCleaner\UseStatementPass;
use Psy\CodeCleaner\ValidClassNamePass;
use Psy\CodeCleaner\ValidConstructorPass;
use Psy\CodeCleaner\ValidFunctionNamePass;
use Psy\Exception\ParseErrorException;
use Psy\Util\Str;

/**
 * A service to clean up user input, detect parse errors before they happen,
 * and generally work around issues with the PHP code evaluation experience.
 */
class CodeCleaner
{
    private bool $yolo = false;
    private bool $strictTypes = false;
    private $implicitUse = false;

    private Parser $parser;
    private Printer $printer;
    private NodeTraverser $traverser;
    private ?array $namespace = null;
    private array $messages = [];
    private array $aliasesByNamespace = [];

    /**
     * CodeCleaner constructor.
     *
     * @param Parser|null        $parser      A PhpParser Parser instance. One will be created if not explicitly supplied
     * @param Printer|null       $printer     A PhpParser Printer instance. One will be created if not explicitly supplied
     * @param NodeTraverser|null $traverser   A PhpParser NodeTraverser instance. One will be created if not explicitly supplied
     * @param bool               $yolo        run without input validation
     * @param bool               $strictTypes enforce strict types by default
     * @param false|array        $implicitUse disable implicit use statements (false) or configure with namespace filters (array)
     */
    public function __construct(?Parser $parser = null, ?Printer $printer = null, ?NodeTraverser $traverser = null, bool $yolo = false, bool $strictTypes = false, $implicitUse = false)
    {
        $this->yolo = $yolo;
        $this->strictTypes = $strictTypes;
        $this->implicitUse = \is_array($implicitUse) ? $implicitUse : false;

        $this->parser = $parser ?? (new ParserFactory())->createParser();
        $this->printer = $printer ?: new Printer();
        $this->traverser = $traverser ?: new NodeTraverser();

        // Try to add implicit `use` statements and an implicit namespace, based on the file in
        // which the `debug` call was made.
        $this->addImplicitDebugContext();

        foreach ($this->getDefaultPasses() as $pass) {
            $this->traverser->addVisitor($pass);

            // Set CodeCleaner instance on NamespaceAwarePass for state management
            if ($pass instanceof NamespaceAwarePass) {
                $pass->setCleaner($this);
            }
        }
    }

    /**
     * Check whether this CodeCleaner is in YOLO mode.
     */
    public function yolo(): bool
    {
        return $this->yolo;
    }

    /**
     * Get default CodeCleaner passes.
     *
     * @return CodeCleanerPass[]
     */
    private function getDefaultPasses(): array
    {
        // Add implicit use pass if enabled (must run before use statement pass)
        $usePasses = [new UseStatementPass()];
        if ($this->implicitUse) {
            \array_unshift($usePasses, new ImplicitUsePass($this->implicitUse, $this));
        }

        // A set of code cleaner passes that don't try to do any validation, and
        // only do minimal rewriting to make things work inside the REPL.
        //
        // When in --yolo mode, these are the only code cleaner passes used.
        $rewritePasses = [
            new LeavePsyshAlonePass(),
            new ExitPass(),
            new ImplicitReturnPass(),
            new MagicConstantsPass(),
            new NamespacePass(),      // must run after the implicit return pass
            ...$usePasses,            // must run after the namespace pass has re-injected the current namespace
            new RequirePass(),
            new StrictTypesPass($this->strictTypes),
        ];

        if ($this->yolo) {
            return $rewritePasses;
        }

        return [
            // Validation passes
            new AbstractClassPass(),
            new AssignThisVariablePass(),
            new CalledClassPass(),
            new CallTimePassByReferencePass(),
            new FinalClassPass(),
            new FunctionContextPass(),
            new FunctionReturnInWriteContextPass(),
            new IssetPass(),
            new LabelContextPass(),
            new ListPass(),
            new LoopContextPass(),
            new PassableByReferencePass(),
            new ReturnTypePass(),
            new EmptyArrayDimFetchPass(),
            new ValidConstructorPass(),

            // Rewriting shenanigans
            ...$rewritePasses,

            // Namespace-aware validation (which depends on aforementioned shenanigans)
            new ValidClassNamePass(),
            new ValidFunctionNamePass(),
        ];
    }

    /**
     * "Warm up" code cleaner passes when we're coming from a debug call.
     *
     * This sets up the alias and namespace state that `UseStatementPass` and `NamespacePass` need
     * to track between calls.
     */
    private function addImplicitDebugContext()
    {
        $file = $this->getDebugFile();
        if ($file === null) {
            return;
        }

        try {
            $code = @\file_get_contents($file);
            if (!$code) {
                return;
            }

            $stmts = $this->parse($code, true);
            if ($stmts === false) {
                return;
            }

            $useStatementPass = new UseStatementPass();
            $useStatementPass->setCleaner($this);

            $namespacePass = new NamespacePass();
            $namespacePass->setCleaner($this);

            // Set up a clean traverser for just these code cleaner passes
            // @todo Pass visitors directly to once we drop support for PHP-Parser 4.x
            $traverser = new NodeTraverser();
            $traverser->addVisitor($useStatementPass);
            $traverser->addVisitor($namespacePass);

            $traverser->traverse($stmts);
        } catch (\Throwable $e) {
            // Don't care.
        }
    }

    /**
     * Search the stack trace for a file in which the user called Psy\debug.
     *
     * @return string|null
     */
    private static function getDebugFile()
    {
        $trace = \debug_backtrace(\DEBUG_BACKTRACE_IGNORE_ARGS);

        foreach (\array_reverse($trace) as $stackFrame) {
            if (!self::isDebugCall($stackFrame)) {
                continue;
            }

            if (\preg_match('/eval\(/', $stackFrame['file'])) {
                \preg_match_all('/([^\(]+)\((\d+)/', $stackFrame['file'], $matches);

                return $matches[1][0];
            }

            return $stackFrame['file'];
        }

        return null;
    }

    /**
     * Check whether a given backtrace frame is a call to Psy\debug.
     *
     * @param array $stackFrame
     */
    private static function isDebugCall(array $stackFrame): bool
    {
        $class = isset($stackFrame['class']) ? $stackFrame['class'] : null;
        $function = isset($stackFrame['function']) ? $stackFrame['function'] : null;

        return ($class === null && $function === 'Psy\\debug') ||
            ($class === Shell::class && $function === 'debug');
    }

    /**
     * Clean the given array of code.
     *
     * @throws ParseErrorException if the code is invalid PHP, and cannot be coerced into valid PHP
     *
     * @param array $codeLines
     * @param bool  $requireSemicolons
     *
     * @return string|false Cleaned PHP code, False if the input is incomplete
     */
    public function clean(array $codeLines, bool $requireSemicolons = false)
    {
        // Clear messages from previous clean
        $this->messages = [];

        $stmts = $this->parse('<?php '.\implode(\PHP_EOL, $codeLines).\PHP_EOL, $requireSemicolons);
        if ($stmts === false) {
            return false;
        }

        // Catch fatal errors before they happen
        $stmts = $this->traverser->traverse($stmts);

        // Work around https://github.com/nikic/PHP-Parser/issues/399
        $oldLocale = \setlocale(\LC_NUMERIC, 0);
        \setlocale(\LC_NUMERIC, 'C');

        $code = $this->printer->prettyPrint($stmts);

        // Now put the locale back
        \setlocale(\LC_NUMERIC, $oldLocale);

        return $code;
    }

    /**
     * Set the current local namespace.
     *
     * TODO: switch $this->namespace over to storing ?Name at some point!
     *
     * @param Name|array|null $namespace Namespace as Name node, array of parts, or null
     */
    public function setNamespace($namespace = null)
    {
        if ($namespace instanceof Name) {
            // Backwards compatibility shim for PHP-Parser 4.x
            $namespace = \method_exists($namespace, 'getParts') ? $namespace->getParts() : $namespace->parts;
        }

        $this->namespace = $namespace;
    }

    /**
     * Get the current local namespace.
     *
     * @return array|null
     */
    public function getNamespace()
    {
        return $this->namespace;
    }

    /**
     * Set use statement aliases for a specific namespace.
     *
     * @param Name|null $namespace Namespace name or Name node (null for global namespace)
     * @param array     $aliases   Map of lowercase alias names to Name nodes
     */
    public function setAliasesForNamespace(?Name $namespace, array $aliases)
    {
        $namespaceKey = \strtolower($namespace ? $namespace->toString() : '');
        $this->aliasesByNamespace[$namespaceKey] = $aliases;
    }

    /**
     * Get use statement aliases for a specific namespace.
     *
     * (This currently accepts a string namespace name, because that's all we're storing in
     * CodeCleaner as the current namespace; we should update that to be a Name node.)
     *
     * @param Name|string|null $namespace Namespace name or Name node (null for global namespace)
     *
     * @return array Map of lowercase alias names to Name nodes
     */
    public function getAliasesForNamespace($namespace): array
    {
        $namespaceName = $namespace instanceof Name ? $namespace->toString() : $namespace;
        $namespaceKey = \strtolower($namespaceName ?? '');

        return $this->aliasesByNamespace[$namespaceKey] ?? [];
    }

    /**
     * Resolve a class name using current use statements and namespace.
     *
     * This is used by commands to resolve short names the same way code execution does.
     * Uses PHP-Parser's NameResolver along with PsySH's custom passes.
     *
     * @param string $name Class name to resolve (e.g., "NoopChecker" or "Bar\Baz")
     *
     * @return string Resolved class name (may be FQN, or original name if no resolution found)
     */
    public function resolveClassName(string $name): string
    {
        // Clear messages from previous resolution
        $this->messages = [];

        // Only attempt resolution if it's a valid class name, and not already fully qualified
        if (\substr($name, 0, 1) === '\\' || !Str::isValidClassName($name)) {
            return $name;
        }

        try {
            // Parse as a class name constant
            $stmts = $this->parser->parse('<?php '.$name.'::class;');

            // Create fresh passes for name resolution. They read state from $this.
            $namespacePass = new NamespacePass();
            $namespacePass->setCleaner($this);

            $useStatementPass = new UseStatementPass();
            $useStatementPass->setCleaner($this);

            // Create a fresh traverser with fresh passes
            $traverser = new NodeTraverser();
            $traverser->addVisitor($namespacePass);
            $traverser->addVisitor($useStatementPass);

            // Add PHP-Parser's NameResolver - preserveOriginalNames lets us detect when resolution occurred
            $traverser->addVisitor(new NameResolver(null, [
                'preserveOriginalNames' => true,
            ]));

            // Traverse: NamespacePass wraps in namespace if needed,
            // UseStatementPass re-injects use statements,
            // PHP-Parser's NameResolver resolves to FullyQualified
            $stmts = $traverser->traverse($stmts);

            // Find the Expression node - it might be after re-injected use statements
            // or wrapped in a Namespace_ node
            $targetStmt = null;
            foreach ($stmts as $stmt) {
                if ($stmt instanceof Namespace_) {
                    // Look inside the namespace for the Expression
                    foreach ($stmt->stmts ?? [] as $innerStmt) {
                        if ($innerStmt instanceof Expression) {
                            $targetStmt = $innerStmt;
                            break 2;
                        }
                    }
                } elseif ($stmt instanceof Expression) {
                    $targetStmt = $stmt;
                    break;
                }
            }

            if ($targetStmt instanceof Expression) {
                $expr = $targetStmt->expr;
                if ($expr instanceof ClassConstFetch && $expr->class instanceof FullyQualified) {
                    $resolved = '\\'.$expr->class->toString();

                    // Check if actual resolution occurred by comparing original to resolved
                    // NameResolver preserves the original Name node in the 'originalName' attribute
                    $originalName = $expr->class->getAttribute('originalName');

                    if ($originalName instanceof Name) {
                        $originalStr = $originalName->toString();
                        $resolvedStr = $expr->class->toString();

                        // If they differ, resolution occurred (use statement was applied)
                        if ($originalStr !== $resolvedStr) {
                            return $resolved;
                        }
                    }

                    // No transformation occurred - return original name unchanged
                    return $name;
                }
            }
        } catch (\Throwable $e) {
            // Fall through to return original name
        }

        return $name;
    }

    /**
     * Log a message from a CodeCleaner pass.
     *
     * @param string $message Message text to display
     */
    public function log(string $message): void
    {
        $this->messages[] = $message;
    }

    /**
     * Get all logged messages from the last clean operation.
     *
     * @return string[] Array of message strings
     */
    public function getMessages(): array
    {
        return $this->messages;
    }

    /**
     * Lex and parse a block of code.
     *
     * @see Parser::parse
     *
     * @throws ParseErrorException for parse errors that can't be resolved by
     *                             waiting a line to see what comes next
     *
     * @return array|false A set of statements, or false if incomplete
     */
    protected function parse(string $code, bool $requireSemicolons = false)
    {
        try {
            return $this->parser->parse($code);
        } catch (\PhpParser\Error $e) {
            if ($this->parseErrorIsUnclosedString($e, $code)) {
                return false;
            }

            if ($this->parseErrorIsUnterminatedComment($e, $code)) {
                return false;
            }

            if ($this->parseErrorIsTrailingComma($e, $code)) {
                return false;
            }

            if (!$this->parseErrorIsEOF($e)) {
                throw ParseErrorException::fromParseError($e);
            }

            if ($requireSemicolons) {
                return false;
            }

            try {
                // Unexpected EOF, try again with an implicit semicolon
                return $this->parser->parse($code.';');
            } catch (\PhpParser\Error $e) {
                return false;
            }
        }
    }

    private function parseErrorIsEOF(\PhpParser\Error $e): bool
    {
        $msg = $e->getRawMessage();

        return ($msg === 'Unexpected token EOF') || (\strpos($msg, 'Syntax error, unexpected EOF') !== false);
    }

    /**
     * A special test for unclosed single-quoted strings.
     *
     * Unlike (all?) other unclosed statements, single quoted strings have
     * their own special beautiful snowflake syntax error just for
     * themselves.
     */
    private function parseErrorIsUnclosedString(\PhpParser\Error $e, string $code): bool
    {
        if ($e->getRawMessage() !== 'Syntax error, unexpected T_ENCAPSED_AND_WHITESPACE') {
            return false;
        }

        try {
            $this->parser->parse($code."';");
        } catch (\Throwable $e) {
            return false;
        }

        return true;
    }

    private function parseErrorIsUnterminatedComment(\PhpParser\Error $e, string $code): bool
    {
        return $e->getRawMessage() === 'Unterminated comment';
    }

    private function parseErrorIsTrailingComma(\PhpParser\Error $e, string $code): bool
    {
        return ($e->getRawMessage() === 'A trailing comma is not allowed here') && (\substr(\rtrim($code), -1) === ',');
    }
}
