BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.Duration.get(temporalUnit) where temporalUnit is not
SECONDS or NANOS.Duration APIs where the TemporalUnit is not
ChronoUnit.DAYS or it has an estimated duration (which is guaranteed to throw an
DateTimeException).<long, TimeUnit> pair.Element objects related to dependency injection.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.Enum.ordinal() and other ways to access enum values by index.BugChecker adds a null check to equals() method implementations which don't
satisfy the null contract of Object.equals(java.lang.Object) i.e.Object.getClass() when implementing Object.equals(Object)
for non-final classes.Object.equals(java.lang.Object) should also override Object.hashCode().BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.equals implementations making unsafe casts.equals using hashCode.equals implementations comparing non-corresponding fields.ThreadPoolExecutor
is constructed with different corePoolSize and maximumPoolSize using an unbounded
workQueueCheckReturnValue.TaskListener that runs Error Prone over attributed compilation units.TaskListener that performs refactorings.Tokens.Comment to allow an offset source position to be reported.Tokens.Comment.CommentStyle.JavaCompiler.Plugin that runs Error Prone.ErrorProneScanner to a CodeTransformer.com.sun.tools.javac.util.FilterTokens.Token to return comments in declaration order.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.Matchers for detecting references to fields.BugChecker; see the associated BugPattern annotation for details.JavacFileManagers for use in Error Prone's test.JavaFileObjects, for testing.BugChecker; see the associated BugPattern annotation for details.JCDiagnostic.DiagnosticPosition with a fixed position.BugChecker; see the associated BugPattern annotation for details.Float,DoubleSubject.isWithin(TOLERANCE).of(EXPECTED) where there are no
other floating point values other than EXPECTED with satisfy the assertion, but
TOLERANCE is not zero.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.LoggingApi.log(String) for which the argument is not a
compile-time constant and provides suggested alternatives.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker to assert validity of methods calls with FormatString annotations.private), and
overriding methods should not be directly invoked at all.ForOverride are only
called from the defining class.javaTimeType.from(temporalAmount) where the call is guaranteed to either:
@@ -1566,962 +1570,962 @@ Instant.from(instant))
FileDestination that writes content to a destination on the local filesystem.BugChecker; see the associated BugPattern annotation for details.Futures.getChecked method that will always fail because they
pass an incompatible exception type.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.@GuardedBy annotations to GuardedByExpressions.Symbol from an AST node.BugChecker; see the associated BugPattern annotation for details.@GuardedBy annotation.GuardedByExpressions.GuardedByExpression kind.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.violations that are found during the analysis.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.private static final ImmutableSet over ImmutableList when using only contains, containsAll and isEmpty.
Subject.check(...).null.BugChecker; see the associated BugPattern annotation for details.BugChecker that detects inconsistently overloaded methods in Java classes.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.NullnessQualifierInference over a method.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.NullnessQualifierInference over a method.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.InlineMe annotation's correctness (i.e.:
that it accurately represents an inlining of the annotated method).@InlineMe).UTree based on a set of substitutions.BugChecker; see the associated BugPattern annotation for details.Instant APIs where the TemporalUnit is not one
of: NANOS, MICROS, MILLIS, SECONDS, MINUTES,
HOURS, HALF_DAYS, or DAYS.InterruptedException is caught as part of a catch block
catching a supertype, and not specially handled.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.java.time methods using values that are guaranteed to
throw a DateTimeException.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.duration.getNano() without a corresponding "nearby"
call to duration.getSeconds().Duration.getSeconds() without Duration.getNano().duration.withNanos(int).duration.withSeconds(long).instant.getNano() without a corresponding "nearby" call
to instant.getEpochSecond().BugChecker; see the associated BugPattern annotation for details.LocalDateTime.getNano() without a corresponding "nearby"
call to LocalDateTime.getSecond().LocalTime.getNano() without a corresponding "nearby" call
to LocalTime.getSecond().period.getDays() without a corresponding "nearby" call
to period.getYears(), period.getMonths(), or period.getTotalMonths().java.time APIs that silently use the default system time-zone.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.DateTimeConstants constants.duration.withMillis(long).instant.withMillis(long).type.plus(long) and type.minus(long) where
<type> = {Duration,Instant,DateTime,DateMidnight}.ConverterManager.foo.toFoo() and new Foo(foo).type.withDurationAdded(long, int) where <type> =
{Duration,Instant,DateTime}.@BeforeClass or @AfterClass should be applied to static methods.BugChecker; see the associated BugPattern annotation for details.junitparams.Parameters annotation to provide
parameters exists.String.hashCode()).toString on lite protos.LocalDate.plus(TemporalAmount) and LocalDate.minus(TemporalAmount)
where the TemporalAmount is a non-zero Duration.Lock.lock must be immediately followed by a try-finally
that calls Lock.unlock.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.long literal with a lower-case ell for a suffix (e.g.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.long literal with a lower-case ell for a suffix (e.g.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.Tree, which also accesses the state of AST traversal.Matcher to further restrict what expressions are matched by the
annotated parameter.Math.round(float) with an integer or long parameter.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.MethodMatchers.MethodMatchers.MethodInvocationMatcher.Token.Kind of invocation to match.Matcher<ExpressionTree> instead of referring directly to this type.Matcher<ExpressionTree> instead of referring directly to this type.Matcher<ExpressionTree> instead of referring directly to this type.Matcher<ExpressionTree> instead of referring directly to this type.Matcher<ExpressionTree> instead of referring directly to this type.Matcher<ExpressionTree> instead of referring directly to this type.Matcher<ExpressionTree> instead of referring directly to this type.Matcher<ExpressionTree> instead of referring directly to this type.Matcher<ExpressionTree> instead of referring directly to this type.Matcher<ExpressionTree> instead of referring directly to this type.Matcher<ExpressionTree> instead of referring directly to this type.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.BugChecker; see the associated BugPattern annotation for details.Descriptor#findFieldByNumber with field numbers from a different
proto.BugChecker; see the associated BugPattern annotation for details.@ScopeAnnotation or Javax's
@Scope).