Clone this repo:
  1. 8beb267 AutoValue is great but not really "Guava's." by cpovirk · 2 days ago master
  2. 84923da Improve IdentityBinaryExpression docs by cushon · 2 days ago
  3. 1ed1841 Add a check for incompatible arguments to Truth assertions by cushon · 2 days ago
  4. 92fb738 Add an analysis of switch statements for research on expression switches. by lowasser · 2 days ago
  5. dcf628b Fill out some missing combinations of ASTHelpers.hasAnnotation(), and fix some javadoc too by ronshapiro · 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.remove(i - 1);
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);
1 error

Getting Started

Our documentation is at

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.