edu.rice.cs.cunit.threadCheck
Annotation Type Combine

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

Meta-annotation that specifies what Boolean operation is used to combine the predicate annotations contained in the annotation that is annotated by this meta-annotation. The @Combine meta-annotation lets the Thread Checker know that the annotation interface annotated with it is intended to be processed by the Thread Checker. If an annotation interface is intended to be a Thread Checker annotation and it contains annotations or arrays of annotations as members, then the annotations used must also be Thread Checker annotations, and the annotation interface must be annotated with the @Combine meta-annotation. An annotation interface annotated with @Combine may not contain members that are not annotations or arrays of annotations, and those annotation interfaces must themselves be Thread Checker annotations. The @PredicateLink and @Combine meta-annotations are mutually exclusive.

Author:

Mathias Ricken

Optional Element Summary

boolean	arguments Whether the method arguments should be passed as well, after the value of "this" and before the annotation values.
Combine.Mode	value Class containing the predicate method.

value

public abstract Combine.Mode value

Class containing the predicate method.

Returns:

class containing the predicate method.

Default:

edu.rice.cs.cunit.threadCheck.Combine.Mode.OR

arguments

public abstract boolean arguments

Whether the method arguments should be passed as well, after the value of "this" and before the annotation values.

Returns:

true if method arguments should be passed

Default:

false