diff options
| author | Pete Gillin <peteg@google.com> | 2018-11-02 17:54:06 +0000 |
|---|---|---|
| committer | Pete Gillin <peteg@google.com> | 2018-11-02 18:04:07 +0000 |
| commit | d05eb8d6e146a11690c52bdd79819b3a7bf80f68 (patch) | |
| tree | aeae2189990b2945e00eb68a184cd6a3e313f1d8 /annotations/generate_annotated_java_files.py | |
| parent | a12872f1fd8e34de8da0a51b275e2f7f23f4f530 (diff) | |
Add nullability annotations for j.u.regex.Matcher and Pattern.
The only noteworthy thing here is that, although Matcher.group(int)
can return null for arguments >= 1, but Matcher.group() which
delegates to group(0) cannot return null. This is because the methods
throw unless there was a successful match, and group() returns the
whole matching substring (which may be empty, but won't be null).
Bug: 64930165
Test: make core-current-stubs-nullability-validation-check-nullability-warnings
Change-Id: I7e58d5f6f0f0139c3a24b5216bd1c82ad05758a3
Diffstat (limited to 'annotations/generate_annotated_java_files.py')
0 files changed, 0 insertions, 0 deletions
