| 1 | <?php |
||
| 11 | class Message { |
||
| 12 | |||
| 13 | /** |
||
| 14 | * @var File |
||
| 15 | */ |
||
| 16 | private $file; |
||
| 17 | |||
| 18 | /** |
||
| 19 | * @var string |
||
| 20 | */ |
||
| 21 | private $text; |
||
| 22 | |||
| 23 | |||
| 24 | /** |
||
| 25 | * @var FileTool |
||
| 26 | */ |
||
| 27 | private $tool; |
||
| 28 | |||
| 29 | /** |
||
| 30 | * @var int|null |
||
| 31 | */ |
||
| 32 | private $line; |
||
| 33 | |||
| 34 | |||
| 35 | /** |
||
| 36 | * @param File $file |
||
| 37 | * @param FileTool $tool |
||
| 38 | * @param $text |
||
| 39 | * @param int|null $line |
||
| 40 | */ |
||
| 41 | 46 | public function __construct(File $file, FileTool $tool, $text, $line) { |
|
| 48 | |||
| 49 | |||
| 50 | /** |
||
| 51 | * @return string |
||
| 52 | */ |
||
| 53 | public function getText() { |
||
| 56 | |||
| 57 | |||
| 58 | /** |
||
| 59 | * @return File |
||
| 60 | */ |
||
| 61 | public function getFile() { |
||
| 64 | |||
| 65 | |||
| 66 | /** |
||
| 67 | * @return int|null |
||
| 68 | */ |
||
| 69 | 21 | public function getLine() { |
|
| 72 | |||
| 73 | |||
| 74 | /** |
||
| 75 | * @return FileTool |
||
| 76 | */ |
||
| 77 | public function getTool() { |
||
| 80 | |||
| 81 | } |