rust/src/lib.rs

738 lines
20 KiB
Rust
Raw Normal View History

// 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.
// TODO we're going to allocate a whole bunch of temp Strings, is it worth
// keeping some scratch mem for this and running our own StrPool?
2015-04-14 03:00:46 +02:00
// TODO for lint violations of names, emit a refactor script
#[macro_use]
extern crate log;
extern crate syntex_syntax as syntax;
extern crate syntex_errors as errors;
2015-05-23 07:02:59 +02:00
extern crate rustc_serialize;
extern crate strings;
2015-09-04 05:38:12 +02:00
extern crate unicode_segmentation;
extern crate regex;
extern crate diff;
extern crate term;
extern crate itertools;
extern crate multimap;
2015-09-04 05:38:12 +02:00
use errors::{Handler, DiagnosticBuilder};
use errors::emitter::{ColorConfig, EmitterWriter};
2015-04-21 11:01:19 +02:00
use syntax::ast;
2016-03-01 23:27:19 +01:00
use syntax::codemap::{mk_sp, CodeMap, Span};
use syntax::parse::{self, ParseSess};
use strings::string_buffer::StringBuffer;
use std::io::{self, stdout, Write};
use std::ops::{Add, Sub};
2016-04-02 20:56:37 +02:00
use std::path::{Path, PathBuf};
2016-03-01 23:27:19 +01:00
use std::rc::Rc;
use std::collections::HashMap;
use std::fmt;
use issues::{BadIssueSeeker, Issue};
use filemap::FileMap;
2015-04-21 11:01:19 +02:00
use visitor::FmtVisitor;
use config::Config;
use checkstyle::{output_header, output_footer};
pub use self::summary::Summary;
2015-06-08 20:23:24 +02:00
#[macro_use]
mod utils;
2015-07-20 23:29:25 +02:00
pub mod config;
pub mod codemap;
pub mod filemap;
pub mod file_lines;
pub mod visitor;
mod checkstyle;
2015-05-25 01:03:26 +02:00
mod items;
mod missed_spans;
mod lists;
2015-04-21 11:01:19 +02:00
mod types;
mod expr;
mod imports;
mod issues;
2015-06-16 17:29:05 +02:00
mod rewrite;
2015-06-23 15:58:58 +02:00
mod string;
mod comment;
pub mod modules;
pub mod rustfmt_diff;
2015-09-11 00:52:16 +02:00
mod chains;
2015-09-14 22:53:30 +02:00
mod macros;
2015-10-17 15:56:53 +02:00
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";
2015-10-17 15:56:53 +02:00
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) {
mk_sp(self.pat.span.lo, self.ty.span.hi)
} 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.
2015-09-26 23:16:11 +02:00
pub block_indent: usize,
// Alignment in characters.
2015-09-26 23:16:11 +02:00
pub alignment: usize,
}
impl Indent {
pub fn new(block_indent: usize, alignment: usize) -> Indent {
2015-09-26 08:29:48 +02:00
Indent {
block_indent: block_indent,
alignment: alignment,
}
}
pub fn empty() -> Indent {
Indent::new(0, 0)
}
2017-02-21 02:43:43 +01:00
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 {
2017-04-19 16:33:03 +02:00
(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 {
2015-09-24 01:01:01 +02:00
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,
2017-02-21 02:43:43 +01:00
// The current indentation of code.
pub indent: Indent,
2017-02-21 02:43:43 +01:00
// Indentation + any already emitted text on the first line of the current
// statement.
pub offset: usize,
}
impl Shape {
pub fn indented(indent: Indent, config: &Config) -> Shape {
Shape {
width: config.max_width,
indent: indent,
2017-02-21 02:43:43 +01:00
offset: indent.width(),
}
}
/// `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,
2017-02-21 02:43:43 +01:00
offset: indent.alignment,
}
}
2017-02-21 02:43:43 +01:00
pub fn offset(width: usize, indent: Indent, offset: usize) -> Shape {
Shape {
2017-02-21 02:43:43 +01:00
width: width,
indent: indent,
offset: offset,
}
2017-02-22 04:20:50 +01:00
}
2017-02-21 02:43:43 +01:00
pub fn visual_indent(&self, extra_width: usize) -> Shape {
let alignment = self.offset + extra_width;
Shape {
width: self.width,
2017-04-19 11:52:56 +02:00
indent: Indent::new(self.indent.block_indent, alignment),
2017-02-21 02:43:43 +01:00
offset: alignment,
}
}
pub fn block_indent(&self, extra_width: usize) -> Shape {
if self.indent.alignment == 0 {
Shape {
width: self.width,
2017-04-19 11:52:56 +02:00
indent: Indent::new(self.indent.block_indent + extra_width, 0),
2017-02-21 02:43:43 +01:00
offset: 0,
}
} else {
Shape {
width: self.width,
2017-04-19 11:52:56 +02:00
indent: self.indent + extra_width,
2017-02-21 02:43:43 +01:00
offset: self.indent.alignment + extra_width,
}
}
}
2017-02-21 02:43:43 +01:00
pub fn add_offset(&self, extra_width: usize) -> Shape {
Shape {
width: self.width,
2017-04-19 11:52:56 +02:00
indent: self.indent,
2017-02-21 02:43:43 +01:00
offset: self.offset + extra_width,
}
}
pub fn block(&self) -> Shape {
Shape {
width: self.width,
2017-04-19 11:52:56 +02:00
indent: self.indent.block_only(),
2017-02-21 02:43:43 +01:00
offset: self.offset,
}
}
pub fn sub_width(&self, width: usize) -> Option<Shape> {
Some(Shape {
2017-02-22 04:20:50 +01:00
width: try_opt!(self.width.checked_sub(width)),
indent: self.indent,
offset: self.offset,
})
2017-02-21 02:43:43 +01:00
}
pub fn shrink_left(&self, width: usize) -> Option<Shape> {
Some(Shape {
2017-02-22 04:20:50 +01:00
width: try_opt!(self.width.checked_sub(width)),
indent: self.indent + width,
offset: self.offset + width,
})
2017-02-21 02:43:43 +01:00
}
pub fn offset_left(&self, width: usize) -> Option<Shape> {
Some(Shape {
width: try_opt!(self.width.checked_sub(width)),
indent: self.indent,
offset: self.offset + width,
})
}
2017-02-21 02:43:43 +01:00
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> {
2015-09-04 23:39:33 +02:00
for (file, errors) in &self.file_error_map {
for error in errors {
try!(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;
}
2015-07-26 14:05:43 +02:00
let path = path.to_str().unwrap();
2015-11-15 07:41:41 +01:00
if config.verbose {
println!("Formatting {}", path);
}
let mut visitor = FmtVisitor::from_codemap(parse_session, config);
visitor.format_separate_mod(module);
has_diff |= try!(after_file(path, &mut visitor.buffer));
result.push((path.to_owned(), visitor.buffer));
}
Ok((result, has_diff))
}
2015-04-21 12:50:43 +02:00
// 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;
}
// Add warnings for bad todos/ fixmes
if let Some(issue) = issue_seeker.inspect(c) {
errors.push(FormattingError {
2017-02-22 04:20:50 +01:00
line: cur_line,
kind: ErrorKind::BadIssue(issue),
});
}
if c == '\n' {
// 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 {
2015-09-26 08:29:48 +02:00
errors.push(FormattingError {
2017-02-22 04:20:50 +01:00
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);
}
2015-04-23 08:02:55 +02:00
for &(l, _, _) in &trims {
errors.push(FormattingError {
2017-02-22 04:20:50 +01:00
line: l,
kind: ErrorKind::TrailingWhitespace,
});
2015-04-23 08:02:55 +02:00
}
2017-03-28 00:25:59 +02:00
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()
}
2016-04-11 18:49:56 +02:00
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()
2016-04-11 18:49:56 +02:00
}
};
2016-05-17 23:58:51 +02:00
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()));
}
2016-03-01 23:27:19 +01:00
let codemap = Rc::new(CodeMap::new());
2016-05-12 21:50:43 +02:00
let tty_handler =
Handler::with_tty_emitter(ColorConfig::Auto, true, false, Some(codemap.clone()));
2016-03-01 23:27:19 +01:00
let mut parse_session = ParseSess::with_span_handler(tty_handler, codemap.clone());
2016-04-11 18:49:56 +02:00
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()));
2016-04-11 18:49:56 +02:00
}
};
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())));
2016-03-01 23:27:19 +01:00
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)),
}
2016-04-02 20:56:37 +02:00
}
2016-05-25 20:41:26 +02:00
#[derive(Debug)]
2016-04-02 20:56:37 +02:00
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.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::indented(indent, &config);
let shape = shape.visual_indent(20);
assert_eq!(config.max_width, shape.width);
assert_eq!(4, shape.indent.block_indent);
assert_eq!(32, shape.indent.alignment);
assert_eq!(32, shape.offset);
}
#[test]
fn shape_block_indent_without_alignment() {
let config = Config::default();
let indent = Indent::new(4, 0);
let shape = Shape::indented(indent, &config);
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::indented(indent, &config);
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);
}
}