Add ClassIdAnnotation to AnnotatedAST
commit171d43730680dbe580a736b33134b4dd782b72d4
authorJake Bailey <jakebailey@fb.com>
Thu, 25 Jan 2018 05:01:33 +0000 (24 21:01 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Thu, 25 Jan 2018 05:05:50 +0000 (24 21:05 -0800)
tree738094e635c504f4c0d9bddd0438cc4a435645c0
parentbc28e6e219bd57631cde58e08facdce71eaa5673
Add ClassIdAnnotation to AnnotatedAST

Summary: Currently, the TAST has no record of what type a class_id resolved to. This change decorates the class_id type with a new annotation, which will store the type that ID resolved to in the TAST.

Reviewed By: andrewjkennedy

Differential Revision: D6617749

fbshipit-source-id: 2ff6fd87236175fcd96a3c3efc94c19369e2b100
23 files changed:
hphp/hack/src/annotated_ast/aast.ml
hphp/hack/src/annotated_ast/aast.src.ml
hphp/hack/src/annotated_ast/aast_mapper.ml
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/naming/naming.ml
hphp/hack/src/naming/nast.ml
hphp/hack/src/naming/nast.src.ml
hphp/hack/src/naming/nast_pos_mapper.ml
hphp/hack/src/typing/nastInitCheck.ml
hphp/hack/src/typing/nast_terminality.ml
hphp/hack/src/typing/tast.ml
hphp/hack/src/typing/tast_expand.ml
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_alias.ml
hphp/hack/src/typing/typing_defs.ml
hphp/hack/src/typing/typing_enum.ml
hphp/hack/src/typing/typing_env.mli
hphp/hack/src/typing/typing_hooks.ml
hphp/hack/src/typing/typing_utils.ml
hphp/hack/src/typing/typing_visibility.mli
hphp/hack/test/tast/add_vector.php.exp
hphp/hack/test/tast/assert.php.exp
hphp/hack/test/tast/class_get.php.exp