(path)
| 32 | |
| 33 | |
| 34 | def get_ids_from_file(path): |
| 35 | ids = set() |
| 36 | gatherer = IDGatherer(ids) |
| 37 | with path.open(encoding='utf-8') as file: |
| 38 | while chunk := file.read(4096): |
| 39 | gatherer.feed(chunk) |
| 40 | return ids |
| 41 | |
| 42 | |
| 43 | def gather_ids(htmldir, *, verbose_print): |
nothing calls this directly
no test coverage detected
searching dependent graphs…