| // Copyright 2015 The Rust Project Developers. See the COPYRIGHT |
| // file at the top-level directory of this distribution and at |
| // http://rust-lang.org/COPYRIGHT. |
| // |
| // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
| // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
| // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
| // option. This file may not be copied, modified, or distributed |
| // except according to those terms. |
| |
| #![feature(rustc_private)] |
| |
| #[macro_use] |
| extern crate log; |
| |
| extern crate serde; |
| #[macro_use] |
| extern crate serde_derive; |
| extern crate serde_json; |
| |
| extern crate syntax; |
| extern crate rustc_errors as errors; |
| |
| extern crate strings; |
| |
| extern crate unicode_segmentation; |
| extern crate regex; |
| extern crate diff; |
| extern crate term; |
| |
| use errors::{Handler, DiagnosticBuilder}; |
| use errors::emitter::{ColorConfig, EmitterWriter}; |
| use syntax::ast; |
| use syntax::codemap::{CodeMap, Span, FilePathMapping}; |
| use syntax::parse::{self, ParseSess}; |
| |
| use strings::string_buffer::StringBuffer; |
| |
| use std::io::{self, stdout, Write}; |
| use std::ops::{Add, Sub}; |
| use std::path::{Path, PathBuf}; |
| use std::rc::Rc; |
| use std::collections::HashMap; |
| use std::fmt; |
| |
| use issues::{BadIssueSeeker, Issue}; |
| use filemap::FileMap; |
| use visitor::FmtVisitor; |
| use config::Config; |
| use checkstyle::{output_header, output_footer}; |
| |
| pub use self::summary::Summary; |
| |
| #[macro_use] |
| mod utils; |
| pub mod config; |
| pub mod codemap; |
| pub mod filemap; |
| pub mod file_lines; |
| pub mod visitor; |
| mod checkstyle; |
| mod items; |
| mod missed_spans; |
| mod lists; |
| mod types; |
| mod expr; |
| mod imports; |
| mod issues; |
| mod rewrite; |
| mod string; |
| mod comment; |
| pub mod modules; |
| pub mod rustfmt_diff; |
| mod chains; |
| mod macros; |
| mod patterns; |
| mod summary; |
| |
| const MIN_STRING: usize = 10; |
| // When we get scoped annotations, we should have rustfmt::skip. |
| const SKIP_ANNOTATION: &'static str = "rustfmt_skip"; |
| |
| pub trait Spanned { |
| fn span(&self) -> Span; |
| } |
| |
| impl Spanned for ast::Expr { |
| fn span(&self) -> Span { |
| self.span |
| } |
| } |
| |
| impl Spanned for ast::Pat { |
| fn span(&self) -> Span { |
| self.span |
| } |
| } |
| |
| impl Spanned for ast::Ty { |
| fn span(&self) -> Span { |
| self.span |
| } |
| } |
| |
| impl Spanned for ast::Arg { |
| fn span(&self) -> Span { |
| if items::is_named_arg(self) { |
| self.pat.span.to(self.ty.span) |
| } else { |
| self.ty.span |
| } |
| } |
| } |
| |
| #[derive(Copy, Clone, Debug)] |
| pub struct Indent { |
| // Width of the block indent, in characters. Must be a multiple of |
| // Config::tab_spaces. |
| pub block_indent: usize, |
| // Alignment in characters. |
| pub alignment: usize, |
| } |
| |
| impl Indent { |
| pub fn new(block_indent: usize, alignment: usize) -> Indent { |
| Indent { |
| block_indent: block_indent, |
| alignment: alignment, |
| } |
| } |
| |
| pub fn empty() -> Indent { |
| Indent::new(0, 0) |
| } |
| |
| pub fn block_only(&self) -> Indent { |
| Indent { |
| block_indent: self.block_indent, |
| alignment: 0, |
| } |
| } |
| |
| pub fn block_indent(mut self, config: &Config) -> Indent { |
| self.block_indent += config.tab_spaces(); |
| self |
| } |
| |
| pub fn block_unindent(mut self, config: &Config) -> Indent { |
| self.block_indent -= config.tab_spaces(); |
| self |
| } |
| |
| pub fn width(&self) -> usize { |
| self.block_indent + self.alignment |
| } |
| |
| pub fn to_string(&self, config: &Config) -> String { |
| let (num_tabs, num_spaces) = if config.hard_tabs() { |
| (self.block_indent / config.tab_spaces(), self.alignment) |
| } else { |
| (0, self.width()) |
| }; |
| let num_chars = num_tabs + num_spaces; |
| let mut indent = String::with_capacity(num_chars); |
| for _ in 0..num_tabs { |
| indent.push('\t') |
| } |
| for _ in 0..num_spaces { |
| indent.push(' ') |
| } |
| indent |
| } |
| } |
| |
| impl Add for Indent { |
| type Output = Indent; |
| |
| fn add(self, rhs: Indent) -> Indent { |
| Indent { |
| block_indent: self.block_indent + rhs.block_indent, |
| alignment: self.alignment + rhs.alignment, |
| } |
| } |
| } |
| |
| impl Sub for Indent { |
| type Output = Indent; |
| |
| fn sub(self, rhs: Indent) -> Indent { |
| Indent::new(self.block_indent - rhs.block_indent, |
| self.alignment - rhs.alignment) |
| } |
| } |
| |
| impl Add<usize> for Indent { |
| type Output = Indent; |
| |
| fn add(self, rhs: usize) -> Indent { |
| Indent::new(self.block_indent, self.alignment + rhs) |
| } |
| } |
| |
| impl Sub<usize> for Indent { |
| type Output = Indent; |
| |
| fn sub(self, rhs: usize) -> Indent { |
| Indent::new(self.block_indent, self.alignment - rhs) |
| } |
| } |
| |
| #[derive(Copy, Clone, Debug)] |
| pub struct Shape { |
| pub width: usize, |
| // The current indentation of code. |
| pub indent: Indent, |
| // Indentation + any already emitted text on the first line of the current |
| // statement. |
| pub offset: usize, |
| } |
| |
| impl Shape { |
| /// `indent` is the indentation of the first line. The next lines |
| /// should begin with at least `indent` spaces (except backwards |
| /// indentation). The first line should not begin with indentation. |
| /// `width` is the maximum number of characters on the last line |
| /// (excluding `indent`). The width of other lines is not limited by |
| /// `width`. |
| /// Note that in reality, we sometimes use width for lines other than the |
| /// last (i.e., we are conservative). |
| // .......*-------* |
| // | | |
| // | *-* |
| // *-----| |
| // |<------------>| max width |
| // |<---->| indent |
| // |<--->| width |
| pub fn legacy(width: usize, indent: Indent) -> Shape { |
| Shape { |
| width: width, |
| indent: indent, |
| offset: indent.alignment, |
| } |
| } |
| |
| pub fn indented(indent: Indent, config: &Config) -> Shape { |
| Shape { |
| width: config.max_width().checked_sub(indent.width()).unwrap_or(0), |
| indent: indent, |
| offset: indent.alignment, |
| } |
| } |
| |
| pub fn with_max_width(&self, config: &Config) -> Shape { |
| Shape { |
| width: config |
| .max_width() |
| .checked_sub(self.indent.width()) |
| .unwrap_or(0), |
| ..*self |
| } |
| } |
| |
| pub fn offset(width: usize, indent: Indent, offset: usize) -> Shape { |
| Shape { |
| width: width, |
| indent: indent, |
| offset: offset, |
| } |
| } |
| |
| pub fn visual_indent(&self, extra_width: usize) -> Shape { |
| let alignment = self.offset + extra_width; |
| Shape { |
| width: self.width, |
| indent: Indent::new(self.indent.block_indent, alignment), |
| offset: alignment, |
| } |
| } |
| |
| pub fn block_indent(&self, extra_width: usize) -> Shape { |
| if self.indent.alignment == 0 { |
| Shape { |
| width: self.width, |
| indent: Indent::new(self.indent.block_indent + extra_width, 0), |
| offset: 0, |
| } |
| } else { |
| Shape { |
| width: self.width, |
| indent: self.indent + extra_width, |
| offset: self.indent.alignment + extra_width, |
| } |
| } |
| } |
| |
| pub fn block_left(&self, width: usize) -> Option<Shape> { |
| self.block_indent(width).sub_width(width) |
| } |
| |
| pub fn add_offset(&self, extra_width: usize) -> Shape { |
| Shape { |
| offset: self.offset + extra_width, |
| ..*self |
| } |
| } |
| |
| pub fn block(&self) -> Shape { |
| Shape { |
| indent: self.indent.block_only(), |
| ..*self |
| } |
| } |
| |
| pub fn sub_width(&self, width: usize) -> Option<Shape> { |
| Some(Shape { |
| width: try_opt!(self.width.checked_sub(width)), |
| ..*self |
| }) |
| } |
| |
| pub fn shrink_left(&self, width: usize) -> Option<Shape> { |
| Some(Shape { |
| width: try_opt!(self.width.checked_sub(width)), |
| indent: self.indent + width, |
| offset: self.offset + width, |
| }) |
| } |
| |
| pub fn offset_left(&self, width: usize) -> Option<Shape> { |
| self.add_offset(width).sub_width(width) |
| } |
| |
| pub fn used_width(&self) -> usize { |
| self.indent.block_indent + self.offset |
| } |
| } |
| |
| pub enum ErrorKind { |
| // Line has exceeded character limit (found, maximum) |
| LineOverflow(usize, usize), |
| // Line ends in whitespace |
| TrailingWhitespace, |
| // TO-DO or FIX-ME item without an issue number |
| BadIssue(Issue), |
| } |
| |
| impl fmt::Display for ErrorKind { |
| fn fmt(&self, fmt: &mut fmt::Formatter) -> Result<(), fmt::Error> { |
| match *self { |
| ErrorKind::LineOverflow(found, maximum) => { |
| write!(fmt, |
| "line exceeded maximum length (maximum: {}, found: {})", |
| maximum, |
| found) |
| } |
| ErrorKind::TrailingWhitespace => write!(fmt, "left behind trailing whitespace"), |
| ErrorKind::BadIssue(issue) => write!(fmt, "found {}", issue), |
| } |
| } |
| } |
| |
| // Formatting errors that are identified *after* rustfmt has run. |
| pub struct FormattingError { |
| line: u32, |
| kind: ErrorKind, |
| } |
| |
| impl FormattingError { |
| fn msg_prefix(&self) -> &str { |
| match self.kind { |
| ErrorKind::LineOverflow(..) | |
| ErrorKind::TrailingWhitespace => "Rustfmt failed at", |
| ErrorKind::BadIssue(_) => "WARNING:", |
| } |
| } |
| |
| fn msg_suffix(&self) -> &str { |
| match self.kind { |
| ErrorKind::LineOverflow(..) | |
| ErrorKind::TrailingWhitespace => "(sorry)", |
| ErrorKind::BadIssue(_) => "", |
| } |
| } |
| } |
| |
| pub struct FormatReport { |
| // Maps stringified file paths to their associated formatting errors. |
| file_error_map: HashMap<String, Vec<FormattingError>>, |
| } |
| |
| impl FormatReport { |
| fn new() -> FormatReport { |
| FormatReport { file_error_map: HashMap::new() } |
| } |
| |
| pub fn warning_count(&self) -> usize { |
| self.file_error_map |
| .iter() |
| .map(|(_, errors)| errors.len()) |
| .fold(0, |acc, x| acc + x) |
| } |
| |
| pub fn has_warnings(&self) -> bool { |
| self.warning_count() > 0 |
| } |
| } |
| |
| impl fmt::Display for FormatReport { |
| // Prints all the formatting errors. |
| fn fmt(&self, fmt: &mut fmt::Formatter) -> Result<(), fmt::Error> { |
| for (file, errors) in &self.file_error_map { |
| for error in errors { |
| write!(fmt, |
| "{} {}:{}: {} {}\n", |
| error.msg_prefix(), |
| file, |
| error.line, |
| error.kind, |
| error.msg_suffix())?; |
| } |
| } |
| Ok(()) |
| } |
| } |
| |
| // Formatting which depends on the AST. |
| fn format_ast<F>(krate: &ast::Crate, |
| parse_session: &ParseSess, |
| main_file: &Path, |
| config: &Config, |
| mut after_file: F) |
| -> Result<(FileMap, bool), io::Error> |
| where F: FnMut(&str, &mut StringBuffer) -> Result<bool, io::Error> |
| { |
| let mut result = FileMap::new(); |
| // diff mode: check if any files are differing |
| let mut has_diff = false; |
| |
| // We always skip children for the "Plain" write mode, since there is |
| // nothing to distinguish the nested module contents. |
| let skip_children = config.skip_children() || config.write_mode() == config::WriteMode::Plain; |
| for (path, module) in modules::list_files(krate, parse_session.codemap()) { |
| if skip_children && path.as_path() != main_file { |
| continue; |
| } |
| let path = path.to_str().unwrap(); |
| if config.verbose() { |
| println!("Formatting {}", path); |
| } |
| let mut visitor = FmtVisitor::from_codemap(parse_session, config); |
| visitor.format_separate_mod(module); |
| |
| has_diff |= after_file(path, &mut visitor.buffer)?; |
| |
| result.push((path.to_owned(), visitor.buffer)); |
| } |
| |
| Ok((result, has_diff)) |
| } |
| |
| // Formatting done on a char by char or line by line basis. |
| // FIXME(#209) warn on bad license |
| // FIXME(#20) other stuff for parity with make tidy |
| fn format_lines(text: &mut StringBuffer, name: &str, config: &Config, report: &mut FormatReport) { |
| // Iterate over the chars in the file map. |
| let mut trims = vec![]; |
| let mut last_wspace: Option<usize> = None; |
| let mut line_len = 0; |
| let mut cur_line = 1; |
| let mut newline_count = 0; |
| let mut errors = vec![]; |
| let mut issue_seeker = BadIssueSeeker::new(config.report_todo(), config.report_fixme()); |
| |
| for (c, b) in text.chars() { |
| if c == '\r' { |
| continue; |
| } |
| |
| let format_line = config.file_lines().contains_line(name, cur_line as usize); |
| |
| if format_line { |
| // Add warnings for bad todos/ fixmes |
| if let Some(issue) = issue_seeker.inspect(c) { |
| errors.push(FormattingError { |
| line: cur_line, |
| kind: ErrorKind::BadIssue(issue), |
| }); |
| } |
| } |
| |
| if c == '\n' { |
| if format_line { |
| // Check for (and record) trailing whitespace. |
| if let Some(lw) = last_wspace { |
| trims.push((cur_line, lw, b)); |
| line_len -= 1; |
| } |
| |
| // Check for any line width errors we couldn't correct. |
| if config.error_on_line_overflow() && line_len > config.max_width() { |
| errors.push(FormattingError { |
| line: cur_line, |
| kind: ErrorKind::LineOverflow(line_len, config.max_width()), |
| }); |
| } |
| } |
| |
| line_len = 0; |
| cur_line += 1; |
| newline_count += 1; |
| last_wspace = None; |
| } else { |
| newline_count = 0; |
| line_len += 1; |
| if c.is_whitespace() { |
| if last_wspace.is_none() { |
| last_wspace = Some(b); |
| } |
| } else { |
| last_wspace = None; |
| } |
| } |
| } |
| |
| if newline_count > 1 { |
| debug!("track truncate: {} {}", text.len, newline_count); |
| let line = text.len - newline_count + 1; |
| text.truncate(line); |
| } |
| |
| for &(l, _, _) in &trims { |
| errors.push(FormattingError { |
| line: l, |
| kind: ErrorKind::TrailingWhitespace, |
| }); |
| } |
| |
| report.file_error_map.insert(name.to_owned(), errors); |
| } |
| |
| fn parse_input(input: Input, |
| parse_session: &ParseSess) |
| -> Result<ast::Crate, Option<DiagnosticBuilder>> { |
| let result = match input { |
| Input::File(file) => { |
| let mut parser = parse::new_parser_from_file(parse_session, &file); |
| parser.cfg_mods = false; |
| parser.parse_crate_mod() |
| } |
| Input::Text(text) => { |
| let mut parser = |
| parse::new_parser_from_source_str(parse_session, "stdin".to_owned(), text); |
| parser.cfg_mods = false; |
| parser.parse_crate_mod() |
| } |
| }; |
| |
| match result { |
| Ok(c) => { |
| if parse_session.span_diagnostic.has_errors() { |
| // Bail out if the parser recovered from an error. |
| Err(None) |
| } else { |
| Ok(c) |
| } |
| } |
| Err(e) => Err(Some(e)), |
| } |
| } |
| |
| pub fn format_input<T: Write>(input: Input, |
| config: &Config, |
| mut out: Option<&mut T>) |
| -> Result<(Summary, FileMap, FormatReport), (io::Error, Summary)> { |
| let mut summary = Summary::new(); |
| if config.disable_all_formatting() { |
| return Ok((summary, FileMap::new(), FormatReport::new())); |
| } |
| let codemap = Rc::new(CodeMap::new(FilePathMapping::empty())); |
| |
| let tty_handler = |
| Handler::with_tty_emitter(ColorConfig::Auto, true, false, Some(codemap.clone())); |
| let mut parse_session = ParseSess::with_span_handler(tty_handler, codemap.clone()); |
| |
| let main_file = match input { |
| Input::File(ref file) => file.clone(), |
| Input::Text(..) => PathBuf::from("stdin"), |
| }; |
| |
| let krate = match parse_input(input, &parse_session) { |
| Ok(krate) => krate, |
| Err(diagnostic) => { |
| if let Some(mut diagnostic) = diagnostic { |
| diagnostic.emit(); |
| } |
| summary.add_parsing_error(); |
| return Ok((summary, FileMap::new(), FormatReport::new())); |
| } |
| }; |
| |
| if parse_session.span_diagnostic.has_errors() { |
| summary.add_parsing_error(); |
| } |
| |
| // Suppress error output after parsing. |
| let silent_emitter = Box::new(EmitterWriter::new(Box::new(Vec::new()), Some(codemap.clone()))); |
| parse_session.span_diagnostic = Handler::with_emitter(true, false, silent_emitter); |
| |
| let mut report = FormatReport::new(); |
| |
| match format_ast( |
| &krate, |
| &parse_session, |
| &main_file, |
| config, |
| |file_name, file| { |
| // For some reason, the codemap does not include terminating |
| // newlines so we must add one on for each file. This is sad. |
| filemap::append_newline(file); |
| |
| format_lines(file, file_name, config, &mut report); |
| |
| if let Some(ref mut out) = out { |
| return filemap::write_file(file, file_name, out, config); |
| } |
| Ok(false) |
| } |
| ) { |
| Ok((file_map, has_diff)) => { |
| if report.has_warnings() { |
| summary.add_formatting_error(); |
| } |
| |
| if has_diff { |
| summary.add_diff(); |
| } |
| |
| Ok((summary, file_map, report)) |
| } |
| Err(e) => Err((e, summary)), |
| } |
| } |
| |
| #[derive(Debug)] |
| pub enum Input { |
| File(PathBuf), |
| Text(String), |
| } |
| |
| pub fn run(input: Input, config: &Config) -> Summary { |
| let mut out = &mut stdout(); |
| output_header(out, config.write_mode()).ok(); |
| match format_input(input, config, Some(out)) { |
| Ok((summary, _, report)) => { |
| output_footer(out, config.write_mode()).ok(); |
| |
| if report.has_warnings() { |
| msg!("{}", report); |
| } |
| |
| summary |
| } |
| Err((msg, mut summary)) => { |
| msg!("Error writing files: {}", msg); |
| summary.add_operational_error(); |
| summary |
| } |
| } |
| } |
| |
| #[cfg(test)] |
| mod test { |
| use super::*; |
| |
| #[test] |
| fn indent_add_sub() { |
| let indent = Indent::new(4, 8) + Indent::new(8, 12); |
| assert_eq!(12, indent.block_indent); |
| assert_eq!(20, indent.alignment); |
| |
| let indent = indent - Indent::new(4, 4); |
| assert_eq!(8, indent.block_indent); |
| assert_eq!(16, indent.alignment); |
| } |
| |
| #[test] |
| fn indent_add_sub_alignment() { |
| let indent = Indent::new(4, 8) + 4; |
| assert_eq!(4, indent.block_indent); |
| assert_eq!(12, indent.alignment); |
| |
| let indent = indent - 4; |
| assert_eq!(4, indent.block_indent); |
| assert_eq!(8, indent.alignment); |
| } |
| |
| #[test] |
| fn indent_to_string_spaces() { |
| let config = Config::default(); |
| let indent = Indent::new(4, 8); |
| |
| // 12 spaces |
| assert_eq!(" ", indent.to_string(&config)); |
| } |
| |
| #[test] |
| fn indent_to_string_hard_tabs() { |
| let mut config = Config::default(); |
| config.set().hard_tabs(true); |
| let indent = Indent::new(8, 4); |
| |
| // 2 tabs + 4 spaces |
| assert_eq!("\t\t ", indent.to_string(&config)); |
| } |
| |
| #[test] |
| fn shape_visual_indent() { |
| let config = Config::default(); |
| let indent = Indent::new(4, 8); |
| let shape = Shape::legacy(config.max_width(), indent); |
| let shape = shape.visual_indent(20); |
| |
| assert_eq!(config.max_width(), shape.width); |
| assert_eq!(4, shape.indent.block_indent); |
| assert_eq!(28, shape.indent.alignment); |
| assert_eq!(28, shape.offset); |
| } |
| |
| #[test] |
| fn shape_block_indent_without_alignment() { |
| let config = Config::default(); |
| let indent = Indent::new(4, 0); |
| let shape = Shape::legacy(config.max_width(), indent); |
| let shape = shape.block_indent(20); |
| |
| assert_eq!(config.max_width(), shape.width); |
| assert_eq!(24, shape.indent.block_indent); |
| assert_eq!(0, shape.indent.alignment); |
| assert_eq!(0, shape.offset); |
| } |
| |
| #[test] |
| fn shape_block_indent_with_alignment() { |
| let config = Config::default(); |
| let indent = Indent::new(4, 8); |
| let shape = Shape::legacy(config.max_width(), indent); |
| let shape = shape.block_indent(20); |
| |
| assert_eq!(config.max_width(), shape.width); |
| assert_eq!(4, shape.indent.block_indent); |
| assert_eq!(28, shape.indent.alignment); |
| assert_eq!(28, shape.offset); |
| } |
| } |