Module move_stackless_bytecode_interpreter::concrete::runtime

This file implements the orchestration part of the stackless bytecode interpreter and also provides outside-facing interfaces for the clients of stackless bytecode interpreter. Clients of the interpreter should never directly interact with the statement player (in player.rs) nor the expression evaluator (in evaluator.rs).

Structs

Runtime

A stackless bytecode runtime in charge of pre- and post-execution checking, conversion, and monitoring. The main, step-by-step interpretation loop is delegated to the Player instance.

Functions

convert_move_struct_tag

convert_move_type_tag

convert_move_value