1: <?php declare(strict_types = 1);
2:
3: namespace PHPStan\Diagnose;
4:
5: use PHPStan\Command\Output;
6:
7: /**
8: * DiagnoseExtension can output any diagnostic information to stderr after analysis.
9: *
10: * PHPStan displays this information when running the "analyse" command with "-vvv" CLI option.
11: *
12: * To register it in the configuration file use the `phpstan.diagnoseExtension` service tag:
13: *
14: * ```
15: * services:
16: * -
17: * class: App\PHPStan\MyExtension
18: * tags:
19: * - phpstan.diagnoseExtension
20: * ```
21: *
22: * @api
23: */
24: interface DiagnoseExtension
25: {
26:
27: public const EXTENSION_TAG = 'phpstan.diagnoseExtension';
28:
29: public function print(Output $errorOutput): void;
30:
31: }
32: