2017-09-15 07:24:20 -04:00
|
|
|
#!/usr/bin/env python
|
|
|
|
|
|
|
|
from __future__ import absolute_import
|
|
|
|
from __future__ import print_function
|
|
|
|
|
|
|
|
import os
|
|
|
|
import sys
|
|
|
|
import argparse
|
|
|
|
import subprocess
|
|
|
|
|
2017-09-26 13:34:11 -04:00
|
|
|
from collections import OrderedDict
|
|
|
|
from pathlib import PurePath
|
2017-09-27 04:49:41 -04:00
|
|
|
from server_lib import lister
|
2017-09-15 07:24:20 -04:00
|
|
|
from typing import cast, Dict, List
|
|
|
|
|
|
|
|
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-27 02:02:52 -04: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-11-02 09:47:28 -04:00
|
|
|
"zulip_bots/zulip_bots/bots_unmaintained",
|
2017-11-28 11:44:39 -05:00
|
|
|
# Excluded out of laziness:
|
|
|
|
"zulip_bots/zulip_bots/terminal.py",
|
|
|
|
"zulip_bots/zulip_bots/simple_lib.py",
|
2017-11-29 16:30:09 -05:00
|
|
|
"zulip_bots/zulip_bots/lib_tests.py",
|
|
|
|
"tools/test-lib",
|
2017-10-27 02:02:52 -04:00
|
|
|
]
|
2017-09-15 07:24:20 -04:00
|
|
|
|
2017-12-04 04:54:56 -05:00
|
|
|
# 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 04:09:38 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/helloworld/test_helloworld.py",
|
2017-12-06 19:58:46 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/followup/followup.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/followup/test_followup.py",
|
2017-12-06 20:03:53 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/giphy/giphy.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/giphy/test_giphy.py",
|
2017-12-07 14:25:28 -05: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 13:26:31 -05: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 14:44:42 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/help/help.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/help/test_help.py",
|
2017-12-09 16:55:55 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/incrementor/incrementor.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/incrementor/test_incrementor.py",
|
2017-12-09 17:00:33 -05: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 06:14:55 -05: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 07:31:42 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/weather/test_weather.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/weather/weather.py",
|
2017-12-09 05:03:45 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/youtube/youtube.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/youtube/test_youtube.py",
|
2017-12-07 18:53:29 -05: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",
|
2017-12-04 23:34:52 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/chess/chess.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/chess/test_chess.py",
|
2017-12-09 15:35:16 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/xkcd/xkcd.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/xkcd/test_xkcd.py",
|
2017-12-17 21:23:22 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/witai/witai.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/witai/test_witai.py",
|
2017-12-09 15:44:11 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/wikipedia/wikipedia.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/wikipedia/test_wikipedia.py",
|
2017-12-09 15:55:41 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/yoda/yoda.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/yoda/test_yoda.py",
|
2017-12-09 15:11:18 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/dialogflow/dialogflow.py",
|
2017-12-24 07:08:45 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/dialogflow/test_dialogflow.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/mention/mention.py",
|
2017-12-29 08:22:27 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/mention/test_mention.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/baremetrics/baremetrics.py",
|
2017-12-31 12:26:13 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/baremetrics/test_baremetrics.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/salesforce/salesforce.py",
|
2018-01-05 06:09:21 -05:00
|
|
|
"zulip_bots/zulip_bots/bots/salesforce/test_salesforce.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/idonethis/idonethis.py",
|
|
|
|
"zulip_bots/zulip_bots/bots/idonethis/test_idonethis.py"
|
2017-12-04 04:54:56 -05:00
|
|
|
]
|
|
|
|
|
2017-09-15 07:24:20 -04:00
|
|
|
parser = argparse.ArgumentParser(description="Run mypy on files tracked by git.")
|
2017-09-26 13:34:11 -04:00
|
|
|
parser.add_argument('targets', nargs='*', default=[],
|
2017-09-15 07:24:20 -04:00
|
|
|
help="""files and directories to include in the result.
|
|
|
|
If this is not specified, the current directory is used""")
|
|
|
|
parser.add_argument('-m', '--modified', action='store_true', default=False, help='list only modified files')
|
|
|
|
parser.add_argument('-a', '--all', dest='all', action='store_true', 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.""")
|
|
|
|
parser.add_argument('--no-disallow-untyped-defs', dest='disallow_untyped_defs', action='store_false', default=True,
|
|
|
|
help="""Don't throw errors when functions are not annotated""")
|
|
|
|
parser.add_argument('--scripts-only', dest='scripts_only', action='store_true', default=False,
|
|
|
|
help="""Only type check extensionless python scripts""")
|
|
|
|
parser.add_argument('--strict-optional', dest='strict_optional', action='store_true', default=False,
|
|
|
|
help="""Use the --strict-optional flag with mypy""")
|
|
|
|
parser.add_argument('--warn-unused-ignores', dest='warn_unused_ignores', action='store_true', default=False,
|
|
|
|
help="""Use the --warn-unused-ignores flag with mypy""")
|
|
|
|
parser.add_argument('--no-ignore-missing-imports', dest='ignore_missing_imports', action='store_false', default=True,
|
|
|
|
help="""Don't use the --ignore-missing-imports flag with mypy""")
|
|
|
|
parser.add_argument('--quick', action='store_true', default=False,
|
|
|
|
help="""Use the --quick flag with mypy""")
|
|
|
|
args = parser.parse_args()
|
|
|
|
|
|
|
|
if args.all:
|
|
|
|
exclude = []
|
|
|
|
|
|
|
|
# find all non-excluded files in current directory
|
|
|
|
files_dict = cast(Dict[str, List[str]],
|
|
|
|
lister.list_files(targets=args.targets, ftypes=['py', 'pyi'],
|
|
|
|
use_shebang=True, modified_only=args.modified,
|
|
|
|
exclude = exclude + ['stubs'], group_by_ftype=True,
|
|
|
|
extless_only=args.scripts_only))
|
2017-12-04 04:54:56 -05:00
|
|
|
|
|
|
|
for inpath in force_include:
|
|
|
|
ext = os.path.splitext(inpath)[1].split('.')[1]
|
|
|
|
files_dict[ext].append(inpath)
|
|
|
|
|
2017-09-15 07:24:20 -04:00
|
|
|
pyi_files = set(files_dict['pyi'])
|
|
|
|
python_files = [fpath for fpath in files_dict['py']
|
|
|
|
if not fpath.endswith('.py') or fpath + 'i' not in pyi_files]
|
|
|
|
|
2017-09-26 13:34:11 -04:00
|
|
|
repo_python_files = OrderedDict([('zulip', []), ('zulip_bots', []), ('zulip_botserver', [])])
|
|
|
|
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 07:24:20 -04:00
|
|
|
mypy_command = "mypy"
|
|
|
|
|
|
|
|
extra_args = ["--check-untyped-defs",
|
|
|
|
"--follow-imports=silent",
|
|
|
|
"--scripts-are-modules",
|
2017-12-20 23:57:58 -05:00
|
|
|
"--disallow-any-generics",
|
2017-09-15 07:24:20 -04:00
|
|
|
"-i"]
|
|
|
|
if args.disallow_untyped_defs:
|
|
|
|
extra_args.append("--disallow-untyped-defs")
|
|
|
|
if args.warn_unused_ignores:
|
|
|
|
extra_args.append("--warn-unused-ignores")
|
|
|
|
if args.strict_optional:
|
|
|
|
extra_args.append("--strict-optional")
|
|
|
|
if args.ignore_missing_imports:
|
|
|
|
extra_args.append("--ignore-missing-imports")
|
|
|
|
if args.quick:
|
|
|
|
extra_args.append("--quick")
|
|
|
|
|
|
|
|
# run mypy
|
2017-09-26 13:34:11 -04:00
|
|
|
status = 0
|
|
|
|
for repo, python_files in repo_python_files.items():
|
2017-10-20 07:06:47 -04:00
|
|
|
print("Running mypy for `{}`.".format(repo), flush=True)
|
2017-09-26 13:34:11 -04:00
|
|
|
if python_files:
|
|
|
|
result = subprocess.call([mypy_command] + extra_args + python_files)
|
|
|
|
if result != 0:
|
|
|
|
status = result
|
|
|
|
else:
|
|
|
|
print("There are no files to run mypy on.")
|
|
|
|
sys.exit(status)
|