edu.rice.cs.cunit.threadCheck.predicates
Annotation Type NumberBoundedArgument

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

An annotation used to designate methods that are only allowed to be run when the method argument indexed by value is null.

Author:

Mathias Ricken

Required Element Summary

double	bound Lower bound.
int	index Index of the method argument.
NumberBoundedArgument.Mode	mode Class containing the predicate method.

Optional Element Summary

double

upperBound Upper bound.

Element Detail

mode

public abstract NumberBoundedArgument.Mode mode

Class containing the predicate method.

Returns:

class containing the predicate method.

index

public abstract int index

Index of the method argument.

Returns:

index of the method argument to be bounded

bound

public abstract double bound

Lower bound.

Returns:

the lower bound for the comparison.

upperBound

public abstract double upperBound

Upper bound.

Returns:

the upper bound for the comparison, only used for IN_EQ, IN, OUT_EQ and OUT

Default:

0.0