edu.rice.cs.cunit.threadCheck.subAnnot.predicates
Annotation Type ThreadInField.ByName

@Retention(value=RUNTIME)
@Target(value={CONSTRUCTOR,METHOD,TYPE})
public static @interface ThreadInField.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 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