2018-08-13 10:46:05 +00:00
|
|
|
#[macro_use]
|
2018-08-10 12:07:43 +00:00
|
|
|
extern crate failure;
|
|
|
|
extern crate parking_lot;
|
2018-08-10 18:13:39 +00:00
|
|
|
#[macro_use]
|
|
|
|
extern crate log;
|
2018-08-10 19:23:17 +00:00
|
|
|
extern crate once_cell;
|
2018-08-10 18:13:39 +00:00
|
|
|
extern crate libsyntax2;
|
2018-08-10 19:23:17 +00:00
|
|
|
extern crate libeditor;
|
2018-08-13 12:10:20 +00:00
|
|
|
extern crate fst;
|
2018-08-13 16:28:34 +00:00
|
|
|
extern crate rayon;
|
2018-08-13 12:10:20 +00:00
|
|
|
|
|
|
|
mod symbol_index;
|
2018-08-10 18:13:39 +00:00
|
|
|
|
2018-08-10 19:23:17 +00:00
|
|
|
use once_cell::sync::OnceCell;
|
2018-08-13 16:28:34 +00:00
|
|
|
use rayon::prelude::*;
|
2018-08-10 12:07:43 +00:00
|
|
|
|
|
|
|
use std::{
|
2018-08-16 21:18:14 +00:00
|
|
|
fmt,
|
2018-08-17 12:37:17 +00:00
|
|
|
path::{Path, PathBuf},
|
2018-08-13 16:28:34 +00:00
|
|
|
sync::{
|
|
|
|
Arc,
|
|
|
|
atomic::{AtomicUsize, Ordering::SeqCst},
|
|
|
|
},
|
2018-08-10 12:07:43 +00:00
|
|
|
collections::hash_map::HashMap,
|
2018-08-13 16:28:34 +00:00
|
|
|
time::Instant,
|
2018-08-10 12:07:43 +00:00
|
|
|
};
|
2018-08-13 12:10:20 +00:00
|
|
|
|
2018-08-13 13:35:17 +00:00
|
|
|
use libsyntax2::{
|
2018-08-17 12:37:17 +00:00
|
|
|
TextUnit, TextRange, SyntaxRoot,
|
|
|
|
ast::{self, AstNode, NameOwner},
|
|
|
|
SyntaxKind::*,
|
2018-08-13 13:35:17 +00:00
|
|
|
};
|
2018-08-16 09:51:40 +00:00
|
|
|
use libeditor::{LineIndex, FileSymbol, find_node};
|
2018-08-13 12:10:20 +00:00
|
|
|
|
2018-08-13 13:35:17 +00:00
|
|
|
use self::symbol_index::FileSymbols;
|
2018-08-13 13:07:05 +00:00
|
|
|
pub use self::symbol_index::Query;
|
2018-08-10 12:07:43 +00:00
|
|
|
|
|
|
|
pub type Result<T> = ::std::result::Result<T, ::failure::Error>;
|
2018-08-13 16:28:34 +00:00
|
|
|
const INDEXING_THRESHOLD: usize = 128;
|
2018-08-10 12:07:43 +00:00
|
|
|
|
2018-08-16 21:18:14 +00:00
|
|
|
pub type FileResolver = dyn Fn(FileId, &Path) -> Option<FileId> + Send + Sync;
|
|
|
|
|
2018-08-10 12:07:43 +00:00
|
|
|
pub struct WorldState {
|
|
|
|
data: Arc<WorldData>
|
|
|
|
}
|
|
|
|
|
2018-08-16 21:18:14 +00:00
|
|
|
#[derive(Clone)]
|
2018-08-10 12:07:43 +00:00
|
|
|
pub struct World {
|
2018-08-16 21:18:14 +00:00
|
|
|
file_resolver: Arc<FileResolver>,
|
2018-08-10 12:07:43 +00:00
|
|
|
data: Arc<WorldData>,
|
|
|
|
}
|
|
|
|
|
2018-08-16 21:18:14 +00:00
|
|
|
impl fmt::Debug for World {
|
|
|
|
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
|
|
|
(&*self.data).fmt(f)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-14 12:03:27 +00:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
|
2018-08-15 14:24:20 +00:00
|
|
|
pub struct FileId(pub u32);
|
2018-08-14 12:03:27 +00:00
|
|
|
|
2018-08-10 12:07:43 +00:00
|
|
|
impl WorldState {
|
|
|
|
pub fn new() -> WorldState {
|
|
|
|
WorldState {
|
|
|
|
data: Arc::new(WorldData::default())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-16 21:18:14 +00:00
|
|
|
pub fn snapshot(&self, file_resolver: impl Fn(FileId, &Path) -> Option<FileId> + 'static + Send + Sync) -> World {
|
|
|
|
World {
|
|
|
|
file_resolver: Arc::new(file_resolver),
|
|
|
|
data: self.data.clone()
|
|
|
|
}
|
2018-08-10 12:07:43 +00:00
|
|
|
}
|
|
|
|
|
2018-08-14 12:03:27 +00:00
|
|
|
pub fn change_file(&mut self, file_id: FileId, text: Option<String>) {
|
|
|
|
self.change_files(::std::iter::once((file_id, text)));
|
2018-08-13 10:46:05 +00:00
|
|
|
}
|
|
|
|
|
2018-08-14 12:03:27 +00:00
|
|
|
pub fn change_files(&mut self, changes: impl Iterator<Item=(FileId, Option<String>)>) {
|
2018-08-10 12:07:43 +00:00
|
|
|
let data = self.data_mut();
|
2018-08-13 16:28:34 +00:00
|
|
|
let mut cnt = 0;
|
2018-08-14 12:03:27 +00:00
|
|
|
for (id, text) in changes {
|
2018-08-13 16:28:34 +00:00
|
|
|
cnt += 1;
|
2018-08-14 12:03:27 +00:00
|
|
|
data.file_map.remove(&id);
|
2018-08-13 10:46:05 +00:00
|
|
|
if let Some(text) = text {
|
|
|
|
let file_data = FileData::new(text);
|
2018-08-14 12:03:27 +00:00
|
|
|
data.file_map.insert(id, Arc::new(file_data));
|
2018-08-13 10:46:05 +00:00
|
|
|
} else {
|
2018-08-14 12:03:27 +00:00
|
|
|
data.file_map.remove(&id);
|
2018-08-13 10:46:05 +00:00
|
|
|
}
|
2018-08-10 12:07:43 +00:00
|
|
|
}
|
2018-08-13 16:28:34 +00:00
|
|
|
*data.unindexed.get_mut() += cnt;
|
2018-08-10 12:07:43 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
fn data_mut(&mut self) -> &mut WorldData {
|
|
|
|
if Arc::get_mut(&mut self.data).is_none() {
|
|
|
|
self.data = Arc::new(WorldData {
|
2018-08-13 16:28:34 +00:00
|
|
|
unindexed: AtomicUsize::new(
|
|
|
|
self.data.unindexed.load(SeqCst)
|
|
|
|
),
|
2018-08-13 10:46:05 +00:00
|
|
|
file_map: self.data.file_map.clone(),
|
2018-08-10 12:07:43 +00:00
|
|
|
});
|
|
|
|
}
|
|
|
|
Arc::get_mut(&mut self.data).unwrap()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
impl World {
|
2018-08-14 12:03:27 +00:00
|
|
|
pub fn file_syntax(&self, file_id: FileId) -> Result<ast::File> {
|
|
|
|
let data = self.file_data(file_id)?;
|
|
|
|
Ok(data.syntax().clone())
|
2018-08-10 12:07:43 +00:00
|
|
|
}
|
|
|
|
|
2018-08-14 12:03:27 +00:00
|
|
|
pub fn file_line_index(&self, id: FileId) -> Result<LineIndex> {
|
|
|
|
let data = self.file_data(id)?;
|
2018-08-10 19:23:17 +00:00
|
|
|
let index = data.lines
|
2018-08-14 12:03:27 +00:00
|
|
|
.get_or_init(|| LineIndex::new(&data.text));
|
2018-08-10 19:23:17 +00:00
|
|
|
Ok(index.clone())
|
|
|
|
}
|
|
|
|
|
2018-08-17 12:37:17 +00:00
|
|
|
pub fn world_symbols(&self, mut query: Query) -> Vec<(FileId, FileSymbol)> {
|
2018-08-13 16:28:34 +00:00
|
|
|
self.reindex();
|
2018-08-13 12:35:53 +00:00
|
|
|
self.data.file_map.iter()
|
2018-08-14 12:03:27 +00:00
|
|
|
.flat_map(move |(id, data)| {
|
2018-08-13 14:19:27 +00:00
|
|
|
let symbols = data.symbols();
|
2018-08-14 12:03:27 +00:00
|
|
|
query.process(symbols).into_iter().map(move |s| (*id, s))
|
2018-08-13 12:35:53 +00:00
|
|
|
})
|
2018-08-17 12:37:17 +00:00
|
|
|
.collect()
|
2018-08-13 12:10:20 +00:00
|
|
|
}
|
|
|
|
|
2018-08-17 12:37:17 +00:00
|
|
|
pub fn approximately_resolve_symbol(
|
|
|
|
&self,
|
2018-08-14 12:03:27 +00:00
|
|
|
id: FileId,
|
2018-08-13 13:35:17 +00:00
|
|
|
offset: TextUnit,
|
2018-08-17 12:37:17 +00:00
|
|
|
) -> Result<Vec<(FileId, FileSymbol)>> {
|
2018-08-14 12:03:27 +00:00
|
|
|
let file = self.file_syntax(id)?;
|
2018-08-17 12:37:17 +00:00
|
|
|
let syntax = file.syntax_ref();
|
|
|
|
if let Some(name_ref) = find_node::<ast::NameRef<_>>(syntax, offset) {
|
|
|
|
return Ok(self.index_resolve(name_ref));
|
|
|
|
}
|
|
|
|
if let Some(name) = find_node::<ast::Name<_>>(syntax, offset) {
|
|
|
|
if let Some(module) = name.syntax().parent().and_then(ast::Module::cast) {
|
|
|
|
if module.has_semi() {
|
|
|
|
return Ok(self.resolve_module(id, module));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
Ok(vec![])
|
|
|
|
}
|
2018-08-13 13:35:17 +00:00
|
|
|
|
2018-08-17 12:37:17 +00:00
|
|
|
fn index_resolve(&self, name_ref: ast::NameRef<&SyntaxRoot>) -> Vec<(FileId, FileSymbol)> {
|
|
|
|
let name = name_ref.text();
|
2018-08-13 13:35:17 +00:00
|
|
|
let mut query = Query::new(name.to_string());
|
|
|
|
query.exact();
|
2018-08-13 14:19:27 +00:00
|
|
|
query.limit(4);
|
2018-08-17 12:37:17 +00:00
|
|
|
self.world_symbols(query)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn resolve_module(&self, id: FileId, module: ast::Module<&SyntaxRoot>) -> Vec<(FileId, FileSymbol)> {
|
|
|
|
let name = match module.name() {
|
|
|
|
Some(name) => name.text(),
|
|
|
|
None => return Vec::new(),
|
|
|
|
};
|
|
|
|
let id = match self.resolve_relative_path(id, &PathBuf::from(format!("../{}.rs", name))) {
|
|
|
|
Some(id) => id,
|
|
|
|
None => return Vec::new(),
|
|
|
|
};
|
|
|
|
vec![(id, FileSymbol {
|
|
|
|
name: name.clone(),
|
|
|
|
node_range: TextRange::offset_len(0.into(), 0.into()),
|
|
|
|
kind: MODULE,
|
|
|
|
})]
|
2018-08-13 13:35:17 +00:00
|
|
|
}
|
|
|
|
|
2018-08-16 21:18:14 +00:00
|
|
|
fn resolve_relative_path(&self, id: FileId, path: &Path) -> Option<FileId> {
|
|
|
|
(self.file_resolver)(id, path)
|
|
|
|
}
|
|
|
|
|
2018-08-13 16:28:34 +00:00
|
|
|
fn reindex(&self) {
|
|
|
|
let data = &*self.data;
|
|
|
|
let unindexed = data.unindexed.load(SeqCst);
|
|
|
|
if unindexed < INDEXING_THRESHOLD {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
if unindexed == data.unindexed.compare_and_swap(unindexed, 0, SeqCst) {
|
|
|
|
let now = Instant::now();
|
|
|
|
data.file_map
|
|
|
|
.par_iter()
|
|
|
|
.for_each(|(_, data)| {
|
|
|
|
data.symbols();
|
|
|
|
});
|
|
|
|
info!("parallel indexing took {:?}", now.elapsed());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-14 12:03:27 +00:00
|
|
|
fn file_data(&self, file_id: FileId) -> Result<Arc<FileData>> {
|
|
|
|
match self.data.file_map.get(&file_id) {
|
2018-08-13 10:46:05 +00:00
|
|
|
Some(data) => Ok(data.clone()),
|
2018-08-14 12:03:27 +00:00
|
|
|
None => bail!("unknown file: {:?}", file_id),
|
2018-08-10 12:07:43 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-08-10 21:55:32 +00:00
|
|
|
#[derive(Default, Debug)]
|
2018-08-10 12:07:43 +00:00
|
|
|
struct WorldData {
|
2018-08-13 16:28:34 +00:00
|
|
|
unindexed: AtomicUsize,
|
2018-08-14 12:03:27 +00:00
|
|
|
file_map: HashMap<FileId, Arc<FileData>>,
|
2018-08-10 19:23:17 +00:00
|
|
|
}
|
|
|
|
|
2018-08-10 21:55:32 +00:00
|
|
|
#[derive(Debug)]
|
2018-08-10 19:23:17 +00:00
|
|
|
struct FileData {
|
2018-08-13 10:46:05 +00:00
|
|
|
text: String,
|
2018-08-13 12:10:20 +00:00
|
|
|
symbols: OnceCell<FileSymbols>,
|
2018-08-10 19:23:17 +00:00
|
|
|
syntax: OnceCell<ast::File>,
|
|
|
|
lines: OnceCell<LineIndex>,
|
2018-08-10 12:07:43 +00:00
|
|
|
}
|
2018-08-13 10:46:05 +00:00
|
|
|
|
|
|
|
impl FileData {
|
|
|
|
fn new(text: String) -> FileData {
|
|
|
|
FileData {
|
|
|
|
text,
|
2018-08-13 12:10:20 +00:00
|
|
|
symbols: OnceCell::new(),
|
2018-08-13 10:46:05 +00:00
|
|
|
syntax: OnceCell::new(),
|
|
|
|
lines: OnceCell::new(),
|
|
|
|
}
|
|
|
|
}
|
2018-08-13 12:10:20 +00:00
|
|
|
|
2018-08-14 12:03:27 +00:00
|
|
|
fn syntax(&self) -> &ast::File {
|
2018-08-13 12:10:20 +00:00
|
|
|
self.syntax
|
2018-08-14 12:03:27 +00:00
|
|
|
.get_or_init(|| ast::File::parse(&self.text))
|
2018-08-13 12:10:20 +00:00
|
|
|
}
|
|
|
|
|
2018-08-13 14:19:27 +00:00
|
|
|
fn syntax_transient(&self) -> ast::File {
|
|
|
|
self.syntax.get().map(|s| s.clone())
|
|
|
|
.unwrap_or_else(|| ast::File::parse(&self.text))
|
|
|
|
}
|
|
|
|
|
|
|
|
fn symbols(&self) -> &FileSymbols {
|
|
|
|
let syntax = self.syntax_transient();
|
2018-08-13 12:10:20 +00:00
|
|
|
self.symbols
|
2018-08-13 14:19:27 +00:00
|
|
|
.get_or_init(|| FileSymbols::new(&syntax))
|
2018-08-13 12:10:20 +00:00
|
|
|
}
|
2018-08-13 10:46:05 +00:00
|
|
|
}
|