Struct Interpreter 

pub(crate) struct Interpreter {
    machine: Machine,
    downloads: Downloads<Targets>,
    dialogs: Dialogs<Answer>,
    views: Vec<ViewTemplate>,
}

Fields

machine: Machine

downloads: Downloads<Targets>

dialogs: Dialogs<Answer>

views: Vec<ViewTemplate>

Indexed by ViewId.

Implementations

impl Interpreter

pub(crate) fn new<B: Backend>( machine: Machine, ui: &Ui<B>, engine: Weak<Engine<Self, B>>, ) -> Self

Runs machine for engine, which shows file dialogs and receives their answers and download reports through ui.

pub(crate) fn machine(&self) -> &Machine

fn event( &self, run: impl FnOnce(&Machine) -> Result<(), RuntimeError>, ) -> Result<(), RuntimeError>

Runs code for an event, then starts the downloads and asks for the dialogs it asked for, even if it failed after asking.

fn receive(&self) -> Result<(), RuntimeError>

fn read( &self, binding: &Binding, frame: &Vec<Slot>, ) -> Result<Value, RuntimeError>

fn write( &self, binding: &Binding, frame: &Vec<Slot>, value: Value, ) -> Result<(), RuntimeError>

fn round_frames( &self, head: &Loop, frame: &Vec<Slot>, ) -> Result<Vec<Rc<Vec<Slot>>>, RuntimeError>

The frames a for region shows its body in, one per time round.

Trait Implementations

impl Logic for Interpreter

type Frame = Vec<Slot>

The locals visible to a piece of UI, such as loop variables and view parameters.

type Value = Rc<Dynamic>

A value the UI shows, or reads when the user acts, such as a label’s text or a nav item’s value. Each is read as the type the checker gave it.

type Binding = Rc<Binding>

A place a text field or checkbox shows, and writes the user’s edits to.

type Action = Rc<[Stmt]>

What a button does when clicked.

type Region = Region

An if, for or view call: UI whose shape depends on state.

type Error = RuntimeError

fn text( &self, text: &Rc<Dynamic>, frame: &Vec<Slot>, ) -> Result<String, RuntimeError>

Errors

fn number( &self, number: &Rc<Dynamic>, frame: &Vec<Slot>, ) -> Result<i64, RuntimeError>

Errors

fn flag( &self, flag: &Rc<Dynamic>, frame: &Vec<Slot>, ) -> Result<bool, RuntimeError>

Errors

fn texts( &self, texts: &Rc<Dynamic>, frame: &Vec<Slot>, ) -> Result<Vec<String>, RuntimeError>

Errors

fn read_number( &self, binding: &Rc<Binding>, frame: &Vec<Slot>, ) -> Result<i64, RuntimeError>

Errors

fn read_text( &self, binding: &Rc<Binding>, frame: &Vec<Slot>, ) -> Result<String, RuntimeError>

Errors

fn read_checked( &self, binding: &Rc<Binding>, frame: &Vec<Slot>, ) -> Result<bool, RuntimeError>

Errors

fn write_text( &self, binding: &Rc<Binding>, frame: &Vec<Slot>, text: &str, ) -> Result<(), RuntimeError>

Errors

fn write_checked( &self, binding: &Rc<Binding>, frame: &Vec<Slot>, checked: bool, ) -> Result<(), RuntimeError>

Errors

fn write_number( &self, binding: &Rc<Binding>, frame: &Vec<Slot>, number: i64, ) -> Result<(), RuntimeError>

Errors

fn write_texts( &self, binding: &Rc<Binding>, frame: &Vec<Slot>, texts: Vec<String>, ) -> Result<(), RuntimeError>

Errors

fn run(&self, action: &Block, frame: &Vec<Slot>) -> Result<(), RuntimeError>

Errors

fn expand( &self, region: &Region, frame: &Rc<Vec<Slot>>, ) -> Result<Vec<Shown<Self>>, RuntimeError>

What region shows now, in order: lists of templates, each with its own frame.

fn take_changed(&self) -> StateSet

The states changed since the last call.

fn take_window_requests(&self) -> Vec<WindowRequest>

What code asked of the app’s windows since the last call, in order.