Clone this repo:
  1. 5d1df3d Handle new AST nodes for `var` types in refaster by Liam Miller-Cushon · 2 days ago master
  2. 8dfbfad Allow `==` for classes that provably don't override `equals`. by cpovirk · 3 days ago
  3. 74ba421 Internal change by Liam Miller-Cushon · 3 days ago
  4. a116aaf Match on more types in ReferenceEquality by Liam Miller-Cushon · 5 days ago
  5. c29ebc0 More javadoc cleanup to ErrorProne checks. by Kurt Alfred Kluever · 5 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