Annotation Type CheckNotNull


  • @Retention(RUNTIME)
    @Target({PARAMETER,METHOD})
    public @interface CheckNotNull
    Pre- or postcondition check that a parameter is not null.
    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      boolean intermediate
      Flag if used as post condition for intermediate results.
    • Element Detail

      • intermediate

        boolean intermediate
        Flag if used as post condition for intermediate results.
        Default:
        false