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
42
43
44
45
46
47

use machine_check_common::ParamValuation;
use web_sys::CanvasRenderingContext2d;

pub const RAW_TILE_SIZE: f64 = 46.;
pub const RAW_NODE_SIZE: f64 = 30.;
pub const RAW_ARROWHEAD_SIZE: f64 = 4.;
pub const RAW_FONT_SIZE: f64 = 12.;
pub const RAW_FONT_MARGIN: f64 = 4.;

pub mod colors {
    pub const UNKNOWN: &str = "#CCCCCC"; // grey
    pub const TRUE: &str = "#4CBF50"; // green
    pub const DEPENDENT: &str = "#BBBB00"; // yellow
    pub const FALSE: &str = "#CC2222"; // red
    pub const NOT_APPLICABLE: &str = "lightblue"; // light blue
    pub const REFERENCE: &str = "#F5F5DC"; // light yellow
    pub const ARROWHEAD: &str = "#000"; // black
}

pub const NODE_LINE_WIDTH_SELECTED: f64 = 3.;
pub const NODE_LINE_WIDTH_UNSELECTED: f64 = 1.;

pub fn labelling_color(value: ParamValuation) -> &'static str {
    match value {
        ParamValuation::True => colors::TRUE,
        ParamValuation::False => colors::FALSE,
        ParamValuation::Dependent => colors::DEPENDENT,
        ParamValuation::Unknown => colors::UNKNOWN,
    }
}

pub fn setup_node_context(
    context: &CanvasRenderingContext2d,
    labelling: Option<ParamValuation>,
    is_selected: bool,
) {
    let node_color = match labelling {
        None => colors::NOT_APPLICABLE,
        Some(labelling) => labelling_color(labelling),
    };
    context.set_fill_style_str(node_color);
    context.set_line_width(if is_selected {
        NODE_LINE_WIDTH_SELECTED
    } else {
        NODE_LINE_WIDTH_UNSELECTED
    });
}