Migrate AnnotationNames and matcher class constants to ClassName. Migrates class and annotation name constants in `AnnotationNames`, `InjectMatchers`, and `JUnitMatchers` from `String` to `ClassName`, and updates callers across `check_api` and `core` (including `ProtobufMatchers` and `WellKnownMutability` callers) to use `ClassName`-accepting `ASTHelpers`, `Matchers`, `TypePredicates`, `MoreAnnotations`, and `SuggestedFix` APIs instead of string-based type and annotation lookups. Adds `ClassName` overloads to `MoreAnnotations` (`getAnnotation`, `getStringValue`, `getBooleanValue`, `getEnumValue`, `getEnumValues`, `getStrings`, `getTypes`, `getTypeValue`). PiperOrigin-RevId: 1015929325
Error Prone is a static analysis tool for Java that catches common programming mistakes at compile-time.
public class ShortSet { public static void main (String[] args) { Set<Short> s = new HashSet<>(); for (short i = 0; i < 100; i++) { s.add(i); s.remove(i - 1); } System.out.println(s.size()); } }
error: [CollectionIncompatibleType] Argument 'i - 1' should not be passed to this method;
its type int is not compatible with its collection's type argument Short
s.remove(i - 1);
^
(see https://errorprone.info/bugpattern/CollectionIncompatibleType)
1 error
Our documentation is at errorprone.info.
Error Prone works with Bazel, Maven, Ant, and Gradle. See our installation instructions for details.
Developing and building Error Prone is documented on the wiki.