Package apps

Class CheckerFrameworkCheck


  • public class CheckerFrameworkCheck
    extends java.lang.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
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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