edu.rice.cs.cunit.threadCheck.predicates
Annotation Type OnlyThreadWithName.InField.ByName.Any


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

Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to the string in one of the fields provided, i.e. the individual


Required Element Summary
 OnlyThreadWithName.InField.ByName[] value
           
 

Element Detail

value

public abstract OnlyThreadWithName.InField.ByName[] value