uber / NullAway / 1316

89%

master: 93%

push

travis-ci-com

Improved Map handling: Strings and integers.

This change improves our handling of map operations such as
`containsKey`, `put`, and `get`, by allowing keys that do
not have an access path directly associated with them.

In particular, it allows literal strings to be understood
as `Map` keys by NullAway for the purpose of matching
checked and accessed map-paths (fixing #398). It also
handles boxed integers and long integers, both as literals
and as primitive variables (fixing #410).

48 of 48 new or added lines in 1 file covered. (100.0%)

3113 of 3513 relevant lines covered (88.61%)

0.89 hits per line