com.newisys.ova
Enum OVAExprType

java.lang.Object
  java.lang.Enum<OVAExprType>
      com.newisys.ova.OVAExprType

All Implemented Interfaces:

Serializable, Comparable<OVAExprType>

public enum OVAExprType
extends Enum<OVAExprType>

Enumeration of OVA expression types.

Enum Constant Summary

Check
The assertion is an ova_check_* expression.

Cover
The assertion is an ova_cover_* expression.

Forbid
The assertion is an ova_forbid_* expression.

NotCover
TODO: document OVAExprType.NotCover.

OVA
TODO: document OVAExprType.OVA

Method Summary

static OVAExprType	forValue(int value) Returns the OVAExprType for the given integer value.
int	getValue() Returns the integer value associated with this OVAExprType.
static OVAExprType	valueOf(String name) Returns the enum constant of this type with the specified name.
static OVAExprType[]	values() Returns an array containing the constants of this enum type, in the order they're declared.

Methods inherited from class java.lang.Enum

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

OVA

public static final OVAExprType OVA

TODO: document OVAExprType.OVA

Check

public static final OVAExprType Check

The assertion is an ova_check_* expression.

Forbid

public static final OVAExprType Forbid

The assertion is an ova_forbid_* expression.

Cover

public static final OVAExprType Cover

The assertion is an ova_cover_* expression.

NotCover

public static final OVAExprType NotCover

TODO: document OVAExprType.NotCover.

Method Detail

values

public static final OVAExprType[] values()

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

for(OVAExprType c : OVAExprType.values())
        System.out.println(c);

Returns:

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

valueOf

public static OVAExprType valueOf(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:

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

getValue

public int getValue()

Returns the integer value associated with this OVAExprType.

Returns:

the integer value for this enumeration

forValue

public static OVAExprType forValue(int value)

Returns the OVAExprType for the given integer value.

Parameters:

value - the value for which to return an OVAExprType

Returns:

the OVAExprType corresponding to value

Throws:

IllegalArgumentException - if value does not correspond to any OVAExprType