internal: move outlined parser tests

This commit is contained in:
Aleksey Kladov 2021-12-26 17:58:33 +03:00
parent f4cb0ff9be
commit 0f74758fea
353 changed files with 13703 additions and 10 deletions

View file

@ -9,7 +9,7 @@ use expect_test::expect_file;
use crate::LexedStr;
#[test]
fn valid_lexes_input() {
fn lex_valid() {
for case in TestCase::list("lexer/ok") {
let actual = lex(&case.text);
expect_file![case.txt].assert_eq(&actual)
@ -17,7 +17,7 @@ fn valid_lexes_input() {
}
#[test]
fn invalid_lexes_input() {
fn lex_invalid() {
for case in TestCase::list("lexer/err") {
let actual = lex(&case.text);
expect_file![case.txt].assert_eq(&actual)
@ -39,6 +39,61 @@ fn lex(text: &str) -> String {
res
}
#[test]
fn parse_valid() {
for case in TestCase::list("parser/ok") {
let (actual, errors) = parse(&case.text);
assert!(!errors, "errors in an OK file {}:\n{}", case.rs.display(), actual);
expect_file![case.txt].assert_eq(&actual);
}
}
#[test]
fn parse_invalid() {
for case in TestCase::list("parser/err") {
let (actual, errors) = parse(&case.text);
assert!(errors, "no errors in an ERR file {}:\n{}", case.rs.display(), actual);
expect_file![case.txt].assert_eq(&actual)
}
}
fn parse(text: &str) -> (String, bool) {
let lexed = LexedStr::new(text);
let input = lexed.to_input();
let output = crate::parse_source_file(&input);
let mut buf = String::new();
let mut errors = Vec::new();
let mut indent = String::new();
lexed.intersperse_trivia(&output, false, &mut |step| match step {
crate::StrStep::Token { kind, text } => {
write!(buf, "{}", indent).unwrap();
write!(buf, "{:?} {:?}\n", kind, text).unwrap();
}
crate::StrStep::Enter { kind } => {
write!(buf, "{}", indent).unwrap();
write!(buf, "{:?}\n", kind).unwrap();
indent.push_str(" ");
}
crate::StrStep::Exit => {
indent.pop();
indent.pop();
}
crate::StrStep::Error { msg, pos } => errors.push(format!("error {}: {}\n", pos, msg)),
});
for (token, msg) in lexed.errors() {
let pos = lexed.text_start(token);
errors.push(format!("error {}: {}\n", pos, msg));
}
let has_errors = !errors.is_empty();
for e in errors {
buf.push_str(&e);
}
(buf, has_errors)
}
#[derive(PartialEq, Eq, PartialOrd, Ord)]
struct TestCase {
rs: PathBuf,