| 20 | |
| 21 | |
| 22 | class IDGatherer(html.parser.HTMLParser): |
| 23 | def __init__(self, ids): |
| 24 | super().__init__() |
| 25 | self.__ids = ids |
| 26 | |
| 27 | def handle_starttag(self, tag, attrs): |
| 28 | for name, value in attrs: |
| 29 | if name == 'id': |
| 30 | if not IGNORED_ID_RE.fullmatch(value): |
| 31 | self.__ids.add(value) |
| 32 | |
| 33 | |
| 34 | def get_ids_from_file(path): |
no outgoing calls
no test coverage detected
searching dependent graphs…