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-10 18:13:39 +00:00
|
|
|
|
2018-08-10 19:23:17 +00:00
|
|
|
use once_cell::sync::OnceCell;
|
2018-08-10 12:07:43 +00:00
|
|
|
|
|
|
|
use std::{
|
|
|
|
sync::Arc,
|
|
|
|
collections::hash_map::HashMap,
|
|
|
|
path::{PathBuf, Path},
|
|
|
|
};
|
|
|
|
use libsyntax2::ast;
|
2018-08-10 19:23:17 +00:00
|
|
|
use libeditor::LineIndex;
|
2018-08-10 12:07:43 +00:00
|
|
|
|
|
|
|
pub type Result<T> = ::std::result::Result<T, ::failure::Error>;
|
|
|
|
|
|
|
|
pub struct WorldState {
|
|
|
|
data: Arc<WorldData>
|
|
|
|
}
|
|
|
|
|
2018-08-10 21:55:32 +00:00
|
|
|
#[derive(Clone, Debug)]
|
2018-08-10 12:07:43 +00:00
|
|
|
pub struct World {
|
|
|
|
data: Arc<WorldData>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl WorldState {
|
|
|
|
pub fn new() -> WorldState {
|
|
|
|
WorldState {
|
|
|
|
data: Arc::new(WorldData::default())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn snapshot(&self) -> World {
|
|
|
|
World { data: self.data.clone() }
|
|
|
|
}
|
|
|
|
|
2018-08-13 10:46:05 +00:00
|
|
|
pub fn change_file(&mut self, path: PathBuf, text: Option<String>) {
|
|
|
|
self.change_files(::std::iter::once((path, text)));
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn change_files(&mut self, changes: impl Iterator<Item=(PathBuf, Option<String>)>) {
|
2018-08-10 12:07:43 +00:00
|
|
|
let data = self.data_mut();
|
2018-08-13 10:46:05 +00:00
|
|
|
for (path, text) in changes {
|
|
|
|
data.file_map.remove(&path);
|
|
|
|
if let Some(text) = text {
|
|
|
|
let file_data = FileData::new(text);
|
|
|
|
data.file_map.insert(path, Arc::new(file_data));
|
|
|
|
} else {
|
|
|
|
data.file_map.remove(&path);
|
|
|
|
}
|
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 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 {
|
|
|
|
pub fn file_syntax(&self, path: &Path) -> Result<ast::File> {
|
2018-08-10 19:23:17 +00:00
|
|
|
let data = self.file_data(path)?;
|
|
|
|
let syntax = data.syntax
|
|
|
|
.get_or_init(|| {
|
|
|
|
trace!("parsing: {}", path.display());
|
2018-08-13 10:46:05 +00:00
|
|
|
ast::File::parse(&data.text)
|
2018-08-10 19:23:17 +00:00
|
|
|
}).clone();
|
|
|
|
Ok(syntax)
|
2018-08-10 12:07:43 +00:00
|
|
|
}
|
|
|
|
|
2018-08-10 19:23:17 +00:00
|
|
|
pub fn file_line_index(&self, path: &Path) -> Result<LineIndex> {
|
|
|
|
let data = self.file_data(path)?;
|
|
|
|
let index = data.lines
|
|
|
|
.get_or_init(|| {
|
|
|
|
trace!("calc line index: {}", path.display());
|
2018-08-13 10:46:05 +00:00
|
|
|
LineIndex::new(&data.text)
|
2018-08-10 19:23:17 +00:00
|
|
|
});
|
|
|
|
Ok(index.clone())
|
|
|
|
}
|
|
|
|
|
|
|
|
fn file_data(&self, path: &Path) -> Result<Arc<FileData>> {
|
2018-08-13 10:46:05 +00:00
|
|
|
match self.data.file_map.get(path) {
|
|
|
|
Some(data) => Ok(data.clone()),
|
|
|
|
None => bail!("unknown file: {}", path.display()),
|
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 10:46:05 +00:00
|
|
|
file_map: HashMap<PathBuf, 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-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,
|
|
|
|
syntax: OnceCell::new(),
|
|
|
|
lines: OnceCell::new(),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|