edu.rice.cs.cunit.threadCheck.predicates
Annotation Type OnlySynchronizedArgument.All

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

Annotation used to designate methods that are only allowed to be run if they own all of the monitors specified in the method arguments, i.e. the individual

Required Element Summary

OnlySynchronizedArgument[]

value

Element Detail

value

public abstract OnlySynchronizedArgument[] value