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