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


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

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


Required Element Summary
 OnlySynchronizedArgument[] value
           
 

Element Detail

value

public abstract OnlySynchronizedArgument[] value