Function write_coverage

devtools/check_quotes.py:234–247

Atomically append one coverage record to filename. Each record is a single line '{bolt} {si} {start} {end} {src_file} {src_line}\\n', written via a single os.write() call so parallel invocations don't interleave partial lines.

(filename: str, bolt: int, section_idx: int, start: int, end: int,
                   src_file: str, src_line: int)

def write_coverage(filename: str, bolt: int, section_idx: int, start: int, end: int,
                   src_file: str, src_line: int) -> None:
    """Atomically append one coverage record to filename.

    Each record is a single line '{bolt} {si} {start} {end} {src_file} {src_line}\\n',
    written via a single os.write() call so parallel invocations don't
    interleave partial lines.
    """
    record = "{} {} {} {} {} {}\n".format(bolt, section_idx, start, end, src_file, src_line).encode()
    fd = os.open(filename, os.O_WRONLY | os.O_CREAT | os.O_APPEND, 0o666)
    try:
        os.write(fd, record)
    finally:
        os.close(fd)


def main(args: Namespace) -> None: