| 1 | <?php |
||
| 13 | final class IndexDefinition |
||
| 14 | { |
||
| 15 | /** |
||
| 16 | * @var array |
||
| 17 | */ |
||
| 18 | private $index; |
||
| 19 | |||
| 20 | /** |
||
| 21 | * @var array |
||
| 22 | */ |
||
| 23 | private $options; |
||
| 24 | |||
| 25 | /** |
||
| 26 | * @param array $index |
||
| 27 | * @param array $options |
||
| 28 | */ |
||
| 29 | public function __construct(array $index, array $options = []) |
||
| 34 | |||
| 35 | /** |
||
| 36 | * @return array |
||
| 37 | */ |
||
| 38 | public function getIndex(): array |
||
| 42 | |||
| 43 | /** |
||
| 44 | * @return array |
||
| 45 | */ |
||
| 46 | public function getOptions(): array |
||
| 50 | |||
| 51 | /** |
||
| 52 | * So we can compare indexes. |
||
| 53 | * |
||
| 54 | * @return string |
||
| 55 | */ |
||
| 56 | public function __toString() |
||
| 63 | } |