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-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-01 07:40:07 +00:00
|
|
|
|
|
|
|
use libsyntax2::{
|
2018-08-11 09:28:59 +00:00
|
|
|
ast::{self, NameOwner},
|
2018-08-11 11:44:12 +00:00
|
|
|
AstNode,
|
2018-08-15 21:23:22 +00:00
|
|
|
algo::{walk, find_leaf_at_offset},
|
|
|
|
SyntaxKind::{self, *},
|
2018-08-01 07:40:07 +00:00
|
|
|
};
|
2018-08-17 19:00:13 +00:00
|
|
|
pub use libsyntax2::{ParsedFile, TextRange, TextUnit};
|
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-12 23:38:34 +00:00
|
|
|
edit::{EditBuilder, Edit, AtomEdit},
|
2018-08-16 09:51:40 +00:00
|
|
|
code_actions::{
|
|
|
|
ActionResult, CursorPosition, find_node,
|
|
|
|
flip_comma, add_derive,
|
|
|
|
},
|
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-17 19:00:13 +00:00
|
|
|
pub fn parse(text: &str) -> ast::ParsedFile {
|
|
|
|
ast::ParsedFile::parse(text)
|
2018-08-11 05:56:13 +00:00
|
|
|
}
|
|
|
|
|
2018-08-17 19:00:13 +00:00
|
|
|
pub fn matching_brace(file: &ast::ParsedFile, 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-17 19:00:13 +00:00
|
|
|
pub fn highlight(file: &ast::ParsedFile) -> 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-17 19:00:13 +00:00
|
|
|
pub fn diagnostics(file: &ast::ParsedFile) -> 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-17 19:00:13 +00:00
|
|
|
pub fn syntax_tree(file: &ast::ParsedFile) -> String {
|
|
|
|
::libsyntax2::utils::dump_tree(file.syntax())
|
2018-08-10 12:07:43 +00:00
|
|
|
}
|
2018-08-05 16:06:14 +00:00
|
|
|
|
2018-08-17 19:00:13 +00:00
|
|
|
pub fn runnables(file: &ast::ParsedFile) -> Vec<Runnable> {
|
|
|
|
file.ast()
|
2018-08-10 12:07:43 +00:00
|
|
|
.functions()
|
|
|
|
.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
|
|
|
}
|