|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD | |||||||||
java.lang.Objectjava.lang.Enum<NumericOperators>
nl.liacs.subdisc.NumericOperators
public enum NumericOperators
| Enum Constant Summary | |
|---|---|
NUMERIC_ALL
|
|
NUMERIC_EQ
|
|
NUMERIC_GEQ
|
|
NUMERIC_LEQ
|
|
NUMERIC_NORMAL
|
|
| Field Summary | |
|---|---|
java.lang.String |
GUI_TEXT
For each NumericOperators, this is the text that will be used in the GUI. |
| Method Summary | |
|---|---|
static boolean |
check(NumericOperators theNO,
int theOperator)
|
static NumericOperators |
getDefault()
Returns the default NumericOperators. |
static NumericOperators |
getNumericOperators(java.lang.String theType)
Returns the NumericOperators corresponding to the String
parameter. |
java.lang.String |
toString()
Returns a friendly String |
static NumericOperators |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static NumericOperators[] |
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, valueOf |
| Methods inherited from class java.lang.Object |
|---|
getClass, notify, notifyAll, wait, wait, wait |
| Enum Constant Detail |
|---|
public static final NumericOperators NUMERIC_NORMAL
public static final NumericOperators NUMERIC_LEQ
public static final NumericOperators NUMERIC_GEQ
public static final NumericOperators NUMERIC_ALL
public static final NumericOperators NUMERIC_EQ
| Field Detail |
|---|
public final java.lang.String GUI_TEXT
String that will be returned by the
toString() method.
| Method Detail |
|---|
public static NumericOperators[] values()
for (NumericOperators c : NumericOperators.values()) System.out.println(c);
public static NumericOperators valueOf(java.lang.String name)
name - the name of the enum constant to be returned.
java.lang.IllegalArgumentException - if this enum type has no constant
with the specified name
java.lang.NullPointerException - if the argument is nullpublic static NumericOperators getNumericOperators(java.lang.String theType)
String
parameter. This method is case insensitive.
theType - the String corresponding to a
NumericOperators.
String
parameter, or the default NumericOperators NUMERIC_BINS if no
corresponding NumericOperators can not be found.public static NumericOperators getDefault()
public java.lang.String toString()
EnumInterfaceString to show in the GUI.
- Specified by:
toString in interface EnumInterface- Overrides:
toString in class java.lang.Enum<NumericOperators>
- Returns:
- the text
String presented to the end user.
public static boolean check(NumericOperators theNO,
int theOperator)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD | |||||||||