Update CoverageResults for 3.13 (#12325)

This commit is contained in:
Max Muoto
2024-07-11 19:19:40 -05:00
committed by GitHub
parent f6eb38bddd
commit 4f2dcdecde
2 changed files with 12 additions and 2 deletions

View File

@@ -27,7 +27,18 @@ class CoverageResults:
outfile: StrPath | None = None,
) -> None: ... # undocumented
def update(self, other: CoverageResults) -> None: ...
def write_results(self, show_missing: bool = True, summary: bool = False, coverdir: StrPath | None = None) -> None: ...
if sys.version_info >= (3, 13):
def write_results(
self,
show_missing: bool = True,
summary: bool = False,
coverdir: StrPath | None = None,
*,
ignore_missing_files: bool = False,
) -> None: ...
else:
def write_results(self, show_missing: bool = True, summary: bool = False, coverdir: StrPath | None = None) -> None: ...
def write_results_file(
self, path: StrPath, lines: Sequence[str], lnotab: Any, lines_hit: Mapping[int, int], encoding: str | None = None
) -> tuple[int, int]: ...