Total Complexity | 6 |
Total Lines | 41 |
Duplicated Lines | 0 % |
Changes | 2 | ||
Bugs | 0 | Features | 0 |
1 | <?php |
||
7 | class Production |
||
8 | { |
||
9 | private $headerId; |
||
10 | |||
11 | private $index; |
||
12 | |||
13 | private $symbolList; |
||
14 | |||
15 | public function __construct(int $headerId, int $index, int ...$symbolList) |
||
16 | { |
||
17 | $this->headerId = $headerId; |
||
18 | $this->index = $index; |
||
19 | $this->symbolList = $symbolList; |
||
20 | } |
||
21 | |||
22 | public function __toString() |
||
23 | { |
||
24 | return "{$this->getHeaderId()}:{$this->getIndex()}"; |
||
25 | } |
||
26 | |||
27 | public function getHeaderId(): int |
||
28 | { |
||
29 | return $this->headerId; |
||
30 | } |
||
31 | |||
32 | public function getIndex(): int |
||
33 | { |
||
34 | return $this->index; |
||
35 | } |
||
36 | |||
37 | /** |
||
38 | * @return int[] |
||
39 | */ |
||
40 | public function getSymbolList(): array |
||
41 | { |
||
42 | return $this->symbolList; |
||
43 | } |
||
44 | |||
45 | public function isEpsilon(): bool |
||
48 | } |
||
49 | } |
||
50 |