| David Tolnay | 9c68b1a | 2020-03-06 11:12:55 -0800 | [diff] [blame] | 1 | use crate::gen::include::Includes; |
| David Tolnay | 0841930 | 2020-04-19 20:38:20 -0700 | [diff] [blame] | 2 | use crate::syntax::namespace::Namespace; |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 3 | use std::cell::RefCell; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 4 | use std::fmt::{self, Arguments, Write}; |
| 5 | |
| 6 | pub(crate) struct OutFile { |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 7 | pub namespace: Namespace, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 8 | pub header: bool, |
| David Tolnay | 9c68b1a | 2020-03-06 11:12:55 -0800 | [diff] [blame] | 9 | pub include: Includes, |
| David Tolnay | 54702b9 | 2020-07-31 11:50:09 -0700 | [diff] [blame^] | 10 | pub front: Content, |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 11 | content: RefCell<Content>, |
| 12 | } |
| 13 | |
| David Tolnay | 54702b9 | 2020-07-31 11:50:09 -0700 | [diff] [blame^] | 14 | pub struct Content { |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 15 | bytes: Vec<u8>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 16 | section_pending: bool, |
| David Tolnay | 9ad1fbc | 2020-03-01 14:01:24 -0800 | [diff] [blame] | 17 | blocks_pending: Vec<&'static str>, |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 18 | } |
| 19 | |
| 20 | impl OutFile { |
| David Tolnay | 754e21c | 2020-03-29 20:58:46 -0700 | [diff] [blame] | 21 | pub fn new(namespace: Namespace, header: bool) -> Self { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 22 | OutFile { |
| 23 | namespace, |
| 24 | header, |
| David Tolnay | 9c68b1a | 2020-03-06 11:12:55 -0800 | [diff] [blame] | 25 | include: Includes::new(), |
| David Tolnay | 54702b9 | 2020-07-31 11:50:09 -0700 | [diff] [blame^] | 26 | front: Content::new(), |
| 27 | content: RefCell::new(Content::new()), |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 28 | } |
| 29 | } |
| 30 | |
| 31 | // Write a blank line if the preceding section had any contents. |
| 32 | pub fn next_section(&mut self) { |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 33 | let content = self.content.get_mut(); |
| 34 | content.section_pending = true; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 35 | } |
| 36 | |
| 37 | pub fn begin_block(&mut self, block: &'static str) { |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 38 | let content = self.content.get_mut(); |
| 39 | content.blocks_pending.push(block); |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 40 | } |
| 41 | |
| David Tolnay | 9ad1fbc | 2020-03-01 14:01:24 -0800 | [diff] [blame] | 42 | pub fn end_block(&mut self, block: &'static str) { |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 43 | let content = self.content.get_mut(); |
| 44 | if content.blocks_pending.pop().is_none() { |
| 45 | content.bytes.extend_from_slice(b"} // "); |
| 46 | content.bytes.extend_from_slice(block.as_bytes()); |
| 47 | content.bytes.push(b'\n'); |
| 48 | content.section_pending = true; |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 49 | } |
| 50 | } |
| 51 | |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 52 | pub fn write_fmt(&self, args: Arguments) { |
| 53 | let content = &mut *self.content.borrow_mut(); |
| 54 | Write::write_fmt(content, args).unwrap(); |
| 55 | } |
| 56 | |
| 57 | pub fn content(&self) -> Vec<u8> { |
| David Tolnay | 54702b9 | 2020-07-31 11:50:09 -0700 | [diff] [blame^] | 58 | let front = &self.front.bytes; |
| 59 | let content = &self.content.borrow().bytes; |
| 60 | let len = front.len() + !front.is_empty() as usize + content.len(); |
| 61 | let mut out = Vec::with_capacity(len); |
| 62 | out.extend_from_slice(front); |
| 63 | if !front.is_empty() { |
| 64 | out.push(b'\n'); |
| 65 | } |
| 66 | out.extend_from_slice(content); |
| 67 | out |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 68 | } |
| 69 | } |
| 70 | |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 71 | impl Write for Content { |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 72 | fn write_str(&mut self, s: &str) -> fmt::Result { |
| David Tolnay | f4632de | 2020-07-31 10:46:55 -0700 | [diff] [blame] | 73 | self.write_bytes(s.as_bytes()); |
| 74 | Ok(()) |
| 75 | } |
| 76 | } |
| 77 | |
| 78 | impl Content { |
| David Tolnay | 54702b9 | 2020-07-31 11:50:09 -0700 | [diff] [blame^] | 79 | pub fn write_fmt(&mut self, args: Arguments) { |
| 80 | Write::write_fmt(self, args).unwrap(); |
| 81 | } |
| 82 | |
| 83 | fn new() -> Self { |
| 84 | Content { |
| 85 | bytes: Vec::new(), |
| 86 | section_pending: false, |
| 87 | blocks_pending: Vec::new(), |
| 88 | } |
| 89 | } |
| 90 | |
| David Tolnay | f4632de | 2020-07-31 10:46:55 -0700 | [diff] [blame] | 91 | fn write_bytes(&mut self, b: &[u8]) { |
| 92 | if !b.is_empty() { |
| David Tolnay | 9ad1fbc | 2020-03-01 14:01:24 -0800 | [diff] [blame] | 93 | if !self.blocks_pending.is_empty() { |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 94 | if !self.bytes.is_empty() { |
| 95 | self.bytes.push(b'\n'); |
| David Tolnay | 3577d45 | 2020-03-17 21:48:13 -0700 | [diff] [blame] | 96 | } |
| David Tolnay | 9ad1fbc | 2020-03-01 14:01:24 -0800 | [diff] [blame] | 97 | for block in self.blocks_pending.drain(..) { |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 98 | self.bytes.extend_from_slice(block.as_bytes()); |
| 99 | self.bytes.extend_from_slice(b" {\n"); |
| David Tolnay | b92e66f | 2020-03-01 13:36:55 -0800 | [diff] [blame] | 100 | } |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 101 | self.section_pending = false; |
| 102 | } else if self.section_pending { |
| David Tolnay | 7ece56f | 2020-03-29 21:21:38 -0700 | [diff] [blame] | 103 | if !self.bytes.is_empty() { |
| 104 | self.bytes.push(b'\n'); |
| David Tolnay | 3577d45 | 2020-03-17 21:48:13 -0700 | [diff] [blame] | 105 | } |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 106 | self.section_pending = false; |
| 107 | } |
| David Tolnay | f4632de | 2020-07-31 10:46:55 -0700 | [diff] [blame] | 108 | self.bytes.extend_from_slice(b); |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 109 | } |
| David Tolnay | 7db7369 | 2019-10-20 14:51:12 -0400 | [diff] [blame] | 110 | } |
| 111 | } |