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 NoneSynchronizedField.ByName.None

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

An annotation used to designate methods that are only allowed to be run when none of the monitors of the fields specified are owned by any thread, i.e. the individual

Required Element Summary
 NoneSynchronizedField.ByName[] value
           
 

Element Detail

value

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