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 Implies

@Retention(value=RUNTIME)
public @interface Implies

This annotation combines other invariant annotations using Boolean implication. The value array has to contain exactly two invariant annotations. Note that this is not compatible with standard Java, but requires xajavac. For more information about xajavac, see http://www.cs.rice.edu/~mgricken/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