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

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

An annotation used to designate methods that are not allowed to be run when the monitor of "this" is owned by any thread.

Author:

Mathias Ricken