mirror of
https://github.com/rust-lang/rust-analyzer
synced 2024-12-26 13:03:31 +00:00
move fuzz-invariants to the library
This commit is contained in:
parent
a60b9ad963
commit
ba4a697d8c
3 changed files with 44 additions and 41 deletions
|
@ -4,9 +4,6 @@ extern crate libsyntax2;
|
||||||
|
|
||||||
fuzz_target!(|data: &[u8]| {
|
fuzz_target!(|data: &[u8]| {
|
||||||
if let Ok(text) = std::str::from_utf8(data) {
|
if let Ok(text) = std::str::from_utf8(data) {
|
||||||
let x = libsyntax2::File::parse(text);
|
libsyntax2::utils::check_fuzz_invariants(text)
|
||||||
let _ = x.ast();
|
|
||||||
let _ = x.syntax();
|
|
||||||
let _ = x.errors();
|
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
|
|
|
@ -66,7 +66,9 @@ impl File {
|
||||||
fn new(green: GreenNode, errors: Vec<SyntaxError>) -> File {
|
fn new(green: GreenNode, errors: Vec<SyntaxError>) -> File {
|
||||||
let root = SyntaxRoot::new(green, errors);
|
let root = SyntaxRoot::new(green, errors);
|
||||||
let root = SyntaxNode::new_owned(root);
|
let root = SyntaxNode::new_owned(root);
|
||||||
validate_block_structure(root.borrowed());
|
if cfg!(debug_assertions) {
|
||||||
|
utils::validate_block_structure(root.borrowed());
|
||||||
|
}
|
||||||
File { root }
|
File { root }
|
||||||
}
|
}
|
||||||
pub fn parse(text: &str) -> File {
|
pub fn parse(text: &str) -> File {
|
||||||
|
@ -112,40 +114,6 @@ impl File {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
#[cfg(not(debug_assertions))]
|
|
||||||
fn validate_block_structure(_: SyntaxNodeRef) {}
|
|
||||||
|
|
||||||
#[cfg(debug_assertions)]
|
|
||||||
fn validate_block_structure(root: SyntaxNodeRef) {
|
|
||||||
let mut stack = Vec::new();
|
|
||||||
for node in algo::walk::preorder(root) {
|
|
||||||
match node.kind() {
|
|
||||||
SyntaxKind::L_CURLY => {
|
|
||||||
stack.push(node)
|
|
||||||
}
|
|
||||||
SyntaxKind::R_CURLY => {
|
|
||||||
if let Some(pair) = stack.pop() {
|
|
||||||
assert_eq!(
|
|
||||||
node.parent(),
|
|
||||||
pair.parent(),
|
|
||||||
"\nunpaired curleys:\n{}\n{}\n",
|
|
||||||
root.text(),
|
|
||||||
utils::dump_tree(root),
|
|
||||||
);
|
|
||||||
assert!(
|
|
||||||
node.next_sibling().is_none() && pair.prev_sibling().is_none(),
|
|
||||||
"\nfloating curlys at {:?}\nfile:\n{}\nerror:\n{}\n",
|
|
||||||
node,
|
|
||||||
root.text(),
|
|
||||||
node.text(),
|
|
||||||
);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
_ => (),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
#[derive(Debug, Clone)]
|
#[derive(Debug, Clone)]
|
||||||
pub struct AtomEdit {
|
pub struct AtomEdit {
|
||||||
pub delete: TextRange,
|
pub delete: TextRange,
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
use std::fmt::Write;
|
use std::fmt::Write;
|
||||||
use {
|
use {
|
||||||
algo::walk::{walk, WalkEvent},
|
algo::walk::{preorder, walk, WalkEvent},
|
||||||
SyntaxNodeRef, TreeRoot,
|
SyntaxKind, File, SyntaxNodeRef, TreeRoot,
|
||||||
};
|
};
|
||||||
|
|
||||||
/// Parse a file and create a string representation of the resulting parse tree.
|
/// Parse a file and create a string representation of the resulting parse tree.
|
||||||
|
@ -45,3 +45,41 @@ pub fn dump_tree(syntax: SyntaxNodeRef) -> String {
|
||||||
|
|
||||||
return buf;
|
return buf;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
pub fn check_fuzz_invariants(text: &str) {
|
||||||
|
let file = File::parse(text);
|
||||||
|
let root = file.syntax();
|
||||||
|
validate_block_structure(root);
|
||||||
|
let _ = file.ast();
|
||||||
|
let _ = file.errors();
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(crate) fn validate_block_structure(root: SyntaxNodeRef) {
|
||||||
|
let mut stack = Vec::new();
|
||||||
|
for node in preorder(root) {
|
||||||
|
match node.kind() {
|
||||||
|
SyntaxKind::L_CURLY => {
|
||||||
|
stack.push(node)
|
||||||
|
}
|
||||||
|
SyntaxKind::R_CURLY => {
|
||||||
|
if let Some(pair) = stack.pop() {
|
||||||
|
assert_eq!(
|
||||||
|
node.parent(),
|
||||||
|
pair.parent(),
|
||||||
|
"\nunpaired curleys:\n{}\n{}\n",
|
||||||
|
root.text(),
|
||||||
|
dump_tree(root),
|
||||||
|
);
|
||||||
|
assert!(
|
||||||
|
node.next_sibling().is_none() && pair.prev_sibling().is_none(),
|
||||||
|
"\nfloating curlys at {:?}\nfile:\n{}\nerror:\n{}\n",
|
||||||
|
node,
|
||||||
|
root.text(),
|
||||||
|
node.text(),
|
||||||
|
);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
_ => (),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
Loading…
Reference in a new issue