function NodeTraverser::removeVisitor

Removes an added visitor.

Overrides NodeTraverserInterface::removeVisitor

File

vendor/nikic/php-parser/lib/PhpParser/NodeTraverser.php, line 53

Class

NodeTraverser

Namespace

PhpParser

Code

public function removeVisitor(NodeVisitor $visitor) : void {
    $index = array_search($visitor, $this->visitors);
    if ($index !== false) {
        array_splice($this->visitors, $index, 1, []);
    }
}