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


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

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

Author:
Mathias Ricken

Required Element Summary
 java.lang.Class fieldClass
          The class that contains the field whose monitor some thread has to own.
 java.lang.String fieldName
          The name of the field whose monitor sine thread has to own.
 

Element Detail

fieldClass

public abstract java.lang.Class fieldClass
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 sine thread has to own.

Returns:
name of the field