edu.rice.cs.cunit.threadCheck.predicates
Annotation Type AnySynchronizedField.Any

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

An annotation used to designate methods that are only allowed to be run when one or more of the monitors of the fields specified are owned by some thread, regardless which it is, i.e. the individual

Required Element Summary

AnySynchronizedField[]

value

Element Detail

value

public abstract AnySynchronizedField[] value