(
generator: str, sources: list[str], outfile: TextIO, comment: str = "//"
)
| 64 | |
| 65 | |
| 66 | def write_header( |
| 67 | generator: str, sources: list[str], outfile: TextIO, comment: str = "//" |
| 68 | ) -> None: |
| 69 | outfile.write( |
| 70 | f"""{comment} This file is generated by {root_relative_path(generator)} |
| 71 | {comment} from: |
| 72 | {comment} {", ".join(root_relative_path(src) for src in sources)} |
| 73 | {comment} Do not edit! |
| 74 | """ |
| 75 | ) |
| 76 | |
| 77 | |
| 78 | def emit_to(out: CWriter, tkn_iter: TokenIterator, end: str) -> Token: |
no test coverage detected
searching dependent graphs…