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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
use std::default::Default;
pub(crate) struct Formatter<'a> {
buf: String,
style: &'a Style,
indent: u32,
}
#[derive(Debug)]
pub struct Style {
indent: u32,
}
impl Default for Style {
fn default() -> Style {
Style {
indent: 2,
}
}
}
impl Style {
pub fn indent(&mut self, indent: u32) -> &mut Self {
self.indent = indent;
self
}
}
pub(crate) trait Displayable {
fn display(&self, f: &mut Formatter);
}
impl<'a> Formatter<'a> {
pub fn new(style: &Style) -> Formatter {
Formatter {
buf: String::with_capacity(1024),
style,
indent: 0,
}
}
pub fn indent(&mut self) {
for _ in 0..self.indent {
self.buf.push(' ');
}
}
pub fn endline(&mut self) {
self.buf.push('\n');
}
pub fn start_block(&mut self) {
self.buf.push('{');
self.endline();
self.indent += self.style.indent;
}
pub fn end_block(&mut self) {
self.indent = self.indent.checked_sub(self.style.indent)
.expect("negative indent");
self.indent();
self.buf.push('}');
self.endline();
}
pub fn margin(&mut self) {
if self.buf.len() != 0 {
self.buf.push('\n');
}
}
pub fn write(&mut self, s: &str) {
self.buf.push_str(s);
}
pub fn into_string(self) -> String {
self.buf
}
pub fn write_quoted(&mut self, s: &str) {
let mut has_newline = false;
let mut has_nonprintable = false;
for c in s.chars() {
match c {
'\n' => has_newline = true,
'\r' | '\t' | '\u{0020}'...'\u{FFFF}' => {}
_ => has_nonprintable = true,
}
}
if !has_newline || has_nonprintable {
use std::fmt::Write;
self.buf.push('"');
for c in s.chars() {
match c {
'\r' => self.write(r"\r"),
'\n' => self.write(r"\n"),
'\t' => self.write(r"\t"),
'"' => self.write("\\\""),
'\\' => self.write(r"\\"),
'\u{0020}'...'\u{FFFF}' => self.buf.push(c),
_ => write!(&mut self.buf, "\\u{:04}", c as u32).unwrap(),
}
}
self.buf.push('"');
} else {
self.buf.push_str(r#"""""#);
self.endline();
self.indent += self.style.indent;
for line in s.lines() {
if line.trim().len() != 0 {
self.indent();
self.write(&line.replace(r#"""""#, r#"\""""#));
}
self.endline();
}
self.indent -= self.style.indent;
self.indent();
self.buf.push_str(r#"""""#);
}
}
}