Escape a string for use as a DOT node ID (inside quotes).
(s: &str)
| 608 | |
| 609 | /// Escape a string for use as a DOT node ID (inside quotes). |
| 610 | fn dot_escape_id(s: &str) -> String { |
| 611 | s.replace('\\', "\\\\").replace('"', "\\\"") |
| 612 | } |
| 613 | |
| 614 | fn dot_escape_label(s: &str) -> String { |
| 615 | s.replace('\\', "\\\\").replace('"', "\\\"") |