| 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 $output): void; |
| 30: | |
| 31: | } |
| 32: |