Clone this repo:
  1. 42c93df [IfChainToSwitch] support multiple `instanceof` patterns within the same `case`, such as `... if (x instanceof Foo || x instanceof Bar) ...` by markbrady · 16 hours ago master
  2. af5cc88 Preserve comments in `TryFailRefactoring` and `MissingFail`. by Kurt Alfred Kluever · 18 hours ago
  3. 8d20b5c Fix bug in `MissingFail` when there's 2 try/catch blocks with identical exception variable names. by Kurt Alfred Kluever · 2 days ago
  4. 36354c9 Refactor `TryFailRefactoring` to use `SuppressibleTreePathScanner`. This allows: by Kurt Alfred Kluever · 2 days ago
  5. 0bae15b Pick a fresh name for the exception variable (if necessary) in `AssertThrowsUtils`. by Kurt Alfred Kluever · 2 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