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 Precondition

@Retention(value=RUNTIME)
public @interface Precondition

String array of various conditions which must all be true. When refering to "this" within the rules you need to specify "THIS" otherwise it doesn't work... The issues with the parameter names having to be supplied is that using reflection you can't get the parameter names, so we have to supply them.

Since:
13-Jan-2006
Author:
Steve Jones

Required Element Summary
 java.lang.String[] paramNames
           
 java.lang.String[] value
           
 

Element Detail

paramNames

public abstract java.lang.String[] paramNames

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