File src/Command/Output.php

1:	<?php declare(strict_types = 1);
2:
3:	namespace PHPStan\Command;
4:
5:	/** @api */
6:	interface Output
7:	{
8:
9:	public function writeFormatted(string $message): void;
10:
11:	public function writeLineFormatted(string $message): void;
12:
13:	public function writeRaw(string $message): void;
14:
15:	public function getStyle(): OutputStyle;
16:
17:	public function isVerbose(): bool;
18:
19:	public function isVeryVerbose(): bool;
20:
21:	public function isDebug(): bool;
22:
23:	public function isDecorated(): bool;
24:
25:	}
26: