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

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

An annotation used to designate methods that are only allowed to run if they own the monitor of the field specified by class and field name.

Author:

Mathias Ricken

Required Element Summary

java.lang.Class	fieldClass 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

fieldClass

public abstract java.lang.Class fieldClass

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