Provide a way for hh_client to retrieve AI info from server
commit8e4d4b5994858bf2f2260038667d99a9df13800c
authorHerman Venter <hermanv@fb.com>
Sat, 3 Oct 2015 18:55:54 +0000 (3 11:55 -0700)
committerhhvm-bot <hhvm-bot@fb.com>
Sat, 3 Oct 2015 19:00:34 +0000 (3 12:00 -0700)
treee8542cc6f79782bc79c85c3959d25894b6ea7ae7
parent610a82010ce11e5e7903a3e749aee582f35b2838
Provide a way for hh_client to retrieve AI info from server

Summary: Provide a way for external tools to get access to information gathered by the AI component, in a similar fashion to the existing --dump-symbol-info option.

Reviewed By: @hansonw

Differential Revision: D2468906
hphp/hack/src/build.ocp
hphp/hack/src/client/clientAiInfo.ml [new file with mode: 0644]
hphp/hack/src/client/clientArgs.ml
hphp/hack/src/client/clientCheck.ml
hphp/hack/src/client/clientEnv.ml
hphp/hack/src/server/serverRpc.ml
hphp/hack/src/stubs/ai.ml