org.aspsimon.termcomp.entity.xtc
Enum Problem.Type

java.lang.Object
  extended by java.lang.Enum<Problem.Type>
      extended by org.aspsimon.termcomp.entity.xtc.Problem.Type
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<Problem.Type>
Enclosing class:
Problem

public static enum Problem.Type
extends java.lang.Enum<Problem.Type>

Schema fragment(s) for this class:

 <xs:simpleType xmlns:xs="http://www.w3.org/2001/XMLSchema">
   <xs:restriction base="xs:string">
     <xs:enumeration value="termination"/>
     <xs:enumeration value="complexity"/>
   </xs:restriction>
 </xs:simpleType>
 


Enum Constant Summary
COMPLEXITY
           
TERMINATION
           
 
Method Summary
static Problem.Type convert(java.lang.String value)
           
 java.lang.String toString()
           
static Problem.Type valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static Problem.Type[] 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, valueOf
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Enum Constant Detail

TERMINATION

public static final Problem.Type TERMINATION

COMPLEXITY

public static final Problem.Type COMPLEXITY
Method Detail

values

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

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

valueOf

public static Problem.Type 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

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Enum<Problem.Type>

convert

public static Problem.Type convert(java.lang.String value)