Home
last modified time | relevance | path

Searched refs:scanparser (Results 1 – 1 of 1) sorted by relevance

/external/python/cpython2/Demo/tkinter/guido/
Dmbox.py160 scanparser = re.compile('^ *([0-9]+)') variable
192 if scanparser.match(line) >= 0:
193 num = string.atoi(scanparser.group(1))
215 if scanparser.match(line) >= 0:
216 todo.append(string.atoi(scanparser.group(1)))
243 if scanparser.match(line) >= 0:
244 todo.append(string.atoi(scanparser.group(1)))
257 if scanparser.match(line) >= 0:
258 num = string.atoi(scanparser.group(1))