diff options
Diffstat (limited to 'crates/ra_syntax/src/fuzz.rs')
-rw-r--r-- | crates/ra_syntax/src/fuzz.rs | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/crates/ra_syntax/src/fuzz.rs b/crates/ra_syntax/src/fuzz.rs new file mode 100644 index 000000000..af11b2e1a --- /dev/null +++ b/crates/ra_syntax/src/fuzz.rs | |||
@@ -0,0 +1,67 @@ | |||
1 | use crate::{SourceFile, validation, TextUnit, TextRange, AstNode}; | ||
2 | use ra_text_edit::AtomTextEdit; | ||
3 | use std::str::{self, FromStr}; | ||
4 | |||
5 | fn check_file_invariants(file: &SourceFile) { | ||
6 | let root = file.syntax(); | ||
7 | validation::validate_block_structure(root); | ||
8 | let _ = file.errors(); | ||
9 | } | ||
10 | |||
11 | pub fn check_parser(text: &str) { | ||
12 | let file = SourceFile::parse(text); | ||
13 | check_file_invariants(&file); | ||
14 | } | ||
15 | |||
16 | #[derive(Debug, Clone)] | ||
17 | pub struct CheckReparse { | ||
18 | text: String, | ||
19 | edit: AtomTextEdit, | ||
20 | edited_text: String, | ||
21 | } | ||
22 | |||
23 | impl CheckReparse { | ||
24 | pub fn from_data(data: &[u8]) -> Option<Self> { | ||
25 | const PREFIX: &'static str = "fn main(){\n\t"; | ||
26 | const SUFFIX: &'static str = "\n}"; | ||
27 | |||
28 | let data = str::from_utf8(data).ok()?; | ||
29 | let mut lines = data.lines(); | ||
30 | let delete_start = usize::from_str(lines.next()?).ok()? + PREFIX.len(); | ||
31 | let delete_len = usize::from_str(lines.next()?).ok()?; | ||
32 | let insert = lines.next()?.to_string(); | ||
33 | let text = lines.collect::<Vec<_>>().join("\n"); | ||
34 | let text = format!("{}{}{}", PREFIX, text, SUFFIX); | ||
35 | text.get(delete_start..delete_start.checked_add(delete_len)?)?; // make sure delete is a valid range | ||
36 | let delete = TextRange::offset_len( | ||
37 | TextUnit::from_usize(delete_start), | ||
38 | TextUnit::from_usize(delete_len), | ||
39 | ); | ||
40 | let edited_text = | ||
41 | format!("{}{}{}", &text[..delete_start], &insert, &text[delete_start + delete_len..]); | ||
42 | let edit = AtomTextEdit { delete, insert }; | ||
43 | Some(CheckReparse { text, edit, edited_text }) | ||
44 | } | ||
45 | |||
46 | pub fn run(&self) { | ||
47 | let file = SourceFile::parse(&self.text); | ||
48 | let new_file = file.reparse(&self.edit); | ||
49 | check_file_invariants(&new_file); | ||
50 | assert_eq!(&new_file.syntax().text().to_string(), &self.edited_text); | ||
51 | let full_reparse = SourceFile::parse(&self.edited_text); | ||
52 | for (a, b) in new_file.syntax().descendants().zip(full_reparse.syntax().descendants()) { | ||
53 | if (a.kind(), a.range()) != (b.kind(), b.range()) { | ||
54 | eprint!("original:\n{}", file.syntax().debug_dump()); | ||
55 | eprint!("reparsed:\n{}", new_file.syntax().debug_dump()); | ||
56 | eprint!("full reparse:\n{}", full_reparse.syntax().debug_dump()); | ||
57 | assert_eq!( | ||
58 | format!("{:?}", a), | ||
59 | format!("{:?}", b), | ||
60 | "different syntax tree produced by the full reparse" | ||
61 | ); | ||
62 | } | ||
63 | } | ||
64 | // FIXME | ||
65 | // assert_eq!(new_file.errors(), full_reparse.errors()); | ||
66 | } | ||
67 | } | ||