File mu/mu


class mu.mu

Inherits

Behaviour supers
tom.All

variables

const UNIT_NAME_TOM = "tom";
Important names.
const META_NAME_ANY = "Any";
const META_NAME_TOP = "Top";
const META_NAME_STATE = "State";
const STRING_CST_CLASS = "ByteString";
const CONDITION_CLASS = "Condition";
const BT_FIRST = 0;
The basic types.
const BT_VOID = 0;
const BT_BOOLEAN = 1;
const BT_BYTE = 2;
const BT_CHAR = 3;
const BT_INT = 4;
const BT_LONG = 5;
const BT_FLOAT = 6;
const BT_DOUBLE = 7;
const BT_POINTER = 8;
const BT_SELECTOR = 9;
const BT_DYNAMIC = 10;
const BT_ID = 11;
const BT_META_ID = 12;
const BT_ETAM_ID = 13;
const BT_BEYOND = 14;
static tom.Indexed basic_types_from_kind;
Mapping from the basic kind (one of BT_*) to the BasicType object.
const OP_ASSIGN = 0;
Closed naming of the operators, in non-decreasing priority.
const OP_ITE = 1;
const OP_IMPLIES = 2;
const OP_SC_OR = 3;
const OP_SC_AND = 4;
const OP_GT = 5;
const OP_GE = 6;
const OP_EQ = 7;
const OP_NE = 8;
const OP_LE = 9;
const OP_LT = 10;
const OP_EOR = 11;
const OP_OR = 12;
const OP_AND = 13;
const OP_SHR = 14;
const OP_SHL = 15;
const OP_LSR = 16;
const OP_SUB = 17;
const OP_ADD = 18;
const OP_MOD = 19;
const OP_DIV = 20;
const OP_MUL = 21;
const OP_NOT = 22;
const OP_INV = 23;
const OP_MIN = 24;
const OP_PP = 25;
const OP_MM = 26;
const OP_OLD = 27;
const OP_SET = 28;
const OP_RET = 29;
const OP_AT = 30;
static tom.Indexed operator_names;
Indexed on the above, the operator name strings.
static ErrorType error_type;
The error type.
static tom.MutableSet types;
The set of type names.
static tom.MutableDictionary basic_types;
The builtin types.
static BasicType dynamic_type;
The dynamic type (one of the basic_types).
static AnyType any_type;
The any type.
static Meta top_type;
The type of all objects (both classes and instances).
static Meta bottom_type;
The type that is all objects (both classes and instances).
static BasicType void_type;
The void basic type.
static BasicType selector_type;
The selector type.
static Meta string_cst_type;
The type of string constants.
static Meta condition_type;
The type of conditions.
static Class meta_meta;
The state class, which is the class object of every class.
static Expression top_expression;
The expression with the top_type, used as the receiver of all ordinary operator invocations.
static tom.MutableDictionary unique_metas;
The metas which only exist in a single unit.
static ErrorExpression error_expr;
The error expression.
static Expression void_expr;
The expression with the void type.
static tom.MutableArray all_user_units;
All units, in a topological sort.
static tom.MutableArray all_units;
All units, including the builtin one.
static Unit unit_tom;
The TOM unit.

methods

void
  init boolean bare_environment;
Initialize everything in the mu unit. If bare_environment is TRUE, no preloading of the TOM unit will be performed.

instance mu.mu

Inherits

Behaviour supers
tom.All

Generated by tm 1.01.