| commit | eadb8d1bbbacc3a528dc0b0a580a4fc36b335add | |
| author | James Wu <jjwu@fb.com> | |
| Thu, 10 Feb 2022 00:10:13 +0000 (9 16:10 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 10 Feb 2022 00:12:06 +0000 (9 16:12 -0800) | ||
| tree | 378712dc36ef8e4ab1c1c98aac11246953fa6eef | treesnapshot (tar.gz zip) |
| parent | 723a4e7d503eb2edcfaa387970d67d4c51b18e41 | commitdiff |
Add a specific_files function to ~/.hack_type_check_files_filter, run user_filter_type_check_files in check_mode
Summary:
This diff augments D26913094 (https://github.com/facebook/hhvm/commit/788cca9cc803e4bddfa9edea3179146b153cb7ae) slightly with a few more functionalities that are useful for specific static analysis use cases:
- in hh_server --check mode, run user_filter_type_check_files to filter all the typechecked files
- Have a specific_files json option which passes in a specific list of paths. This allows us to pass in a few thousand specific files for a static analysis chaoqiangdeng is doing, without having to compile thousands of regexes using include.
Differential Revision: D34057135
fbshipit-source-id: 5e5bc61a7ac0979fb2314e6262928c06fb5a76ff
Summary:
This diff augments D26913094 (https://github.com/facebook/hhvm/commit/788cca9cc803e4bddfa9edea3179146b153cb7ae) slightly with a few more functionalities that are useful for specific static analysis use cases:
- in hh_server --check mode, run user_filter_type_check_files to filter all the typechecked files
- Have a specific_files json option which passes in a specific list of paths. This allows us to pass in a few thousand specific files for a static analysis chaoqiangdeng is doing, without having to compile thousands of regexes using include.
Differential Revision: D34057135
fbshipit-source-id: 5e5bc61a7ac0979fb2314e6262928c06fb5a76ff
| hphp/hack/src/server/serverCheckUtils.ml | diffblobblamehistory | |
| hphp/hack/src/server/serverInitCommon.ml | diffblobblamehistory |