2015-03-07 16:46:35 -06:00
|
|
|
// 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.
|
|
|
|
|
2017-06-13 20:57:31 -05:00
|
|
|
#![feature(rustc_private)]
|
2015-04-13 20:00:46 -05:00
|
|
|
|
2017-08-08 10:16:35 -05:00
|
|
|
extern crate diff;
|
2015-03-07 16:46:35 -06:00
|
|
|
#[macro_use]
|
|
|
|
extern crate log;
|
2017-08-08 10:16:35 -05:00
|
|
|
extern crate regex;
|
|
|
|
extern crate rustc_errors as errors;
|
2017-05-03 03:23:50 -05:00
|
|
|
extern crate serde;
|
|
|
|
#[macro_use]
|
|
|
|
extern crate serde_derive;
|
|
|
|
extern crate serde_json;
|
2015-04-13 20:12:56 -05:00
|
|
|
extern crate strings;
|
2017-08-08 10:16:35 -05:00
|
|
|
extern crate syntax;
|
2015-09-10 17:27:22 -05:00
|
|
|
extern crate term;
|
2017-08-08 10:16:35 -05:00
|
|
|
extern crate unicode_segmentation;
|
2015-09-03 22:38:12 -05:00
|
|
|
|
2017-07-13 04:42:14 -05:00
|
|
|
use std::collections::HashMap;
|
|
|
|
use std::fmt;
|
2016-05-15 04:41:05 -05:00
|
|
|
use std::io::{self, stdout, Write};
|
2017-08-15 02:54:07 -05:00
|
|
|
use std::iter::repeat;
|
2015-09-06 00:39:28 -05:00
|
|
|
use std::ops::{Add, Sub};
|
2016-04-02 13:56:37 -05:00
|
|
|
use std::path::{Path, PathBuf};
|
2016-03-01 16:27:19 -06:00
|
|
|
use std::rc::Rc;
|
2015-03-07 16:46:35 -06:00
|
|
|
|
2017-07-13 04:42:14 -05:00
|
|
|
use errors::{DiagnosticBuilder, Handler};
|
|
|
|
use errors::emitter::{ColorConfig, EmitterWriter};
|
|
|
|
use strings::string_buffer::StringBuffer;
|
|
|
|
use syntax::ast;
|
|
|
|
use syntax::codemap::{CodeMap, FilePathMapping, Span};
|
|
|
|
use syntax::parse::{self, ParseSess};
|
|
|
|
|
|
|
|
use checkstyle::{output_footer, output_header};
|
2016-04-14 18:51:50 -05:00
|
|
|
use config::Config;
|
2017-07-13 04:42:14 -05:00
|
|
|
use filemap::FileMap;
|
|
|
|
use issues::{BadIssueSeeker, Issue};
|
2017-08-15 02:54:18 -05:00
|
|
|
use utils::{isatty, mk_sp, outer_attributes};
|
2017-07-13 04:42:14 -05:00
|
|
|
use visitor::FmtVisitor;
|
2016-04-14 18:51:50 -05:00
|
|
|
|
|
|
|
pub use self::summary::Summary;
|
2015-03-07 16:46:35 -06:00
|
|
|
|
2015-06-08 13:23:24 -05:00
|
|
|
#[macro_use]
|
|
|
|
mod utils;
|
2015-07-20 16:29:25 -05:00
|
|
|
pub mod config;
|
2016-05-25 13:41:26 -05:00
|
|
|
pub mod codemap;
|
2015-09-17 13:21:06 -05:00
|
|
|
pub mod filemap;
|
2016-05-26 07:17:20 -05:00
|
|
|
pub mod file_lines;
|
2016-05-05 19:20:38 -05:00
|
|
|
pub mod visitor;
|
2016-01-12 23:22:30 -06:00
|
|
|
mod checkstyle;
|
2015-05-24 18:03:26 -05:00
|
|
|
mod items;
|
2015-04-20 23:47:15 -05:00
|
|
|
mod missed_spans;
|
|
|
|
mod lists;
|
2015-04-21 04:01:19 -05:00
|
|
|
mod types;
|
|
|
|
mod expr;
|
|
|
|
mod imports;
|
2015-06-08 18:42:29 -05:00
|
|
|
mod issues;
|
2015-06-16 10:29:05 -05:00
|
|
|
mod rewrite;
|
2015-06-23 08:58:58 -05:00
|
|
|
mod string;
|
|
|
|
mod comment;
|
2016-05-05 19:20:38 -05:00
|
|
|
pub mod modules;
|
2015-09-10 17:27:22 -05:00
|
|
|
pub mod rustfmt_diff;
|
2015-09-10 17:52:16 -05:00
|
|
|
mod chains;
|
2015-09-14 15:53:30 -05:00
|
|
|
mod macros;
|
2015-10-17 08:56:53 -05:00
|
|
|
mod patterns;
|
2016-04-14 18:51:50 -05:00
|
|
|
mod summary;
|
2017-07-03 04:54:41 -05:00
|
|
|
mod vertical;
|
2015-03-07 16:46:35 -06:00
|
|
|
|
2017-08-24 18:19:51 -05:00
|
|
|
/// Spanned returns a span including attributes, if available.
|
2015-10-17 08:56:53 -05:00
|
|
|
pub trait Spanned {
|
|
|
|
fn span(&self) -> Span;
|
|
|
|
}
|
|
|
|
|
2017-08-05 01:21:46 -05:00
|
|
|
macro_rules! span_with_attrs_lo_hi {
|
|
|
|
($this:ident, $lo:expr, $hi:expr) => {
|
|
|
|
{
|
|
|
|
let attrs = outer_attributes(&$this.attrs);
|
|
|
|
if attrs.is_empty() {
|
|
|
|
mk_sp($lo, $hi)
|
|
|
|
} else {
|
2017-08-19 13:47:40 -05:00
|
|
|
mk_sp(attrs[0].span.lo(), $hi)
|
2017-08-05 01:21:46 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2017-08-30 05:27:36 -05:00
|
|
|
|
2017-08-05 01:21:46 -05:00
|
|
|
macro_rules! span_with_attrs {
|
|
|
|
($this:ident) => {
|
2017-08-19 13:47:40 -05:00
|
|
|
span_with_attrs_lo_hi!($this, $this.span.lo(), $this.span.hi())
|
2017-08-05 01:21:46 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-08-30 05:27:36 -05:00
|
|
|
macro_rules! implement_spanned {
|
|
|
|
($this:ty) => {
|
|
|
|
impl Spanned for $this {
|
|
|
|
fn span(&self) -> Span {
|
|
|
|
span_with_attrs!(self)
|
|
|
|
}
|
|
|
|
}
|
2017-08-05 01:21:46 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-08-30 05:27:36 -05:00
|
|
|
// Implement `Spanned` for structs with `attrs` field.
|
|
|
|
implement_spanned!(ast::Expr);
|
|
|
|
implement_spanned!(ast::Field);
|
|
|
|
implement_spanned!(ast::ForeignItem);
|
|
|
|
implement_spanned!(ast::Item);
|
|
|
|
implement_spanned!(ast::Local);
|
2017-07-20 09:58:00 -05:00
|
|
|
|
|
|
|
impl Spanned for ast::Stmt {
|
|
|
|
fn span(&self) -> Span {
|
|
|
|
match self.node {
|
2017-08-30 21:11:52 -05:00
|
|
|
ast::StmtKind::Local(ref local) => mk_sp(local.span().lo(), self.span.hi()),
|
|
|
|
ast::StmtKind::Item(ref item) => mk_sp(item.span().lo(), self.span.hi()),
|
2017-07-20 09:58:00 -05:00
|
|
|
ast::StmtKind::Expr(ref expr) | ast::StmtKind::Semi(ref expr) => {
|
2017-08-19 13:47:40 -05:00
|
|
|
mk_sp(expr.span().lo(), self.span.hi())
|
2017-07-20 09:58:00 -05:00
|
|
|
}
|
2017-08-30 05:27:36 -05:00
|
|
|
ast::StmtKind::Mac(ref mac) => {
|
|
|
|
let (_, _, ref attrs) = **mac;
|
|
|
|
if attrs.is_empty() {
|
|
|
|
self.span
|
|
|
|
} else {
|
2017-08-30 21:11:52 -05:00
|
|
|
mk_sp(attrs[0].span.lo(), self.span.hi())
|
2017-08-30 05:27:36 -05:00
|
|
|
}
|
|
|
|
}
|
2017-07-20 09:58:00 -05:00
|
|
|
}
|
2015-10-17 08:56:53 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Spanned for ast::Pat {
|
|
|
|
fn span(&self) -> Span {
|
|
|
|
self.span
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Spanned for ast::Ty {
|
|
|
|
fn span(&self) -> Span {
|
|
|
|
self.span
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-07-11 07:52:27 -05:00
|
|
|
impl Spanned for ast::Arm {
|
|
|
|
fn span(&self) -> Span {
|
2017-08-19 13:47:40 -05:00
|
|
|
span_with_attrs_lo_hi!(self, self.pats[0].span.lo(), self.body.span.hi())
|
2017-07-11 07:52:27 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-12-05 18:11:26 -06:00
|
|
|
impl Spanned for ast::Arg {
|
|
|
|
fn span(&self) -> Span {
|
|
|
|
if items::is_named_arg(self) {
|
2017-08-19 13:47:40 -05:00
|
|
|
utils::mk_sp(self.pat.span.lo(), self.ty.span.hi())
|
2015-12-05 18:11:26 -06:00
|
|
|
} else {
|
|
|
|
self.ty.span
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-07-03 04:48:21 -05:00
|
|
|
impl Spanned for ast::StructField {
|
|
|
|
fn span(&self) -> Span {
|
2017-08-19 13:47:40 -05:00
|
|
|
span_with_attrs_lo_hi!(self, self.span.lo(), self.ty.span.hi())
|
2017-07-03 04:48:21 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-07-10 00:35:50 -05:00
|
|
|
impl Spanned for ast::WherePredicate {
|
|
|
|
fn span(&self) -> Span {
|
|
|
|
match *self {
|
|
|
|
ast::WherePredicate::BoundPredicate(ref p) => p.span,
|
|
|
|
ast::WherePredicate::RegionPredicate(ref p) => p.span,
|
|
|
|
ast::WherePredicate::EqPredicate(ref p) => p.span,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Spanned for ast::FunctionRetTy {
|
|
|
|
fn span(&self) -> Span {
|
|
|
|
match *self {
|
|
|
|
ast::FunctionRetTy::Default(span) => span,
|
|
|
|
ast::FunctionRetTy::Ty(ref ty) => ty.span,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Spanned for ast::TyParam {
|
|
|
|
fn span(&self) -> Span {
|
|
|
|
// Note that ty.span is the span for ty.ident, not the whole item.
|
|
|
|
let lo = if self.attrs.is_empty() {
|
2017-08-19 13:47:40 -05:00
|
|
|
self.span.lo()
|
2017-07-10 00:35:50 -05:00
|
|
|
} else {
|
2017-08-19 13:47:40 -05:00
|
|
|
self.attrs[0].span.lo()
|
2017-07-10 00:35:50 -05:00
|
|
|
};
|
|
|
|
if let Some(ref def) = self.default {
|
2017-08-19 13:47:40 -05:00
|
|
|
return mk_sp(lo, def.span.hi());
|
2017-07-10 00:35:50 -05:00
|
|
|
}
|
|
|
|
if self.bounds.is_empty() {
|
2017-08-19 13:47:40 -05:00
|
|
|
return mk_sp(lo, self.span.hi());
|
2017-07-10 00:35:50 -05:00
|
|
|
}
|
2017-08-19 13:47:40 -05:00
|
|
|
let hi = self.bounds[self.bounds.len() - 1].span().hi();
|
2017-07-10 00:35:50 -05:00
|
|
|
mk_sp(lo, hi)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Spanned for ast::TyParamBound {
|
|
|
|
fn span(&self) -> Span {
|
|
|
|
match *self {
|
|
|
|
ast::TyParamBound::TraitTyParamBound(ref ptr, _) => ptr.span,
|
|
|
|
ast::TyParamBound::RegionTyParamBound(ref l) => l.span,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-09-06 00:39:28 -05:00
|
|
|
#[derive(Copy, Clone, Debug)]
|
|
|
|
pub struct Indent {
|
2015-09-18 23:50:44 -05:00
|
|
|
// Width of the block indent, in characters. Must be a multiple of
|
|
|
|
// Config::tab_spaces.
|
2015-09-26 16:16:11 -05:00
|
|
|
pub block_indent: usize,
|
2015-09-18 23:50:44 -05:00
|
|
|
// Alignment in characters.
|
2015-09-26 16:16:11 -05:00
|
|
|
pub alignment: usize,
|
2015-09-06 00:39:28 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Indent {
|
|
|
|
pub fn new(block_indent: usize, alignment: usize) -> Indent {
|
2015-09-26 01:29:48 -05:00
|
|
|
Indent {
|
|
|
|
block_indent: block_indent,
|
|
|
|
alignment: alignment,
|
|
|
|
}
|
2015-09-06 00:39:28 -05:00
|
|
|
}
|
|
|
|
|
2017-08-26 23:44:49 -05:00
|
|
|
pub fn from_width(config: &Config, width: usize) -> Indent {
|
|
|
|
if config.hard_tabs() {
|
|
|
|
let tab_num = width / config.tab_spaces();
|
|
|
|
let alignment = width % config.tab_spaces();
|
|
|
|
Indent::new(config.tab_spaces() * tab_num, alignment)
|
|
|
|
} else {
|
|
|
|
Indent::new(width, 0)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-09-18 23:50:44 -05:00
|
|
|
pub fn empty() -> Indent {
|
|
|
|
Indent::new(0, 0)
|
|
|
|
}
|
|
|
|
|
2017-02-20 19:43:43 -06:00
|
|
|
pub fn block_only(&self) -> Indent {
|
|
|
|
Indent {
|
|
|
|
block_indent: self.block_indent,
|
|
|
|
alignment: 0,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-09-18 23:50:44 -05:00
|
|
|
pub fn block_indent(mut self, config: &Config) -> Indent {
|
2017-05-16 03:47:09 -05:00
|
|
|
self.block_indent += config.tab_spaces();
|
2015-09-06 00:39:28 -05:00
|
|
|
self
|
|
|
|
}
|
|
|
|
|
2015-09-18 23:50:44 -05:00
|
|
|
pub fn block_unindent(mut self, config: &Config) -> Indent {
|
2017-06-13 10:06:48 -05:00
|
|
|
if self.block_indent < config.tab_spaces() {
|
|
|
|
Indent::new(self.block_indent, 0)
|
|
|
|
} else {
|
|
|
|
self.block_indent -= config.tab_spaces();
|
|
|
|
self
|
|
|
|
}
|
2015-09-06 00:39:28 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn width(&self) -> usize {
|
|
|
|
self.block_indent + self.alignment
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn to_string(&self, config: &Config) -> String {
|
2017-05-16 03:47:09 -05:00
|
|
|
let (num_tabs, num_spaces) = if config.hard_tabs() {
|
|
|
|
(self.block_indent / config.tab_spaces(), self.alignment)
|
2015-09-06 00:39:28 -05:00
|
|
|
} else {
|
2017-04-19 09:33:03 -05:00
|
|
|
(0, self.width())
|
2015-09-06 00:39:28 -05:00
|
|
|
};
|
|
|
|
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 {
|
2017-06-11 22:58:58 -05:00
|
|
|
Indent::new(
|
|
|
|
self.block_indent - rhs.block_indent,
|
|
|
|
self.alignment - rhs.alignment,
|
|
|
|
)
|
2015-09-06 00:39:28 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Add<usize> for Indent {
|
|
|
|
type Output = Indent;
|
|
|
|
|
|
|
|
fn add(self, rhs: usize) -> Indent {
|
2015-09-18 23:50:44 -05:00
|
|
|
Indent::new(self.block_indent, self.alignment + rhs)
|
2015-09-06 00:39:28 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-10-24 05:19:58 -05:00
|
|
|
impl Sub<usize> for Indent {
|
|
|
|
type Output = Indent;
|
|
|
|
|
|
|
|
fn sub(self, rhs: usize) -> Indent {
|
|
|
|
Indent::new(self.block_indent, self.alignment - rhs)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-01-30 13:28:48 -06:00
|
|
|
#[derive(Copy, Clone, Debug)]
|
|
|
|
pub struct Shape {
|
|
|
|
pub width: usize,
|
2017-02-20 19:43:43 -06:00
|
|
|
// The current indentation of code.
|
2017-01-30 13:28:48 -06:00
|
|
|
pub indent: Indent,
|
2017-02-20 19:43:43 -06:00
|
|
|
// Indentation + any already emitted text on the first line of the current
|
|
|
|
// statement.
|
|
|
|
pub offset: usize,
|
2017-01-30 13:28:48 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
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,
|
2017-02-20 19:43:43 -06:00
|
|
|
offset: indent.alignment,
|
2017-01-30 13:28:48 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-05-07 17:24:12 -05:00
|
|
|
pub fn indented(indent: Indent, config: &Config) -> Shape {
|
|
|
|
Shape {
|
2017-05-16 03:47:09 -05:00
|
|
|
width: config.max_width().checked_sub(indent.width()).unwrap_or(0),
|
2017-05-07 17:24:12 -05:00
|
|
|
indent: indent,
|
|
|
|
offset: indent.alignment,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn with_max_width(&self, config: &Config) -> Shape {
|
|
|
|
Shape {
|
|
|
|
width: config
|
2017-05-16 03:47:09 -05:00
|
|
|
.max_width()
|
2017-05-07 17:24:12 -05:00
|
|
|
.checked_sub(self.indent.width())
|
|
|
|
.unwrap_or(0),
|
|
|
|
..*self
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-02-20 19:43:43 -06:00
|
|
|
pub fn offset(width: usize, indent: Indent, offset: usize) -> Shape {
|
2017-01-30 13:28:48 -06:00
|
|
|
Shape {
|
2017-02-20 19:43:43 -06:00
|
|
|
width: width,
|
|
|
|
indent: indent,
|
|
|
|
offset: offset,
|
|
|
|
}
|
2017-02-21 21:20:50 -06:00
|
|
|
}
|
2017-02-20 19:43:43 -06:00
|
|
|
|
|
|
|
pub fn visual_indent(&self, extra_width: usize) -> Shape {
|
|
|
|
let alignment = self.offset + extra_width;
|
|
|
|
Shape {
|
|
|
|
width: self.width,
|
2017-04-19 04:52:56 -05:00
|
|
|
indent: Indent::new(self.indent.block_indent, alignment),
|
2017-02-20 19:43:43 -06:00
|
|
|
offset: alignment,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn block_indent(&self, extra_width: usize) -> Shape {
|
|
|
|
if self.indent.alignment == 0 {
|
|
|
|
Shape {
|
|
|
|
width: self.width,
|
2017-04-19 04:52:56 -05:00
|
|
|
indent: Indent::new(self.indent.block_indent + extra_width, 0),
|
2017-02-20 19:43:43 -06:00
|
|
|
offset: 0,
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
Shape {
|
|
|
|
width: self.width,
|
2017-04-19 04:52:56 -05:00
|
|
|
indent: self.indent + extra_width,
|
2017-02-20 19:43:43 -06:00
|
|
|
offset: self.indent.alignment + extra_width,
|
|
|
|
}
|
2017-01-30 13:28:48 -06:00
|
|
|
}
|
|
|
|
}
|
2017-02-20 19:43:43 -06:00
|
|
|
|
2017-05-04 21:29:18 -05:00
|
|
|
pub fn block_left(&self, width: usize) -> Option<Shape> {
|
2017-05-07 17:24:32 -05:00
|
|
|
self.block_indent(width).sub_width(width)
|
2017-05-04 21:29:18 -05:00
|
|
|
}
|
|
|
|
|
2017-02-20 19:43:43 -06:00
|
|
|
pub fn add_offset(&self, extra_width: usize) -> Shape {
|
|
|
|
Shape {
|
|
|
|
offset: self.offset + extra_width,
|
2017-05-07 17:24:32 -05:00
|
|
|
..*self
|
2017-02-20 19:43:43 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn block(&self) -> Shape {
|
|
|
|
Shape {
|
2017-04-19 04:52:56 -05:00
|
|
|
indent: self.indent.block_only(),
|
2017-05-07 17:24:32 -05:00
|
|
|
..*self
|
2017-02-20 19:43:43 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn sub_width(&self, width: usize) -> Option<Shape> {
|
|
|
|
Some(Shape {
|
2017-06-11 22:58:58 -05:00
|
|
|
width: try_opt!(self.width.checked_sub(width)),
|
|
|
|
..*self
|
|
|
|
})
|
2017-02-20 19:43:43 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn shrink_left(&self, width: usize) -> Option<Shape> {
|
|
|
|
Some(Shape {
|
2017-06-11 22:58:58 -05:00
|
|
|
width: try_opt!(self.width.checked_sub(width)),
|
|
|
|
indent: self.indent + width,
|
|
|
|
offset: self.offset + width,
|
|
|
|
})
|
2017-02-20 19:43:43 -06:00
|
|
|
}
|
|
|
|
|
2017-03-20 17:23:59 -05:00
|
|
|
pub fn offset_left(&self, width: usize) -> Option<Shape> {
|
2017-05-07 17:24:32 -05:00
|
|
|
self.add_offset(width).sub_width(width)
|
2017-03-20 17:23:59 -05:00
|
|
|
}
|
|
|
|
|
2017-02-20 19:43:43 -06:00
|
|
|
pub fn used_width(&self) -> usize {
|
|
|
|
self.indent.block_indent + self.offset
|
|
|
|
}
|
2017-07-09 12:16:57 -05:00
|
|
|
|
|
|
|
pub fn rhs_overhead(&self, config: &Config) -> usize {
|
|
|
|
config
|
|
|
|
.max_width()
|
|
|
|
.checked_sub(self.used_width() + self.width)
|
|
|
|
.unwrap_or(0)
|
|
|
|
}
|
2017-01-30 13:28:48 -06:00
|
|
|
}
|
|
|
|
|
2015-09-17 13:21:06 -05:00
|
|
|
pub enum ErrorKind {
|
2017-01-08 20:57:11 -06:00
|
|
|
// Line has exceeded character limit (found, maximum)
|
|
|
|
LineOverflow(usize, usize),
|
2015-06-08 18:42:29 -05:00
|
|
|
// 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 {
|
2017-07-11 07:53:10 -05:00
|
|
|
ErrorKind::LineOverflow(found, maximum) => write!(
|
|
|
|
fmt,
|
2017-08-15 02:54:07 -05:00
|
|
|
"line exceeded maximum width (maximum: {}, found: {})",
|
2017-07-11 07:53:10 -05:00
|
|
|
maximum,
|
|
|
|
found
|
|
|
|
),
|
2015-11-14 14:57:31 -06:00
|
|
|
ErrorKind::TrailingWhitespace => write!(fmt, "left behind trailing whitespace"),
|
|
|
|
ErrorKind::BadIssue(issue) => write!(fmt, "found {}", issue),
|
2015-06-08 18:42:29 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-09-17 13:21:06 -05:00
|
|
|
// Formatting errors that are identified *after* rustfmt has run.
|
|
|
|
pub struct FormattingError {
|
2017-08-15 02:52:11 -05:00
|
|
|
line: usize,
|
2015-06-08 18:42:29 -05:00
|
|
|
kind: ErrorKind,
|
2017-08-15 02:52:11 -05:00
|
|
|
is_comment: bool,
|
|
|
|
line_buffer: String,
|
2015-06-08 18:42:29 -05:00
|
|
|
}
|
|
|
|
|
2015-07-15 21:17:07 -05:00
|
|
|
impl FormattingError {
|
|
|
|
fn msg_prefix(&self) -> &str {
|
|
|
|
match self.kind {
|
2017-08-15 02:54:07 -05:00
|
|
|
ErrorKind::LineOverflow(..) | ErrorKind::TrailingWhitespace => "error:",
|
2015-07-15 21:17:07 -05:00
|
|
|
ErrorKind::BadIssue(_) => "WARNING:",
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-08-15 02:54:07 -05:00
|
|
|
fn msg_suffix(&self) -> String {
|
2015-07-15 21:17:07 -05:00
|
|
|
match self.kind {
|
2017-08-15 02:54:07 -05:00
|
|
|
ErrorKind::LineOverflow(..) if self.is_comment => format!(
|
2017-08-18 18:31:13 -05:00
|
|
|
"use `error_on_line_overflow_comments = false` to suppress \
|
2017-08-15 02:54:07 -05:00
|
|
|
the warning against line comments\n",
|
|
|
|
),
|
2017-08-15 02:49:54 -05:00
|
|
|
_ => String::from(""),
|
2015-07-15 21:17:07 -05:00
|
|
|
}
|
|
|
|
}
|
2017-08-15 02:54:07 -05:00
|
|
|
|
|
|
|
// (space, target)
|
|
|
|
pub fn format_len(&self) -> (usize, usize) {
|
|
|
|
match self.kind {
|
|
|
|
ErrorKind::LineOverflow(found, max) => (max, found - max),
|
|
|
|
ErrorKind::TrailingWhitespace => {
|
|
|
|
let trailing_ws_len = self.line_buffer
|
|
|
|
.chars()
|
|
|
|
.rev()
|
|
|
|
.take_while(|c| c.is_whitespace())
|
|
|
|
.count();
|
|
|
|
(self.line_buffer.len() - trailing_ws_len, trailing_ws_len)
|
|
|
|
}
|
|
|
|
_ => (0, 0), // unreachable
|
|
|
|
}
|
|
|
|
}
|
2015-07-15 21:17:07 -05:00
|
|
|
}
|
|
|
|
|
2015-09-17 13:21:06 -05:00
|
|
|
pub struct FormatReport {
|
|
|
|
// Maps stringified file paths to their associated formatting errors.
|
2015-06-08 18:42:29 -05:00
|
|
|
file_error_map: HashMap<String, Vec<FormattingError>>,
|
|
|
|
}
|
|
|
|
|
2015-09-17 13:21:06 -05:00
|
|
|
impl FormatReport {
|
2016-04-14 18:51:50 -05:00
|
|
|
fn new() -> FormatReport {
|
2017-07-03 04:54:26 -05:00
|
|
|
FormatReport {
|
|
|
|
file_error_map: HashMap::new(),
|
|
|
|
}
|
2016-04-14 18:51:50 -05:00
|
|
|
}
|
|
|
|
|
2015-09-17 13:21:06 -05:00
|
|
|
pub fn warning_count(&self) -> usize {
|
2017-03-06 14:40:08 -06:00
|
|
|
self.file_error_map
|
|
|
|
.iter()
|
|
|
|
.map(|(_, errors)| errors.len())
|
|
|
|
.fold(0, |acc, x| acc + x)
|
2015-09-17 13:21:06 -05:00
|
|
|
}
|
2016-04-14 18:51:50 -05:00
|
|
|
|
|
|
|
pub fn has_warnings(&self) -> bool {
|
|
|
|
self.warning_count() > 0
|
|
|
|
}
|
2017-08-15 02:54:18 -05:00
|
|
|
|
|
|
|
pub fn print_warnings_fancy(
|
|
|
|
&self,
|
|
|
|
mut t: Box<term::Terminal<Output = io::Stderr>>,
|
|
|
|
) -> Result<(), term::Error> {
|
|
|
|
for (file, errors) in &self.file_error_map {
|
|
|
|
for error in errors {
|
|
|
|
let prefix_space_len = error.line.to_string().len();
|
|
|
|
let prefix_spaces: String = repeat(" ").take(1 + prefix_space_len).collect();
|
|
|
|
|
|
|
|
// First line: the overview of error
|
|
|
|
t.fg(term::color::RED)?;
|
|
|
|
t.attr(term::Attr::Bold)?;
|
|
|
|
write!(t, "{} ", error.msg_prefix())?;
|
|
|
|
t.reset()?;
|
|
|
|
t.attr(term::Attr::Bold)?;
|
|
|
|
write!(t, "{}\n", error.kind)?;
|
|
|
|
|
|
|
|
// Second line: file info
|
|
|
|
write!(t, "{}--> ", &prefix_spaces[1..])?;
|
|
|
|
t.reset()?;
|
|
|
|
write!(t, "{}:{}\n", file, error.line)?;
|
|
|
|
|
|
|
|
// Third to fifth lines: show the line which triggered error, if available.
|
|
|
|
if !error.line_buffer.is_empty() {
|
|
|
|
let (space_len, target_len) = error.format_len();
|
|
|
|
t.attr(term::Attr::Bold)?;
|
|
|
|
write!(t, "{}|\n{} | ", prefix_spaces, error.line)?;
|
|
|
|
t.reset()?;
|
|
|
|
write!(t, "{}\n", error.line_buffer)?;
|
|
|
|
t.attr(term::Attr::Bold)?;
|
|
|
|
write!(t, "{}| ", prefix_spaces)?;
|
|
|
|
t.fg(term::color::RED)?;
|
|
|
|
write!(t, "{}\n", target_str(space_len, target_len))?;
|
|
|
|
t.reset()?;
|
|
|
|
}
|
|
|
|
|
|
|
|
// The last line: show note if available.
|
|
|
|
let msg_suffix = error.msg_suffix();
|
|
|
|
if !msg_suffix.is_empty() {
|
|
|
|
t.attr(term::Attr::Bold)?;
|
|
|
|
write!(t, "{}= note: ", prefix_spaces)?;
|
|
|
|
t.reset()?;
|
|
|
|
write!(t, "{}\n", error.msg_suffix())?;
|
|
|
|
} else {
|
|
|
|
write!(t, "\n")?;
|
|
|
|
}
|
|
|
|
t.reset()?;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if !self.file_error_map.is_empty() {
|
|
|
|
t.attr(term::Attr::Bold)?;
|
|
|
|
write!(t, "warning: ")?;
|
|
|
|
t.reset()?;
|
|
|
|
write!(
|
|
|
|
t,
|
|
|
|
"rustfmt may have failed to format. See previous {} errors.\n\n",
|
|
|
|
self.warning_count(),
|
|
|
|
)?;
|
|
|
|
}
|
|
|
|
|
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn target_str(space_len: usize, target_len: usize) -> String {
|
|
|
|
let empty_line: String = repeat(" ").take(space_len).collect();
|
|
|
|
let overflowed: String = repeat("^").take(target_len).collect();
|
|
|
|
empty_line + &overflowed
|
2015-09-17 13:21:06 -05:00
|
|
|
}
|
|
|
|
|
2015-06-08 18:42:29 -05:00
|
|
|
impl fmt::Display for FormatReport {
|
|
|
|
// Prints all the formatting errors.
|
|
|
|
fn fmt(&self, fmt: &mut fmt::Formatter) -> Result<(), fmt::Error> {
|
2015-09-04 16:39:33 -05:00
|
|
|
for (file, errors) in &self.file_error_map {
|
2015-06-08 18:42:29 -05:00
|
|
|
for error in errors {
|
2017-08-15 02:54:07 -05:00
|
|
|
let prefix_space_len = error.line.to_string().len();
|
|
|
|
let prefix_spaces: String = repeat(" ").take(1 + prefix_space_len).collect();
|
|
|
|
|
|
|
|
let error_line_buffer = if error.line_buffer.is_empty() {
|
|
|
|
String::from(" ")
|
|
|
|
} else {
|
|
|
|
let (space_len, target_len) = error.format_len();
|
|
|
|
format!(
|
|
|
|
"{}|\n{} | {}\n{}| {}",
|
|
|
|
prefix_spaces,
|
|
|
|
error.line,
|
|
|
|
error.line_buffer,
|
|
|
|
prefix_spaces,
|
|
|
|
target_str(space_len, target_len)
|
|
|
|
)
|
|
|
|
};
|
|
|
|
|
|
|
|
let error_info = format!("{} {}", error.msg_prefix(), error.kind);
|
|
|
|
let file_info = format!("{}--> {}:{}", &prefix_spaces[1..], file, error.line);
|
|
|
|
let msg_suffix = error.msg_suffix();
|
|
|
|
let note = if msg_suffix.is_empty() {
|
|
|
|
String::new()
|
|
|
|
} else {
|
|
|
|
format!("{}note= ", prefix_spaces)
|
|
|
|
};
|
|
|
|
|
2017-06-11 22:58:58 -05:00
|
|
|
write!(
|
|
|
|
fmt,
|
2017-08-15 02:54:07 -05:00
|
|
|
"{}\n{}\n{}\n{}{}\n",
|
|
|
|
error_info,
|
|
|
|
file_info,
|
|
|
|
error_line_buffer,
|
|
|
|
note,
|
2017-06-11 22:58:58 -05:00
|
|
|
error.msg_suffix()
|
|
|
|
)?;
|
2015-06-08 18:42:29 -05:00
|
|
|
}
|
|
|
|
}
|
2017-08-15 02:54:07 -05:00
|
|
|
if !self.file_error_map.is_empty() {
|
|
|
|
write!(
|
|
|
|
fmt,
|
|
|
|
"warning: rustfmt may have failed to format. See previous {} errors.\n",
|
|
|
|
self.warning_count(),
|
|
|
|
)?;
|
|
|
|
}
|
2015-06-08 18:42:29 -05:00
|
|
|
Ok(())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-03-07 16:46:35 -06:00
|
|
|
// Formatting which depends on the AST.
|
2017-06-11 22:58:58 -05:00
|
|
|
fn format_ast<F>(
|
|
|
|
krate: &ast::Crate,
|
2017-08-11 03:54:38 -05:00
|
|
|
parse_session: &mut ParseSess,
|
2017-06-11 22:58:58 -05:00
|
|
|
main_file: &Path,
|
|
|
|
config: &Config,
|
|
|
|
codemap: &Rc<CodeMap>,
|
|
|
|
mut after_file: F,
|
|
|
|
) -> Result<(FileMap, bool), io::Error>
|
|
|
|
where
|
|
|
|
F: FnMut(&str, &mut StringBuffer) -> Result<bool, io::Error>,
|
2016-05-15 04:41:05 -05:00
|
|
|
{
|
|
|
|
let mut result = FileMap::new();
|
2016-06-20 13:42:29 -05:00
|
|
|
// diff mode: check if any files are differing
|
|
|
|
let mut has_diff = false;
|
2016-05-15 04:41:05 -05:00
|
|
|
|
2016-04-28 00:38:04 -05:00
|
|
|
// We always skip children for the "Plain" write mode, since there is
|
|
|
|
// nothing to distinguish the nested module contents.
|
2017-05-16 03:47:09 -05:00
|
|
|
let skip_children = config.skip_children() || config.write_mode() == config::WriteMode::Plain;
|
2015-10-28 01:41:32 -05:00
|
|
|
for (path, module) in modules::list_files(krate, parse_session.codemap()) {
|
2016-04-28 00:38:04 -05:00
|
|
|
if skip_children && path.as_path() != main_file {
|
2015-12-23 08:25:49 -06:00
|
|
|
continue;
|
|
|
|
}
|
2017-07-24 10:55:55 -05:00
|
|
|
let path_str = path.to_str().unwrap();
|
2017-05-16 03:47:09 -05:00
|
|
|
if config.verbose() {
|
2017-07-24 10:55:55 -05:00
|
|
|
println!("Formatting {}", path_str);
|
2015-11-15 00:41:41 -06:00
|
|
|
}
|
2017-06-10 00:16:12 -05:00
|
|
|
{
|
|
|
|
let mut visitor = FmtVisitor::from_codemap(parse_session, config);
|
2017-08-19 13:47:40 -05:00
|
|
|
let filemap = visitor.codemap.lookup_char_pos(module.inner.lo()).file;
|
2017-07-24 10:55:55 -05:00
|
|
|
// Format inner attributes if available.
|
|
|
|
if !krate.attrs.is_empty() && path == main_file {
|
|
|
|
visitor.visit_attrs(&krate.attrs, ast::AttrStyle::Inner);
|
|
|
|
} else {
|
|
|
|
visitor.last_pos = filemap.start_pos;
|
|
|
|
}
|
|
|
|
visitor.format_separate_mod(module, &*filemap);
|
2016-05-15 04:41:05 -05:00
|
|
|
|
2017-07-24 10:55:55 -05:00
|
|
|
has_diff |= after_file(path_str, &mut visitor.buffer)?;
|
2016-05-15 04:41:05 -05:00
|
|
|
|
2017-07-24 10:55:55 -05:00
|
|
|
result.push((path_str.to_owned(), visitor.buffer));
|
2017-06-10 00:16:12 -05:00
|
|
|
}
|
|
|
|
// Reset the error count.
|
|
|
|
if parse_session.span_diagnostic.has_errors() {
|
2017-06-12 21:49:47 -05:00
|
|
|
let silent_emitter = Box::new(EmitterWriter::new(
|
|
|
|
Box::new(Vec::new()),
|
|
|
|
Some(codemap.clone()),
|
|
|
|
));
|
2017-06-12 19:18:14 -05:00
|
|
|
parse_session.span_diagnostic = Handler::with_emitter(true, false, silent_emitter);
|
2017-06-10 00:16:12 -05:00
|
|
|
}
|
2015-07-26 05:55:25 -05:00
|
|
|
}
|
2016-05-15 04:41:05 -05:00
|
|
|
|
2016-06-20 13:42:29 -05:00
|
|
|
Ok((result, has_diff))
|
2015-03-07 16:46:35 -06:00
|
|
|
}
|
|
|
|
|
2015-04-21 05:50:43 -05:00
|
|
|
// Formatting done on a char by char or line by line basis.
|
2016-05-15 04:41:05 -05:00
|
|
|
// 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) {
|
2015-08-01 08:02:59 -05:00
|
|
|
// Iterate over the chars in the file map.
|
2016-05-15 04:41:05 -05:00
|
|
|
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![];
|
2017-05-16 03:47:09 -05:00
|
|
|
let mut issue_seeker = BadIssueSeeker::new(config.report_todo(), config.report_fixme());
|
2017-08-09 18:13:20 -05:00
|
|
|
let mut prev_char: Option<char> = None;
|
|
|
|
let mut is_comment = false;
|
2017-08-15 02:52:11 -05:00
|
|
|
let mut line_buffer = String::with_capacity(config.max_width() * 2);
|
2016-05-15 04:41:05 -05:00
|
|
|
|
|
|
|
for (c, b) in text.chars() {
|
|
|
|
if c == '\r' {
|
|
|
|
continue;
|
|
|
|
}
|
2015-06-08 18:42:29 -05:00
|
|
|
|
2017-05-16 03:47:09 -05:00
|
|
|
let format_line = config.file_lines().contains_line(name, cur_line as usize);
|
2016-05-15 04:41:05 -05:00
|
|
|
|
2017-05-06 14:14:44 -05:00
|
|
|
if format_line {
|
|
|
|
// Add warnings for bad todos/ fixmes
|
|
|
|
if let Some(issue) = issue_seeker.inspect(c) {
|
2015-09-26 01:29:48 -05:00
|
|
|
errors.push(FormattingError {
|
2017-06-11 22:58:58 -05:00
|
|
|
line: cur_line,
|
|
|
|
kind: ErrorKind::BadIssue(issue),
|
2017-08-15 02:52:11 -05:00
|
|
|
is_comment: false,
|
|
|
|
line_buffer: String::new(),
|
2017-06-11 22:58:58 -05:00
|
|
|
});
|
2015-06-08 18:42:29 -05:00
|
|
|
}
|
2017-05-06 14:14:44 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
if c == '\n' {
|
|
|
|
if format_line {
|
|
|
|
// Check for (and record) trailing whitespace.
|
|
|
|
if let Some(lw) = last_wspace {
|
2017-08-15 02:52:11 -05:00
|
|
|
trims.push((cur_line, lw, b, line_buffer.clone()));
|
2017-05-06 14:14:44 -05:00
|
|
|
line_len -= 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Check for any line width errors we couldn't correct.
|
2017-08-09 18:13:20 -05:00
|
|
|
let report_error_on_line_overflow = config.error_on_line_overflow() &&
|
|
|
|
(config.error_on_line_overflow_comments() || !is_comment);
|
|
|
|
if report_error_on_line_overflow && line_len > config.max_width() {
|
2017-05-06 14:14:44 -05:00
|
|
|
errors.push(FormattingError {
|
2017-06-11 22:58:58 -05:00
|
|
|
line: cur_line,
|
|
|
|
kind: ErrorKind::LineOverflow(line_len, config.max_width()),
|
2017-08-15 02:52:11 -05:00
|
|
|
is_comment: is_comment,
|
|
|
|
line_buffer: line_buffer.clone(),
|
2017-06-11 22:58:58 -05:00
|
|
|
});
|
2017-05-06 14:14:44 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-05-15 04:41:05 -05:00
|
|
|
line_len = 0;
|
|
|
|
cur_line += 1;
|
|
|
|
newline_count += 1;
|
|
|
|
last_wspace = None;
|
2017-08-09 18:13:20 -05:00
|
|
|
prev_char = None;
|
|
|
|
is_comment = false;
|
2017-08-15 02:52:11 -05:00
|
|
|
line_buffer.clear();
|
2016-05-15 04:41:05 -05:00
|
|
|
} else {
|
|
|
|
newline_count = 0;
|
2017-04-18 06:31:53 -05:00
|
|
|
line_len += 1;
|
2016-05-15 04:41:05 -05:00
|
|
|
if c.is_whitespace() {
|
|
|
|
if last_wspace.is_none() {
|
|
|
|
last_wspace = Some(b);
|
2015-03-07 16:46:35 -06:00
|
|
|
}
|
2017-08-09 18:13:20 -05:00
|
|
|
} else if c == '/' {
|
|
|
|
match prev_char {
|
|
|
|
Some('/') => is_comment = true,
|
|
|
|
_ => (),
|
|
|
|
}
|
|
|
|
last_wspace = None;
|
2015-03-07 16:46:35 -06:00
|
|
|
} else {
|
2016-05-15 04:41:05 -05:00
|
|
|
last_wspace = None;
|
2015-03-07 16:46:35 -06:00
|
|
|
}
|
2017-08-09 18:13:20 -05:00
|
|
|
prev_char = Some(c);
|
2017-08-15 02:52:11 -05:00
|
|
|
line_buffer.push(c);
|
2015-03-07 16:46:35 -06:00
|
|
|
}
|
2016-05-15 04:41:05 -05:00
|
|
|
}
|
2015-03-07 16:46:35 -06:00
|
|
|
|
2016-05-15 04:41:05 -05:00
|
|
|
if newline_count > 1 {
|
|
|
|
debug!("track truncate: {} {}", text.len, newline_count);
|
|
|
|
let line = text.len - newline_count + 1;
|
|
|
|
text.truncate(line);
|
2015-03-07 16:46:35 -06:00
|
|
|
}
|
2015-04-23 01:02:55 -05:00
|
|
|
|
2017-08-15 02:52:11 -05:00
|
|
|
for &(l, _, _, ref b) in &trims {
|
2016-05-15 04:41:05 -05:00
|
|
|
errors.push(FormattingError {
|
2017-06-11 22:58:58 -05:00
|
|
|
line: l,
|
|
|
|
kind: ErrorKind::TrailingWhitespace,
|
2017-08-15 02:52:11 -05:00
|
|
|
is_comment: false,
|
|
|
|
line_buffer: b.clone(),
|
2017-06-11 22:58:58 -05:00
|
|
|
});
|
2015-04-23 01:02:55 -05:00
|
|
|
}
|
2015-06-08 18:42:29 -05:00
|
|
|
|
2017-03-27 17:25:59 -05:00
|
|
|
report.file_error_map.insert(name.to_owned(), errors);
|
2015-03-07 16:46:35 -06:00
|
|
|
}
|
|
|
|
|
2017-06-11 22:58:58 -05:00
|
|
|
fn parse_input(
|
|
|
|
input: Input,
|
|
|
|
parse_session: &ParseSess,
|
|
|
|
) -> Result<ast::Crate, Option<DiagnosticBuilder>> {
|
2016-04-27 14:08:44 -05:00
|
|
|
let result = match input {
|
2017-01-17 22:22:01 -06:00
|
|
|
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 11:49:56 -05:00
|
|
|
Input::Text(text) => {
|
2017-01-17 22:22:01 -06:00
|
|
|
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 11:49:56 -05:00
|
|
|
}
|
2016-04-27 14:08:44 -05:00
|
|
|
};
|
|
|
|
|
2016-05-17 16:58:51 -05: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)),
|
2016-04-14 18:51:50 -05:00
|
|
|
}
|
2015-11-02 13:45:45 -06:00
|
|
|
}
|
|
|
|
|
2017-06-11 22:58:58 -05:00
|
|
|
pub fn format_input<T: Write>(
|
|
|
|
input: Input,
|
|
|
|
config: &Config,
|
|
|
|
mut out: Option<&mut T>,
|
|
|
|
) -> Result<(Summary, FileMap, FormatReport), (io::Error, Summary)> {
|
2016-04-14 18:51:50 -05:00
|
|
|
let mut summary = Summary::new();
|
2017-05-16 03:47:09 -05:00
|
|
|
if config.disable_all_formatting() {
|
2017-02-06 22:11:47 -06:00
|
|
|
return Ok((summary, FileMap::new(), FormatReport::new()));
|
|
|
|
}
|
2017-06-05 23:54:22 -05:00
|
|
|
let codemap = Rc::new(CodeMap::new(FilePathMapping::empty()));
|
2016-03-01 16:27:19 -06:00
|
|
|
|
2016-05-12 14:50:43 -05:00
|
|
|
let tty_handler =
|
2016-09-15 22:19:18 -05:00
|
|
|
Handler::with_tty_emitter(ColorConfig::Auto, true, false, Some(codemap.clone()));
|
2016-03-01 16:27:19 -06:00
|
|
|
let mut parse_session = ParseSess::with_span_handler(tty_handler, codemap.clone());
|
|
|
|
|
2016-04-11 11:49:56 -05: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,
|
2016-04-27 14:08:44 -05:00
|
|
|
Err(diagnostic) => {
|
|
|
|
if let Some(mut diagnostic) = diagnostic {
|
|
|
|
diagnostic.emit();
|
|
|
|
}
|
2016-04-14 18:51:50 -05:00
|
|
|
summary.add_parsing_error();
|
2016-05-15 04:41:05 -05:00
|
|
|
return Ok((summary, FileMap::new(), FormatReport::new()));
|
2016-04-11 11:49:56 -05:00
|
|
|
}
|
|
|
|
};
|
2015-10-28 01:41:32 -05:00
|
|
|
|
2016-04-14 18:51:50 -05:00
|
|
|
if parse_session.span_diagnostic.has_errors() {
|
|
|
|
summary.add_parsing_error();
|
|
|
|
}
|
|
|
|
|
2015-10-28 01:41:32 -05:00
|
|
|
// Suppress error output after parsing.
|
2017-06-11 22:58:58 -05:00
|
|
|
let silent_emitter = Box::new(EmitterWriter::new(
|
|
|
|
Box::new(Vec::new()),
|
|
|
|
Some(codemap.clone()),
|
|
|
|
));
|
2016-03-01 16:27:19 -06:00
|
|
|
parse_session.span_diagnostic = Handler::with_emitter(true, false, silent_emitter);
|
2015-10-28 01:41:32 -05:00
|
|
|
|
2016-05-15 04:41:05 -05:00
|
|
|
let mut report = FormatReport::new();
|
|
|
|
|
2017-05-31 22:08:09 -05:00
|
|
|
match format_ast(
|
|
|
|
&krate,
|
2017-06-10 00:16:12 -05:00
|
|
|
&mut parse_session,
|
2017-05-31 22:08:09 -05:00
|
|
|
&main_file,
|
|
|
|
config,
|
2017-06-10 00:16:12 -05:00
|
|
|
&codemap,
|
2017-05-31 22:08:09 -05:00
|
|
|
|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)
|
2017-06-03 08:50:44 -05:00
|
|
|
},
|
2017-05-31 22:08:09 -05:00
|
|
|
) {
|
2016-06-20 13:42:29 -05:00
|
|
|
Ok((file_map, has_diff)) => {
|
2016-05-15 04:41:05 -05:00
|
|
|
if report.has_warnings() {
|
|
|
|
summary.add_formatting_error();
|
|
|
|
}
|
2015-09-16 14:52:32 -05:00
|
|
|
|
2016-06-20 13:42:29 -05:00
|
|
|
if has_diff {
|
|
|
|
summary.add_diff();
|
|
|
|
}
|
|
|
|
|
2016-05-15 04:41:05 -05:00
|
|
|
Ok((summary, file_map, report))
|
|
|
|
}
|
|
|
|
Err(e) => Err((e, summary)),
|
2016-04-14 18:51:50 -05:00
|
|
|
}
|
2016-04-02 13:56:37 -05:00
|
|
|
}
|
2015-09-16 14:52:32 -05:00
|
|
|
|
2016-05-25 13:41:26 -05:00
|
|
|
#[derive(Debug)]
|
2016-04-02 13:56:37 -05:00
|
|
|
pub enum Input {
|
|
|
|
File(PathBuf),
|
|
|
|
Text(String),
|
2015-04-22 23:22:48 -05:00
|
|
|
}
|
2015-11-02 13:45:45 -06:00
|
|
|
|
2016-04-14 18:51:50 -05:00
|
|
|
pub fn run(input: Input, config: &Config) -> Summary {
|
2017-08-11 03:54:38 -05:00
|
|
|
let out = &mut stdout();
|
2017-05-16 03:47:09 -05:00
|
|
|
output_header(out, config.write_mode()).ok();
|
2016-05-15 04:41:05 -05:00
|
|
|
match format_input(input, config, Some(out)) {
|
|
|
|
Ok((summary, _, report)) => {
|
2017-05-16 03:47:09 -05:00
|
|
|
output_footer(out, config.write_mode()).ok();
|
2016-05-15 04:41:05 -05:00
|
|
|
|
|
|
|
if report.has_warnings() {
|
2017-08-15 02:54:18 -05:00
|
|
|
match term::stderr() {
|
|
|
|
Some(ref t) if isatty() && t.supports_color() => {
|
|
|
|
match report.print_warnings_fancy(term::stderr().unwrap()) {
|
|
|
|
Ok(..) => (),
|
|
|
|
Err(..) => panic!("Unable to write to stderr: {}", report),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => msg!("{}", report),
|
|
|
|
}
|
2016-05-15 04:41:05 -05:00
|
|
|
}
|
2015-11-02 13:45:45 -06:00
|
|
|
|
2016-05-15 04:41:05 -05:00
|
|
|
summary
|
|
|
|
}
|
|
|
|
Err((msg, mut summary)) => {
|
|
|
|
msg!("Error writing files: {}", msg);
|
|
|
|
summary.add_operational_error();
|
|
|
|
summary
|
|
|
|
}
|
2015-11-02 13:45:45 -06:00
|
|
|
}
|
|
|
|
}
|
2017-03-05 12:50:04 -06:00
|
|
|
|
|
|
|
#[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();
|
2017-05-17 23:37:29 -05:00
|
|
|
config.set().hard_tabs(true);
|
2017-03-05 12:50:04 -06:00
|
|
|
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);
|
2017-05-16 03:47:09 -05:00
|
|
|
let shape = Shape::legacy(config.max_width(), indent);
|
2017-03-05 12:50:04 -06:00
|
|
|
let shape = shape.visual_indent(20);
|
|
|
|
|
2017-05-16 03:47:09 -05:00
|
|
|
assert_eq!(config.max_width(), shape.width);
|
2017-03-05 12:50:04 -06:00
|
|
|
assert_eq!(4, shape.indent.block_indent);
|
2017-05-07 17:24:12 -05:00
|
|
|
assert_eq!(28, shape.indent.alignment);
|
|
|
|
assert_eq!(28, shape.offset);
|
2017-03-05 12:50:04 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn shape_block_indent_without_alignment() {
|
|
|
|
let config = Config::default();
|
|
|
|
let indent = Indent::new(4, 0);
|
2017-05-16 03:47:09 -05:00
|
|
|
let shape = Shape::legacy(config.max_width(), indent);
|
2017-03-05 12:50:04 -06:00
|
|
|
let shape = shape.block_indent(20);
|
|
|
|
|
2017-05-16 03:47:09 -05:00
|
|
|
assert_eq!(config.max_width(), shape.width);
|
2017-03-05 12:50:04 -06:00
|
|
|
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);
|
2017-05-16 03:47:09 -05:00
|
|
|
let shape = Shape::legacy(config.max_width(), indent);
|
2017-03-05 12:50:04 -06:00
|
|
|
let shape = shape.block_indent(20);
|
|
|
|
|
2017-05-16 03:47:09 -05:00
|
|
|
assert_eq!(config.max_width(), shape.width);
|
2017-03-05 12:50:04 -06:00
|
|
|
assert_eq!(4, shape.indent.block_indent);
|
|
|
|
assert_eq!(28, shape.indent.alignment);
|
|
|
|
assert_eq!(28, shape.offset);
|
|
|
|
}
|
|
|
|
}
|