Annotation Type MayReturnNull


  • @Documented
    @Target({METHOD,TYPE})
    @Retention(RUNTIME)
    public @interface MayReturnNull
    Use this annotation to mark methods which can return null values.

    The patterntesting.java.runtime.AbstractNullPointerTrap will watch this postcondition.

    Since:
    24.04.2008
    Version:
    $Revision: 1.6 $
    Author:
    oliver