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

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

An annotation used to designate methods that are only allowed to be run by the thread in the field specified by class name and field name.

Author:

Mathias Ricken

Required Element Summary

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

Element Detail

fieldClassName

public abstract java.lang.String fieldClassName

The name of the class that contains the field whose monitor the 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 has to own.

Returns:

name of the field