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

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

Annotation used to designate methods that are not allowed to be run by a thread whose name matches any of the names provided, i.e. the individual @NotThreadWithName annotations are combined using AND.

Required Element Summary

NotThreadWithName[]

value

Element Detail

value

public abstract NotThreadWithName[] value