zhc_ir 0.8.0

Graph-based intermediate representation framework with dialect support
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
97
98
99
100

use crate::visualization::svg::Svg;

/// An HTML document wrapping an SVG visualization.
#[derive(Debug, Clone)]
pub struct Html {
    /// Title shown in the browser tab
    pub title: String,
    /// The SVG content to embed
    pub svg: Svg,
    /// Additional CSS for the HTML wrapper
    pub css: String,
    /// JavaScript for zoom/pan and interactions
    pub javascript: String,
}

impl std::fmt::Display for Html {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        writeln!(f, "<!DOCTYPE html>")?;
        writeln!(f, "<html>")?;
        writeln!(f, "<head>")?;
        writeln!(f, "  <meta charset=\"UTF-8\">")?;
        writeln!(
            f,
            "  <meta name=\"viewport\" content=\"width=device-width, initial-scale=1.0\">"
        )?;
        writeln!(f, "  <title>{}</title>", html_escape(&self.title))?;
        writeln!(f, "  <style>")?;
        writeln!(f, "{}", self.css)?;
        writeln!(f, "  </style>")?;
        writeln!(f, "</head>")?;
        writeln!(f, "<body>")?;

        // Search bar (hidden until Ctrl/Cmd+F). Lives outside #viewport so its
        // clicks never reach the pan/zoom handlers.
        writeln!(f, "  <div id=\"search-box\" class=\"hidden\">")?;
        writeln!(
            f,
            "    <input id=\"search-input\" type=\"text\" placeholder=\"Search\u{2026}\" autocomplete=\"off\" spellcheck=\"false\" />"
        )?;
        writeln!(f, "    <span id=\"search-count\"></span>")?;
        writeln!(
            f,
            "    <button id=\"search-prev\" title=\"Previous (Shift+Enter)\">\u{2191}</button>"
        )?;
        writeln!(
            f,
            "    <button id=\"search-next\" title=\"Next (Enter)\">\u{2193}</button>"
        )?;
        writeln!(
            f,
            "    <button id=\"search-close\" title=\"Close (Esc)\">\u{00d7}</button>"
        )?;
        writeln!(f, "  </div>")?;

        writeln!(f, "  <div id=\"viewport\">")?;
        writeln!(f, "    <div id=\"canvas\">")?;

        // Emit SVG with viewBox and 100% dimensions
        write!(f, "{}", self.svg_with_viewbox())?;

        writeln!(f, "    </div>")?;
        writeln!(f, "  </div>")?;
        writeln!(f, "  <script>")?;
        writeln!(f, "{}", self.javascript)?;
        writeln!(f, "  </script>")?;
        writeln!(f, "</body>")?;
        writeln!(f, "</html>")
    }
}

impl Html {
    /// Renders the SVG with viewBox for proper scaling.
    fn svg_with_viewbox(&self) -> String {
        let svg = &self.svg;
        let mut output = String::new();

        // SVG opening tag with viewBox
        output.push_str(&format!(
            r#"<svg viewBox="0 0 {} {}" preserveAspectRatio="xMidYMid meet" xmlns="http://www.w3.org/2000/svg">"#,
            svg.width, svg.height
        ));
        output.push('\n');

        // Elements
        for element in &svg.elements {
            output.push_str(&format!("{}", element));
        }

        output.push_str("</svg>\n");
        output
    }
}

fn html_escape(s: &str) -> String {
    s.replace('&', "&amp;")
        .replace('<', "&lt;")
        .replace('>', "&gt;")
        .replace('"', "&quot;")
        .replace('\'', "&#39;")
}