net.sourceforge.jeuclid.elements.support.operatordict
Enum OperatorAttribute

java.lang.Object
  java.lang.Enum<OperatorAttribute>
      net.sourceforge.jeuclid.elements.support.operatordict.OperatorAttribute

All Implemented Interfaces:

Serializable, Comparable<OperatorAttribute>

public enum OperatorAttribute
extends Enum<OperatorAttribute>

Version:

$Revision: 88b901bf20fb $

Enum Constant Summary

ACCENT

FENCE

FORM

LARGEOP

LSPACE

MAXSIZE

MINSIZE

MOVABLELIMITS

RSPACE

SEPARATOR

STRETCHY

SYMMETRIC

Method Summary

String	getDefaultValue()
static OperatorAttribute	parseOperatorAttribute(String attr) Parses a String into an OperatorAttribute.
static OperatorAttribute	valueOf(String name) Returns the enum constant of this type with the specified name.
static OperatorAttribute[]	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

FORM

public static final OperatorAttribute FORM

FENCE

public static final OperatorAttribute FENCE

SEPARATOR

public static final OperatorAttribute SEPARATOR

LSPACE

public static final OperatorAttribute LSPACE

RSPACE

public static final OperatorAttribute RSPACE

STRETCHY

public static final OperatorAttribute STRETCHY

SYMMETRIC

public static final OperatorAttribute SYMMETRIC

MAXSIZE

public static final OperatorAttribute MAXSIZE

MINSIZE

public static final OperatorAttribute MINSIZE

LARGEOP

public static final OperatorAttribute LARGEOP

MOVABLELIMITS

public static final OperatorAttribute MOVABLELIMITS

ACCENT

public static final OperatorAttribute ACCENT

Method Detail

values

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

Returns:

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

valueOf

public static OperatorAttribute 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

NullPointerException - if the argument is null

getDefaultValue

public String getDefaultValue()

Returns:

the default value for this operator attribute.

parseOperatorAttribute

public static OperatorAttribute parseOperatorAttribute(String attr)
                                                throws UnknownAttributeException

Parses a String into an OperatorAttribute.

Parameters:

attr - the String to parse

Returns:

an operatorAttibute if possible

Throws:

UnknownAttributeException - if the string does not represent a valid attribute.