2015-12-14 19:11:27 -06:00
|
|
|
|
// Copyright 2012-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.
|
|
|
|
|
|
|
|
|
|
use self::Destination::*;
|
|
|
|
|
|
2016-06-21 17:08:13 -05:00
|
|
|
|
use syntax_pos::{COMMAND_LINE_SP, DUMMY_SP, Span, MultiSpan, LineInfo};
|
|
|
|
|
use registry;
|
2015-12-14 19:11:27 -06:00
|
|
|
|
|
2016-06-21 17:08:13 -05:00
|
|
|
|
use check_old_skool;
|
|
|
|
|
use {Level, RenderSpan, CodeSuggestion, DiagnosticBuilder, CodeMapper};
|
|
|
|
|
use RenderSpan::*;
|
|
|
|
|
use Level::*;
|
2016-06-23 14:19:40 -05:00
|
|
|
|
use snippet::{RenderedLineKind, SnippetData, Style, FormatMode};
|
2015-12-14 19:11:27 -06:00
|
|
|
|
|
|
|
|
|
use std::{cmp, fmt};
|
|
|
|
|
use std::io::prelude::*;
|
|
|
|
|
use std::io;
|
|
|
|
|
use std::rc::Rc;
|
|
|
|
|
use term;
|
|
|
|
|
|
2016-07-07 13:57:09 -05:00
|
|
|
|
/// Emitter trait for emitting errors.
|
2015-12-14 19:11:27 -06:00
|
|
|
|
pub trait Emitter {
|
2015-12-23 15:54:37 -06:00
|
|
|
|
/// Emit a structured diagnostic.
|
2016-07-07 06:50:49 -05:00
|
|
|
|
fn emit(&mut self, db: &DiagnosticBuilder);
|
2015-12-14 19:11:27 -06:00
|
|
|
|
}
|
|
|
|
|
|
2016-07-07 13:57:09 -05:00
|
|
|
|
impl Emitter for EmitterWriter {
|
2016-07-07 06:50:49 -05:00
|
|
|
|
fn emit(&mut self, db: &DiagnosticBuilder) {
|
2016-04-20 19:00:25 -05:00
|
|
|
|
self.emit_message(&FullSpan(db.span.clone()),
|
|
|
|
|
&db.message,
|
|
|
|
|
db.code.as_ref().map(|s| &**s),
|
|
|
|
|
db.level,
|
2016-04-29 15:27:40 -05:00
|
|
|
|
true,
|
2016-04-20 19:00:25 -05:00
|
|
|
|
true);
|
2016-04-29 15:27:40 -05:00
|
|
|
|
|
2016-07-07 13:57:09 -05:00
|
|
|
|
if check_old_skool() {
|
|
|
|
|
let db_span = FullSpan(db.span.clone());
|
|
|
|
|
|
|
|
|
|
for child in &db.children {
|
|
|
|
|
let render_span = child.render_span
|
|
|
|
|
.clone()
|
|
|
|
|
.unwrap_or_else(
|
|
|
|
|
|| FullSpan(child.span.clone()));
|
2016-04-29 15:27:40 -05:00
|
|
|
|
let (render_span, show_snippet) = match render_span.span().primary_span() {
|
|
|
|
|
None => (db_span.clone(), false),
|
|
|
|
|
_ => (render_span, true)
|
|
|
|
|
};
|
|
|
|
|
self.emit_message(&render_span,
|
|
|
|
|
&child.message,
|
|
|
|
|
None,
|
|
|
|
|
child.level,
|
|
|
|
|
false,
|
|
|
|
|
show_snippet);
|
|
|
|
|
}
|
2016-07-07 13:57:09 -05:00
|
|
|
|
} else {
|
|
|
|
|
for child in &db.children {
|
|
|
|
|
let render_span = child.render_span
|
|
|
|
|
.clone()
|
|
|
|
|
.unwrap_or_else(
|
|
|
|
|
|| FullSpan(child.span.clone()));
|
|
|
|
|
self.emit_message(&render_span,
|
|
|
|
|
&child.message,
|
|
|
|
|
None,
|
|
|
|
|
child.level,
|
|
|
|
|
false,
|
|
|
|
|
true);
|
|
|
|
|
}
|
2016-04-20 14:52:52 -05:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2015-12-14 19:11:27 -06:00
|
|
|
|
/// maximum number of lines we will print for each error; arbitrary.
|
2015-12-13 06:12:47 -06:00
|
|
|
|
pub const MAX_HIGHLIGHT_LINES: usize = 6;
|
|
|
|
|
|
2015-12-30 21:50:06 -06:00
|
|
|
|
#[derive(Clone, Copy, Debug, PartialEq, Eq)]
|
2015-12-14 19:11:27 -06:00
|
|
|
|
pub enum ColorConfig {
|
|
|
|
|
Auto,
|
|
|
|
|
Always,
|
|
|
|
|
Never,
|
|
|
|
|
}
|
|
|
|
|
|
2015-12-14 21:42:05 -06:00
|
|
|
|
impl ColorConfig {
|
|
|
|
|
fn use_color(&self) -> bool {
|
|
|
|
|
match *self {
|
|
|
|
|
ColorConfig::Always => true,
|
|
|
|
|
ColorConfig::Never => false,
|
|
|
|
|
ColorConfig::Auto => stderr_isatty(),
|
2015-12-14 21:51:13 -06:00
|
|
|
|
}
|
2015-12-14 21:42:05 -06:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2015-12-14 19:11:27 -06:00
|
|
|
|
pub struct EmitterWriter {
|
|
|
|
|
dst: Destination,
|
2016-06-21 17:08:13 -05:00
|
|
|
|
registry: Option<registry::Registry>,
|
2016-07-05 14:24:23 -05:00
|
|
|
|
cm: Option<Rc<CodeMapper>>,
|
2016-04-26 12:06:28 -05:00
|
|
|
|
|
|
|
|
|
/// Is this the first error emitted thus far? If not, we emit a
|
|
|
|
|
/// `\n` before the top-level errors.
|
2016-04-20 13:56:01 -05:00
|
|
|
|
first: bool,
|
2016-04-28 18:39:59 -05:00
|
|
|
|
|
|
|
|
|
// For now, allow an old-school mode while we transition
|
2016-06-23 14:19:40 -05:00
|
|
|
|
format_mode: FormatMode
|
2015-12-14 19:11:27 -06:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/// Do not use this for messages that end in `\n` – use `println_maybe_styled` instead. See
|
|
|
|
|
/// `EmitterWriter::print_maybe_styled` for details.
|
|
|
|
|
macro_rules! print_maybe_styled {
|
|
|
|
|
($dst: expr, $style: expr, $($arg: tt)*) => {
|
|
|
|
|
$dst.print_maybe_styled(format_args!($($arg)*), $style, false)
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
macro_rules! println_maybe_styled {
|
|
|
|
|
($dst: expr, $style: expr, $($arg: tt)*) => {
|
|
|
|
|
$dst.print_maybe_styled(format_args!($($arg)*), $style, true)
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl EmitterWriter {
|
|
|
|
|
pub fn stderr(color_config: ColorConfig,
|
2016-06-21 17:08:13 -05:00
|
|
|
|
registry: Option<registry::Registry>,
|
2016-07-05 14:24:23 -05:00
|
|
|
|
code_map: Option<Rc<CodeMapper>>,
|
2016-06-23 14:19:40 -05:00
|
|
|
|
format_mode: FormatMode)
|
2015-12-14 19:11:27 -06:00
|
|
|
|
-> EmitterWriter {
|
2015-12-14 21:42:05 -06:00
|
|
|
|
if color_config.use_color() {
|
|
|
|
|
let dst = Destination::from_stderr();
|
2016-04-28 18:39:59 -05:00
|
|
|
|
EmitterWriter { dst: dst,
|
|
|
|
|
registry: registry,
|
|
|
|
|
cm: code_map,
|
|
|
|
|
first: true,
|
2016-06-23 14:19:40 -05:00
|
|
|
|
format_mode: format_mode.clone() }
|
2015-12-14 19:11:27 -06:00
|
|
|
|
} else {
|
2016-04-20 13:56:01 -05:00
|
|
|
|
EmitterWriter { dst: Raw(Box::new(io::stderr())),
|
2016-04-26 12:06:28 -05:00
|
|
|
|
registry: registry,
|
|
|
|
|
cm: code_map,
|
2016-04-28 18:39:59 -05:00
|
|
|
|
first: true,
|
2016-06-23 14:19:40 -05:00
|
|
|
|
format_mode: format_mode.clone() }
|
2015-12-14 19:11:27 -06:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn new(dst: Box<Write + Send>,
|
2016-06-21 17:08:13 -05:00
|
|
|
|
registry: Option<registry::Registry>,
|
2016-07-05 14:24:23 -05:00
|
|
|
|
code_map: Option<Rc<CodeMapper>>,
|
2016-06-23 14:19:40 -05:00
|
|
|
|
format_mode: FormatMode)
|
2015-12-14 19:11:27 -06:00
|
|
|
|
-> EmitterWriter {
|
2016-04-28 18:39:59 -05:00
|
|
|
|
EmitterWriter { dst: Raw(dst),
|
|
|
|
|
registry: registry,
|
|
|
|
|
cm: code_map,
|
|
|
|
|
first: true,
|
2016-06-23 14:19:40 -05:00
|
|
|
|
format_mode: format_mode.clone() }
|
2016-04-20 13:56:01 -05:00
|
|
|
|
}
|
|
|
|
|
|
2016-07-07 13:57:09 -05:00
|
|
|
|
fn emit_message(&mut self,
|
|
|
|
|
rsp: &RenderSpan,
|
|
|
|
|
msg: &str,
|
|
|
|
|
code: Option<&str>,
|
|
|
|
|
lvl: Level,
|
|
|
|
|
is_header: bool,
|
|
|
|
|
show_snippet: bool) {
|
|
|
|
|
match self.emit_message_(rsp, msg, code, lvl, is_header, show_snippet) {
|
|
|
|
|
Ok(()) => { }
|
|
|
|
|
Err(e) => panic!("failed to emit error: {}", e)
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2016-04-20 19:00:25 -05:00
|
|
|
|
fn emit_message_(&mut self,
|
|
|
|
|
rsp: &RenderSpan,
|
|
|
|
|
msg: &str,
|
|
|
|
|
code: Option<&str>,
|
|
|
|
|
lvl: Level,
|
2016-04-29 15:27:40 -05:00
|
|
|
|
is_header: bool,
|
|
|
|
|
show_snippet: bool)
|
2016-04-20 19:00:25 -05:00
|
|
|
|
-> io::Result<()> {
|
2016-06-23 14:19:40 -05:00
|
|
|
|
let old_school = match self.format_mode {
|
|
|
|
|
FormatMode::NewErrorFormat => false,
|
|
|
|
|
FormatMode::OriginalErrorFormat => true,
|
|
|
|
|
FormatMode::EnvironmentSelected => check_old_skool()
|
|
|
|
|
};
|
|
|
|
|
|
2016-04-20 13:56:01 -05:00
|
|
|
|
if is_header {
|
|
|
|
|
if self.first {
|
|
|
|
|
self.first = false;
|
|
|
|
|
} else {
|
2016-06-23 14:19:40 -05:00
|
|
|
|
if !old_school {
|
2016-05-24 09:42:32 -05:00
|
|
|
|
write!(self.dst, "\n")?;
|
2016-04-28 18:39:59 -05:00
|
|
|
|
}
|
2016-04-20 13:56:01 -05:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
match code {
|
|
|
|
|
Some(code) if self.registry.as_ref()
|
2016-04-20 19:00:25 -05:00
|
|
|
|
.and_then(|registry| registry.find_description(code))
|
|
|
|
|
.is_some() => {
|
2016-04-20 13:56:01 -05:00
|
|
|
|
let code_with_explain = String::from("--explain ") + code;
|
2016-06-23 14:19:40 -05:00
|
|
|
|
if old_school {
|
2016-04-28 18:39:59 -05:00
|
|
|
|
let loc = match rsp.span().primary_span() {
|
|
|
|
|
Some(COMMAND_LINE_SP) | Some(DUMMY_SP) => "".to_string(),
|
2016-07-05 14:24:23 -05:00
|
|
|
|
Some(ps) => if let Some(ref cm) = self.cm {
|
|
|
|
|
cm.span_to_string(ps)
|
|
|
|
|
} else {
|
|
|
|
|
"".to_string()
|
|
|
|
|
},
|
2016-04-28 18:39:59 -05:00
|
|
|
|
None => "".to_string()
|
|
|
|
|
};
|
|
|
|
|
print_diagnostic(&mut self.dst, &loc, lvl, msg, Some(code))?
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
print_diagnostic(&mut self.dst, "", lvl, msg, Some(&code_with_explain))?
|
|
|
|
|
}
|
2016-04-20 13:56:01 -05:00
|
|
|
|
}
|
2016-04-20 19:00:25 -05:00
|
|
|
|
_ => {
|
2016-06-23 14:19:40 -05:00
|
|
|
|
if old_school {
|
2016-04-29 15:27:40 -05:00
|
|
|
|
let loc = match rsp.span().primary_span() {
|
|
|
|
|
Some(COMMAND_LINE_SP) | Some(DUMMY_SP) => "".to_string(),
|
2016-07-05 14:24:23 -05:00
|
|
|
|
Some(ps) => if let Some(ref cm) = self.cm {
|
|
|
|
|
cm.span_to_string(ps)
|
|
|
|
|
} else {
|
|
|
|
|
"".to_string()
|
|
|
|
|
},
|
2016-04-29 15:27:40 -05:00
|
|
|
|
None => "".to_string()
|
|
|
|
|
};
|
|
|
|
|
print_diagnostic(&mut self.dst, &loc, lvl, msg, code)?
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
print_diagnostic(&mut self.dst, "", lvl, msg, code)?
|
|
|
|
|
}
|
2016-04-20 19:00:25 -05:00
|
|
|
|
}
|
2016-04-20 13:56:01 -05:00
|
|
|
|
}
|
2015-12-14 19:11:27 -06:00
|
|
|
|
|
2016-04-29 15:27:40 -05:00
|
|
|
|
if !show_snippet {
|
|
|
|
|
return Ok(());
|
|
|
|
|
}
|
|
|
|
|
|
2016-04-20 19:00:25 -05:00
|
|
|
|
// Watch out for various nasty special spans; don't try to
|
|
|
|
|
// print any filename or anything for those.
|
|
|
|
|
match rsp.span().primary_span() {
|
|
|
|
|
Some(COMMAND_LINE_SP) | Some(DUMMY_SP) => {
|
|
|
|
|
return Ok(());
|
|
|
|
|
}
|
|
|
|
|
_ => { }
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
// Otherwise, print out the snippet etc as needed.
|
2015-12-13 06:12:47 -06:00
|
|
|
|
match *rsp {
|
2016-04-20 19:00:25 -05:00
|
|
|
|
FullSpan(ref msp) => {
|
2016-03-22 22:01:37 -05:00
|
|
|
|
self.highlight_lines(msp, lvl)?;
|
2016-04-20 19:00:25 -05:00
|
|
|
|
if let Some(primary_span) = msp.primary_span() {
|
2016-04-20 13:56:01 -05:00
|
|
|
|
self.print_macro_backtrace(primary_span)?;
|
|
|
|
|
}
|
2015-12-14 19:11:27 -06:00
|
|
|
|
}
|
2015-12-13 06:12:47 -06:00
|
|
|
|
Suggestion(ref suggestion) => {
|
2016-03-22 22:01:37 -05:00
|
|
|
|
self.highlight_suggestion(suggestion)?;
|
2016-04-20 19:00:25 -05:00
|
|
|
|
if let Some(primary_span) = rsp.span().primary_span() {
|
2016-04-20 13:56:01 -05:00
|
|
|
|
self.print_macro_backtrace(primary_span)?;
|
|
|
|
|
}
|
2015-12-14 19:11:27 -06:00
|
|
|
|
}
|
|
|
|
|
}
|
2016-06-23 14:19:40 -05:00
|
|
|
|
if old_school {
|
2016-04-28 18:39:59 -05:00
|
|
|
|
match code {
|
|
|
|
|
Some(code) if self.registry.as_ref()
|
|
|
|
|
.and_then(|registry| registry.find_description(code))
|
|
|
|
|
.is_some() => {
|
|
|
|
|
let loc = match rsp.span().primary_span() {
|
|
|
|
|
Some(COMMAND_LINE_SP) | Some(DUMMY_SP) => "".to_string(),
|
2016-07-05 14:24:23 -05:00
|
|
|
|
Some(ps) => if let Some(ref cm) = self.cm {
|
|
|
|
|
cm.span_to_string(ps)
|
|
|
|
|
} else {
|
|
|
|
|
"".to_string()
|
|
|
|
|
},
|
2016-04-28 18:39:59 -05:00
|
|
|
|
None => "".to_string()
|
|
|
|
|
};
|
|
|
|
|
let msg = "run `rustc --explain ".to_string() + &code.to_string() +
|
|
|
|
|
"` to see a detailed explanation";
|
|
|
|
|
print_diagnostic(&mut self.dst, &loc, Level::Help, &msg,
|
|
|
|
|
None)?
|
|
|
|
|
}
|
|
|
|
|
_ => ()
|
|
|
|
|
}
|
|
|
|
|
}
|
2015-12-14 19:11:27 -06:00
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
2015-12-13 06:12:47 -06:00
|
|
|
|
fn highlight_suggestion(&mut self, suggestion: &CodeSuggestion) -> io::Result<()>
|
2015-12-14 19:11:27 -06:00
|
|
|
|
{
|
2016-06-21 17:08:13 -05:00
|
|
|
|
use std::borrow::Borrow;
|
|
|
|
|
|
2016-04-20 13:56:01 -05:00
|
|
|
|
let primary_span = suggestion.msp.primary_span().unwrap();
|
2016-07-05 14:24:23 -05:00
|
|
|
|
if let Some(ref cm) = self.cm {
|
|
|
|
|
let lines = cm.span_to_lines(primary_span).unwrap();
|
|
|
|
|
|
|
|
|
|
assert!(!lines.lines.is_empty());
|
|
|
|
|
|
|
|
|
|
let complete = suggestion.splice_lines(cm.borrow());
|
|
|
|
|
let line_count = cmp::min(lines.lines.len(), MAX_HIGHLIGHT_LINES);
|
|
|
|
|
let display_lines = &lines.lines[..line_count];
|
|
|
|
|
|
|
|
|
|
let fm = &*lines.file;
|
|
|
|
|
// Calculate the widest number to format evenly
|
|
|
|
|
let max_digits = line_num_max_digits(display_lines.last().unwrap());
|
|
|
|
|
|
|
|
|
|
// print the suggestion without any line numbers, but leave
|
|
|
|
|
// space for them. This helps with lining up with previous
|
|
|
|
|
// snippets from the actual error being reported.
|
|
|
|
|
let mut lines = complete.lines();
|
|
|
|
|
for line in lines.by_ref().take(MAX_HIGHLIGHT_LINES) {
|
|
|
|
|
write!(&mut self.dst, "{0}:{1:2$} {3}\n",
|
|
|
|
|
fm.name, "", max_digits, line)?;
|
|
|
|
|
}
|
2015-12-14 19:11:27 -06:00
|
|
|
|
|
2016-07-05 14:24:23 -05:00
|
|
|
|
// if we elided some lines, add an ellipsis
|
|
|
|
|
if let Some(_) = lines.next() {
|
|
|
|
|
write!(&mut self.dst, "{0:1$} {0:2$} ...\n",
|
|
|
|
|
"", fm.name.len(), max_digits)?;
|
|
|
|
|
}
|
2015-12-14 19:11:27 -06:00
|
|
|
|
}
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
2016-06-22 17:39:43 -05:00
|
|
|
|
pub fn highlight_lines(&mut self,
|
2015-12-13 06:12:47 -06:00
|
|
|
|
msp: &MultiSpan,
|
|
|
|
|
lvl: Level)
|
2015-12-14 19:11:27 -06:00
|
|
|
|
-> io::Result<()>
|
|
|
|
|
{
|
2016-07-05 14:24:23 -05:00
|
|
|
|
// Check to see if we have any lines to highlight, exit early if not
|
|
|
|
|
match self.cm {
|
|
|
|
|
None => return Ok(()),
|
|
|
|
|
_ => ()
|
|
|
|
|
}
|
|
|
|
|
|
2016-06-23 14:19:40 -05:00
|
|
|
|
let old_school = match self.format_mode {
|
|
|
|
|
FormatMode::NewErrorFormat => false,
|
|
|
|
|
FormatMode::OriginalErrorFormat => true,
|
|
|
|
|
FormatMode::EnvironmentSelected => check_old_skool()
|
|
|
|
|
};
|
|
|
|
|
|
2016-07-05 14:24:23 -05:00
|
|
|
|
let mut snippet_data = SnippetData::new(self.cm.as_ref().unwrap().clone(),
|
2016-06-23 14:19:40 -05:00
|
|
|
|
msp.primary_span(),
|
|
|
|
|
self.format_mode.clone());
|
|
|
|
|
if old_school {
|
2016-04-28 18:39:59 -05:00
|
|
|
|
let mut output_vec = vec![];
|
2016-04-29 15:27:40 -05:00
|
|
|
|
|
2016-04-28 18:39:59 -05:00
|
|
|
|
for span_label in msp.span_labels() {
|
2016-07-05 14:24:23 -05:00
|
|
|
|
let mut snippet_data = SnippetData::new(self.cm.as_ref().unwrap().clone(),
|
2016-06-23 14:19:40 -05:00
|
|
|
|
Some(span_label.span),
|
|
|
|
|
self.format_mode.clone());
|
2016-04-29 15:27:40 -05:00
|
|
|
|
|
2016-04-28 18:39:59 -05:00
|
|
|
|
snippet_data.push(span_label.span,
|
|
|
|
|
span_label.is_primary,
|
|
|
|
|
span_label.label);
|
|
|
|
|
if span_label.is_primary {
|
|
|
|
|
output_vec.insert(0, snippet_data);
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
output_vec.push(snippet_data);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
for snippet_data in output_vec.iter() {
|
|
|
|
|
let rendered_lines = snippet_data.render_lines();
|
|
|
|
|
for rendered_line in &rendered_lines {
|
|
|
|
|
for styled_string in &rendered_line.text {
|
|
|
|
|
self.dst.apply_style(lvl, &rendered_line.kind, styled_string.style)?;
|
|
|
|
|
write!(&mut self.dst, "{}", styled_string.text)?;
|
|
|
|
|
self.dst.reset_attrs()?;
|
|
|
|
|
}
|
|
|
|
|
write!(&mut self.dst, "\n")?;
|
|
|
|
|
}
|
|
|
|
|
}
|
2015-12-13 06:12:47 -06:00
|
|
|
|
}
|
2016-04-28 18:39:59 -05:00
|
|
|
|
else {
|
|
|
|
|
for span_label in msp.span_labels() {
|
|
|
|
|
snippet_data.push(span_label.span,
|
|
|
|
|
span_label.is_primary,
|
|
|
|
|
span_label.label);
|
|
|
|
|
}
|
|
|
|
|
let rendered_lines = snippet_data.render_lines();
|
|
|
|
|
for rendered_line in &rendered_lines {
|
|
|
|
|
for styled_string in &rendered_line.text {
|
|
|
|
|
self.dst.apply_style(lvl, &rendered_line.kind, styled_string.style)?;
|
|
|
|
|
write!(&mut self.dst, "{}", styled_string.text)?;
|
|
|
|
|
self.dst.reset_attrs()?;
|
|
|
|
|
}
|
|
|
|
|
write!(&mut self.dst, "\n")?;
|
2015-12-13 06:12:47 -06:00
|
|
|
|
}
|
2015-12-14 19:11:27 -06:00
|
|
|
|
}
|
2015-12-13 06:12:47 -06:00
|
|
|
|
Ok(())
|
2015-12-14 19:11:27 -06:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn print_macro_backtrace(&mut self,
|
|
|
|
|
sp: Span)
|
|
|
|
|
-> io::Result<()> {
|
2016-07-05 14:24:23 -05:00
|
|
|
|
if let Some(ref cm) = self.cm {
|
|
|
|
|
for trace in cm.macro_backtrace(sp) {
|
|
|
|
|
let mut diag_string =
|
|
|
|
|
format!("in this expansion of {}", trace.macro_decl_name);
|
|
|
|
|
if let Some(def_site_span) = trace.def_site_span {
|
|
|
|
|
diag_string.push_str(
|
|
|
|
|
&format!(" (defined in {})",
|
|
|
|
|
cm.span_to_filename(def_site_span)));
|
|
|
|
|
}
|
|
|
|
|
let snippet = cm.span_to_string(trace.call_site);
|
|
|
|
|
print_diagnostic(&mut self.dst, &snippet, Note, &diag_string, None)?;
|
2015-12-14 19:11:27 -06:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2016-06-21 17:08:13 -05:00
|
|
|
|
fn line_num_max_digits(line: &LineInfo) -> usize {
|
2015-12-13 06:12:47 -06:00
|
|
|
|
let mut max_line_num = line.line_index + 1;
|
|
|
|
|
let mut digits = 0;
|
|
|
|
|
while max_line_num > 0 {
|
|
|
|
|
max_line_num /= 10;
|
|
|
|
|
digits += 1;
|
|
|
|
|
}
|
|
|
|
|
digits
|
|
|
|
|
}
|
|
|
|
|
|
2015-12-14 19:11:27 -06:00
|
|
|
|
fn print_diagnostic(dst: &mut Destination,
|
|
|
|
|
topic: &str,
|
|
|
|
|
lvl: Level,
|
|
|
|
|
msg: &str,
|
|
|
|
|
code: Option<&str>)
|
|
|
|
|
-> io::Result<()> {
|
|
|
|
|
if !topic.is_empty() {
|
2016-04-29 20:13:42 -05:00
|
|
|
|
let old_school = check_old_skool();
|
2016-04-29 15:27:40 -05:00
|
|
|
|
if !old_school {
|
|
|
|
|
write!(dst, "{}: ", topic)?;
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
write!(dst, "{} ", topic)?;
|
|
|
|
|
}
|
2016-04-20 13:56:01 -05:00
|
|
|
|
dst.reset_attrs()?;
|
|
|
|
|
}
|
|
|
|
|
dst.start_attr(term::Attr::Bold)?;
|
|
|
|
|
dst.start_attr(term::Attr::ForegroundColor(lvl.color()))?;
|
|
|
|
|
write!(dst, "{}", lvl.to_string())?;
|
|
|
|
|
dst.reset_attrs()?;
|
|
|
|
|
write!(dst, ": ")?;
|
|
|
|
|
dst.start_attr(term::Attr::Bold)?;
|
|
|
|
|
write!(dst, "{}", msg)?;
|
2016-04-28 18:39:59 -05:00
|
|
|
|
|
2015-12-13 06:12:47 -06:00
|
|
|
|
if let Some(code) = code {
|
|
|
|
|
let style = term::Attr::ForegroundColor(term::color::BRIGHT_MAGENTA);
|
2016-03-22 22:01:37 -05:00
|
|
|
|
print_maybe_styled!(dst, style, " [{}]", code.clone())?;
|
2015-12-14 19:11:27 -06:00
|
|
|
|
}
|
2016-04-28 18:39:59 -05:00
|
|
|
|
|
2016-04-20 13:56:01 -05:00
|
|
|
|
dst.reset_attrs()?;
|
2016-03-22 22:01:37 -05:00
|
|
|
|
write!(dst, "\n")?;
|
2015-12-14 19:11:27 -06:00
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[cfg(unix)]
|
|
|
|
|
fn stderr_isatty() -> bool {
|
|
|
|
|
use libc;
|
|
|
|
|
unsafe { libc::isatty(libc::STDERR_FILENO) != 0 }
|
|
|
|
|
}
|
|
|
|
|
#[cfg(windows)]
|
|
|
|
|
fn stderr_isatty() -> bool {
|
|
|
|
|
type DWORD = u32;
|
|
|
|
|
type BOOL = i32;
|
|
|
|
|
type HANDLE = *mut u8;
|
|
|
|
|
const STD_ERROR_HANDLE: DWORD = -12i32 as DWORD;
|
|
|
|
|
extern "system" {
|
|
|
|
|
fn GetStdHandle(which: DWORD) -> HANDLE;
|
|
|
|
|
fn GetConsoleMode(hConsoleHandle: HANDLE,
|
|
|
|
|
lpMode: *mut DWORD) -> BOOL;
|
|
|
|
|
}
|
|
|
|
|
unsafe {
|
|
|
|
|
let handle = GetStdHandle(STD_ERROR_HANDLE);
|
|
|
|
|
let mut out = 0;
|
|
|
|
|
GetConsoleMode(handle, &mut out) != 0
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
enum Destination {
|
|
|
|
|
Terminal(Box<term::StderrTerminal>),
|
|
|
|
|
Raw(Box<Write + Send>),
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl Destination {
|
2015-12-14 21:42:05 -06:00
|
|
|
|
fn from_stderr() -> Destination {
|
|
|
|
|
match term::stderr() {
|
|
|
|
|
Some(t) => Terminal(t),
|
|
|
|
|
None => Raw(Box::new(io::stderr())),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2016-04-20 13:56:01 -05:00
|
|
|
|
fn apply_style(&mut self,
|
|
|
|
|
lvl: Level,
|
|
|
|
|
_kind: &RenderedLineKind,
|
|
|
|
|
style: Style)
|
|
|
|
|
-> io::Result<()> {
|
|
|
|
|
match style {
|
2016-04-26 12:36:19 -05:00
|
|
|
|
Style::FileNameStyle |
|
2016-04-20 13:56:01 -05:00
|
|
|
|
Style::LineAndColumn => {
|
|
|
|
|
}
|
|
|
|
|
Style::LineNumber => {
|
|
|
|
|
self.start_attr(term::Attr::Bold)?;
|
|
|
|
|
self.start_attr(term::Attr::ForegroundColor(term::color::BRIGHT_BLUE))?;
|
|
|
|
|
}
|
|
|
|
|
Style::Quotation => {
|
|
|
|
|
}
|
2016-05-16 07:50:01 -05:00
|
|
|
|
Style::OldSkoolNote => {
|
|
|
|
|
self.start_attr(term::Attr::Bold)?;
|
2016-05-16 14:39:25 -05:00
|
|
|
|
self.start_attr(term::Attr::ForegroundColor(term::color::BRIGHT_GREEN))?;
|
|
|
|
|
}
|
|
|
|
|
Style::OldSkoolNoteText => {
|
|
|
|
|
self.start_attr(term::Attr::Bold)?;
|
2016-05-16 07:50:01 -05:00
|
|
|
|
}
|
2016-04-20 13:56:01 -05:00
|
|
|
|
Style::UnderlinePrimary | Style::LabelPrimary => {
|
|
|
|
|
self.start_attr(term::Attr::Bold)?;
|
|
|
|
|
self.start_attr(term::Attr::ForegroundColor(lvl.color()))?;
|
|
|
|
|
}
|
|
|
|
|
Style::UnderlineSecondary | Style::LabelSecondary => {
|
|
|
|
|
self.start_attr(term::Attr::Bold)?;
|
|
|
|
|
self.start_attr(term::Attr::ForegroundColor(term::color::BRIGHT_BLUE))?;
|
|
|
|
|
}
|
|
|
|
|
Style::NoStyle => {
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn start_attr(&mut self, attr: term::Attr) -> io::Result<()> {
|
|
|
|
|
match *self {
|
|
|
|
|
Terminal(ref mut t) => { t.attr(attr)?; }
|
|
|
|
|
Raw(_) => { }
|
|
|
|
|
}
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn reset_attrs(&mut self) -> io::Result<()> {
|
|
|
|
|
match *self {
|
|
|
|
|
Terminal(ref mut t) => { t.reset()?; }
|
|
|
|
|
Raw(_) => { }
|
|
|
|
|
}
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
|
2015-12-14 19:11:27 -06:00
|
|
|
|
fn print_maybe_styled(&mut self,
|
|
|
|
|
args: fmt::Arguments,
|
|
|
|
|
color: term::Attr,
|
|
|
|
|
print_newline_at_end: bool)
|
|
|
|
|
-> io::Result<()> {
|
|
|
|
|
match *self {
|
|
|
|
|
Terminal(ref mut t) => {
|
2016-03-22 22:01:37 -05:00
|
|
|
|
t.attr(color)?;
|
2015-12-14 19:11:27 -06:00
|
|
|
|
// If `msg` ends in a newline, we need to reset the color before
|
|
|
|
|
// the newline. We're making the assumption that we end up writing
|
|
|
|
|
// to a `LineBufferedWriter`, which means that emitting the reset
|
|
|
|
|
// after the newline ends up buffering the reset until we print
|
|
|
|
|
// another line or exit. Buffering the reset is a problem if we're
|
|
|
|
|
// sharing the terminal with any other programs (e.g. other rustc
|
|
|
|
|
// instances via `make -jN`).
|
|
|
|
|
//
|
|
|
|
|
// Note that if `msg` contains any internal newlines, this will
|
|
|
|
|
// result in the `LineBufferedWriter` flushing twice instead of
|
|
|
|
|
// once, which still leaves the opportunity for interleaved output
|
|
|
|
|
// to be miscolored. We assume this is rare enough that we don't
|
|
|
|
|
// have to worry about it.
|
2016-03-22 22:01:37 -05:00
|
|
|
|
t.write_fmt(args)?;
|
|
|
|
|
t.reset()?;
|
2015-12-14 19:11:27 -06:00
|
|
|
|
if print_newline_at_end {
|
|
|
|
|
t.write_all(b"\n")
|
|
|
|
|
} else {
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
Raw(ref mut w) => {
|
2016-03-22 22:01:37 -05:00
|
|
|
|
w.write_fmt(args)?;
|
2015-12-14 19:11:27 -06:00
|
|
|
|
if print_newline_at_end {
|
|
|
|
|
w.write_all(b"\n")
|
|
|
|
|
} else {
|
|
|
|
|
Ok(())
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl Write for Destination {
|
|
|
|
|
fn write(&mut self, bytes: &[u8]) -> io::Result<usize> {
|
|
|
|
|
match *self {
|
|
|
|
|
Terminal(ref mut t) => t.write(bytes),
|
|
|
|
|
Raw(ref mut w) => w.write(bytes),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
fn flush(&mut self) -> io::Result<()> {
|
|
|
|
|
match *self {
|
|
|
|
|
Terminal(ref mut t) => t.flush(),
|
|
|
|
|
Raw(ref mut w) => w.flush(),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|