diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2022-12-31 17:17:12 -0500 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2022-12-31 20:39:09 -0500 |
commit | 5a72a1eb736516759201b223463f69f00979818e (patch) | |
tree | 280e5b16147f8a6b792dba2a96c4a21f7894e4c5 /coverage/sqldata.py | |
parent | 0bcb2cb8344eb4cec24455fa421ece185eec0fac (diff) | |
download | python-coveragepy-git-5a72a1eb736516759201b223463f69f00979818e.tar.gz |
mypy: control.py is checked
Diffstat (limited to 'coverage/sqldata.py')
-rw-r--r-- | coverage/sqldata.py | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/coverage/sqldata.py b/coverage/sqldata.py index c76451a7..d9f8ceaf 100644 --- a/coverage/sqldata.py +++ b/coverage/sqldata.py @@ -594,16 +594,16 @@ class CoverageData(AutoReprMixin): def touch_file(self, filename: str, plugin_name: str="") -> None: """Ensure that `filename` appears in the data, empty if needed. - `plugin_name` is the name of the plugin responsible for this file. It is used - to associate the right filereporter, etc. + `plugin_name` is the name of the plugin responsible for this file. + It is used to associate the right filereporter, etc. """ self.touch_files([filename], plugin_name) - def touch_files(self, filenames: Iterable[str], plugin_name: str="") -> None: + def touch_files(self, filenames: Iterable[str], plugin_name: Optional[str]=None) -> None: """Ensure that `filenames` appear in the data, empty if needed. - `plugin_name` is the name of the plugin responsible for these files. It is used - to associate the right filereporter, etc. + `plugin_name` is the name of the plugin responsible for these files. + It is used to associate the right filereporter, etc. """ if self._debug.should("dataop"): self._debug.write(f"Touching {filenames!r}") |