2 Commits (ec7930be20373956a088d8d35a83dded55859b64)

Author	SHA1	Message	Date
Sungkeun Cho	64354bbdde	[inferbo] Add model of class.getEnumConstants ... Summary: The model returns an array the length of which is the same to that of enum entries. It takes the length of enum entries from the summary of `Enum.values` because it is not written in `tenv`. In order to do that, the model semantics should be able to request the summary of the function with `get_summary`, so I extended `model_env` to include the functionality. Reviewed By: ezgicicek Differential Revision: D21843319 fbshipit-source-id: d6f10eb91	5 years ago
Sungkeun Cho	7bf7d24e4b	[inferbo] Add model of Enum.name ... Summary: We model Enum.name as returing a constant name, rather than getting real field names. We did this because we couldn't think of any big gains, in terms of analysis precision/performance, from getting the real names. Reviewed By: ezgicicek Differential Revision: D21201730 fbshipit-source-id: a2dc01a44	5 years ago