|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT | |||||||||
@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.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT | |||||||||