public static class Type.Enum extends Type.Discrete
Value.Enum
.
An Enum Value, d, is specified by an int code, d.n(), and
its Enum Type, d.type(), tells how to interpret d.n(), etc..
Also see Type.Option
.Type.Atomic, Type.Char, Type.Cts, Type.Discrete, Type.Enum, Type.Function, Type.Int, Type.Model, Type.Option, Type.Structured, Type.Triv, Type.Tuple, Type.TYPE, Type.Vector
Value.Option.GP
Value.Bool, Value.Chars, Value.Defer, Value.Inc_Or, Value.Lambda, Value.List, Value.Maybe, Value.Real, Value.Scannable
Modifier and Type | Field and Description |
---|---|
java.lang.String[] |
ids
String ids[i] denotes Value
|
BOOL, BOOL_N, CHAR, CHAR_N, CHARS, CTS, CTS_N, DNA, ENUM_N, FUNCTION, FUNCTION_N, INC_OR, INT, INT_N, LIST, MATRIX_CTS, MATRIX_INT, MAYBE, MODEL, MODEL_N, name, OPTION_N, PAIR, TRIPLE, TRIV, TRIV_N, TUPLE_N, TYPE, TYPE_N, VECTOR, VECTOR_CHARS, VECTOR_CTS, VECTOR_INT, VECTOR_N
Constructor and Description |
---|
Enum(java.lang.String name,
java.lang.String[] ids)
An Enum Type created thus is assumed to be
ordered |
Enum(java.lang.String name,
java.lang.String[] ids,
boolean ordered)
E.g.,
|
Modifier and Type | Method and Description |
---|---|
Value.Enum |
int2value(int n)
Return the n-th Value, vals[n], of 'this' Enum.
|
int |
n()
Return this Option Value's number within its
Option
Type . |
int |
string2n(java.lang.String str)
Return the int code corresponding to 'str'.
|
Value.Enum |
string2value(java.lang.String s)
|
bounded, bounds, hasLwb, hasUpb, lwb_n, lwb, ordered, unOrdered, upb_n, upb
appendSB, contains, elt, main, nElts, ni, show, show, toString, tuple, type
closes, compareTo, opens, separator
public Enum(java.lang.String name, java.lang.String[] ids)
ordered
public Enum(java.lang.String name, java.lang.String[] ids, boolean ordered)
public int n()
Value.Option
Type
.n
in class Value.Option
public Value.Enum int2value(int n)
int2value
in class Type.Discrete
public Value.Enum string2value(java.lang.String s)
Type.Discrete
string2value
in class Type.Discrete
public int string2n(java.lang.String str)
RTE
in case of error.string2n
in class Type.Discrete