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..
 

Element Detail

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.