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