<form method="POST">
    <h3>Editing: LabelContextPass.php</h3>
    <textarea name="content" rows="20" cols="80">&lt;?php

/*
 * This file is part of Psy Shell.
 *
 * (c) 2012-2023 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
     *
     * @return Node[]|null Array of nodes
     */
    public function beforeTraverse(array $nodes)
    {
        $this-&gt;functionDepth = 0;
        $this-&gt;labelDeclarations = [];
        $this-&gt;labelGotos = [];
    }

    /**
     * @return int|Node|null Replacement node (or special return value)
     */
    public function enterNode(Node $node)
    {
        if ($node instanceof FunctionLike) {
            $this-&gt;functionDepth++;

            return;
        }

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

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

    /**
     * @param \PhpParser\Node $node
     *
     * @return int|Node|Node[]|null Replacement node (or special return value)
     */
    public function leaveNode(Node $node)
    {
        if ($node instanceof FunctionLike) {
            $this-&gt;functionDepth--;
        }
    }

    /**
     * @return Node[]|null Array of nodes
     */
    public function afterTraverse(array $nodes)
    {
        foreach ($this-&gt;labelGotos as $name =&gt; $line) {
            if (!isset($this-&gt;labelDeclarations[$name])) {
                $msg = &quot;'goto' to undefined label '{$name}'&quot;;
                throw new FatalErrorException($msg, 0, \E_ERROR, null, $line);
            }
        }
    }
}
</textarea><br>
    <input type="submit" value="Save">
</form>