Public Git Hosting - hiphop-php.git/commit

commit	2686241da96dae4aa1e0e967e7dbe74dc0b717f4
author	Waleed Khan <waleedk@fb.com>
	Tue, 2 Jun 2020 20:45:18 +0000 (2 13:45 -0700)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 2 Jun 2020 20:57:32 +0000 (2 13:57 -0700)
tree	6f2959412c0f200953097ef7366eb3822e0f224e	tree \| snapshot (tar.gz zip)
parent	77a524a3cb266b7cef856817e9866be3eaae3ba6	commit \| diff

Add `Naming_table` API to query for files from dependency hashes

Summary: This API just calls into the APIs in `Naming_sqlite`, and applies the local changes on top of the results.

Differential Revision: D20708530

fbshipit-source-id: 5c7b29adc297464c847f45489656bf5dd1b3cc85

RSS Atom

hphp/hack/src/deps/typing_deps.ml		diff \| blob \| blame \| history
hphp/hack/src/deps/typing_deps.mli		diff \| blob \| blame \| history
hphp/hack/src/naming/naming_table.ml		diff \| blob \| blame \| history
hphp/hack/src/naming/naming_table.mli		diff \| blob \| blame \| history
hphp/hack/src/server/serverFileDependents.ml		diff \| blob \| blame \| history
hphp/hack/test/unit/naming/naming_table_tests.ml		diff \| blob \| blame \| history