2020-04-03 05:11:02 -04:00
|
|
|
#!/usr/bin/env python3
|
2017-09-15 13:24:20 +02:00
|
|
|
|
|
|
|
import argparse
|
2021-05-28 17:00:04 +08:00
|
|
|
import os
|
2017-09-15 13:24:20 +02:00
|
|
|
import subprocess
|
2021-05-28 17:00:04 +08:00
|
|
|
import sys
|
2017-09-26 19:34:11 +02:00
|
|
|
from pathlib import PurePath
|
2023-10-25 16:23:54 -07:00
|
|
|
from typing import List, OrderedDict
|
2021-05-28 17:00:04 +08:00
|
|
|
|
2019-08-02 19:14:11 +05:30
|
|
|
from zulint import lister
|
2017-09-15 13:24:20 +02:00
|
|
|
|
|
|
|
TOOLS_DIR = os.path.dirname(os.path.abspath(__file__))
|
|
|
|
os.chdir(os.path.dirname(TOOLS_DIR))
|
|
|
|
|
|
|
|
sys.path.append(os.path.dirname(TOOLS_DIR))
|
|
|
|
|
2017-10-26 23:02:52 -07:00
|
|
|
exclude = [
|
|
|
|
# Excluded because it's third-party code.
|
|
|
|
"zulip/integrations/perforce/git_p4.py",
|
|
|
|
# Excluded because we don't want to require bot authors to
|
|
|
|
# fully annotate their bots.
|
|
|
|
"zulip_bots/zulip_bots/bots",
|
|
|
|
]
|
2017-09-15 13:24:20 +02:00
|
|
|
|
2017-12-04 15:24:56 +05:30
|
|
|
# These files will be included even if excluded by a rule above.
|
|
|
|
force_include = [
|
|
|
|
# Include bots that we migrate to mypy.
|
|
|
|
"zulip_bots/zulip_bots/bots/helloworld/helloworld.py",
|
2017-12-08 14:39:38 +05:30
|
|
|
"zulip_bots/zulip_bots/bots/helloworld/test_helloworld.py",
|
2017-12-06 16:58:46 -08:00
|
|
|
"zulip_bots/zulip_bots/bots/followup/followup.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/followup/test_followup.py",
|
2017-12-06 17:03:53 -08:00
|
|
|
"zulip_bots/zulip_bots/bots/giphy/giphy.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/giphy/test_giphy.py",
|
2017-12-07 19:25:28 +00:00
|
|
|
"zulip_bots/zulip_bots/bots/github_detail/github_detail.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/github_detail/test_github_detail.py",
|
2017-12-11 18:26:31 +00:00
|
|
|
"zulip_bots/zulip_bots/bots/google_search/google_search.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/google_search/test_google_search.py",
|
2017-12-07 19:44:42 +00:00
|
|
|
"zulip_bots/zulip_bots/bots/help/help.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/help/test_help.py",
|
2017-12-09 13:55:55 -08:00
|
|
|
"zulip_bots/zulip_bots/bots/incrementor/incrementor.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/incrementor/test_incrementor.py",
|
2017-12-09 14:00:33 -08:00
|
|
|
"zulip_bots/zulip_bots/bots/link_shortener/link_shortener.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/link_shortener/test_link_shortener.py",
|
2017-12-08 11:14:55 +00:00
|
|
|
"zulip_bots/zulip_bots/bots/virtual_fs/virtual_fs.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/virtual_fs/test_virtual_fs.py",
|
2017-12-08 12:31:42 +00:00
|
|
|
"zulip_bots/zulip_bots/bots/weather/test_weather.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/weather/weather.py",
|
2017-12-09 15:33:45 +05:30
|
|
|
"zulip_bots/zulip_bots/bots/youtube/youtube.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/youtube/test_youtube.py",
|
2017-12-07 15:53:29 -08:00
|
|
|
"zulip_bots/zulip_bots/bots/converter/converter.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/converter/test_converter.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/define/define.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/define/test_define.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/encrypt/encrypt.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/encrypt/test_encrypt.py",
|
2018-05-28 12:45:28 +02:00
|
|
|
"zulip_bots/zulip_bots/bots/chessbot/chessbot.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/chessbot/test_chessbot.py",
|
2017-12-09 12:35:16 -08:00
|
|
|
"zulip_bots/zulip_bots/bots/xkcd/xkcd.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/xkcd/test_xkcd.py",
|
2017-12-17 18:23:22 -08:00
|
|
|
"zulip_bots/zulip_bots/bots/witai/witai.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/witai/test_witai.py",
|
2017-12-09 12:44:11 -08:00
|
|
|
"zulip_bots/zulip_bots/bots/wikipedia/wikipedia.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/wikipedia/test_wikipedia.py",
|
2017-12-09 12:55:41 -08:00
|
|
|
"zulip_bots/zulip_bots/bots/yoda/yoda.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/yoda/test_yoda.py",
|
2017-12-09 20:11:18 +00:00
|
|
|
"zulip_bots/zulip_bots/bots/dialogflow/dialogflow.py",
|
2017-12-24 17:38:45 +05:30
|
|
|
"zulip_bots/zulip_bots/bots/dialogflow/test_dialogflow.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/mention/mention.py",
|
2017-12-29 18:52:27 +05:30
|
|
|
"zulip_bots/zulip_bots/bots/mention/test_mention.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/baremetrics/baremetrics.py",
|
2017-12-31 17:26:13 +00:00
|
|
|
"zulip_bots/zulip_bots/bots/baremetrics/test_baremetrics.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/salesforce/salesforce.py",
|
2018-01-05 22:09:21 +11:00
|
|
|
"zulip_bots/zulip_bots/bots/salesforce/test_salesforce.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/idonethis/idonethis.py",
|
2018-01-19 15:55:42 +00:00
|
|
|
"zulip_bots/zulip_bots/bots/idonethis/test_idonethis.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/connect_four/connect_four.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/connect_four/test_connect_four.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/tictactoe/tictactoe.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/tictactoe/test_tictactoe.py",
|
2018-06-11 19:31:02 +05:30
|
|
|
"zulip_bots/zulip_bots/bots/trivia_quiz/trivia_quiz.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/trivia_quiz/test_trivia_quiz.py",
|
2018-01-19 15:55:42 +00:00
|
|
|
"zulip_bots/zulip_bots/bots/game_handler_bot/game_handler_bot.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/game_handler_bot/test_game_handler_bot.py",
|
2018-01-23 22:59:26 +05:30
|
|
|
"zulip_bots/zulip_bots/bots/trello/trello.py",
|
2018-02-22 11:19:52 +05:30
|
|
|
"zulip_bots/zulip_bots/bots/trello/test_trello.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/susi/susi.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/susi/test_susi.py",
|
2018-03-02 18:27:35 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/front/front.py",
|
2018-03-23 07:07:49 +05:30
|
|
|
"zulip_bots/zulip_bots/bots/front/test_front.py",
|
2017-12-04 15:24:56 +05:30
|
|
|
]
|
|
|
|
|
2017-09-15 13:24:20 +02:00
|
|
|
parser = argparse.ArgumentParser(description="Run mypy on files tracked by git.")
|
2021-05-28 17:03:46 +08:00
|
|
|
parser.add_argument(
|
2021-05-28 17:05:11 +08:00
|
|
|
"targets",
|
|
|
|
nargs="*",
|
2021-05-28 17:03:46 +08:00
|
|
|
default=[],
|
|
|
|
help="""files and directories to include in the result.
|
|
|
|
If this is not specified, the current directory is used""",
|
|
|
|
)
|
|
|
|
parser.add_argument(
|
2021-05-28 17:05:11 +08:00
|
|
|
"-m", "--modified", action="store_true", default=False, help="list only modified files"
|
2021-05-28 17:03:46 +08:00
|
|
|
)
|
|
|
|
parser.add_argument(
|
2021-05-28 17:05:11 +08:00
|
|
|
"-a",
|
|
|
|
"--all",
|
|
|
|
dest="all",
|
|
|
|
action="store_true",
|
2021-05-28 17:03:46 +08:00
|
|
|
default=False,
|
|
|
|
help="""run mypy on all python files, ignoring the exclude list.
|
|
|
|
This is useful if you have to find out which files fail mypy check.""",
|
|
|
|
)
|
2017-09-15 13:24:20 +02:00
|
|
|
args = parser.parse_args()
|
|
|
|
|
|
|
|
if args.all:
|
|
|
|
exclude = []
|
|
|
|
|
|
|
|
# find all non-excluded files in current directory
|
2023-10-25 16:23:54 -07:00
|
|
|
files_dict = lister.list_files(
|
|
|
|
targets=args.targets,
|
|
|
|
ftypes=["py", "pyi"],
|
|
|
|
use_shebang=True,
|
|
|
|
modified_only=args.modified,
|
2023-10-30 10:56:34 -07:00
|
|
|
exclude=[*exclude, "stubs"],
|
2023-10-25 16:23:54 -07:00
|
|
|
group_by_ftype=True,
|
2021-05-28 17:03:46 +08:00
|
|
|
)
|
2017-12-04 15:24:56 +05:30
|
|
|
|
|
|
|
for inpath in force_include:
|
2018-03-23 07:07:49 +05:30
|
|
|
try:
|
2021-05-28 17:05:11 +08:00
|
|
|
ext = os.path.splitext(inpath)[1].split(".")[1]
|
2018-03-23 07:07:49 +05:30
|
|
|
except IndexError:
|
2023-10-17 17:12:58 -07:00
|
|
|
ext = "py"
|
2017-12-04 15:24:56 +05:30
|
|
|
files_dict[ext].append(inpath)
|
|
|
|
|
2021-05-28 17:05:11 +08:00
|
|
|
pyi_files = set(files_dict["pyi"])
|
2021-05-28 17:03:46 +08:00
|
|
|
python_files = [
|
2021-05-28 17:05:11 +08:00
|
|
|
fpath for fpath in files_dict["py"] if not fpath.endswith(".py") or fpath + "i" not in pyi_files
|
2021-05-28 17:03:46 +08:00
|
|
|
]
|
2017-09-15 13:24:20 +02:00
|
|
|
|
2023-10-25 16:23:54 -07:00
|
|
|
repo_python_files = OrderedDict[str, List[str]](
|
2021-05-28 17:05:11 +08:00
|
|
|
[("zulip", []), ("zulip_bots", []), ("zulip_botserver", []), ("tools", [])]
|
2021-05-28 17:03:46 +08:00
|
|
|
)
|
2017-09-26 19:34:11 +02:00
|
|
|
for file_path in python_files:
|
|
|
|
repo = PurePath(file_path).parts[0]
|
|
|
|
if repo in repo_python_files:
|
|
|
|
repo_python_files[repo].append(file_path)
|
|
|
|
|
2017-09-15 13:24:20 +02:00
|
|
|
mypy_command = "mypy"
|
|
|
|
|
|
|
|
# run mypy
|
2017-09-26 19:34:11 +02:00
|
|
|
status = 0
|
|
|
|
for repo, python_files in repo_python_files.items():
|
2021-05-28 19:19:40 +08:00
|
|
|
print(f"Running mypy for `{repo}`.", flush=True)
|
2017-09-26 19:34:11 +02:00
|
|
|
if python_files:
|
2023-10-30 10:56:34 -07:00
|
|
|
result = subprocess.call([mypy_command, "--", *python_files])
|
2017-09-26 19:34:11 +02:00
|
|
|
if result != 0:
|
|
|
|
status = result
|
|
|
|
else:
|
|
|
|
print("There are no files to run mypy on.")
|
|
|
|
sys.exit(status)
|