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

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

An annotation used to designate methods that are not allowed to run if the monitor of the field specified by class name and field name is owned by any thread.

Required Element Summary

java.lang.String	fieldClassName The name of the class that contains the field whose monitor may not be owned by any thread.
java.lang.String	fieldName The name of the field whose monitor may not be owned by any thread.

Element Detail

fieldClassName

public abstract java.lang.String fieldClassName

The name of the class that contains the field whose monitor may not be owned by any thread.

Returns:

class containing the field

fieldName

public abstract java.lang.String fieldName

The name of the field whose monitor may not be owned by any thread.

Returns:

name of the field