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 | } |