summaryrefslogtreecommitdiff
path: root/pylint/utils
diff options
context:
space:
mode:
authorDaniël van Noord <13665637+DanielNoord@users.noreply.github.com>2022-04-18 17:39:53 +0200
committerDaniël van Noord <13665637+DanielNoord@users.noreply.github.com>2022-04-18 18:55:48 +0200
commit754b487f4d892e3d4872b6fc7468a71db4e31c13 (patch)
tree91f4e7c8112da38aa6b6b012149f867d2b54e58f /pylint/utils
parent523d9fd48ed2ab0f71f18c997e2965a57ed45515 (diff)
downloadpylint-git-754b487f4d892e3d4872b6fc7468a71db4e31c13.tar.gz
Add typing to methods of ``PyLinter``
Diffstat (limited to 'pylint/utils')
-rw-r--r--pylint/utils/docs.py5
1 files changed, 3 insertions, 2 deletions
diff --git a/pylint/utils/docs.py b/pylint/utils/docs.py
index 5484bbfbd..56cecd7d1 100644
--- a/pylint/utils/docs.py
+++ b/pylint/utils/docs.py
@@ -61,6 +61,7 @@ Pylint provides global options and switches.
else:
title = f"{section.capitalize()} options"
result += get_rst_title(title, "~")
+ assert isinstance(options, list)
result += f"{get_rst_section(None, options)}\n"
result += get_rst_title("Pylint checkers' options and switches", "-")
result += """\
@@ -75,8 +76,8 @@ Below is a list of all checkers and their features.
"""
by_checker = _get_checkers_infos(linter)
- for checker in sorted(by_checker):
- information = by_checker[checker]
+ for checker_name in sorted(by_checker):
+ information = by_checker[checker_name]
checker = information["checker"]
del information["checker"]
result += checker.get_full_documentation(**information)