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