2024-05-07 12:17:25 +02:00
|
|
|
<?php declare(strict_types=1);
|
|
|
|
|
|
|
|
|
|
namespace PhpParser;
|
|
|
|
|
|
2024-05-17 12:24:19 +00:00
|
|
|
interface ErrorHandler {
|
2024-05-07 12:17:25 +02:00
|
|
|
/**
|
|
|
|
|
* Handle an error generated during lexing, parsing or some other operation.
|
|
|
|
|
*
|
|
|
|
|
* @param Error $error The error that needs to be handled
|
|
|
|
|
*/
|
2024-05-17 12:24:19 +00:00
|
|
|
public function handleError(Error $error): void;
|
2024-05-07 12:17:25 +02:00
|
|
|
}
|