]> git.lizzy.rs Git - rust.git/blob - src/codemap.rs
Explicitly handle semicolon after the item in statement position
[rust.git] / src / codemap.rs
1 // Copyright 2016 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
4 //
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
10
11 //! This module contains utilities that work with the `CodeMap` from `libsyntax` / `syntex_syntax`.
12 //! This includes extension traits and methods for looking up spans and line ranges for AST nodes.
13
14 use config::file_lines::LineRange;
15 use syntax::codemap::{BytePos, CodeMap, Span};
16 use visitor::SnippetProvider;
17
18 use comment::FindUncommented;
19
20 pub trait SpanUtils {
21     fn span_after(&self, original: Span, needle: &str) -> BytePos;
22     fn span_after_last(&self, original: Span, needle: &str) -> BytePos;
23     fn span_before(&self, original: Span, needle: &str) -> BytePos;
24     fn opt_span_after(&self, original: Span, needle: &str) -> Option<BytePos>;
25     fn opt_span_before(&self, original: Span, needle: &str) -> Option<BytePos>;
26 }
27
28 pub trait LineRangeUtils {
29     /// Returns the `LineRange` that corresponds to `span` in `self`.
30     ///
31     /// # Panics
32     ///
33     /// Panics if `span` crosses a file boundary, which shouldn't happen.
34     fn lookup_line_range(&self, span: Span) -> LineRange;
35 }
36
37 impl<'a> SpanUtils for SnippetProvider<'a> {
38     fn span_after(&self, original: Span, needle: &str) -> BytePos {
39         self.opt_span_after(original, needle).expect("bad span")
40     }
41
42     fn span_after_last(&self, original: Span, needle: &str) -> BytePos {
43         let snippet = self.span_to_snippet(original).unwrap();
44         let mut offset = 0;
45
46         while let Some(additional_offset) = snippet[offset..].find_uncommented(needle) {
47             offset += additional_offset + needle.len();
48         }
49
50         original.lo() + BytePos(offset as u32)
51     }
52
53     fn span_before(&self, original: Span, needle: &str) -> BytePos {
54         self.opt_span_before(original, needle).expect("bad span")
55     }
56
57     fn opt_span_after(&self, original: Span, needle: &str) -> Option<BytePos> {
58         self.opt_span_before(original, needle)
59             .map(|bytepos| bytepos + BytePos(needle.len() as u32))
60     }
61
62     fn opt_span_before(&self, original: Span, needle: &str) -> Option<BytePos> {
63         let snippet = self.span_to_snippet(original)?;
64         let offset = snippet.find_uncommented(needle)?;
65
66         Some(original.lo() + BytePos(offset as u32))
67     }
68 }
69
70 impl LineRangeUtils for CodeMap {
71     fn lookup_line_range(&self, span: Span) -> LineRange {
72         let lo = self.lookup_line(span.lo()).unwrap();
73         let hi = self.lookup_line(span.hi()).unwrap();
74
75         debug_assert_eq!(
76             lo.fm.name, hi.fm.name,
77             "span crossed file boundary: lo: {:?}, hi: {:?}",
78             lo, hi
79         );
80
81         // Line numbers start at 1
82         LineRange {
83             file: lo.fm.clone(),
84             lo: lo.line + 1,
85             hi: hi.line + 1,
86         }
87     }
88 }