TYPE elementary_space_enumerators = ENUMERATION ( es_numbers, es_complex_numbers, es_reals, es_integers, es_logicals, es_booleans, es_strings, es_binarys, es_maths_spaces, es_maths_functions, es_generics ); END_TYPE; -- elementary_space_enumerators |
Userselementary_space.space_idmaths_enum_atom maths_atom maths_enum_literal.lit_value |
public final class EElementary_space_enumeratorsstatic final int ES_NUMBERS = 1static final int ES_COMPLEX_NUMBERS = 2 static final int ES_REALS = 3 static final int ES_INTEGERS = 4 static final int ES_LOGICALS = 5 static final int ES_BOOLEANS = 6 static final int ES_STRINGS = 7 static final int ES_BINARYS = 8 static final int ES_MATHS_SPACES = 9 static final int ES_MATHS_FUNCTIONS = 10 static final int ES_GENERICS = 11 static String[] values = {"ES_NUMBERS", "ES_COMPLEX_NUMBERS", "ES_REALS", "ES_INTEGERS", "ES_LOGICALS", "ES_BOOLEANS", "ES_STRINGS", "ES_BINARYS", "ES_MATHS_SPACES", "ES_MATHS_FUNCTIONS", "ES_GENERICS"} static int toInt(String str) static String toString(int value) |