1 // Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
10 use self::WhichLine::*;
12 use std::ascii::AsciiExt;
13 use std::io::{BufferedReader, File};
16 pub struct ExpectedError {
22 /// Looks for either "//~| KIND MESSAGE" or "//~^^... KIND MESSAGE"
23 /// The former is a "follow" that inherits its target from the preceding line;
24 /// the latter is an "adjusts" that goes that many lines up.
26 /// Goal is to enable tests both like: //~^^^ ERROR go up three
27 /// and also //~^ ERROR message one for the preceding line, and
28 /// //~| ERROR message two for that same line.
30 pub static EXPECTED_PATTERN : &'static str =
31 r"//~(?P<follow>\|)?(?P<adjusts>\^*)\s*(?P<kind>\S*)\s*(?P<msg>.*)";
33 #[derive(PartialEq, Show)]
34 enum WhichLine { ThisLine, FollowPrevious(uint), AdjustBackward(uint) }
36 // Load any test directives embedded in the file
37 pub fn load_errors(re: &Regex, testfile: &Path) -> Vec<ExpectedError> {
38 let mut rdr = BufferedReader::new(File::open(testfile).unwrap());
40 // `last_nonfollow_error` tracks the most recently seen
41 // line with an error template that did not use the
42 // follow-syntax, "//~| ...".
44 // (pnkfelix could not find an easy way to compose Iterator::scan
45 // and Iterator::filter_map to pass along this information into
46 // `parse_expected`. So instead I am storing that state here and
47 // updating it in the map callback below.)
48 let mut last_nonfollow_error = None;
50 rdr.lines().enumerate().filter_map(|(line_no, ln)| {
51 parse_expected(last_nonfollow_error,
53 ln.unwrap().as_slice(), re)
54 .map(|(which, error)| {
56 FollowPrevious(_) => {}
57 _ => last_nonfollow_error = Some(error.line),
64 fn parse_expected(last_nonfollow_error: Option<uint>,
67 re: &Regex) -> Option<(WhichLine, ExpectedError)> {
68 re.captures(line).and_then(|caps| {
69 let adjusts = caps.name("adjusts").unwrap_or("").len();
70 let kind = caps.name("kind").unwrap_or("").to_ascii_lowercase();
71 let msg = caps.name("msg").unwrap_or("").trim().to_string();
72 let follow = caps.name("follow").unwrap_or("").len() > 0;
74 let (which, line) = if follow {
75 assert!(adjusts == 0, "use either //~| or //~^, not both.");
76 let line = last_nonfollow_error.unwrap_or_else(|| {
77 panic!("encountered //~| without preceding //~^ line.")
79 (FollowPrevious(line), line)
82 if adjusts > 0 { AdjustBackward(adjusts) } else { ThisLine };
83 let line = line_num - adjusts;
87 debug!("line={} which={} kind={} msg={}", line_num, which, kind, msg);
88 Some((which, ExpectedError { line: line,