Class CheckerFrameworkUtils


  • public final class CheckerFrameworkUtils
    extends java.lang.Object
    Utility methods for suppressing nullness warnings and working around Checker Framework issues.
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static <T> T castNonNull​(T arg)
      Suppresses warnings about a nullable value.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • CheckerFrameworkUtils

        private CheckerFrameworkUtils()
    • Method Detail

      • castNonNull

        public static <T> T castNonNull​(@Nullable
                                        T arg)
        Suppresses warnings about a nullable value.