Myst::Interpreter

Create a new, fully initialized TType object. This takes care of setting the lexical scope, inheriting from the base type and more.

Raise a RuntimeError from the current location. Execution is immediataly halted and the interpreter will panic up until a rescuer is found.

Multiple overloads of this function are provided for simplicity at the call site.

Resolve the Scope for value. For primitives, this returns the instance scope of the Type for that value. For Instances, Types, and Modules, this just returns .scope for that value.

Resolve the TType object representing the type of value. For primitive types, these are always looked up in the Kernel. For Instances, the type is looked up from the type reference on the instance itself. For Types and Modules, the value itself is returned.

The true base type of every object in Myst.

The true base type of every object in Myst.

The base Type for all type objects.

The base Type for all type objects.

Current stack of method calls/code blocks at any point in the interpreter.

Current stack of method calls/code blocks at any point in the interpreter.

A mapping of values to documentation about that value. Mostly applied to modules, types, and methods.

A mapping of values to documentation about that value. Mostly applied to modules, types, and methods.

The pool of open file descriptors used to avoid duplicating entries.

The Kernel module for this instance of the interpreter.

The Kernel module for this instance of the interpreter.

The set of directories that should be considered when performing lookups with bare paths (not explicitly relative).

A Hash of entries indicating files that have already been loaded. Entries in this Hash should always be absolute paths to avoid ambiguity between relative paths that resolve to the same file.

A Hash of entries indicating files that have already been loaded. Entries in this Hash should always be absolute paths to avoid ambiguity between relative paths that resolve to the same file.

Lookup a value under the given name in the current scope or one of its ancestors. If the value is not found, a No variable or method RuntimeError will be raised.

Attempt to lookup the given name recursively through the ancestry of the given receiver. This is mainly used for method lookup, where the simple lookup method does not search deep enough for a value.

The method will return nil if no matching entry is found.

Stack of scopes representing the current lexical scope.

Stack of scopes representing the current lexical scope.

Value stack representing the current receiver value for operations.

Value stack representing the current receiver value for operations.

Value stack the the interpreter uses to pass around arguments and values.

Value stack the the interpreter uses to pass around arguments and values.

The result of either expression, in any case, will be the value that determined the result. i.e., in the expression true && false, the result will be false, while nil && false will result in nil.

Matches are syntax sugar for the creation and immediate invocation of an anonymous function. As such, they can be re-written into a Call of an AnonymousFunction node. For example: match x, y ->(true) { } ->(false) { } ->(_) { } end would be expanded to (fn ->(true) { } ->(false) { } ->(_) { } end)(x, y) which is semantically equivalent.

The number of warnings generated by execution of programs.

The number of warnings generated by execution of programs.

Primitive types have some restrictions on functionality. This method will raise an appropriate error if the given value is a primitive. If operation is given, it will be used as the error message.