Skip to main content

css_parse/
cursor_overlay_sink.rs

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/// This is a [CursorSink] that wraps a [SourceCursorSink], while also taking a [CursorOverlaySet]. As [Cursor]s get
89/// appended into this sink, it will replay those to the underlying [SourceCursorSink] _unless_ a [CursorOverlaySet]
90/// overlaps the [Cursor]'s span, at which point the overlay wil be replayed to the underlying [SourceCursorSink].
91/// This Sink is useful for collecting new Cursors (say from an AST) to overlap (or, say, transform) the underlying base
92/// Cursors (read: AST). In other words, writing over the top of the source.
93///
94/// Other than replaying overlays in place of the underyling cursors, no other modifications are made to the Cursors,
95/// that is up to the base SourceCursorSink, which can apply additional formatting or logic.
96#[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}