edu.rice.cs.cunit.threadCheck.subAnnot.predicates
Annotation Type EventThread


@Retention(value=RUNTIME)
@Target(value={CONSTRUCTOR,METHOD,TYPE})
public @interface EventThread

An annotation used to designate methods that are only allowed to be run by the event thread.

Author:
Mathias Ricken