edu.rice.cs.cunit.threadCheck.predicates
Annotation Type NotEventThread

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

An annotation used to designate methods that are not allowed to be run by the event thread. The annotation is constructed by using the @OnlyEventThread annotation and inverting its result.

Author:

Mathias Ricken

Optional Element Summary

OnlyEventThread

value

value

public abstract OnlyEventThread value

Default:

@edu.rice.cs.cunit.threadCheck.predicates.OnlyEventThread