edu.rice.cs.cunit.threadCheck.predicates
Enum NumberBoundedArgument.Mode

java.lang.Object
  java.lang.Enum<NumberBoundedArgument.Mode>
      edu.rice.cs.cunit.threadCheck.predicates.NumberBoundedArgument.Mode

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<NumberBoundedArgument.Mode>

Enclosing class:

NumberBoundedArgument

public static enum NumberBoundedArgument.Mode
extends java.lang.Enum<NumberBoundedArgument.Mode>

Mode of bounding.

Enum Constant Summary

GREATER
Number must be greater than bound.

GREATER_EQ
Number must be greater than or bound.

IN
Number must be less than upperBound and less than bound.

IN_EQ
Number must be less than or equal to upperBound and greater than or equal to bound.

LESS
Number must be less than bound.

LESS_EQ
Number must be less than or equal to bound.

OUT
Number must be greater than upperBbound or less than bound.

OUT_EQ
Number must be greater than or equal to upperBound or less than or equal to bound.

Method Summary

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

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

LESS

public static final NumberBoundedArgument.Mode LESS

Number must be less than bound.

LESS_EQ

public static final NumberBoundedArgument.Mode LESS_EQ

Number must be less than or equal to bound.

GREATER

public static final NumberBoundedArgument.Mode GREATER

Number must be greater than bound.

GREATER_EQ

public static final NumberBoundedArgument.Mode GREATER_EQ

Number must be greater than or bound.

IN_EQ

public static final NumberBoundedArgument.Mode IN_EQ

Number must be less than or equal to upperBound and greater than or equal to bound.

IN

public static final NumberBoundedArgument.Mode IN

Number must be less than upperBound and less than bound.

OUT_EQ

public static final NumberBoundedArgument.Mode OUT_EQ

Number must be greater than or equal to upperBound or less than or equal to bound.

OUT

public static final NumberBoundedArgument.Mode OUT

Number must be greater than upperBbound or less than bound.

Method Detail

values

public static NumberBoundedArgument.Mode[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (NumberBoundedArgument.Mode c : NumberBoundedArgument.Mode.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static NumberBoundedArgument.Mode valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null