Uses of Class
edu.rice.cs.cunit.threadCheck.subAnnot.predicates.NumberBoundedArgument.Mode

Packages that use NumberBoundedArgument.Mode

edu.rice.cs.cunit.threadCheck.subAnnot
edu.rice.cs.cunit.threadCheck.subAnnot.predicates

Uses of NumberBoundedArgument.Mode in edu.rice.cs.cunit.threadCheck.subAnnot

Methods in edu.rice.cs.cunit.threadCheck.subAnnot with parameters of type NumberBoundedArgument.Mode

static boolean

Predicates.checkNumberBoundedArgument(java.lang.Object thisObject, java.lang.Object[] args, NumberBoundedArgument.Mode mode, int index, double bound, double upperBound) Return true if the object with the specified index is a Number and meeds the bounds.

Uses of NumberBoundedArgument.Mode in edu.rice.cs.cunit.threadCheck.subAnnot.predicates

Methods in edu.rice.cs.cunit.threadCheck.subAnnot.predicates that return NumberBoundedArgument.Mode

static NumberBoundedArgument.Mode	NumberBoundedArgument.Mode.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static NumberBoundedArgument.Mode[]	NumberBoundedArgument.Mode.values() Returns an array containing the constants of this enum type, in the order they are declared.