Total Complexity | 6 |
Total Lines | 35 |
Duplicated Lines | 0 % |
Coverage | 100% |
Changes | 0 |
1 | <?php |
||
9 | class GtidCollection extends ArrayCollection |
||
10 | { |
||
11 | /** |
||
12 | * @throws GtidException |
||
13 | */ |
||
14 | 1 | public static function makeCollectionFromString(string $gtids): GtidCollection |
|
22 | } |
||
23 | |||
24 | 1 | public function getEncodedLength(): int |
|
25 | { |
||
26 | 1 | $l = 8; |
|
27 | /** @var Gtid $gtid */ |
||
28 | 1 | foreach ($this->toArray() as $gtid) { |
|
29 | 1 | $l += $gtid->getEncodedLength(); |
|
30 | } |
||
31 | |||
32 | 1 | return $l; |
|
33 | } |
||
34 | |||
35 | 1 | public function getEncoded(): string |
|
44 | } |
||
45 | } |