| use errors::Applicability; |
| use syntax::parse::lexer::{StringReader as Lexer}; |
| use syntax::parse::{ParseSess, token}; |
| use syntax::source_map::FilePathMapping; |
| use syntax_pos::{InnerSpan, FileName}; |
| |
| use crate::clean; |
| use crate::core::DocContext; |
| use crate::fold::DocFolder; |
| use crate::html::markdown::{self, RustCodeBlock}; |
| use crate::passes::Pass; |
| |
| pub const CHECK_CODE_BLOCK_SYNTAX: Pass = Pass { |
| name: "check-code-block-syntax", |
| pass: check_code_block_syntax, |
| description: "validates syntax inside Rust code blocks", |
| }; |
| |
| pub fn check_code_block_syntax(krate: clean::Crate, cx: &DocContext<'_>) -> clean::Crate { |
| SyntaxChecker { cx }.fold_crate(krate) |
| } |
| |
| struct SyntaxChecker<'a, 'tcx> { |
| cx: &'a DocContext<'tcx>, |
| } |
| |
| impl<'a, 'tcx> SyntaxChecker<'a, 'tcx> { |
| fn check_rust_syntax(&self, item: &clean::Item, dox: &str, code_block: RustCodeBlock) { |
| let sess = ParseSess::new(FilePathMapping::empty()); |
| let source_file = sess.source_map().new_source_file( |
| FileName::Custom(String::from("doctest")), |
| dox[code_block.code].to_owned(), |
| ); |
| |
| let has_errors = { |
| let mut has_errors = false; |
| let mut lexer = Lexer::new(&sess, source_file, None); |
| loop { |
| match lexer.next_token().kind { |
| token::Eof => break, |
| token::Unknown(..) => has_errors = true, |
| _ => (), |
| } |
| } |
| has_errors |
| }; |
| |
| if has_errors { |
| let mut diag = if let Some(sp) = |
| super::source_span_for_markdown_range(self.cx, &dox, &code_block.range, &item.attrs) |
| { |
| let mut diag = self |
| .cx |
| .sess() |
| .struct_span_warn(sp, "could not parse code block as Rust code"); |
| |
| if code_block.syntax.is_none() && code_block.is_fenced { |
| let sp = sp.from_inner(InnerSpan::new(0, 3)); |
| diag.span_suggestion( |
| sp, |
| "mark blocks that do not contain Rust code as text", |
| String::from("```text"), |
| Applicability::MachineApplicable, |
| ); |
| } |
| |
| diag |
| } else { |
| // We couldn't calculate the span of the markdown block that had the error, so our |
| // diagnostics are going to be a bit lacking. |
| let mut diag = self.cx.sess().struct_span_warn( |
| super::span_of_attrs(&item.attrs).unwrap_or(item.source.span()), |
| "doc comment contains an invalid Rust code block", |
| ); |
| |
| if code_block.syntax.is_none() && code_block.is_fenced { |
| diag.help("mark blocks that do not contain Rust code as text: ```text"); |
| } |
| |
| diag |
| }; |
| |
| diag.emit(); |
| } |
| } |
| } |
| |
| impl<'a, 'tcx> DocFolder for SyntaxChecker<'a, 'tcx> { |
| fn fold_item(&mut self, item: clean::Item) -> Option<clean::Item> { |
| if let Some(dox) = &item.attrs.collapsed_doc_value() { |
| for code_block in markdown::rust_code_blocks(&dox) { |
| self.check_rust_syntax(&item, &dox, code_block); |
| } |
| } |
| |
| self.fold_item_recur(item) |
| } |
| } |