util/style/region.py

29     def __repr__(self): return '<neg_inf>'
30     def __lt__(self, other): return type(self) != type(other)
31     def __le__(self, other): return True
32     def __gt__(self, other): return False
33     def __ge__(self, other): return type(self) == type(other)
34     def __eq__(self, other): return type(self) == type(other)
35     def __ne__(self, other): return type(self) != type(other)
40     def __repr__(self): return '<pos_inf>'
41     def __lt__(self, other): return False
42     def __le__(self, other): return type(self) == type(other)
43     def __gt__(self, other): return type(self) != type(other)
44     def __ge__(self, other): return True
45     def __eq__(self, other): return type(self) == type(other)
46     def __ne__(self, other): return type(self) != type(other)
65     def __repr__(self):
66         return 'Region(%s, %s)' % (self[0], self[1])
69     def start(self):
70         return self[0]
73     def end(self):
74         return self[1]
76     def __contains__(self, other):
78         region: True if self and other is fully contained within self.
81             return self[0] <= other[0] and self[1] >= other[1]
82         return self[0] <= other and other < self[1]
84     def __eq__(self, other):
86         region: True if self and other are identical.
89             return self[0] == other[0] and self[1] == other[1]
90         return self[0] <= other and other < self[1]
92     # @param self is a region.
94     # @return if self and other are not identical.
95     def __ne__(self, other):
100             return self[0] != other[0] or self[1] != other[1]
101         return other < self[0] or self[1] <= other
103     # @param self is a region.
105     # @return if self is less than other and does not overlap self.
106     def __lt__(self, other):
107         "self completely left of other (cannot overlap)"
109             return self[1] <= other[0]
110         return self[1] <= other
112     # @param self is a region.
114     # @return if self is less than other.  self may overlap other,
116     def __le__(self, other):
117         "self extends to the left of other (can overlap)"
119             return self[0] <= other[0]
120         return self[0] <= other
122     # @param self is a region.
124     # @return if self is greater than other and does not overlap other.
125     def __gt__(self, other):
126         "self is completely right of other (cannot overlap)"
128             return self[0] >= other[1]
129         return self[0] > other
131     # @param self is a region.
133     # @return if self is greater than other.  self may overlap other,
135     def __ge__(self, other):
136         "self ex_ends beyond other to the right (can overlap)"
138             return self[1] >= other[1]
139         return self[1] > other
145     def __init__(self, *args):
146         self.regions = []
147         self.extend(*args)
149     def copy(self):
151         copy.regions.extend(self.regions)
154     def append(self, *args):
155         self.regions.append(Region(*args))
157     def extend(self, *args):
158         self.regions.extend(Region(a) for a in args)
160     def __contains__(self, position):
161         for region in self.regions:
167     def __len__(self):
168         return len(self.regions)
170     def __iand__(self, other):
171         A = self.regions
177         while i < len(self) and j < len(other):
222         self.regions = R
223         return self
225     def __and__(self, other):
226         result = self.copy()
230     def __repr__(self):
231         return 'Regions(%s)' % ([(r[0], r[1]) for r in self.regions], )