File src/Command/OutputStyle.php

1:	<?php declare(strict_types = 1);
2:
3:	namespace PHPStan\Command;
4:
5:	/**
6:	* @api
7:	* @api-do-not-implement
8:	*/
9:	interface OutputStyle
10:	{
11:
12:	public function title(string $message): void;
13:
14:	public function section(string $message): void;
15:
16:	/**
17:	* @param string[] $elements
18:	*/
19:	public function listing(array $elements): void;
20:
21:	public function success(string $message): void;
22:
23:	public function error(string $message): void;
24:
25:	public function warning(string $message): void;
26:
27:	public function note(string $message): void;
28:
29:	public function caution(string $message): void;
30:
31:	/**
32:	* @param mixed[] $headers
33:	* @param mixed[] $rows
34:	*/
35:	public function table(array $headers, array $rows): void;
36:
37:	public function newLine(int $count = 1): void;
38:
39:	public function progressStart(int $max = 0): void;
40:
41:	public function progressAdvance(int $step = 1): void;
42:
43:	public function progressFinish(): void;
44:
45:	}
46: