edu.rice.cs.cunit.threadCheck.subAnnot.predicates
Annotation Type SameArguments
@Retention(value=RUNTIME)
@Target(value={CONSTRUCTOR,METHOD,TYPE})
public @interface SameArguments
An annotation used to designate methods that are only allowed to be run when the
method argument indexed are the same.
- Author:
- Mathias Ricken
Required Element Summary |
int[] |
value
Array of undices of the method argument that must be the same.. |
value
public abstract int[] value
- Array of undices of the method argument that must be the same..
- Returns:
- array of indices of the method argument to be the same.