rust/crates/ra_editor/src/folding_ranges.rs

281 lines
6.7 KiB
Rust
Raw Normal View History

use rustc_hash::FxHashSet;
use ra_syntax::{
ast, AstNode, Direction, File,
2018-10-12 19:49:08 +02:00
SyntaxKind::{self, *},
SyntaxNodeRef, TextRange,
};
2018-09-24 16:48:13 +02:00
#[derive(Debug, PartialEq, Eq)]
pub enum FoldKind {
Comment,
Imports,
}
2018-09-24 16:48:13 +02:00
#[derive(Debug)]
pub struct Fold {
pub range: TextRange,
pub kind: FoldKind,
}
pub fn folding_ranges(file: &File) -> Vec<Fold> {
let mut res = vec![];
2018-10-12 19:49:08 +02:00
let mut visited_comments = FxHashSet::default();
2018-10-23 14:58:02 +02:00
let mut visited_imports = FxHashSet::default();
for node in file.syntax().descendants() {
// Fold items that span multiple lines
if let Some(kind) = fold_kind(node.kind()) {
if has_newline(node) {
res.push(Fold {
range: node.range(),
kind,
});
}
}
2018-10-23 14:58:02 +02:00
// Fold groups of comments
if node.kind() == COMMENT && !visited_comments.contains(&node) {
if let Some(range) = contiguous_range_for_comment(node, &mut visited_comments) {
res.push(Fold {
range,
kind: FoldKind::Comment,
})
}
}
2018-10-23 14:58:02 +02:00
// Fold groups of imports
if node.kind() == USE_ITEM && !visited_imports.contains(&node) {
if let Some(range) = contiguous_range_for_group(node, &mut visited_imports) {
res.push(Fold {
range,
kind: FoldKind::Imports,
})
}
}
}
res
}
fn fold_kind(kind: SyntaxKind) -> Option<FoldKind> {
match kind {
2018-10-12 19:49:08 +02:00
COMMENT => Some(FoldKind::Comment),
USE_ITEM => Some(FoldKind::Imports),
_ => None,
}
}
fn has_newline(node: SyntaxNodeRef) -> bool {
for descendant in node.descendants() {
if let Some(ws) = ast::Whitespace::cast(descendant) {
if ws.has_newlines() {
return true;
}
} else if let Some(comment) = ast::Comment::cast(descendant) {
if comment.has_newlines() {
return true;
}
}
}
false
}
2018-10-23 14:58:02 +02:00
fn contiguous_range_for_group<'a>(
first: SyntaxNodeRef<'a>,
visited: &mut FxHashSet<SyntaxNodeRef<'a>>,
) -> Option<TextRange> {
visited.insert(first);
let mut last = first;
for node in first.siblings(Direction::Next) {
if let Some(ws) = ast::Whitespace::cast(node) {
// There is a blank line, which means that the group ends here
if ws.count_newlines_lazy().take(2).count() == 2 {
break;
}
// Ignore whitespace without blank lines
continue;
}
// Stop if we find a node that doesn't belong to the group
if node.kind() != first.kind() {
break;
}
visited.insert(node);
last = node;
}
if first != last {
Some(TextRange::from_to(
first.range().start(),
last.range().end(),
))
} else {
// The group consists of only one element, therefore it cannot be folded
None
}
}
2018-10-12 19:49:08 +02:00
fn contiguous_range_for_comment<'a>(
first: SyntaxNodeRef<'a>,
visited: &mut FxHashSet<SyntaxNodeRef<'a>>,
) -> Option<TextRange> {
visited.insert(first);
2018-10-12 19:49:08 +02:00
// Only fold comments of the same flavor
let group_flavor = ast::Comment::cast(first)?.flavor();
2018-10-12 19:49:08 +02:00
let mut last = first;
for node in first.siblings(Direction::Next) {
if let Some(ws) = ast::Whitespace::cast(node) {
// There is a blank line, which means the group ends here
if ws.count_newlines_lazy().take(2).count() == 2 {
break;
}
// Ignore whitespace without blank lines
continue;
}
2018-10-12 19:49:08 +02:00
match ast::Comment::cast(node) {
Some(next_comment) if next_comment.flavor() == group_flavor => {
visited.insert(node);
last = node;
}
// The comment group ends because either:
// * An element of a different kind was reached
// * A comment of a different flavor was reached
_ => break,
}
}
if first != last {
Some(TextRange::from_to(
first.range().start(),
last.range().end(),
))
} else {
// The group consists of only one element, therefore it cannot be folded
None
}
2018-09-24 16:48:13 +02:00
}
#[cfg(test)]
mod tests {
use super::*;
2018-10-13 21:33:15 +02:00
use test_utils::extract_ranges;
fn do_check(text: &str, fold_kinds: &[FoldKind]) {
let (ranges, text) = extract_ranges(text);
let file = File::parse(&text);
let folds = folding_ranges(&file);
2018-10-23 14:58:02 +02:00
assert_eq!(folds.len(), ranges.len(), "The amount of folds is different than the expected amount");
assert_eq!(folds.len(), fold_kinds.len(), "The amount of fold kinds is different than the expected amount");
for ((fold, range), fold_kind) in folds
.into_iter()
.zip(ranges.into_iter())
.zip(fold_kinds.into_iter())
{
2018-10-13 21:33:15 +02:00
assert_eq!(fold.range.start(), range.start());
assert_eq!(fold.range.end(), range.end());
assert_eq!(&fold.kind, fold_kind);
}
}
2018-09-24 16:48:13 +02:00
#[test]
fn test_fold_comments() {
let text = r#"
2018-10-13 21:33:15 +02:00
<|>// Hello
2018-09-24 16:48:13 +02:00
// this is a multiline
// comment
2018-10-13 21:33:15 +02:00
//<|>
2018-09-24 16:48:13 +02:00
// But this is not
fn main() {
2018-10-13 21:33:15 +02:00
<|>// We should
2018-09-24 16:48:13 +02:00
// also
// fold
2018-10-13 21:33:15 +02:00
// this one.<|>
<|>//! But this one is different
//! because it has another flavor<|>
<|>/* As does this
multiline comment */<|>
2018-09-24 16:48:13 +02:00
}"#;
2018-10-13 21:33:15 +02:00
let fold_kinds = &[
FoldKind::Comment,
FoldKind::Comment,
FoldKind::Comment,
FoldKind::Comment,
];
do_check(text, fold_kinds);
2018-09-24 16:48:13 +02:00
}
#[test]
fn test_fold_imports() {
let text = r#"
2018-10-13 21:33:15 +02:00
<|>use std::{
2018-10-12 19:49:08 +02:00
str,
vec,
io as iop
2018-10-13 21:33:15 +02:00
};<|>
2018-09-24 16:48:13 +02:00
fn main() {
}"#;
2018-10-13 21:33:15 +02:00
let folds = &[FoldKind::Imports];
do_check(text, folds);
2018-09-24 16:48:13 +02:00
}
2018-10-23 14:58:02 +02:00
#[test]
fn test_fold_import_groups() {
let text = r#"
<|>use std::str;
use std::vec;
use std::io as iop;<|>
<|>use std::mem;
use std::f64;<|>
use std::collections::HashMap;
// Some random comment
use std::collections::VecDeque;
fn main() {
}"#;
let folds = &[FoldKind::Imports, FoldKind::Imports];
do_check(text, folds);
}
#[test]
fn test_fold_import_and_groups() {
let text = r#"
<|>use std::str;
use std::vec;
use std::io as iop;<|>
<|>use std::mem;
use std::f64;<|>
<|>use std::collections::{
HashMap,
VecDeque,
};<|>
// Some random comment
fn main() {
}"#;
let folds = &[FoldKind::Imports, FoldKind::Imports, FoldKind::Imports];
do_check(text, folds);
}
}