Annotation Interface 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
    Flag if used as post condition for intermediate results.
  • Element Details

    • intermediate

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