edu.rice.cs.cunit.threadCheck.subAnnot.predicates
Annotation Type DistinctArguments

@Retention(value=RUNTIME)
@Target(value={CONSTRUCTOR,METHOD,TYPE})
public @interface DistinctArguments

An annotation used to designate methods that are only allowed to be run when the method argument indexed are distinct.

Author:

Mathias Ricken

Required Element Summary

int[]

value Array of undices of the method argument that must be distinct.

Element Detail

value

public abstract int[] value

Array of undices of the method argument that must be distinct.

Returns:

array of indices of the method argument to be distinct