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