Enum OperatorAttribute
- java.lang.Object
-
- java.lang.Enum<OperatorAttribute>
-
- net.sourceforge.jeuclid.elements.support.operatordict.OperatorAttribute
-
- All Implemented Interfaces:
java.io.Serializable,java.lang.Comparable<OperatorAttribute>
public enum OperatorAttribute extends java.lang.Enum<OperatorAttribute>
- Version:
- $Revision: 88b901bf20fb $
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.StringgetDefaultValue()static OperatorAttributeparseOperatorAttribute(java.lang.String attr)Parses a String into an OperatorAttribute.static OperatorAttributevalueOf(java.lang.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.
-
-
-
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(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 namejava.lang.NullPointerException- if the argument is null
-
getDefaultValue
public java.lang.String getDefaultValue()
- Returns:
- the default value for this operator attribute.
-
parseOperatorAttribute
public static OperatorAttribute parseOperatorAttribute(java.lang.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.
-
-