edu.rice.cs.cunit.threadCheck
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. An annotation interface annotated with @PredicateLink may not contain other annotations or arrays of annotations as members. The @PredicateLink and @Combine meta-annotations are mutually exclusive.

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