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


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

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


Required Element Summary
 java.lang.String fieldClassName
          The name of the class that contains the field specifying the thread that is allowed to run.
 java.lang.String fieldName
          The name of the field specifying the thread that is allowed to run.
 

Element Detail

fieldClassName

public abstract java.lang.String fieldClassName
The name of the class that contains the field specifying the thread that is allowed to run.

Returns:
class containing the field

fieldName

public abstract java.lang.String fieldName
The name of the field specifying the thread that is allowed to run.

Returns:
name of the field