edu.rice.cs.cunit.threadCheck.predicates
Annotation Type NotThreadWithName.InField.ByName.None
@Retention(value=RUNTIME)
@Target(value={CONSTRUCTOR,METHOD,TYPE})
public static @interface NotThreadWithName.InField.ByName.None
Annotation used to designate methods that are not allowed to be run by a thread whose name matches
the string in any of the fields provided, i.e. the individual @NotThreadWithName.InField.ByName
annotations are combined using AND.
value
public abstract NotThreadWithName.InField.ByName[] value