1 // Copyright 2015 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.
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.
11 use config::WriteMode;
12 use visitor::FmtVisitor;
13 use syntax::codemap::{self, BytePos, Span, Pos};
14 use comment::{CodeCharKind, CommentCodeSlices, rewrite_comment};
16 impl<'a> FmtVisitor<'a> {
17 fn output_at_start(&self) -> bool {
21 // TODO these format_missing methods are ugly. Refactor and add unit tests
22 // for the central whitespace stripping loop.
23 pub fn format_missing(&mut self, end: BytePos) {
24 self.format_missing_inner(end,
25 |this, last_snippet, _| this.buffer.push_str(last_snippet))
28 pub fn format_missing_with_indent(&mut self, end: BytePos) {
29 let config = self.config;
30 self.format_missing_inner(end, |this, last_snippet, snippet| {
31 this.buffer.push_str(last_snippet.trim_right());
32 if last_snippet == snippet && !this.output_at_start() {
33 // No new lines in the snippet.
34 this.buffer.push_str("\n");
36 let indent = this.block_indent.to_string(config);
37 this.buffer.push_str(&indent);
41 pub fn format_missing_no_indent(&mut self, end: BytePos) {
42 self.format_missing_inner(end, |this, last_snippet, _| {
43 this.buffer.push_str(last_snippet.trim_right());
47 fn format_missing_inner<F: Fn(&mut FmtVisitor, &str, &str)>(&mut self,
49 process_last_snippet: F) {
50 let start = self.last_pos;
53 // Do nothing if this is the beginning of the file.
54 if !self.output_at_start() {
55 process_last_snippet(self, "", "");
61 "Request to format inverted span: {:?} to {:?}",
62 self.codemap.lookup_char_pos(start),
63 self.codemap.lookup_char_pos(end));
66 let span = codemap::mk_sp(start, end);
68 self.write_snippet(span, &process_last_snippet);
71 fn write_snippet<F>(&mut self, span: Span, process_last_snippet: F)
72 where F: Fn(&mut FmtVisitor, &str, &str)
74 // Get a snippet from the file start to the span's hi without allocating.
75 // We need it to determine what precedes the current comment. If the comment
76 // follows code on the same line, we won't touch it.
77 let big_span_lo = self.codemap.lookup_char_pos(span.lo).file.start_pos;
78 let local_begin = self.codemap.lookup_byte_offset(big_span_lo);
79 let local_end = self.codemap.lookup_byte_offset(span.hi);
80 let start_index = local_begin.pos.to_usize();
81 let end_index = local_end.pos.to_usize();
82 let big_snippet = &local_begin.fm.src.as_ref().unwrap()[start_index..end_index];
84 let big_diff = (span.lo - big_span_lo).to_usize();
85 let snippet = self.snippet(span);
87 debug!("write_snippet `{}`", snippet);
89 self.write_snippet_inner(big_snippet, big_diff, &snippet, process_last_snippet);
92 fn write_snippet_inner<F>(&mut self,
96 process_last_snippet: F)
97 where F: Fn(&mut FmtVisitor, &str, &str)
99 // Trim whitespace from the right hand side of each line.
100 // Annoyingly, the library functions for splitting by lines etc. are not
101 // quite right, so we must do it ourselves.
102 let mut line_start = 0;
103 let mut last_wspace = None;
104 let mut rewrite_next_comment = true;
106 fn replace_chars(string: &str) -> String {
108 .map(|ch| if ch.is_whitespace() { ch } else { 'X' })
112 let replaced = match self.config.write_mode {
113 WriteMode::Coverage => replace_chars(old_snippet),
114 _ => old_snippet.to_owned(),
116 let snippet = &*replaced;
118 for (kind, offset, subslice) in CommentCodeSlices::new(snippet) {
119 debug!("{:?}: {:?}", kind, subslice);
121 if let CodeCharKind::Comment = kind {
122 let last_char = big_snippet[..(offset + big_diff)]
125 .skip_while(|rev_c| [' ', '\t'].contains(rev_c))
128 let fix_indent = last_char.map_or(true, |rev_c| ['{', '\n'].contains(&rev_c));
130 if rewrite_next_comment {
132 if let Some('{') = last_char {
133 self.buffer.push_str("\n");
135 self.buffer.push_str(&self.block_indent.to_string(self.config));
137 self.buffer.push_str(" ");
140 let comment_width = ::std::cmp::min(self.config.ideal_width,
141 self.config.max_width -
142 self.block_indent.width());
144 self.buffer.push_str(&rewrite_comment(subslice,
152 line_start = offset + subslice.len();
154 if let Some('/') = subslice.chars().skip(1).next() {
155 // check that there are no contained block comments
156 if !subslice.split('\n')
157 .map(|s| s.trim_left())
158 .any(|s| s.len() > 2 && &s[0..2] == "/*") {
159 // Add a newline after line comments
160 self.buffer.push_str("\n");
162 } else if line_start <= snippet.len() {
163 // For other comments add a newline if there isn't one at the end already
164 match snippet[line_start..].chars().next() {
165 Some('\n') | Some('\r') => (),
166 _ => self.buffer.push_str("\n"),
172 rewrite_next_comment = false;
176 for (mut i, c) in subslice.char_indices() {
180 if let Some(lw) = last_wspace {
181 self.buffer.push_str(&snippet[line_start..lw]);
182 self.buffer.push_str("\n");
184 self.buffer.push_str(&snippet[line_start..i + 1]);
189 rewrite_next_comment = rewrite_next_comment || kind == CodeCharKind::Normal;
190 } else if c.is_whitespace() {
191 if last_wspace.is_none() {
192 last_wspace = Some(i);
195 if last_wspace.is_some() {
199 rewrite_next_comment = rewrite_next_comment || kind == CodeCharKind::Normal;
202 rewrite_next_comment = rewrite_next_comment || kind == CodeCharKind::Normal;
207 let remaining = snippet[line_start..subslice.len() + offset].trim();
208 if !remaining.is_empty() {
209 self.buffer.push_str(remaining);
210 line_start = subslice.len() + offset;
211 rewrite_next_comment = rewrite_next_comment || kind == CodeCharKind::Normal;
215 process_last_snippet(self, &snippet[line_start..], snippet);