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.predicates
Annotation Type NotSynchronizedArgument.None

@Retention(value=RUNTIME)
@Target(value={CONSTRUCTOR,METHOD,TYPE})
public static @interface NotSynchronizedArgument.None

Annotation used to designate methods that are not allowed to be own any of the monitors of the fields specified, i.e. the individual @NotSynchronizedArgument annotations are combined using AND.

Required Element Summary
 NotSynchronizedArgument[] value
           
 

Element Detail

value

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