Clone this repo:
  1. d0d061e Correct discussion of exhaustiveness checking in `->` switch statements by Liam Miller-Cushon · 4 days ago master
  2. b6d452d Remove the RedundantSetterCall:Improvements flag. by ghm · 4 days ago
  3. eda59fc IdentifierName: don't crash on receiver parameters by Liam Miller-Cushon · 5 days ago
  4. bc9618a [IfChainToSwitch] when safe mode is enabled, don't reorder cases because this can change program semantics. Update docs accordingly. by markbrady · 6 days ago
  5. 6cbafd3 Remove the `TypeCompatibility:UseCapture` flag. by ghm · 6 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