machine-check-gui 0.7.1

Utility crate for the formal verification tool machine-check
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

use wasm_bindgen::{prelude::Closure, JsCast};

use crate::frontend::util::web_idl::get_element_by_id;

mod render;

pub use render::render;

use super::lock_view;

pub fn setup() {
    render::setup();
}

pub fn init() {
    let func: Box<dyn FnMut(web_sys::Event)> = Box::new(|_| {
        wasm_bindgen_futures::spawn_local(on_resize());
    });
    let closure = Closure::wrap(func);
    let callback = closure.as_ref().dyn_ref().unwrap();

    let resize_observer = web_sys::ResizeObserver::new(callback)
        .expect("Canvas resize observer should be constructable");

    // the closure must be explicitely forgotten so it remains accessible
    closure.forget();

    // observe the main area instead of the canvas: the canvas is absolutely positioned,
    // while the main area is a normal element that can be resized
    let main_area = get_element_by_id("main_area");
    resize_observer.observe(&main_area);

    // setup the canvas so it can be rendered to
    setup();
}

async fn on_resize() {
    // force a complete setup and re-render
    setup();
    render(lock_view().as_mut());
}