2018-08-01 07:40:07 +00:00
|
|
|
extern crate libsyntax2;
|
2018-08-10 18:13:39 +00:00
|
|
|
extern crate superslice;
|
2018-08-12 15:50:16 +00:00
|
|
|
extern crate itertools;
|
2018-08-28 19:37:49 +00:00
|
|
|
extern crate join_to_string;
|
2018-08-28 11:47:12 +00:00
|
|
|
#[cfg(test)]
|
|
|
|
#[macro_use]
|
|
|
|
extern crate test_utils as _test_utils;
|
2018-08-07 15:28:30 +00:00
|
|
|
|
|
|
|
mod extend_selection;
|
2018-08-11 09:28:59 +00:00
|
|
|
mod symbols;
|
2018-08-10 18:13:39 +00:00
|
|
|
mod line_index;
|
2018-08-12 15:50:16 +00:00
|
|
|
mod edit;
|
|
|
|
mod code_actions;
|
2018-08-23 17:55:23 +00:00
|
|
|
mod typing;
|
2018-08-26 06:12:18 +00:00
|
|
|
mod completion;
|
2018-08-27 17:58:38 +00:00
|
|
|
mod scope;
|
2018-08-28 11:47:12 +00:00
|
|
|
#[cfg(test)]
|
|
|
|
mod test_utils;
|
2018-08-01 07:40:07 +00:00
|
|
|
|
|
|
|
use libsyntax2::{
|
2018-08-26 06:12:18 +00:00
|
|
|
File, TextUnit, TextRange, SyntaxNodeRef,
|
2018-08-28 16:23:55 +00:00
|
|
|
ast::{self, AstNode, NameOwner},
|
2018-08-26 06:12:18 +00:00
|
|
|
algo::{walk, find_leaf_at_offset, ancestors},
|
2018-08-15 21:23:22 +00:00
|
|
|
SyntaxKind::{self, *},
|
2018-08-01 07:40:07 +00:00
|
|
|
};
|
2018-08-25 09:44:26 +00:00
|
|
|
pub use libsyntax2::AtomEdit;
|
2018-08-11 09:28:59 +00:00
|
|
|
pub use self::{
|
|
|
|
line_index::{LineIndex, LineCol},
|
|
|
|
extend_selection::extend_selection,
|
2018-08-14 08:20:09 +00:00
|
|
|
symbols::{StructureNode, file_structure, FileSymbol, file_symbols},
|
2018-08-25 09:44:26 +00:00
|
|
|
edit::{EditBuilder, Edit},
|
2018-08-16 09:51:40 +00:00
|
|
|
code_actions::{
|
2018-08-26 06:12:18 +00:00
|
|
|
ActionResult,
|
2018-08-22 15:05:43 +00:00
|
|
|
flip_comma, add_derive, add_impl,
|
2018-08-16 09:51:40 +00:00
|
|
|
},
|
2018-08-28 08:12:42 +00:00
|
|
|
typing::{join_lines, on_eq_typed},
|
2018-08-26 06:12:18 +00:00
|
|
|
completion::scope_completion,
|
2018-08-11 09:28:59 +00:00
|
|
|
};
|
2018-08-01 07:40:07 +00:00
|
|
|
|
2018-08-09 09:47:34 +00:00
|
|
|
#[derive(Debug)]
|
2018-08-01 07:40:07 +00:00
|
|
|
pub struct HighlightedRange {
|
|
|
|
pub range: TextRange,
|
|
|
|
pub tag: &'static str,
|
|
|
|
}
|
|
|
|
|
2018-08-09 18:27:44 +00:00
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct Diagnostic {
|
|
|
|
pub range: TextRange,
|
|
|
|
pub msg: String,
|
|
|
|
}
|
|
|
|
|
2018-08-09 13:03:21 +00:00
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct Runnable {
|
|
|
|
pub range: TextRange,
|
|
|
|
pub kind: RunnableKind,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub enum RunnableKind {
|
|
|
|
Test { name: String },
|
|
|
|
Bin,
|
|
|
|
}
|
|
|
|
|
2018-08-25 08:44:58 +00:00
|
|
|
pub fn matching_brace(file: &File, offset: TextUnit) -> Option<TextUnit> {
|
2018-08-15 21:23:22 +00:00
|
|
|
const BRACES: &[SyntaxKind] = &[
|
|
|
|
L_CURLY, R_CURLY,
|
|
|
|
L_BRACK, R_BRACK,
|
|
|
|
L_PAREN, R_PAREN,
|
|
|
|
L_ANGLE, R_ANGLE,
|
|
|
|
];
|
2018-08-17 19:00:13 +00:00
|
|
|
let (brace_node, brace_idx) = find_leaf_at_offset(file.syntax(), offset)
|
2018-08-15 21:23:22 +00:00
|
|
|
.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())
|
|
|
|
}
|
|
|
|
|
2018-08-25 08:44:58 +00:00
|
|
|
pub fn highlight(file: &File) -> Vec<HighlightedRange> {
|
2018-08-10 12:07:43 +00:00
|
|
|
let mut res = Vec::new();
|
2018-08-17 19:00:13 +00:00
|
|
|
for node in walk::preorder(file.syntax()) {
|
2018-08-10 12:07:43 +00:00
|
|
|
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,
|
|
|
|
})
|
2018-08-01 07:40:07 +00:00
|
|
|
}
|
2018-08-10 12:07:43 +00:00
|
|
|
res
|
|
|
|
}
|
2018-08-01 07:40:07 +00:00
|
|
|
|
2018-08-25 08:44:58 +00:00
|
|
|
pub fn diagnostics(file: &File) -> Vec<Diagnostic> {
|
2018-08-10 12:07:43 +00:00
|
|
|
let mut res = Vec::new();
|
2018-08-01 07:40:07 +00:00
|
|
|
|
2018-08-17 19:00:13 +00:00
|
|
|
for node in walk::preorder(file.syntax()) {
|
2018-08-10 12:07:43 +00:00
|
|
|
if node.kind() == ERROR {
|
|
|
|
res.push(Diagnostic {
|
|
|
|
range: node.range(),
|
|
|
|
msg: "Syntax Error".to_string(),
|
|
|
|
});
|
2018-08-09 18:27:44 +00:00
|
|
|
}
|
|
|
|
}
|
2018-08-10 12:07:43 +00:00
|
|
|
res.extend(file.errors().into_iter().map(|err| Diagnostic {
|
|
|
|
range: TextRange::offset_len(err.offset, 1.into()),
|
|
|
|
msg: err.msg,
|
|
|
|
}));
|
|
|
|
res
|
|
|
|
}
|
2018-08-09 18:27:44 +00:00
|
|
|
|
2018-08-25 08:44:58 +00:00
|
|
|
pub fn syntax_tree(file: &File) -> String {
|
2018-08-17 19:00:13 +00:00
|
|
|
::libsyntax2::utils::dump_tree(file.syntax())
|
2018-08-10 12:07:43 +00:00
|
|
|
}
|
2018-08-05 16:06:14 +00:00
|
|
|
|
2018-08-25 08:44:58 +00:00
|
|
|
pub fn runnables(file: &File) -> Vec<Runnable> {
|
2018-08-28 16:23:55 +00:00
|
|
|
walk::preorder(file.syntax())
|
|
|
|
.filter_map(ast::FnDef::cast)
|
2018-08-10 12:07:43 +00:00
|
|
|
.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,
|
2018-08-09 13:03:21 +00:00
|
|
|
})
|
2018-08-10 12:07:43 +00:00
|
|
|
})
|
|
|
|
.collect()
|
2018-08-05 16:06:14 +00:00
|
|
|
}
|
2018-08-26 06:12:18 +00:00
|
|
|
|
|
|
|
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()
|
|
|
|
}
|
2018-08-28 11:47:12 +00:00
|
|
|
|
|
|
|
#[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, }",
|
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|