211 </dd> |
211 </dd> |
212 </dl><a NAME="Whitespace.equal" ID="Whitespace.equal"></a> |
212 </dl><a NAME="Whitespace.equal" ID="Whitespace.equal"></a> |
213 <h4>Whitespace.equal</h4> |
213 <h4>Whitespace.equal</h4> |
214 <b>equal</b>(<i>other</i>) |
214 <b>equal</b>(<i>other</i>) |
215 <p> |
215 <p> |
216 Method to compare the indentation levels of two Whitespace objects for equality. |
216 Method to compare the indentation levels of two Whitespace objects for |
|
217 equality. |
217 </p><dl> |
218 </p><dl> |
218 <dt><i>other</i></dt> |
219 <dt><i>other</i></dt> |
219 <dd> |
220 <dd> |
220 Whitespace object to compare against. |
221 Whitespace object to compare against. |
221 </dd> |
222 </dd> |
241 </dd> |
242 </dd> |
242 </dl><a NAME="Whitespace.less" ID="Whitespace.less"></a> |
243 </dl><a NAME="Whitespace.less" ID="Whitespace.less"></a> |
243 <h4>Whitespace.less</h4> |
244 <h4>Whitespace.less</h4> |
244 <b>less</b>(<i>other</i>) |
245 <b>less</b>(<i>other</i>) |
245 <p> |
246 <p> |
246 Method to compare the indentation level against another Whitespace objects to |
247 Method to compare the indentation level against another Whitespace |
247 be smaller. |
248 objects to be smaller. |
248 </p><dl> |
249 </p><dl> |
249 <dt><i>other</i></dt> |
250 <dt><i>other</i></dt> |
250 <dd> |
251 <dd> |
251 Whitespace object to compare against. |
252 Whitespace object to compare against. |
252 </dd> |
253 </dd> |
309 <hr /><hr /> |
310 <hr /><hr /> |
310 <a NAME="check" ID="check"></a> |
311 <a NAME="check" ID="check"></a> |
311 <h2>check</h2> |
312 <h2>check</h2> |
312 <b>check</b>(<i>file, text=""</i>) |
313 <b>check</b>(<i>file, text=""</i>) |
313 <p> |
314 <p> |
314 Private function to check one Python source file for whitespace related problems. |
315 Private function to check one Python source file for whitespace related |
|
316 problems. |
315 </p><dl> |
317 </p><dl> |
316 <dt><i>file</i></dt> |
318 <dt><i>file</i></dt> |
317 <dd> |
319 <dd> |
318 source filename (string) |
320 source filename (string) |
319 </dd><dt><i>text</i></dt> |
321 </dd><dt><i>text</i></dt> |