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

edu.rice.cs.cunit.threadCheck.subAnnot.predicates
Annotation Type Or

@Retention(value=RUNTIME)
public @interface Or

This annotation combines other invariant annotations using Boolean or. Note that this is not compatible with standard Java, but requires xajavac. For more information about xajavac, see http://ricken.us/research/xajavac

Author:
Mathias Ricken

Required Element Summary
 InvariantAnnotation[] value
           
 

Element Detail

value

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