(data: WriteBuffer, errs: list[ErrorTuple])
| 559 | |
| 560 | |
| 561 | def write_errors(data: WriteBuffer, errs: list[ErrorTuple]) -> None: |
| 562 | write_tag(data, LIST_GEN) |
| 563 | write_int_bare(data, len(errs)) |
| 564 | for path, line, column, end_line, end_column, severity, message, code in errs: |
| 565 | write_tag(data, TUPLE_GEN) |
| 566 | write_str_opt(data, path) |
| 567 | write_int(data, line) |
| 568 | write_int(data, column) |
| 569 | write_int(data, end_line) |
| 570 | write_int(data, end_column) |
| 571 | write_str(data, severity) |
| 572 | write_str(data, message) |
| 573 | write_str_opt(data, code) |
| 574 | |
| 575 | |
| 576 | def read_errors(data: ReadBuffer) -> list[ErrorTuple]: |
no test coverage detected
searching dependent graphs…