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

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

An annotation used to designate methods that are only allowed to be run when none of the monitors of the fields specified are owned by any thread, i.e. the individual

Required Element Summary

NoneSynchronizedField[]

value

Element Detail

value

public abstract NoneSynchronizedField[] value