edu.rice.cs.cunit.threadCheck.subAnnot
Annotation Type PredicateLink


@Retention(value=RUNTIME)
@Target(value=ANNOTATION_TYPE)
public @interface PredicateLink

Meta-annotation that provides a link to a class and method that serve as predicate. That method has to be accessible from a static context, return boolean, accept Object as first parameter, and have parameters with the types and names of each of the members contained in the annotation annotated by @PredicateLink, except for members that are annotations or arrays of annotations. The @PredicateLink meta-annotation lets the Thread Checker know that the annotation interface annotated with it is intended to be processed by the Thread Checker. This is for annotations supporting subtyping.

Author:
Mathias Ricken

Required Element Summary
 java.lang.Class value
          Class containing the predicate method.
 
Optional Element Summary
 boolean arguments
          True if method arguments should be passed to the predicate method.
 java.lang.String method
          Name of the predicate method.
 

Element Detail

value

public abstract java.lang.Class value
Class containing the predicate method.

Returns:
class containing the predicate method.

method

public abstract java.lang.String method
Name of the predicate method. If not specified, the name "check" is assumed.

Returns:
name of the predicate method.
Default:
"check"

arguments

public abstract boolean arguments
True if method arguments should be passed to the predicate method. If not specified, false is assumed.

Returns:
true if method arguments should be passed
Default:
false