src/Generator/Binary/FloatingTimeGenerator.php 1 location
|
@@ 86-88 (lines=3) @@
|
| 83 |
|
|
| 84 |
|
$min_time_length = strlen(decbin($now)); |
| 85 |
|
|
| 86 |
|
if ($time_length < $min_time_length - $time_offset) { |
| 87 |
|
throw new ArgumentRangeException(sprintf('Length of time for UID should be grate then or equal to "%d", got "%d" instead.', $min_time_length - $time_offset, $time_length)); |
| 88 |
|
} |
| 89 |
|
|
| 90 |
|
$this->time_length = $time_length; |
| 91 |
|
$this->time_offset = $time_offset; |
src/Generator/Binary/TimeBinaryGenerator.php 1 location
|
@@ 111-113 (lines=3) @@
|
| 108 |
|
|
| 109 |
|
$min_time_length = strlen(decbin($now)); |
| 110 |
|
|
| 111 |
|
if ($time_length < $min_time_length - $time_offset) { |
| 112 |
|
throw new ArgumentRangeException(sprintf('Length of time for UID should be grate then or equal to "%d", got "%d" instead.', $min_time_length - $time_offset, $time_length)); |
| 113 |
|
} |
| 114 |
|
|
| 115 |
|
$this->time_length = $time_length; |
| 116 |
|
$this->time_offset = $time_offset; |