1use daml_parser::ast::{DiagnosticCategory, Module, Span as ParserSpan};
25use daml_parser::layout::resolve_layout;
26use daml_parser::lexer::{lex_with_trivia, LexError, Token, Trivia};
27use daml_parser::parse::parse_module;
28use std::sync::OnceLock;
29
30pub use text_size::{TextRange, TextSize};
31
32#[derive(Debug, Clone, Copy, PartialEq, Eq)]
33pub struct LineCol {
34 pub line: usize,
35 pub column: usize,
36}
37
38#[derive(Debug, Clone, PartialEq, Eq)]
39pub struct Diagnostic {
40 pub range: TextRange,
41 pub line: usize,
42 pub column: usize,
43 pub end_column: Option<usize>,
44 pub message: String,
45 pub category: DiagnosticCategory,
46}
47
48#[derive(Debug, Clone, PartialEq, Eq)]
49pub struct LineIndex {
50 source_len: usize,
51 line_start_bytes: Vec<usize>,
52 char_offset_by_byte: Vec<usize>,
53 utf16_offset_by_byte: Vec<usize>,
54}
55
56impl LineIndex {
57 #[must_use]
58 pub fn new(source: &str) -> Self {
59 let mut line_start_bytes = vec![0];
60 for (idx, byte) in source.bytes().enumerate() {
61 if byte == b'\n' {
62 line_start_bytes.push(idx + 1);
63 }
64 }
65
66 let mut char_offset_by_byte = vec![0; source.len() + 1];
67 let mut char_count = 0usize;
68 let mut prev = 0usize;
69 for (idx, ch) in source.char_indices() {
70 for slot in char_offset_by_byte.iter_mut().take(idx).skip(prev) {
71 *slot = char_count;
72 }
73 let char_end = idx + ch.len_utf8();
74 for slot in char_offset_by_byte.iter_mut().take(char_end).skip(idx) {
75 *slot = char_count;
76 }
77 char_count += 1;
78 prev = char_end;
79 }
80 for slot in char_offset_by_byte
81 .iter_mut()
82 .take(source.len() + 1)
83 .skip(prev)
84 {
85 *slot = char_count;
86 }
87
88 let mut utf16_offset_by_byte = vec![0; source.len() + 1];
89 let mut utf16 = 0usize;
90 let mut prev = 0usize;
91 for (idx, ch) in source.char_indices() {
92 for slot in utf16_offset_by_byte.iter_mut().take(idx).skip(prev) {
93 *slot = utf16;
94 }
95 let char_end = idx + ch.len_utf8();
96 for slot in utf16_offset_by_byte.iter_mut().take(char_end).skip(idx) {
97 *slot = utf16;
98 }
99 utf16 += ch.len_utf16();
100 prev = char_end;
101 }
102 for slot in utf16_offset_by_byte
103 .iter_mut()
104 .take(source.len() + 1)
105 .skip(prev)
106 {
107 *slot = utf16;
108 }
109
110 Self {
111 source_len: source.len(),
112 line_start_bytes,
113 char_offset_by_byte,
114 utf16_offset_by_byte,
115 }
116 }
117
118 #[must_use]
119 pub fn line_col(&self, offset: TextSize) -> LineCol {
120 let byte = usize::from(offset).min(self.source_len);
121 let line_idx = match self.line_start_bytes.binary_search(&byte) {
122 Ok(idx) => idx,
123 Err(idx) => idx.saturating_sub(1),
124 };
125 LineCol {
126 line: line_idx + 1,
127 column: byte - self.line_start_bytes[line_idx] + 1,
128 }
129 }
130
131 #[must_use]
132 pub fn char_line_col(&self, offset: TextSize) -> LineCol {
133 let byte = usize::from(offset).min(self.source_len);
134 let line_idx = match self.line_start_bytes.binary_search(&byte) {
135 Ok(idx) => idx,
136 Err(idx) => idx.saturating_sub(1),
137 };
138 let line_start = self.line_start_bytes[line_idx];
139 LineCol {
140 line: line_idx + 1,
141 column: self.char_offset_by_byte[byte] - self.char_offset_by_byte[line_start] + 1,
142 }
143 }
144
145 #[must_use]
146 pub fn utf16_col(&self, line: usize, byte_col: usize) -> usize {
147 let line_start = self
148 .line_start_bytes
149 .get(line.saturating_sub(1))
150 .copied()
151 .unwrap_or(self.source_len);
152 let byte = line_start
153 .saturating_add(byte_col.saturating_sub(1))
154 .min(self.source_len);
155 self.utf16_offset_by_byte[byte] - self.utf16_offset_by_byte[line_start]
156 }
157
158 #[must_use]
159 pub fn utf16_range(&self, range: TextRange) -> (usize, usize) {
160 let start = usize::from(range.start()).min(self.source_len);
161 let end = usize::from(range.end()).min(self.source_len).max(start);
162 (
163 self.utf16_offset_by_byte[start],
164 self.utf16_offset_by_byte[end],
165 )
166 }
167}
168
169#[derive(Debug)]
170pub struct SourceTokens {
171 tokens: Vec<Token>,
172 trivia: Vec<Trivia>,
173 lex_errors: Vec<LexError>,
174 laid_out_tokens: OnceLock<Vec<Token>>,
175}
176
177impl SourceTokens {
178 #[must_use]
179 pub fn lex(source: &str) -> Self {
180 let lexed = lex_with_trivia(source);
181 Self {
182 tokens: lexed.tokens,
183 trivia: lexed.trivia,
184 lex_errors: lexed.errors,
185 laid_out_tokens: OnceLock::new(),
186 }
187 }
188
189 #[must_use]
190 pub fn tokens(&self) -> &[Token] {
191 &self.tokens
192 }
193
194 #[must_use]
195 pub fn trivia(&self) -> &[Trivia] {
196 &self.trivia
197 }
198
199 #[must_use]
200 pub fn lex_errors(&self) -> &[LexError] {
201 &self.lex_errors
202 }
203
204 #[must_use]
205 pub fn laid_out_tokens(&self) -> &[Token] {
206 self.laid_out_tokens
207 .get_or_init(|| resolve_layout(self.tokens.as_slice()))
208 }
209}
210
211#[derive(Debug)]
212pub struct SourceFile {
213 source: String,
214 module: Module,
215 diagnostics: Vec<Diagnostic>,
216 line_index: LineIndex,
217 tokens: OnceLock<SourceTokens>,
218}
219
220impl SourceFile {
221 #[must_use]
222 pub fn parse(source: &str) -> Self {
223 let parsed = parse_module(source);
224 let line_index = LineIndex::new(source);
225 let diagnostics = parsed
226 .diagnostics
227 .into_iter()
228 .map(|diagnostic| {
229 let range = try_parser_span_to_text_range(source, diagnostic.span)
230 .expect("parser span in diagnostic must map to source bytes");
231 let start = range.start();
232 let end_column = source
233 .get(usize::from(range.start())..usize::from(range.end()))
234 .filter(|s| !s.is_empty() && !s.contains('\n'))
235 .map(|s| diagnostic.pos.column + s.chars().count());
236 Diagnostic {
237 range,
238 line: line_index.char_line_col(start).line,
239 column: diagnostic.pos.column,
240 end_column,
241 message: diagnostic.message,
242 category: diagnostic.category,
243 }
244 })
245 .collect();
246
247 Self {
248 source: source.to_string(),
249 module: parsed.module,
250 diagnostics,
251 line_index,
252 tokens: OnceLock::new(),
253 }
254 }
255
256 #[must_use]
257 pub fn source(&self) -> &str {
258 &self.source
259 }
260
261 #[must_use]
262 pub const fn module(&self) -> &Module {
263 &self.module
264 }
265
266 #[must_use]
267 pub fn diagnostics(&self) -> &[Diagnostic] {
268 &self.diagnostics
269 }
270
271 #[must_use]
272 pub const fn line_index(&self) -> &LineIndex {
273 &self.line_index
274 }
275
276 #[must_use]
277 pub fn tokens(&self) -> &[Token] {
278 self.source_tokens().tokens()
279 }
280
281 #[must_use]
282 pub fn trivia(&self) -> &[Trivia] {
283 self.source_tokens().trivia()
284 }
285
286 #[must_use]
287 pub fn laid_out_tokens(&self) -> &[Token] {
288 self.source_tokens().laid_out_tokens()
289 }
290
291 #[must_use]
301 pub fn parser_span_to_text_range(&self, span: ParserSpan) -> TextRange {
302 self.try_parser_span_to_text_range(span)
303 .expect("parser span must map to a valid UTF-8 range in source")
304 }
305
306 #[must_use = "handle invalid span offsets before using the range"]
314 pub fn try_parser_span_to_text_range(
315 &self,
316 span: ParserSpan,
317 ) -> Result<TextRange, ParserSpanToTextRangeError> {
318 try_parser_span_to_text_range(&self.source, span)
319 }
320
321 fn source_tokens(&self) -> &SourceTokens {
322 self.tokens.get_or_init(|| SourceTokens::lex(&self.source))
323 }
324}
325
326#[must_use]
336pub fn parser_span_to_text_range(source: &str, span: ParserSpan) -> TextRange {
337 try_parser_span_to_text_range(source, span)
338 .expect("parser span must map to a valid UTF-8 range")
339}
340
341#[derive(Debug, Clone, PartialEq, Eq)]
342pub struct ParserSpanToTextRangeError {
343 source_len: usize,
344 span_start: usize,
345 span_end: usize,
346}
347
348impl ParserSpanToTextRangeError {
349 #[must_use]
350 pub const fn source_len(&self) -> usize {
351 self.source_len
352 }
353
354 #[must_use]
355 pub const fn span_start(&self) -> usize {
356 self.span_start
357 }
358
359 #[must_use]
360 pub const fn span_end(&self) -> usize {
361 self.span_end
362 }
363}
364
365impl std::fmt::Display for ParserSpanToTextRangeError {
366 fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
367 write!(
368 f,
369 "parser span [{}, {}) is invalid for source length {}",
370 self.span_start, self.span_end, self.source_len
371 )
372 }
373}
374
375impl std::error::Error for ParserSpanToTextRangeError {}
376
377#[must_use = "handle invalid span offsets before converting"]
383pub fn try_parser_span_to_text_range(
384 source: &str,
385 span: ParserSpan,
386) -> Result<TextRange, ParserSpanToTextRangeError> {
387 let source_len = source.len();
388 if !source.is_char_boundary(span.start) || !source.is_char_boundary(span.end) {
389 return Err(ParserSpanToTextRangeError {
390 source_len,
391 span_start: span.start,
392 span_end: span.end,
393 });
394 }
395 if span.start > source_len || span.end > source_len || span.start > span.end {
396 return Err(ParserSpanToTextRangeError {
397 source_len,
398 span_start: span.start,
399 span_end: span.end,
400 });
401 }
402 Ok(TextRange::new(
403 TextSize::try_from(span.start).map_err(|_| ParserSpanToTextRangeError {
404 source_len,
405 span_start: span.start,
406 span_end: span.end,
407 })?,
408 TextSize::try_from(span.end).map_err(|_| ParserSpanToTextRangeError {
409 source_len,
410 span_start: span.start,
411 span_end: span.end,
412 })?,
413 ))
414}
415
416#[cfg(test)]
417mod tests {
418 use super::*;
419 use daml_parser::ast_span::render_from_ast;
420 use daml_parser::lexer::render_lossless;
421
422 #[test]
423 fn maps_empty_source_to_first_line() {
424 let index = LineIndex::new("");
425
426 assert_eq!(index.line_col(0.into()), LineCol { line: 1, column: 1 });
427 assert_eq!(index.utf16_range(TextRange::empty(0.into())), (0, 0));
428 }
429
430 #[test]
431 fn maps_ascii_byte_lines() {
432 let source = "module M where\nfoo = 1\n";
433 let index = LineIndex::new(source);
434
435 assert_eq!(index.line_col(15.into()), LineCol { line: 2, column: 1 });
436 assert_eq!(index.utf16_col(2, 4), 3);
437 }
438
439 #[test]
440 fn maps_utf8_and_utf16_offsets() {
441 let source = "a😀b\nz";
442 let index = LineIndex::new(source);
443
444 assert_eq!(
445 index.utf16_range(TextRange::new(0.into(), 6.into())),
446 (0, 4)
447 );
448 assert_eq!(index.utf16_col(1, 6), 3);
449 assert_eq!(
450 index.char_line_col(5.into()),
451 LineCol { line: 1, column: 3 }
452 );
453 }
454
455 #[test]
456 fn char_line_col_snaps_to_previous_utf8_boundary() {
457 let source = "a😀b";
458 let index = LineIndex::new(source);
459
460 assert_eq!(
462 index.char_line_col(3.into()),
463 LineCol { line: 1, column: 2 }
464 );
465 }
466
467 #[test]
468 fn preserves_trailing_newline_line_start() {
469 let index = LineIndex::new("a\n");
470
471 assert_eq!(index.line_col(2.into()), LineCol { line: 2, column: 1 });
472 }
473
474 #[test]
475 fn treats_crlf_as_bytes_without_normalization() {
476 let index = LineIndex::new("a\r\nb");
477
478 assert_eq!(index.line_col(3.into()), LineCol { line: 2, column: 1 });
479 }
480
481 #[test]
482 fn clamps_ranges_to_source_end() {
483 let index = LineIndex::new("abc");
484 let range = TextRange::new(1.into(), 99.into());
485
486 assert_eq!(index.utf16_range(range), (1, 3));
487 }
488
489 #[test]
490 fn source_file_exposes_parser_pipeline_facts() {
491 let source = "module M where\nfoo : Int\nfoo = 1\n";
492 let file = SourceFile::parse(source);
493
494 assert_eq!(file.source(), source);
495 assert_eq!(file.module().name, "M");
496 assert!(file.diagnostics().is_empty());
497 assert!(!file.tokens().is_empty());
498 assert!(!file.laid_out_tokens().is_empty());
499 assert_eq!(
500 render_lossless(source, file.tokens(), file.trivia()).as_deref(),
501 Ok(source)
502 );
503 assert_eq!(
504 render_from_ast(source, file.module(), file.trivia()).as_deref(),
505 Ok(source)
506 );
507 }
508
509 #[test]
510 fn source_tokens_exposes_lex_only_pipeline_facts() {
511 let source = "module M where\nfoo : Int\nfoo = 1\n";
512 let tokens = SourceTokens::lex(source);
513
514 assert!(tokens.lex_errors().is_empty());
515 assert!(!tokens.tokens().is_empty());
516 assert!(!tokens.laid_out_tokens().is_empty());
517 assert_eq!(
518 render_lossless(source, tokens.tokens(), tokens.trivia()).as_deref(),
519 Ok(source)
520 );
521 }
522
523 #[test]
524 fn malformed_source_keeps_source_file_and_diagnostics() {
525 let file = SourceFile::parse("module M where\nfoo = \"unterminated\nbar = 1\n");
526
527 assert_eq!(file.module().name, "M");
528 assert!(file
529 .diagnostics()
530 .iter()
531 .any(|diagnostic| diagnostic.category == DiagnosticCategory::Lex));
532 }
533
534 #[test]
535 fn converts_parser_spans_to_text_ranges() {
536 let file = SourceFile::parse("module M where\nfoo = 1\n");
537 let source_len = file.source().len();
538 let range = file.parser_span_to_text_range(ParserSpan::new(0, source_len));
539
540 assert_eq!(
541 range,
542 TextRange::new(0.into(), source_len.try_into().unwrap())
543 );
544 }
545
546 #[test]
547 fn try_parser_span_to_text_range_rejects_out_of_bounds_spans() {
548 let source = "module M where\nfoo = 1\n";
549 let err = try_parser_span_to_text_range(source, ParserSpan::new(0, source.len() + 1))
550 .unwrap_err();
551 assert_eq!(
552 err.to_string(),
553 format!(
554 "parser span [0, {}) is invalid for source length {}",
555 source.len() + 1,
556 source.len()
557 )
558 );
559 assert_eq!(err.source_len(), source.len());
560 assert_eq!(err.span_start(), 0);
561 assert_eq!(err.span_end(), source.len() + 1);
562 }
563
564 #[test]
565 fn try_parser_span_to_text_range_reports_inverted_spans() {
566 let source = "abc";
567 let err = try_parser_span_to_text_range(source, ParserSpan::new(2, 1)).unwrap_err();
568 assert_eq!(
569 err.to_string(),
570 "parser span [2, 1) is invalid for source length 3"
571 );
572 assert_eq!(err.source_len(), source.len());
573 assert_eq!(err.span_start(), 2);
574 assert_eq!(err.span_end(), 1);
575 }
576
577 #[test]
578 fn try_parser_span_to_text_range_rejects_non_utf8_boundary_spans() {
579 let source = "a😀b";
580 let err = try_parser_span_to_text_range(source, ParserSpan::new(1, 2)).unwrap_err();
581
582 assert_eq!(
583 err.to_string(),
584 "parser span [1, 2) is invalid for source length 6"
585 );
586 assert_eq!(err.source_len(), source.len());
587 assert_eq!(err.span_start(), 1);
588 assert_eq!(err.span_end(), 2);
589 }
590
591 #[test]
592 fn try_parser_span_to_text_range_succeeds_for_valid_span() {
593 let source = "module M where\nfoo = 1\n";
594 let range = try_parser_span_to_text_range(source, ParserSpan::new(0, 5))
595 .expect("span should be valid");
596 assert_eq!(range, TextRange::new(0.into(), 5.into()));
597 }
598}