edu.rice.cs.cunit.threadCheck.subAnnot.predicates
Annotation Type SynchronizedArgument

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

An annotation used to designate methods that are only allowed to be run when the monitor of the method argument indexed by value is owned by any thread.

Author:

Mathias Ricken

Required Element Summary

int	value Index of the argument whose monitor needs to be owned by the current thread.

Element Detail

value

public abstract int value

Index of the argument whose monitor needs to be owned by the current thread.

Returns:

index of the argument