(self, fmt: str, *args: str)
| 283 | self.fragments.extend(emitter.fragments) |
| 284 | |
| 285 | def emit_printf(self, fmt: str, *args: str) -> None: |
| 286 | fmt = fmt.replace("\n", "\\n") |
| 287 | self.emit_line("printf(%s);" % ", ".join(['"%s"' % fmt] + list(args))) |
| 288 | self.emit_line("fflush(stdout);") |
| 289 | |
| 290 | def temp_name(self) -> str: |
| 291 | self.context.temp_counter += 1 |