Clone this repo:
  1. b9073d6 Suggest `instanceof Foo<?> foo` even for "raw" `instanceof Foo` checks. by cpovirk · 8 hours ago master
  2. 442c659 [StatementSwitchToExpressionSwitch] consolidate dead-code deletion to align with javac's reachability by markbrady · 8 hours ago
  3. 032a315 FutureReturnValueIgnored: check the return type before searching super methods by agrieve · 9 hours ago
  4. 4e8b7ac [StatementSwitchToExpressionSwitch] add tests that show bugs in dead-code deletion after a `return switch` by markbrady · 9 hours ago
  5. 40de14d Reformat with latest google-java-format version by Liam Miller-Cushon · 14 hours 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