ꦫꦣꦺꦤ꧀ꦄꦤ꧀ꦠꦱꦺꦤ

PATH: home / lab2454c / westernclear.net / vendor / psy / psysh / src / CodeCleaner

<?php

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

namespace Psy\CodeCleaner;

use PhpParser\Node;
use PhpParser\Node\FunctionLike;
use PhpParser\Node\Stmt\Goto_;
use PhpParser\Node\Stmt\Label;
use Psy\Exception\FatalErrorException;

/**
 * CodeCleanerPass for label context.
 *
 * This class partially emulates the PHP label specification.
 * PsySH can not declare labels by sequentially executing lines with eval,
 * but since it is not a syntax error, no error is raised.
 * This class warns before invalid goto causes a fatal error.
 * Since this is a simple checker, it does not block real fatal error
 * with complex syntax.  (ex. it does not parse inside function.)
 *
 * @see http://php.net/goto
 */
class LabelContextPass extends CodeCleanerPass
{
    /** @var int */
    private $functionDepth;

/** @var array */
    private $labelDeclarations;
    /** @var array */
    private $labelGotos;

/**
     * @param array $nodes
     */
    public function beforeTraverse(array $nodes)
    {
        $this->functionDepth = 0;
        $this->labelDeclarations = [];
        $this->labelGotos = [];
    }

public function enterNode(Node $node)
    {
        if ($node instanceof FunctionLike) {
            $this->functionDepth++;

return;
        }

// node is inside function context
        if ($this->functionDepth !== 0) {
            return;
        }

if ($node instanceof Goto_) {
            $this->labelGotos[\strtolower($node->name)] = $node->getLine();
        } elseif ($node instanceof Label) {
            $this->labelDeclarations[\strtolower($node->name)] = $node->getLine();
        }
    }

/**
     * @param \PhpParser\Node $node
     */
    public function leaveNode(Node $node)
    {
        if ($node instanceof FunctionLike) {
            $this->functionDepth--;
        }
    }

public function afterTraverse(array $nodes)
    {
        foreach ($this->labelGotos as $name => $line) {
            if (!isset($this->labelDeclarations[$name])) {
                $msg = "'goto' to undefined label '{$name}'";
                throw new FatalErrorException($msg, 0, \E_ERROR, null, $line);
            }
        }
    }
}

[-] IssetPass.php [edit]
[-] FunctionReturnInWriteContextPass.php [edit]
[-] ExitPass.php [edit]
[-] MagicConstantsPass.php [edit]
[-] ImplicitReturnPass.php [edit]
[-] StrictTypesPass.php [edit]
[+] ..
[-] AssignThisVariablePass.php [edit]
[-] InstanceOfPass.php [edit]
[-] FinalClassPass.php [edit]
[-] ValidConstructorPass.php [edit]
[-] LoopContextPass.php [edit]
[-] PassableByReferencePass.php [edit]
[-] CallTimePassByReferencePass.php [edit]
[-] AbstractClassPass.php [edit]
[-] FunctionContextPass.php [edit]
[-] NamespaceAwarePass.php [edit]
[-] NamespacePass.php [edit]
[-] UseStatementPass.php [edit]
[-] ReturnTypePass.php [edit]
[-] RequirePass.php [edit]
[-] ListPass.php [edit]
[-] ValidClassNamePass.php [edit]
[-] LeavePsyshAlonePass.php [edit]
[-] CodeCleanerPass.php [edit]
[-] NoReturnValue.php [edit]
[-] LabelContextPass.php [edit]
[-] CalledClassPass.php [edit]
[-] EmptyArrayDimFetchPass.php [edit]
[-] ValidFunctionNamePass.php [edit]