Wrap HackSearchService and its use of shared memory behind an abstraction
commit558176af0ae2f692ef461e11eddfc36f64951380
authorTed Spence <tspence@fb.com>
Thu, 11 Apr 2019 19:39:11 +0000 (11 12:39 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Thu, 11 Apr 2019 20:18:01 +0000 (11 13:18 -0700)
treec6575e1c8c7d7ff21bd7ee8f4ad538fef28ad08c
parent8808025d209ba856125f3b97fd1eb0ea1fcefa46
Wrap HackSearchService and its use of shared memory behind an abstraction

Reviewed By: pittsw

Differential Revision: D14882477

fbshipit-source-id: c0b6a760d8bdac2efc731d371524a74e11397a75
13 files changed:
hphp/hack/src/client/clientLsp.ml
hphp/hack/src/client/clientSearch.ml
hphp/hack/src/search/symbolIndex.ml [new file with mode: 0644]
hphp/hack/src/search/symbolIndex.mli [new file with mode: 0644]
hphp/hack/src/server/autocompleteService.ml
hphp/hack/src/server/ffpAutocompleteGlobals.ml
hphp/hack/src/server/hhServerMonitor.ml
hphp/hack/src/server/searchServiceRunner.ml
hphp/hack/src/server/serverCommandTypes.ml
hphp/hack/src/server/serverGlobalState.ml
hphp/hack/src/server/serverLazyInit.ml
hphp/hack/src/server/serverSearch.ml
hphp/hack/src/server/serverTypeCheck.ml