Clone this repo:
  1. 8f1c9c7 Migrate Error Prone to SafeRE by Liam Miller-Cushon · 27 hours ago master
  2. b653855 Allow `==` on private (and "privately constructible") classes that we can prove have no `equals` overrides in their class hierarchy. by cpovirk · 3 days ago
  3. 8aaf514 Remove null checks where `null` is impossible. by cpovirk · 3 days ago
  4. f2bd87a Suggest `Objects.requireNonNull` instead of `if`/`throw` by Liam Miller-Cushon · 3 days ago
  5. a924abd [UnnecessaryOptionalGet] Fix false alarm when unnamed variables are used in lambda without get by markbrady · 4 days ago

Error Prone

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

Getting Started

Our documentation is at errorprone.info.

Error Prone works with Bazel, Maven, Ant, and Gradle. See our installation instructions for details.

Developing Error Prone

Developing and building Error Prone is documented on the wiki.

Links