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