diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2022-12-31 22:08:25 -0500 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2022-12-31 22:08:25 -0500 |
commit | 09f9188e826f900198d638ee3c42b27bca29597d (patch) | |
tree | 785dca94af0f4ac52bd8bb21d02cd80e2c6c87e5 /coverage/debug.py | |
parent | 0bf14e2d297599bb0b0454b1b2636171aefb1882 (diff) | |
download | python-coveragepy-git-09f9188e826f900198d638ee3c42b27bca29597d.tar.gz |
mypy: add env.py
Diffstat (limited to 'coverage/debug.py')
-rw-r--r-- | coverage/debug.py | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/coverage/debug.py b/coverage/debug.py index b770066b..7ed8937c 100644 --- a/coverage/debug.py +++ b/coverage/debug.py @@ -15,6 +15,8 @@ import sys import types import _thread +from typing import Any, Callable, Iterable, Iterator, Tuple + from coverage.misc import isolate_module os = isolate_module(os) @@ -108,7 +110,7 @@ def info_header(label): return "--{:-<60s}".format(" "+label+" ") -def info_formatter(info): +def info_formatter(info: Iterable[Tuple[str, Any]]) -> Iterator[str]: """Produce a sequence of formatted lines from info. `info` is a sequence of pairs (label, data). The produced lines are @@ -135,7 +137,11 @@ def info_formatter(info): yield "%*s: %s" % (label_len, label, data) -def write_formatted_info(write, header, info): +def write_formatted_info( + write: Callable[[str], None], + header: str, + info: Iterable[Tuple[str, Any]], +) -> None: """Write a sequence of (label,data) pairs nicely. `write` is a function write(str) that accepts each line of output. |