org.openqed.struct.namedid
Enum SentenceRole.EnumValue

java.lang.Object
  java.lang.Enum<SentenceRole.EnumValue>
      org.openqed.struct.namedid.SentenceRole.EnumValue

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<SentenceRole.EnumValue>

Enclosing class:

SentenceRole

public static enum SentenceRole.EnumValue
extends java.lang.Enum<SentenceRole.EnumValue>

Enum Constant Summary

AXIOM

CONJECTURE

DEFINITION

HYPOTHESIS

LEMMA

NEGATED_CONJECTURE

THEOREM

Method Summary

static SentenceRole.EnumValue	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static SentenceRole.EnumValue[]	values() Returns an array containing the constants of this enum type, in the order they are 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

AXIOM

public static final SentenceRole.EnumValue AXIOM

CONJECTURE

public static final SentenceRole.EnumValue CONJECTURE

DEFINITION

public static final SentenceRole.EnumValue DEFINITION

HYPOTHESIS

public static final SentenceRole.EnumValue HYPOTHESIS

LEMMA

public static final SentenceRole.EnumValue LEMMA

NEGATED_CONJECTURE

public static final SentenceRole.EnumValue NEGATED_CONJECTURE

THEOREM

public static final SentenceRole.EnumValue THEOREM

Method Detail

values

public static SentenceRole.EnumValue[] 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 (SentenceRole.EnumValue c : SentenceRole.EnumValue.values())
    System.out.println(c);

Returns:

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

valueOf

public static SentenceRole.EnumValue 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