Add libcore NonNull annotation and core-oj jaif file
This change introduces libcore.util.NonNull, annotation
that denotes that a type use (reference, parameter, return
value, etc.) can never be null.
Also, this change adds a jaif file (stands for “Java annotation index
file”, https://checkerframework.org/annotation-file-utilities/
annotation-file-format.html) for core-oj library. This file
can be used to introduce annotations to libcore code without
modifing openJdk code (fewer local patches to worry about).
ojluni.jafi currently contains few NonNull annotations for
java.lang classes.
Build targets and tools to apply jaif file over libcore code
will be introduced in later changes
Test: make
Bug: 64930165
Change-Id: I5a1be47026d7855d6e813950db3fe2b396e53d1f
3 files changed