edu.rice.cs.cunit.threadCheck.predicates
Annotation Type NotSynchronizedField.None


@Retention(value=RUNTIME)
@Target(value={CONSTRUCTOR,METHOD,TYPE})
public static @interface NotSynchronizedField.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 @NotSynchronizedField.ByName annotations are combined using AND.


Required Element Summary
 NotSynchronizedField[] value
           
 

Element Detail

value

public abstract NotSynchronizedField[] value