Commit | Line | Data |
---|---|---|
19bb8b5a PP |
1 | # The MIT License (MIT) |
2 | # | |
3 | # Copyright (c) 2017 Philippe Proulx <pproulx@efficios.com> | |
4 | # | |
5 | # Permission is hereby granted, free of charge, to any person obtaining a copy | |
6 | # of this software and associated documentation files (the "Software"), to deal | |
7 | # in the Software without restriction, including without limitation the rights | |
8 | # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
9 | # copies of the Software, and to permit persons to whom the Software is | |
10 | # furnished to do so, subject to the following conditions: | |
11 | # | |
12 | # The above copyright notice and this permission notice shall be included in | |
13 | # all copies or substantial portions of the Software. | |
14 | # | |
15 | # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR | |
16 | # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, | |
17 | # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE | |
18 | # AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER | |
19 | # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, | |
20 | # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN | |
21 | # THE SOFTWARE. | |
22 | ||
23 | from bt2 import native_bt, object, utils | |
24 | import collections.abc | |
25 | import bt2 | |
26 | ||
27 | ||
28 | class _IntegerRange: | |
29 | def __init__(self, lower, upper): | |
30 | self._check_type(lower) | |
31 | self._check_type(upper) | |
32 | ||
33 | if lower > upper: | |
34 | raise ValueError("range's lower bound ({}) is greater than its upper bound ({})".format(lower, upper)) | |
35 | ||
36 | self._lower = lower | |
37 | self._upper = upper | |
38 | ||
39 | @property | |
40 | def lower(self): | |
41 | return self._lower | |
42 | ||
43 | @property | |
44 | def upper(self): | |
45 | return self._upper | |
46 | ||
47 | def contains(self, value): | |
48 | self._check_type(value) | |
49 | return value >= self._lower and value <= self._upper | |
50 | ||
51 | def __eq__(self, other): | |
52 | if type(other) is not type(self): | |
53 | return False | |
54 | ||
55 | return self.lower == other.lower and self.upper == other.upper | |
56 | ||
57 | ||
58 | class SignedIntegerRange(_IntegerRange): | |
59 | _check_type = staticmethod(utils._check_int64) | |
60 | ||
61 | ||
62 | class UnsignedIntegerRange(_IntegerRange): | |
63 | _check_type = staticmethod(utils._check_uint64) | |
64 | ||
65 | ||
66 | class _IntegerRangeSet(object._SharedObject, collections.abc.MutableSet): | |
67 | def __init__(self, ranges=None): | |
68 | ptr = self._create_range_set() | |
69 | ||
70 | if ptr is None: | |
71 | raise bt2.CreationError('cannot create range set object') | |
72 | ||
73 | super().__init__(ptr) | |
74 | ||
75 | if ranges is not None: | |
76 | # will raise if not iterable | |
77 | for rg in ranges: | |
78 | self.add(rg) | |
79 | ||
80 | def __len__(self): | |
81 | range_set_ptr = self._as_range_set_ptr(self._ptr) | |
82 | count = native_bt.integer_range_set_get_range_count(range_set_ptr) | |
83 | assert count >= 0 | |
84 | return count | |
85 | ||
86 | def __contains__(self, other_range): | |
87 | for rg in self: | |
88 | if rg == other_range: | |
89 | return True | |
90 | ||
91 | return False | |
92 | ||
93 | def __iter__(self): | |
94 | for idx in range(len(self)): | |
95 | rg_ptr = self._borrow_range_by_index_ptr(self._ptr, idx) | |
96 | assert rg_ptr is not None | |
97 | lower = self._range_get_lower(rg_ptr) | |
98 | upper = self._range_get_upper(rg_ptr) | |
99 | yield self._range_type(lower, upper) | |
100 | ||
101 | def __eq__(self, other): | |
102 | if type(other) is not type(self): | |
103 | return False | |
104 | ||
105 | return self._compare(self._ptr, other._ptr) | |
106 | ||
107 | def contains_value(self, value): | |
108 | for rg in self: | |
109 | if rg.contains(value): | |
110 | return True | |
111 | ||
112 | return False | |
113 | ||
114 | def add(self, rg): | |
115 | if type(rg) is not self._range_type: | |
116 | # assume it's a simple pair (will raise if it's not) | |
117 | rg = self._range_type(rg[0], rg[1]) | |
118 | ||
119 | status = self._add_range(self._ptr, rg.lower, rg.upper) | |
120 | utils._handle_func_status(status, | |
121 | 'cannot add range to range set object') | |
122 | ||
123 | def discard(self, rg): | |
124 | raise NotImplementedError | |
125 | ||
126 | ||
127 | class SignedIntegerRangeSet(_IntegerRangeSet): | |
128 | _get_ref = staticmethod(native_bt.integer_range_set_signed_get_ref) | |
129 | _put_ref = staticmethod(native_bt.integer_range_set_signed_put_ref) | |
130 | _as_range_set_ptr = staticmethod(native_bt.integer_range_set_signed_as_range_set_const) | |
131 | _create_range_set = staticmethod(native_bt.integer_range_set_signed_create) | |
132 | _borrow_range_by_index_ptr = staticmethod(native_bt.integer_range_set_signed_borrow_range_by_index_const) | |
133 | _range_get_lower = staticmethod(native_bt.integer_range_signed_get_lower) | |
134 | _range_get_upper = staticmethod(native_bt.integer_range_signed_get_upper) | |
135 | _add_range = staticmethod(native_bt.integer_range_set_signed_add_range) | |
136 | _compare = staticmethod(native_bt.integer_range_set_signed_compare) | |
137 | _range_type = SignedIntegerRange | |
138 | ||
139 | ||
140 | class UnsignedIntegerRangeSet(_IntegerRangeSet): | |
141 | _get_ref = staticmethod(native_bt.integer_range_set_unsigned_get_ref) | |
142 | _put_ref = staticmethod(native_bt.integer_range_set_unsigned_put_ref) | |
143 | _as_range_set_ptr = staticmethod(native_bt.integer_range_set_unsigned_as_range_set_const) | |
144 | _create_range_set = staticmethod(native_bt.integer_range_set_unsigned_create) | |
145 | _borrow_range_by_index_ptr = staticmethod(native_bt.integer_range_set_unsigned_borrow_range_by_index_const) | |
146 | _range_get_lower = staticmethod(native_bt.integer_range_unsigned_get_lower) | |
147 | _range_get_upper = staticmethod(native_bt.integer_range_unsigned_get_upper) | |
148 | _add_range = staticmethod(native_bt.integer_range_set_unsigned_add_range) | |
149 | _compare = staticmethod(native_bt.integer_range_set_unsigned_compare) | |
150 | _range_type = UnsignedIntegerRange |