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

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

Annotation used to designate methods that are only allowed to be run by a thread whose name is equal to one of the names provided, i.e. the individual @OnlyThreadWithName annotations are combined using OR.

Required Element Summary

OnlyThreadWithName[]

value

Element Detail

value

public abstract OnlyThreadWithName[] value