src/Generator/Binary/TimeBinaryGenerator.php 1 location
|
@@ 108-110 (lines=3) @@
|
| 105 |
|
|
| 106 |
|
$min_time_length = strlen(decbin($now)); |
| 107 |
|
|
| 108 |
|
if ($time_length < $min_time_length - $time_offset) { |
| 109 |
|
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)); |
| 110 |
|
} |
| 111 |
|
|
| 112 |
|
$this->time_length = $time_length; |
| 113 |
|
$this->time_offset = $time_offset; |
src/Generator/Binary/FloatingTimeGenerator.php 1 location
|
@@ 83-85 (lines=3) @@
|
| 80 |
|
|
| 81 |
|
$min_time_length = strlen(decbin($now)); |
| 82 |
|
|
| 83 |
|
if ($time_length < $min_time_length - $time_offset) { |
| 84 |
|
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)); |
| 85 |
|
} |
| 86 |
|
|
| 87 |
|
$this->time_length = $time_length; |
| 88 |
|
$this->time_offset = $time_offset; |