1use crate::gen::block::Block;
2use crate::gen::builtin::Builtins;
3use crate::gen::include::Includes;
4use crate::gen::pragma::Pragma;
5use crate::gen::Opt;
6use crate::syntax::namespace::Namespace;
7use crate::syntax::Types;
8use std::cell::RefCell;
9use std::fmt::{self, Arguments, Write};
10
11pub(crate) struct OutFile<'a> {
12 pub header: bool,
13 pub opt: &'a Opt,
14 pub types: &'a Types<'a>,
15 pub include: Includes<'a>,
16 pub pragma: Pragma<'a>,
17 pub builtin: Builtins<'a>,
18 content: RefCell<Content<'a>>,
19}
20
21#[derive(#[automatically_derived]
impl<'a> ::core::default::Default for Content<'a> {
#[inline]
fn default() -> Content<'a> {
Content {
bytes: ::core::default::Default::default(),
namespace: ::core::default::Default::default(),
blocks: ::core::default::Default::default(),
suppress_next_section: ::core::default::Default::default(),
section_pending: ::core::default::Default::default(),
blocks_pending: ::core::default::Default::default(),
}
}
}Default)]
22pub(crate) struct Content<'a> {
23 bytes: String,
24 namespace: &'a Namespace,
25 blocks: Vec<BlockBoundary<'a>>,
26 suppress_next_section: bool,
27 section_pending: bool,
28 blocks_pending: usize,
29}
30
31#[derive(#[automatically_derived]
impl<'a> ::core::marker::Copy for BlockBoundary<'a> { }Copy, #[automatically_derived]
impl<'a> ::core::clone::Clone for BlockBoundary<'a> {
#[inline]
fn clone(&self) -> BlockBoundary<'a> {
let _: ::core::clone::AssertParamIsClone<Block<'a>>;
let _: ::core::clone::AssertParamIsClone<Block<'a>>;
*self
}
}Clone, #[automatically_derived]
impl<'a> ::core::cmp::PartialEq for BlockBoundary<'a> {
#[inline]
fn eq(&self, other: &BlockBoundary<'a>) -> bool {
let __self_discr = ::core::intrinsics::discriminant_value(self);
let __arg1_discr = ::core::intrinsics::discriminant_value(other);
__self_discr == __arg1_discr &&
match (self, other) {
(BlockBoundary::Begin(__self_0),
BlockBoundary::Begin(__arg1_0)) => __self_0 == __arg1_0,
(BlockBoundary::End(__self_0), BlockBoundary::End(__arg1_0))
=> __self_0 == __arg1_0,
_ => unsafe { ::core::intrinsics::unreachable() }
}
}
}PartialEq, #[automatically_derived]
impl<'a> ::core::fmt::Debug for BlockBoundary<'a> {
#[inline]
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
match self {
BlockBoundary::Begin(__self_0) =>
::core::fmt::Formatter::debug_tuple_field1_finish(f, "Begin",
&__self_0),
BlockBoundary::End(__self_0) =>
::core::fmt::Formatter::debug_tuple_field1_finish(f, "End",
&__self_0),
}
}
}Debug)]
32enum BlockBoundary<'a> {
33 Begin(Block<'a>),
34 End(Block<'a>),
35}
36
37impl<'a> OutFile<'a> {
38 pub(crate) fn new(header: bool, opt: &'a Opt, types: &'a Types) -> Self {
39 OutFile {
40 header,
41 opt,
42 types,
43 include: Includes::new(),
44 pragma: Pragma::new(),
45 builtin: Builtins::new(),
46 content: RefCell::new(Content::new()),
47 }
48 }
49
50 pub(crate) fn next_section(&mut self) {
52 self.content.get_mut().next_section();
53 }
54
55 pub(crate) fn suppress_next_section(&mut self) {
56 self.content.get_mut().suppress_next_section();
57 }
58
59 pub(crate) fn begin_block(&mut self, block: Block<'a>) {
60 self.content.get_mut().begin_block(block);
61 }
62
63 pub(crate) fn end_block(&mut self, block: Block<'a>) {
64 self.content.get_mut().end_block(block);
65 }
66
67 pub(crate) fn set_namespace(&mut self, namespace: &'a Namespace) {
68 self.content.get_mut().set_namespace(namespace);
69 }
70
71 pub(crate) fn write_fmt(&self, args: Arguments) {
72 let content = &mut *self.content.borrow_mut();
73 Write::write_fmt(content, args).unwrap();
74 }
75
76 pub(crate) fn content(&mut self) -> Vec<u8> {
77 self.flush();
78
79 let include = &self.include.content.bytes;
80 let pragma_begin = &self.pragma.begin.bytes;
81 let builtin = &self.builtin.content.bytes;
82 let content = &self.content.get_mut().bytes;
83 let pragma_end = &self.pragma.end.bytes;
84
85 let mut out = String::new();
86 out.push_str(include);
87 if !out.is_empty() && !pragma_begin.is_empty() {
88 out.push('\n');
89 }
90 out.push_str(pragma_begin);
91 if !out.is_empty() && !builtin.is_empty() {
92 out.push('\n');
93 }
94 out.push_str(builtin);
95 if !out.is_empty() && !content.is_empty() {
96 out.push('\n');
97 }
98 out.push_str(content);
99 if !out.is_empty() && !pragma_end.is_empty() {
100 out.push('\n');
101 }
102 out.push_str(pragma_end);
103 if out.is_empty() {
104 out.push_str("// empty\n");
105 }
106 out.into_bytes()
107 }
108
109 fn flush(&mut self) {
110 self.include.content.flush();
111 self.pragma.begin.flush();
112 self.builtin.content.flush();
113 self.content.get_mut().flush();
114 self.pragma.end.flush();
115 }
116}
117
118impl<'a> Write for Content<'a> {
119 fn write_str(&mut self, s: &str) -> fmt::Result {
120 self.write(s);
121 Ok(())
122 }
123}
124
125impl<'a> PartialEq for Content<'a> {
126 fn eq(&self, _other: &Self) -> bool {
127 true
128 }
129}
130
131impl<'a> Content<'a> {
132 pub(crate) fn new() -> Self {
133 Content::default()
134 }
135
136 pub(crate) fn next_section(&mut self) {
137 self.section_pending = !self.suppress_next_section;
138 }
139
140 pub(crate) fn suppress_next_section(&mut self) {
141 self.suppress_next_section = true;
142 }
143
144 pub(crate) fn begin_block(&mut self, block: Block<'a>) {
145 self.push_block_boundary(BlockBoundary::Begin(block));
146 }
147
148 pub(crate) fn end_block(&mut self, block: Block<'a>) {
149 self.push_block_boundary(BlockBoundary::End(block));
150 }
151
152 pub(crate) fn set_namespace(&mut self, namespace: &'a Namespace) {
153 for name in self.namespace.iter().rev() {
154 self.end_block(Block::UserDefinedNamespace(name));
155 }
156 for name in namespace {
157 self.begin_block(Block::UserDefinedNamespace(name));
158 }
159 self.namespace = namespace;
160 }
161
162 pub(crate) fn write_fmt(&mut self, args: Arguments) {
163 Write::write_fmt(self, args).unwrap();
164 }
165
166 fn write(&mut self, b: &str) {
167 if !b.is_empty() {
168 if self.blocks_pending > 0 {
169 self.flush_blocks();
170 }
171 if self.section_pending && !self.bytes.is_empty() {
172 self.bytes.push('\n');
173 }
174 self.bytes.push_str(b);
175 self.suppress_next_section = false;
176 self.section_pending = false;
177 self.blocks_pending = 0;
178 }
179 }
180
181 fn push_block_boundary(&mut self, boundary: BlockBoundary<'a>) {
182 if self.blocks_pending > 0 && boundary == self.blocks.last().unwrap().rev() {
183 self.blocks.pop();
184 self.blocks_pending -= 1;
185 } else {
186 self.blocks.push(boundary);
187 self.blocks_pending += 1;
188 }
189 }
190
191 fn flush(&mut self) {
192 self.set_namespace(Default::default());
193 if self.blocks_pending > 0 {
194 self.flush_blocks();
195 }
196 }
197
198 fn flush_blocks(&mut self) {
199 self.section_pending = !self.bytes.is_empty();
200 let mut read = self.blocks.len() - self.blocks_pending;
201 let mut write = read;
202
203 while read < self.blocks.len() {
204 match self.blocks[read] {
205 BlockBoundary::Begin(begin_block) => {
206 if self.section_pending {
207 self.bytes.push('\n');
208 self.section_pending = false;
209 }
210 Block::write_begin(begin_block, &mut self.bytes);
211 self.blocks[write] = BlockBoundary::Begin(begin_block);
212 write += 1;
213 }
214 BlockBoundary::End(end_block) => {
215 write = write.checked_sub(1).unwrap();
216 let begin_block = self.blocks[write];
217 match (&begin_block, &BlockBoundary::Begin(end_block)) {
(left_val, right_val) => {
if !(*left_val == *right_val) {
let kind = ::core::panicking::AssertKind::Eq;
::core::panicking::assert_failed(kind, &*left_val, &*right_val,
::core::option::Option::None);
}
}
};assert_eq!(begin_block, BlockBoundary::Begin(end_block));
218 Block::write_end(end_block, &mut self.bytes);
219 self.section_pending = true;
220 }
221 }
222 read += 1;
223 }
224
225 self.blocks.truncate(write);
226 }
227}
228
229impl<'a> BlockBoundary<'a> {
230 fn rev(self) -> BlockBoundary<'a> {
231 match self {
232 BlockBoundary::Begin(block) => BlockBoundary::End(block),
233 BlockBoundary::End(block) => BlockBoundary::Begin(block),
234 }
235 }
236}