Coverage for /pythoncovmergedfiles/medio/medio/usr/local/lib/python3.11/site-packages/idna/intranges.py: 66%
Shortcuts on this page
r m x toggle line displays
j k next/prev highlighted chunk
0 (zero) top of page
1 (one) first highlighted chunk
Shortcuts on this page
r m x toggle line displays
j k next/prev highlighted chunk
0 (zero) top of page
1 (one) first highlighted chunk
1"""
2Given a list of integers, made up of (hopefully) a small number of long runs
3of consecutive integers, compute a representation of the form
4((start1, end1), (start2, end2) ...). Then answer the question "was x present
5in the original list?" in time O(log(# runs)).
6"""
8import bisect
11def intranges_from_list(list_: list[int]) -> tuple[int, ...]:
12 """Represent a list of integers as a sequence of ranges:
13 ((start_0, end_0), (start_1, end_1), ...), such that the original
14 integers are exactly those x such that start_i <= x < end_i for some i.
16 Ranges are encoded as single integers (start << 32 | end), not as tuples.
17 """
19 sorted_list = sorted(list_)
20 ranges = []
21 last_write = -1
22 for i in range(len(sorted_list)):
23 if i + 1 < len(sorted_list) and sorted_list[i] == sorted_list[i + 1] - 1:
24 continue
25 current_range = sorted_list[last_write + 1 : i + 1]
26 ranges.append(_encode_range(current_range[0], current_range[-1] + 1))
27 last_write = i
29 return tuple(ranges)
32def _encode_range(start: int, end: int) -> int:
33 return (start << 32) | end
36def _decode_range(r: int) -> tuple[int, int]:
37 return (r >> 32), (r & ((1 << 32) - 1))
40def intranges_contain(int_: int, ranges: tuple[int, ...]) -> bool:
41 """Determine if `int_` falls into one of the ranges in `ranges`."""
42 tuple_ = _encode_range(int_, 0)
43 pos = bisect.bisect_left(ranges, tuple_)
44 # we could be immediately ahead of a tuple (start, end)
45 # with start < int_ <= end
46 if pos > 0:
47 left, right = _decode_range(ranges[pos - 1])
48 if left <= int_ < right:
49 return True
50 # or we could be immediately behind a tuple (int_, end)
51 if pos < len(ranges):
52 left, _ = _decode_range(ranges[pos])
53 if left == int_:
54 return True
55 return False