edu.rice.cs.cunit.threadCheck.predicates
Annotation Type AnySynchronizedField.ByName

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

An annotation used to designate methods that are only allowed to be run when the monitor of the field specified by class name and field name is owned by some thread, regardless which it is.

Author:

Mathias Ricken

Required Element Summary

java.lang.String	fieldClassName The name of the class that contains the field whose monitor some thread has to own.
java.lang.String	fieldName The name of the field whose monitor the thread some to own.

Element Detail

fieldClassName

public abstract java.lang.String fieldClassName

The name of the class that contains the field whose monitor some thread has to own.

Returns:

class containing the field

fieldName

public abstract java.lang.String fieldName

The name of the field whose monitor the thread some to own.

Returns:

name of the field