Permalink
Cannot retrieve contributors at this time
Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign up
Find file
Copy path
Fetching contributors…
| extern crate libsyntax2; | |
| extern crate superslice; | |
| extern crate itertools; | |
| extern crate join_to_string; | |
| #[cfg(test)] | |
| #[macro_use] | |
| extern crate test_utils as _test_utils; | |
| mod extend_selection; | |
| mod symbols; | |
| mod line_index; | |
| mod edit; | |
| mod code_actions; | |
| mod typing; | |
| mod completion; | |
| mod scope; | |
| #[cfg(test)] | |
| mod test_utils; | |
| use libsyntax2::{ | |
| File, TextUnit, TextRange, SyntaxNodeRef, | |
| ast::{self, AstNode, NameOwner}, | |
| algo::{walk, find_leaf_at_offset, ancestors}, | |
| SyntaxKind::{self, *}, | |
| }; | |
| pub use libsyntax2::AtomEdit; | |
| pub use self::{ | |
| line_index::{LineIndex, LineCol}, | |
| extend_selection::extend_selection, | |
| symbols::{StructureNode, file_structure, FileSymbol, file_symbols}, | |
| edit::{EditBuilder, Edit}, | |
| code_actions::{ | |
| LocalEdit, | |
| flip_comma, add_derive, add_impl, | |
| }, | |
| typing::{join_lines, on_eq_typed}, | |
| completion::{scope_completion, CompletionItem}, | |
| }; | |
| #[derive(Debug)] | |
| pub struct HighlightedRange { | |
| pub range: TextRange, | |
| pub tag: &'static str, | |
| } | |
| #[derive(Debug)] | |
| pub struct Diagnostic { | |
| pub range: TextRange, | |
| pub msg: String, | |
| } | |
| #[derive(Debug)] | |
| pub struct Runnable { | |
| pub range: TextRange, | |
| pub kind: RunnableKind, | |
| } | |
| #[derive(Debug)] | |
| pub enum RunnableKind { | |
| Test { name: String }, | |
| Bin, | |
| } | |
| pub fn matching_brace(file: &File, offset: TextUnit) -> Option<TextUnit> { | |
| const BRACES: &[SyntaxKind] = &[ | |
| L_CURLY, R_CURLY, | |
| L_BRACK, R_BRACK, | |
| L_PAREN, R_PAREN, | |
| L_ANGLE, R_ANGLE, | |
| ]; | |
| let (brace_node, brace_idx) = find_leaf_at_offset(file.syntax(), offset) | |
| .filter_map(|node| { | |
| let idx = BRACES.iter().position(|&brace| brace == node.kind())?; | |
| Some((node, idx)) | |
| }) | |
| .next()?; | |
| let parent = brace_node.parent()?; | |
| let matching_kind = BRACES[brace_idx ^ 1]; | |
| let matching_node = parent.children() | |
| .find(|node| node.kind() == matching_kind)?; | |
| Some(matching_node.range().start()) | |
| } | |
| pub fn highlight(file: &File) -> Vec<HighlightedRange> { | |
| let mut res = Vec::new(); | |
| for node in walk::preorder(file.syntax()) { | |
| let tag = match node.kind() { | |
| ERROR => "error", | |
| COMMENT | DOC_COMMENT => "comment", | |
| STRING | RAW_STRING | RAW_BYTE_STRING | BYTE_STRING => "string", | |
| ATTR => "attribute", | |
| NAME_REF => "text", | |
| NAME => "function", | |
| INT_NUMBER | FLOAT_NUMBER | CHAR | BYTE => "literal", | |
| LIFETIME => "parameter", | |
| k if k.is_keyword() => "keyword", | |
| _ => continue, | |
| }; | |
| res.push(HighlightedRange { | |
| range: node.range(), | |
| tag, | |
| }) | |
| } | |
| res | |
| } | |
| pub fn diagnostics(file: &File) -> Vec<Diagnostic> { | |
| let mut res = Vec::new(); | |
| for node in walk::preorder(file.syntax()) { | |
| if node.kind() == ERROR { | |
| res.push(Diagnostic { | |
| range: node.range(), | |
| msg: "Syntax Error".to_string(), | |
| }); | |
| } | |
| } | |
| res.extend(file.errors().into_iter().map(|err| Diagnostic { | |
| range: TextRange::offset_len(err.offset, 1.into()), | |
| msg: err.msg, | |
| })); | |
| res | |
| } | |
| pub fn syntax_tree(file: &File) -> String { | |
| ::libsyntax2::utils::dump_tree(file.syntax()) | |
| } | |
| pub fn runnables(file: &File) -> Vec<Runnable> { | |
| walk::preorder(file.syntax()) | |
| .filter_map(ast::FnDef::cast) | |
| .filter_map(|f| { | |
| let name = f.name()?.text(); | |
| let kind = if name == "main" { | |
| RunnableKind::Bin | |
| } else if f.has_atom_attr("test") { | |
| RunnableKind::Test { | |
| name: name.to_string() | |
| } | |
| } else { | |
| return None; | |
| }; | |
| Some(Runnable { | |
| range: f.syntax().range(), | |
| kind, | |
| }) | |
| }) | |
| .collect() | |
| } | |
| pub fn find_node_at_offset<'a, N: AstNode<'a>>( | |
| syntax: SyntaxNodeRef<'a>, | |
| offset: TextUnit, | |
| ) -> Option<N> { | |
| let leaves = find_leaf_at_offset(syntax, offset); | |
| let leaf = leaves.clone() | |
| .find(|leaf| !leaf.kind().is_trivia()) | |
| .or_else(|| leaves.right_biased())?; | |
| ancestors(leaf) | |
| .filter_map(N::cast) | |
| .next() | |
| } | |
| #[cfg(test)] | |
| mod tests { | |
| use super::*; | |
| use test_utils::{assert_eq_dbg, extract_offset, add_cursor}; | |
| #[test] | |
| fn test_highlighting() { | |
| let file = File::parse(r#" | |
| // comment | |
| fn main() {} | |
| println!("Hello, {}!", 92); | |
| "#); | |
| let hls = highlight(&file); | |
| assert_eq_dbg( | |
| r#"[HighlightedRange { range: [1; 11), tag: "comment" }, | |
| HighlightedRange { range: [12; 14), tag: "keyword" }, | |
| HighlightedRange { range: [15; 19), tag: "function" }, | |
| HighlightedRange { range: [29; 36), tag: "text" }, | |
| HighlightedRange { range: [38; 50), tag: "string" }, | |
| HighlightedRange { range: [52; 54), tag: "literal" }]"#, | |
| &hls, | |
| ); | |
| } | |
| #[test] | |
| fn test_runnables() { | |
| let file = File::parse(r#" | |
| fn main() {} | |
| #[test] | |
| fn test_foo() {} | |
| #[test] | |
| #[ignore] | |
| fn test_foo() {} | |
| "#); | |
| let runnables = runnables(&file); | |
| assert_eq_dbg( | |
| r#"[Runnable { range: [1; 13), kind: Bin }, | |
| Runnable { range: [15; 39), kind: Test { name: "test_foo" } }, | |
| Runnable { range: [41; 75), kind: Test { name: "test_foo" } }]"#, | |
| &runnables, | |
| ) | |
| } | |
| #[test] | |
| fn test_matching_brace() { | |
| fn do_check(before: &str, after: &str) { | |
| let (pos, before) = extract_offset(before); | |
| let file = File::parse(&before); | |
| let new_pos = match matching_brace(&file, pos) { | |
| None => pos, | |
| Some(pos) => pos, | |
| }; | |
| let actual = add_cursor(&before, new_pos); | |
| assert_eq_text!(after, &actual); | |
| } | |
| do_check( | |
| "struct Foo { a: i32, }<|>", | |
| "struct Foo <|>{ a: i32, }", | |
| ); | |
| } | |
| } |