Package apps

Class CheckerFrameworkCheck

java.lang.Object

apps.CheckerFrameworkCheck

public class CheckerFrameworkCheck
extends Object

Check how the Checker Framework and annotations interact.

Note: This deliberately causes SpotBugs (formally FindBugs) warnings! Do not remove or annotate them! Instead, when past its useful point, just comment out the body of the class so as to leave the code examples present.

Tests Nonnull, Nullable and CheckForNull from the javax.annotation package.

Comments indicate observed (and unobserved) warnings from the Checker Framework nullness processor

This has no main() because it's not expected to run: It will certainly throw a NullPointerException right away. The idea is for the CheckerFramework to find those in static analysis

Types are explicitly qualified (instead of using 'import') to make it completely clear which is being used at each point. That makes this the code less readable, so it's not recommended for general use.

See Also:

• FindBugsCheck

Constructor Summary

Constructors

Constructor	Description
CheckerFrameworkCheck()

Method Summary

Modifier and Type	Method	Description
(package private) void	test()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

CheckerFrameworkCheck

public CheckerFrameworkCheck()

Method Details

test

void test()