Android Support Annotations
- Mentors
- Colin S. Gordon, Werner Dietl
- Organization
- Checker Framework
Currently, Android uses its own annotations that are similar to some in the Checker Framework. Examples include the @NonNull, @IntRange, @IntDef, and others annotations. The goal of this project is to create Android Resource and Thread type checkers using the Checker Framework. Then, do a case study to show the utility (or not) of pluggable type-checking, by comparison with how Android Studio currently checks the annotations.