Lines Matching refs:self
64 def __init__(self, lineno, msg, line):
65 self.lineno, self.msg, self.line = lineno, msg, line
66 def get_lineno(self):
67 return self.lineno
68 def get_msg(self):
69 return self.msg
70 def get_line(self):
71 return self.line
157 def __init__(self, ws):
158 self.raw = ws
162 for ch in self.raw:
175 self.n = n
176 self.nt = nt
177 self.norm = tuple(count), b
178 self.is_simple = len(count) <= 1
182 def longest_run_of_spaces(self):
183 count, trailing = self.norm
186 def indent_level(self, tabsize):
187 # count, il = self.norm
201 count, trailing = self.norm
205 return trailing + tabsize * (il + self.nt)
207 # return true iff self.indent_level(t) == other.indent_level(t)
209 def equal(self, other):
210 return self.norm == other.norm
213 # i1 == self.indent_level(ts) != other.indent_level(ts) == i2.
214 # Intended to be used after not self.equal(other) is known, in which
216 def not_equal_witness(self, other):
217 n = max(self.longest_run_of_spaces(),
221 if self.indent_level(ts) != other.indent_level(ts):
223 self.indent_level(ts),
227 # Return True iff self.indent_level(t) < other.indent_level(t)
240 def less(self, other):
241 if self.n >= other.n:
243 if self.is_simple and other.is_simple:
244 return self.nt <= other.nt
245 n = max(self.longest_run_of_spaces(),
247 # the self.n >= other.n test already did it for ts=1
249 if self.indent_level(ts) >= other.indent_level(ts):
254 # i1 == self.indent_level(ts) >= other.indent_level(ts) == i2.
255 # Intended to be used after not self.less(other) is known, in which
257 def not_less_witness(self, other):
258 n = max(self.longest_run_of_spaces(),
262 if self.indent_level(ts) >= other.indent_level(ts):
264 self.indent_level(ts),