patterntesting.annotation.check.runtime
Annotation Type MayReturnNull


@Documented
@Target(value={METHOD,TYPE})
@Retention(value=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