File src/Rules/FileRuleError.php

1:	<?php declare(strict_types = 1);
2:
3:	namespace PHPStan\Rules;
4:
5:	/**
6:	* @api
7:	* @api-do-not-implement
8:	*/
9:	interface FileRuleError extends RuleError
10:	{
11:
12:	public function getFile(): string;
13:
14:	public function getFileDescription(): string;
15:
16:	}
17: