Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT

org.obligate.annotations.contract
Annotation Type Postcondition

@Retention(value=RUNTIME)
public @interface Postcondition

Standard post condition, a number of results based on the value returned, this is referenced by the "result" value.

Since:
16-Jan-2006
Author:
Steve Jones

Required Element Summary
 java.lang.String[] value
           
 

Element Detail

value

public abstract java.lang.String[] value
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT