Clone this repo:
  1. ff3255e Avoid clobbering in-scope things of the same name when inventing a name in PatternMatchingInstanceof. by ghm · 2 days ago master
  2. c7ae7e1 Handle `$` in IdentifierName by Liam Miller-Cushon · 2 days ago
  3. 4ba14b4 [IfChainToSwitch] when safe mode is enabled, enforce strict matching of predicates in the if-chain; disallows method invocations etc. because converting these can change semantics by markbrady · 3 days ago
  4. 5d2f535 [IfChainToSwitch] refactor `InstanceOfIr` to use `Optional` instead of `@Nullable`, like in the rest of the rest of this class by markbrady · 4 days ago
  5. 0b810bf Refactor Github Action per b/485167538 by Ben Knutson · 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