1 | <?php |
||
7 | class IndexManager |
||
8 | { |
||
9 | /** |
||
10 | * @var Index[] |
||
11 | */ |
||
12 | protected $indexes = []; |
||
13 | |||
14 | /** |
||
15 | * @param Index $index |
||
16 | */ |
||
17 | public function registerIndex(Index $index) |
||
27 | |||
28 | /** |
||
29 | * @param string $name |
||
30 | * @return Index|null |
||
31 | */ |
||
32 | public function getIndex($name) |
||
40 | |||
41 | /** |
||
42 | * @param string $name |
||
43 | * @return bool |
||
44 | */ |
||
45 | public function hasIndex($name) |
||
49 | |||
50 | /** |
||
51 | * @return array |
||
52 | */ |
||
53 | public function getIndexIds() |
||
57 | |||
58 | /** |
||
59 | * @return Index[] |
||
60 | */ |
||
61 | public function getIndexes() |
||
65 | } |
||
66 |