1use crate::{Arena, Cursor, CursorSink, Kind, SourceCursor, SourceCursorSink, SourceOffset, Span, ToSpan, Vec};
2use std::collections::BTreeMap;
3
4#[derive(Debug)]
5pub struct OverlaySegment<'a> {
6 span: Span,
7 cursors: Vec<'a, SourceCursor<'a>>,
8 kind: OverlayKind,
9}
10
11impl<'a> OverlaySegment<'a> {
12 pub fn new(span: Span, cursors: Vec<'a, SourceCursor<'a>>, kind: OverlayKind) -> Self {
13 Self { span, cursors, kind }
14 }
15
16 pub fn start(&self) -> SourceOffset {
17 self.span.start()
18 }
19
20 pub fn end(&self) -> SourceOffset {
21 self.span.end()
22 }
23
24 pub fn cursors(&self) -> &[SourceCursor<'a>] {
25 &self.cursors
26 }
27
28 pub fn is_insertion(&self) -> bool {
29 matches!(self.kind, OverlayKind::InsertBefore | OverlayKind::InsertAfter)
30 }
31
32 pub fn kind(&self) -> OverlayKind {
33 self.kind
34 }
35}
36
37#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord)]
38pub enum OverlayKind {
39 Replace,
40 InsertBefore,
41 InsertAfter,
42}
43
44#[derive(Debug)]
45pub struct CursorOverlaySet<'a> {
46 segments: Vec<'a, OverlaySegment<'a>>,
47}
48
49impl<'a> CursorOverlaySet<'a> {
50 pub fn new(alloc: &'a Arena) -> Self {
51 Self { segments: Vec::new_in(alloc) }
52 }
53
54 pub fn insert(&mut self, span: Span, cursors: Vec<'a, SourceCursor<'a>>) {
55 #[cfg(debug_assertions)]
56 {
57 let has_non_eof = cursors.iter().any(|cursor| cursor.token() != Kind::Eof);
58 debug_assert!(has_non_eof || cursors.is_empty(), "Overlay for span {:?} produced no output", span);
59 }
60 self.push_segment(OverlaySegment::new(span, cursors, OverlayKind::Replace));
61 }
62
63 pub fn clear(&mut self) {
64 self.segments.clear();
65 }
66
67 pub fn has_overlay(&self, span: Span) -> bool {
68 let start = &span.start();
69 let end = &span.end();
70 self.segments
71 .iter()
72 .any(|segment| !segment.is_insertion() && segment.start() <= *start && *end <= segment.end())
73 }
74
75 pub fn push_segment(&mut self, segment: OverlaySegment<'a>) {
76 let idx = self.segments.partition_point(|existing| {
77 existing.start() < segment.start()
78 || (existing.start() == segment.start() && existing.end() <= segment.end())
79 });
80 self.segments.insert(idx, segment);
81 }
82
83 pub fn segments(&self) -> &[OverlaySegment<'a>] {
84 &self.segments
85 }
86}
87
88#[derive(Debug)]
97pub struct CursorOverlaySink<'a, 'o, T: SourceCursorSink<'a>> {
98 source_text: &'a str,
99 overlays: &'o CursorOverlaySet<'a>,
100 sink: T,
101 processed_overlay_ranges: BTreeMap<SourceOffset, SourceOffset>,
102 next_segment: usize,
103 #[cfg(debug_assertions)]
104 seen_eof: bool,
105}
106
107impl<'a, 'o, T: SourceCursorSink<'a>> CursorOverlaySink<'a, 'o, T> {
108 pub fn new(source_text: &'a str, overlays: &'o CursorOverlaySet<'a>, sink: T) -> Self {
109 Self {
110 source_text,
111 overlays,
112 sink,
113 processed_overlay_ranges: BTreeMap::new(),
114 next_segment: 0,
115 #[cfg(debug_assertions)]
116 seen_eof: false,
117 }
118 }
119
120 fn flush_segments_up_to(&mut self, limit: SourceOffset, include_after: bool) {
121 let segments = self.overlays.segments();
122 while self.next_segment < segments.len() {
123 let segment = &segments[self.next_segment];
124 if segment.start() > limit {
125 break;
126 }
127 if !include_after && segment.kind() == OverlayKind::InsertAfter && segment.start() == limit {
128 break;
129 }
130 for cursor in segment.cursors() {
131 if cursor.token() != Kind::Eof {
132 self.sink.append(*cursor);
133 }
134 }
135 if !segment.is_insertion() {
136 self.processed_overlay_ranges.insert(segment.start(), segment.end());
137 }
138 self.next_segment += 1;
139 }
140 }
141
142 fn cursor_is_consumed(&self, cursor_start: SourceOffset, cursor_end: SourceOffset) -> bool {
143 self.processed_overlay_ranges
144 .range(..=cursor_start)
145 .next_back()
146 .is_some_and(|(&range_start, &range_end)| cursor_start >= range_start && cursor_end <= range_end)
147 }
148}
149
150impl<'a, 'o, T: SourceCursorSink<'a>> SourceCursorSink<'a> for CursorOverlaySink<'a, 'o, T> {
151 fn append(&mut self, c: SourceCursor<'a>) {
152 let cursor_start = c.to_span().start();
153 let cursor_end = c.to_span().end();
154
155 self.flush_segments_up_to(cursor_start, false);
156
157 if self.cursor_is_consumed(cursor_start, cursor_end) {
158 return;
159 }
160
161 self.sink.append(c);
162
163 self.flush_segments_up_to(cursor_end, true);
164 }
165}
166
167impl<'a, 'o, T: SourceCursorSink<'a>> CursorSink for CursorOverlaySink<'a, 'o, T> {
168 fn append(&mut self, c: Cursor) {
169 #[cfg(debug_assertions)]
170 {
171 debug_assert!(!self.seen_eof, "Received cursor after EOF: {:?}", c);
172 if c == Kind::Eof {
173 self.seen_eof = true;
174 }
175 }
176
177 SourceCursorSink::append(self, SourceCursor::from(c, c.str_slice(self.source_text)))
178 }
179}
180
181#[cfg(test)]
182mod test {
183 use super::*;
184 use crate::Arena;
185 use crate::Vec;
186 use crate::{
187 ComponentValue, ComponentValues, CursorPrettyWriteSink, CursorToSourceCursorSink, CursorWriteSink,
188 EmptyAtomSet, Parser, QuoteStyle, T, ToCursors, ToSpan,
189 };
190 use css_lexer::Lexer;
191
192 fn snippet_cursors<'a>(alloc: &'a Arena, snippet: &'a str) -> Vec<'a, SourceCursor<'a>> {
193 let lexer = Lexer::new(&EmptyAtomSet::ATOMS, snippet);
194 let mut parser = Parser::new(alloc, snippet, lexer);
195 let parsed = parser.parse_entirely::<ComponentValues<'a>>();
196 let mut cursors = Vec::new_in(alloc);
197 let mut sink = CursorToSourceCursorSink::new(snippet, &mut cursors);
198 parsed.to_cursors(&mut sink);
199 cursors
200 }
201
202 #[test]
203 fn test_basic() {
204 let source_text = "black white";
205 let alloc = Arena::default();
206 let lexer = Lexer::new(&EmptyAtomSet::ATOMS, source_text);
207 let mut p = Parser::new(&alloc, source_text, lexer);
208 let output = p.parse_entirely::<(T![Ident], T![Ident])>().output.unwrap();
209
210 let overlay_text = "green";
211 let lexer = Lexer::new(&EmptyAtomSet::ATOMS, overlay_text);
212 let mut p = Parser::new(&alloc, overlay_text, lexer);
213 let overlay = p.parse_entirely::<T![Ident]>();
214 let mut source_cursors = Vec::new_in(&alloc);
215 let mut sink = CursorToSourceCursorSink::new(overlay_text, &mut source_cursors);
216 overlay.to_cursors(&mut sink);
217 let mut overlays = CursorOverlaySet::new(&alloc);
218 overlays.insert(output.1.to_span(), source_cursors);
219
220 let mut str = String::new();
221 let mut stream = CursorOverlaySink::new(source_text, &overlays, CursorWriteSink::new(source_text, &mut str));
222 output.to_cursors(&mut stream);
223
224 assert_eq!(str, "black green");
225 }
226
227 #[test]
228 fn test_with_pretty_writer() {
229 let source_text = "foo{use:other;}";
230 let alloc = Arena::default();
231 let lexer = Lexer::new(&EmptyAtomSet::ATOMS, source_text);
232 let mut p = Parser::new(&alloc, source_text, lexer);
233 let output = p.parse_entirely::<Vec<'_, ComponentValue>>().output.unwrap();
234 let ComponentValue::SimpleBlock(ref block) = output[1] else { panic!("output[1] was not a block") };
235
236 let overlay_text = "inner{foo: bar;}";
237 let lexer = Lexer::new(&EmptyAtomSet::ATOMS, overlay_text);
238 let mut p = Parser::new(&alloc, overlay_text, lexer);
239 let overlay = p.parse_entirely::<Vec<'_, ComponentValue>>();
240 let mut source_cursors = Vec::new_in(&alloc);
241 let mut sink = CursorToSourceCursorSink::new(overlay_text, &mut source_cursors);
242 overlay.to_cursors(&mut sink);
243 let mut overlays = CursorOverlaySet::new(&alloc);
244 overlays.insert(block.values.to_span(), source_cursors);
245
246 let mut str = String::new();
247 let mut stream = CursorOverlaySink::new(
248 source_text,
249 &overlays,
250 CursorPrettyWriteSink::new(source_text, &mut str, None, QuoteStyle::Double),
251 );
252 output.to_cursors(&mut stream);
253
254 assert_eq!(
255 str,
256 r#"
257foo {
258 inner {
259 foo: bar;
260 }
261}
262 "#
263 .trim()
264 );
265 }
266
267 #[test]
268 fn test_insert_before_and_after() {
269 let source_text = "ab";
270 let alloc = Arena::default();
271 let lexer = Lexer::new(&EmptyAtomSet::ATOMS, source_text);
272 let mut parser = Parser::new(&alloc, source_text, lexer);
273 let output = parser.parse_entirely::<Vec<'_, ComponentValue>>().output.unwrap();
274
275 let mut overlays = CursorOverlaySet::new(&alloc);
276 overlays.push_segment(OverlaySegment::new(
277 Span::new(SourceOffset(0), SourceOffset(0)),
278 snippet_cursors(&alloc, "pre"),
279 OverlayKind::InsertBefore,
280 ));
281 overlays.push_segment(OverlaySegment::new(
282 Span::new(SourceOffset(2), SourceOffset(2)),
283 snippet_cursors(&alloc, "post"),
284 OverlayKind::InsertAfter,
285 ));
286
287 let mut str = String::new();
288 let mut stream = CursorOverlaySink::new(source_text, &overlays, CursorWriteSink::new(source_text, &mut str));
289 output.to_cursors(&mut stream);
290 assert_eq!(str, "pre ab post");
291 }
292
293 #[test]
294 fn test_multiple_inserts_preserve_order() {
295 let source_text = "x";
296 let alloc = Arena::default();
297 let lexer = Lexer::new(&EmptyAtomSet::ATOMS, source_text);
298 let mut parser = Parser::new(&alloc, source_text, lexer);
299 let output = parser.parse_entirely::<Vec<'_, ComponentValue>>().output.unwrap();
300
301 let mut overlays = CursorOverlaySet::new(&alloc);
302 overlays.push_segment(OverlaySegment::new(
303 Span::new(SourceOffset(0), SourceOffset(0)),
304 snippet_cursors(&alloc, "A"),
305 OverlayKind::InsertBefore,
306 ));
307 overlays.push_segment(OverlaySegment::new(
308 Span::new(SourceOffset(0), SourceOffset(0)),
309 snippet_cursors(&alloc, "B"),
310 OverlayKind::InsertBefore,
311 ));
312 overlays.push_segment(OverlaySegment::new(
313 Span::new(SourceOffset(1), SourceOffset(1)),
314 snippet_cursors(&alloc, "C"),
315 OverlayKind::InsertAfter,
316 ));
317 overlays.push_segment(OverlaySegment::new(
318 Span::new(SourceOffset(1), SourceOffset(1)),
319 snippet_cursors(&alloc, "D"),
320 OverlayKind::InsertAfter,
321 ));
322
323 let mut str = String::new();
324 let mut stream = CursorOverlaySink::new(source_text, &overlays, CursorWriteSink::new(source_text, &mut str));
325 output.to_cursors(&mut stream);
326 assert_eq!(str, "A B x C D");
327 }
328}