Flags for direct decl parsing without using disk cache
commit3525cbd9edabd676f060fc7d748ef2cd9b7d9074
authorFrank Emrich <frankemrich@fb.com>
Wed, 13 Jul 2022 18:30:16 +0000 (13 11:30 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 13 Jul 2022 18:30:16 +0000 (13 11:30 -0700)
tree9fd22e265141e735821b4346ae0f268f754bb842
parente124a9871081f2f4848c2270c13dcff339655098
Flags for direct decl parsing without using disk cache

Summary: This diff adds flags to the functions in `Direct_decl_utils` such that the direct decl parser can be invoked in a way that bypasses all disk caches and forces all files to be read fresh from disk. This is in part achieved by adding similar flags to functions in `File_provider`

Reviewed By: andrewjkennedy

Differential Revision: D37601664

fbshipit-source-id: 363bbe806e7c9be1fc32efc8afca4f8da14eff53
hphp/hack/src/providers/direct_decl_utils.ml
hphp/hack/src/providers/direct_decl_utils.mli
hphp/hack/src/providers/file_provider.ml
hphp/hack/src/providers/file_provider.mli