logic-parser 1.3.0

A simple lexer & parser for logical expressions that supports output as AST, JSON and SVG
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

pub struct Svg {
    pub view_box: (f32, f32, f32, f32),
    pub font: &'static str,
    pub stroke_width: u32,
    pub stroke: &'static str, // <https://developer.mozilla.org/en-US/docs/Web/SVG/Attribute/stroke>
    elements: Vec<String>
}

impl Svg {
    pub fn new(view_box: (f32, f32, f32, f32)) -> Svg {
        Svg {
            view_box,
            stroke_width: 1,
            font: "sans-serif",
            stroke: "black",
            elements: vec![]
        }
    }

    pub fn draw_circle(&mut self, pos: (f32, f32), radius: f32) {
        self.elements.push(
            format!(
                "<circle cx='{cx}' cy='{cy}' r='{r}' fill='none' stroke='{stroke}' />",
                cx = pos.0,
                cy = pos.1,
                r = radius,
                stroke = self.stroke,
            )
        );
    }

    pub fn draw_line(&mut self, start: (f32, f32), end: (f32, f32)) {
        self.elements.push(
            format!(
                "<line x1='{x1}' y1='{y1}' x2='{x2}' y2='{y2}' stroke='{stroke}' />",
                x1 = start.0,
                y1 = start.1,
                x2 = end.0,
                y2 = end.1,
                stroke = self.stroke,
            )
        );
    }

    pub fn draw_line_with_offset(&mut self, start: (f32, f32), end: (f32, f32), offset: f32) {
        let line_length = f32::sqrt(f32::powi(end.0 - start.0, 2) + f32::powi(end.1 - start.1, 2));

        self.elements.push(
            format!(
                "<line x1='{x1}' y1='{y1}' x2='{x2}' y2='{y2}' stroke='{stroke}' stroke-dasharray='{darr} {offset}' stroke-dashoffset='-{offset}' />",
                x1 = start.0,
                y1 = start.1,
                x2 = end.0,
                y2 = end.1,
                stroke = self.stroke,
                darr = line_length - (2f32 * offset)
            )
        );
    }

    pub fn draw_text(&mut self, pos: (f32, f32), text: &str, font_size: u32) {
        self.elements.push(
            format!(
                "<text x='{x}' y='{y}' font-family='{font}' font-size='{font_size}'>{text}</text>",
                x = pos.0,
                y = pos.1,
                font = self.font,
                text = text,
                font_size = font_size
            )
        );
    }

    pub fn draw_circle_with_text(&mut self, pos: (f32, f32), radius: f32, text: &str, font_size: u32) {
        self.draw_circle(pos, radius);
        self.elements.push(
            format!(
                "<text x='{x}' y='{y}' font-family='{font}' font-size='{font_size}' text-anchor='middle' alignment-baseline='central'>{text}</text>",
                x = pos.0,
                y = pos.1,
                font = self.font,
                text = text,
                font_size = font_size
            )
        );
    }

    pub fn as_xml(&self) -> String {
        format!(
            "<svg xmlns='http://www.w3.org/2000/svg' viewBox='{vb}' stroke-width='{sw}'>{elements}</svg>",
            vb = format!("{x} {y} {w} {h}", x = self.view_box.0, y = self.view_box.1, w = self.view_box.2, h = self.view_box.3),
            sw = self.stroke_width,
            elements = self.elements.join("\n")
        )
    }
}