Consider supporting JSR 305 annotations about error-prone HOT 4 OPEN

Original comment posted by [email protected] on 2013-02-11 at 09:33 PM

We added a check for @CheckReturnValue.

Consider adding support for this subset:
@CheckForNull
@Nonnegative
@Nonnull
@Nullable
@OverridingMethodsMustInvokeSuper
@ParametersAreNonnullByDefault
@ParametersAreNullableByDefault
@RegEx
@Syntax

Status: Accepted
Owner: [email protected]
Labels: Type-Enhancement, Priority-Low

from error-prone.

See also vaguely related #891, which proposes opening up null related annotations.

from error-prone.

FYI, there's an Error Prone plugin, NullAway, that covers the stuff I most care about (@Nullable and @Nonnull).

https://github.com/uber/NullAway/wiki/Error-Messages

It's a bit of a hassle to hook it up with Bazel; I have a sample repository here that shows how to do it. https://github.com/dfabulich/bazel-checker-framework-bug/

WORKSPACE:

maven_jar(
	name='jsr305',
	artifact='com.google.code.findbugs:jsr305:3.0.2',
)

maven_jar(
	name="nullaway",
	artifact="com.uber.nullaway:nullaway:0.3.2"
)

maven_jar(
	name="guava",
	artifact="com.google.guava:guava:22.0",
)

BUILD:

java_library(
	name='x',
	srcs=['X.java'],
	deps=['@jsr305//jar'],
	plugins=['nullaway'],
	javacopts=[
		'-Xep:NullAway:ERROR',
		'-XepOpt:NullAway:AnnotatedPackages=com.example',
	],
)

java_plugin(
	name='nullaway',
	deps=[
		'@nullaway//jar',
		'@guava//jar',
	],
)

com.google.code.findbugs:jsr305 provides the javax.annotation.Nullable and Nonnull annotation classes. The dependency on Guava is unfortunate; I've filed a bug on that.

from error-prone.

Another alternative is the Checker Framework, if you want an exhaustive null-checking type system. (AFAIK, NullAway only checks certain common cases with regards to incorrect null usage.)

from error-prone.