2018-08-10 07:07:43 -05:00
|
|
|
extern crate parking_lot;
|
2018-08-10 13:13:39 -05:00
|
|
|
#[macro_use]
|
|
|
|
extern crate log;
|
2018-08-10 14:23:17 -05:00
|
|
|
extern crate once_cell;
|
2018-09-16 04:54:24 -05:00
|
|
|
extern crate ra_syntax;
|
|
|
|
extern crate ra_editor;
|
2018-08-13 07:10:20 -05:00
|
|
|
extern crate fst;
|
2018-08-13 11:28:34 -05:00
|
|
|
extern crate rayon;
|
2018-08-28 10:22:52 -05:00
|
|
|
extern crate relative_path;
|
2018-08-31 02:27:38 -05:00
|
|
|
#[macro_use]
|
|
|
|
extern crate crossbeam_channel;
|
2018-09-10 12:14:31 -05:00
|
|
|
extern crate im;
|
2018-09-13 14:58:36 -05:00
|
|
|
extern crate salsa;
|
2018-10-11 13:07:44 -05:00
|
|
|
extern crate rustc_hash;
|
2018-08-13 07:10:20 -05:00
|
|
|
|
|
|
|
mod symbol_index;
|
2018-08-21 10:30:10 -05:00
|
|
|
mod module_map;
|
2018-08-29 10:23:57 -05:00
|
|
|
mod imp;
|
2018-08-31 02:27:38 -05:00
|
|
|
mod job;
|
2018-09-02 12:08:58 -05:00
|
|
|
mod roots;
|
2018-09-10 12:14:31 -05:00
|
|
|
mod db;
|
2018-09-15 15:19:41 -05:00
|
|
|
mod queries;
|
2018-09-15 12:29:22 -05:00
|
|
|
mod descriptors;
|
2018-08-10 13:13:39 -05:00
|
|
|
|
2018-08-31 11:14:08 -05:00
|
|
|
use std::{
|
|
|
|
sync::Arc,
|
2018-09-10 04:57:40 -05:00
|
|
|
fmt::Debug,
|
2018-08-31 11:14:08 -05:00
|
|
|
};
|
2018-08-30 08:27:09 -05:00
|
|
|
|
2018-08-30 05:12:49 -05:00
|
|
|
use relative_path::{RelativePath, RelativePathBuf};
|
2018-09-16 04:54:24 -05:00
|
|
|
use ra_syntax::{File, TextRange, TextUnit, AtomEdit};
|
2018-09-10 04:57:40 -05:00
|
|
|
use imp::{AnalysisImpl, AnalysisHostImpl, FileResolverImp};
|
2018-10-11 13:07:44 -05:00
|
|
|
use rustc_hash::FxHashMap;
|
2018-08-30 05:12:49 -05:00
|
|
|
|
2018-09-16 04:54:24 -05:00
|
|
|
pub use ra_editor::{
|
2018-08-30 05:12:49 -05:00
|
|
|
StructureNode, LineIndex, FileSymbol,
|
|
|
|
Runnable, RunnableKind, HighlightedRange, CompletionItem,
|
2018-09-24 08:52:33 -05:00
|
|
|
Fold, FoldKind
|
2018-08-29 10:09:08 -05:00
|
|
|
};
|
2018-08-31 02:27:38 -05:00
|
|
|
pub use job::{JobToken, JobHandle};
|
2018-10-09 09:08:17 -05:00
|
|
|
pub use descriptors::FnDescriptor;
|
2018-08-10 07:07:43 -05:00
|
|
|
|
2018-08-30 05:12:49 -05:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
|
|
|
|
pub struct FileId(pub u32);
|
|
|
|
|
2018-08-31 11:14:08 -05:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
|
|
|
|
pub struct CrateId(pub u32);
|
|
|
|
|
|
|
|
#[derive(Debug, Clone, Default)]
|
|
|
|
pub struct CrateGraph {
|
2018-10-11 13:07:44 -05:00
|
|
|
pub crate_roots: FxHashMap<CrateId, FileId>,
|
2018-08-31 11:14:08 -05:00
|
|
|
}
|
|
|
|
|
2018-09-10 04:57:40 -05:00
|
|
|
pub trait FileResolver: Debug + Send + Sync + 'static {
|
|
|
|
fn file_stem(&self, file_id: FileId) -> String;
|
|
|
|
fn resolve(&self, file_id: FileId, path: &RelativePath) -> Option<FileId>;
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct AnalysisHost {
|
2018-08-30 08:27:09 -05:00
|
|
|
imp: AnalysisHostImpl
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl AnalysisHost {
|
|
|
|
pub fn new() -> AnalysisHost {
|
|
|
|
AnalysisHost { imp: AnalysisHostImpl::new() }
|
|
|
|
}
|
2018-09-10 04:57:40 -05:00
|
|
|
pub fn analysis(&self) -> Analysis {
|
|
|
|
Analysis { imp: self.imp.analysis() }
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
pub fn change_file(&mut self, file_id: FileId, text: Option<String>) {
|
|
|
|
self.change_files(::std::iter::once((file_id, text)));
|
|
|
|
}
|
|
|
|
pub fn change_files(&mut self, mut changes: impl Iterator<Item=(FileId, Option<String>)>) {
|
|
|
|
self.imp.change_files(&mut changes)
|
|
|
|
}
|
2018-09-10 04:57:40 -05:00
|
|
|
pub fn set_file_resolver(&mut self, resolver: Arc<FileResolver>) {
|
|
|
|
self.imp.set_file_resolver(FileResolverImp::new(resolver));
|
|
|
|
}
|
2018-08-31 11:14:08 -05:00
|
|
|
pub fn set_crate_graph(&mut self, graph: CrateGraph) {
|
|
|
|
self.imp.set_crate_graph(graph)
|
|
|
|
}
|
2018-09-03 13:26:59 -05:00
|
|
|
pub fn add_library(&mut self, data: LibraryData) {
|
|
|
|
self.imp.add_library(data.root)
|
2018-09-03 11:46:30 -05:00
|
|
|
}
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct SourceChange {
|
|
|
|
pub label: String,
|
|
|
|
pub source_file_edits: Vec<SourceFileEdit>,
|
|
|
|
pub file_system_edits: Vec<FileSystemEdit>,
|
|
|
|
pub cursor_position: Option<Position>,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct Position {
|
|
|
|
pub file_id: FileId,
|
|
|
|
pub offset: TextUnit,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct SourceFileEdit {
|
|
|
|
pub file_id: FileId,
|
|
|
|
pub edits: Vec<AtomEdit>,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub enum FileSystemEdit {
|
|
|
|
CreateFile {
|
|
|
|
anchor: FileId,
|
|
|
|
path: RelativePathBuf,
|
|
|
|
},
|
|
|
|
MoveFile {
|
|
|
|
file: FileId,
|
|
|
|
path: RelativePathBuf,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct Diagnostic {
|
|
|
|
pub message: String,
|
|
|
|
pub range: TextRange,
|
|
|
|
pub fix: Option<SourceChange>,
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct Query {
|
|
|
|
query: String,
|
|
|
|
lowercased: String,
|
|
|
|
only_types: bool,
|
2018-09-03 11:46:30 -05:00
|
|
|
libs: bool,
|
2018-08-30 05:12:49 -05:00
|
|
|
exact: bool,
|
|
|
|
limit: usize,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Query {
|
|
|
|
pub fn new(query: String) -> Query {
|
|
|
|
let lowercased = query.to_lowercase();
|
|
|
|
Query {
|
|
|
|
query,
|
|
|
|
lowercased,
|
|
|
|
only_types: false,
|
2018-09-03 11:46:30 -05:00
|
|
|
libs: false,
|
2018-08-30 05:12:49 -05:00
|
|
|
exact: false,
|
|
|
|
limit: usize::max_value()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
pub fn only_types(&mut self) {
|
|
|
|
self.only_types = true;
|
|
|
|
}
|
2018-09-03 11:46:30 -05:00
|
|
|
pub fn libs(&mut self) {
|
|
|
|
self.libs = true;
|
|
|
|
}
|
2018-08-30 05:12:49 -05:00
|
|
|
pub fn exact(&mut self) {
|
|
|
|
self.exact = true;
|
|
|
|
}
|
|
|
|
pub fn limit(&mut self, limit: usize) {
|
|
|
|
self.limit = limit
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Clone, Debug)]
|
|
|
|
pub struct Analysis {
|
2018-08-30 08:27:09 -05:00
|
|
|
imp: AnalysisImpl
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
impl Analysis {
|
|
|
|
pub fn file_syntax(&self, file_id: FileId) -> File {
|
2018-09-02 12:08:58 -05:00
|
|
|
self.imp.file_syntax(file_id).clone()
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
2018-09-15 15:19:41 -05:00
|
|
|
pub fn file_line_index(&self, file_id: FileId) -> Arc<LineIndex> {
|
|
|
|
self.imp.file_line_index(file_id)
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
pub fn extend_selection(&self, file: &File, range: TextRange) -> TextRange {
|
2018-09-16 04:54:24 -05:00
|
|
|
ra_editor::extend_selection(file, range).unwrap_or(range)
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
pub fn matching_brace(&self, file: &File, offset: TextUnit) -> Option<TextUnit> {
|
2018-09-16 04:54:24 -05:00
|
|
|
ra_editor::matching_brace(file, offset)
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
pub fn syntax_tree(&self, file_id: FileId) -> String {
|
2018-09-07 14:03:39 -05:00
|
|
|
let file = self.imp.file_syntax(file_id);
|
2018-09-16 04:54:24 -05:00
|
|
|
ra_editor::syntax_tree(&file)
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
pub fn join_lines(&self, file_id: FileId, range: TextRange) -> SourceChange {
|
2018-09-07 14:03:39 -05:00
|
|
|
let file = self.imp.file_syntax(file_id);
|
2018-09-16 04:54:24 -05:00
|
|
|
SourceChange::from_local_edit(file_id, "join lines", ra_editor::join_lines(&file, range))
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
2018-10-09 08:00:20 -05:00
|
|
|
pub fn on_enter(&self, file_id: FileId, offset: TextUnit) -> Option<SourceChange> {
|
|
|
|
let file = self.imp.file_syntax(file_id);
|
|
|
|
let edit = ra_editor::on_enter(&file, offset)?;
|
|
|
|
let res = SourceChange::from_local_edit(file_id, "on enter", edit);
|
|
|
|
Some(res)
|
|
|
|
}
|
2018-08-30 05:12:49 -05:00
|
|
|
pub fn on_eq_typed(&self, file_id: FileId, offset: TextUnit) -> Option<SourceChange> {
|
2018-09-07 14:03:39 -05:00
|
|
|
let file = self.imp.file_syntax(file_id);
|
2018-09-16 04:54:24 -05:00
|
|
|
Some(SourceChange::from_local_edit(file_id, "add semicolon", ra_editor::on_eq_typed(&file, offset)?))
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
pub fn file_structure(&self, file_id: FileId) -> Vec<StructureNode> {
|
2018-09-07 14:03:39 -05:00
|
|
|
let file = self.imp.file_syntax(file_id);
|
2018-09-16 04:54:24 -05:00
|
|
|
ra_editor::file_structure(&file)
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
2018-08-31 04:04:33 -05:00
|
|
|
pub fn symbol_search(&self, query: Query, token: &JobToken) -> Vec<(FileId, FileSymbol)> {
|
|
|
|
self.imp.world_symbols(query, token)
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
2018-08-31 04:04:33 -05:00
|
|
|
pub fn approximately_resolve_symbol(&self, file_id: FileId, offset: TextUnit, token: &JobToken) -> Vec<(FileId, FileSymbol)> {
|
|
|
|
self.imp.approximately_resolve_symbol(file_id, offset, token)
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
pub fn parent_module(&self, file_id: FileId) -> Vec<(FileId, FileSymbol)> {
|
|
|
|
self.imp.parent_module(file_id)
|
|
|
|
}
|
2018-09-02 08:36:03 -05:00
|
|
|
pub fn crate_for(&self, file_id: FileId) -> Vec<CrateId> {
|
|
|
|
self.imp.crate_for(file_id)
|
|
|
|
}
|
|
|
|
pub fn crate_root(&self, crate_id: CrateId) -> FileId {
|
|
|
|
self.imp.crate_root(crate_id)
|
2018-08-31 11:14:08 -05:00
|
|
|
}
|
2018-08-30 05:12:49 -05:00
|
|
|
pub fn runnables(&self, file_id: FileId) -> Vec<Runnable> {
|
2018-09-07 14:03:39 -05:00
|
|
|
let file = self.imp.file_syntax(file_id);
|
2018-09-16 04:54:24 -05:00
|
|
|
ra_editor::runnables(&file)
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
pub fn highlight(&self, file_id: FileId) -> Vec<HighlightedRange> {
|
2018-09-07 14:03:39 -05:00
|
|
|
let file = self.imp.file_syntax(file_id);
|
2018-09-16 04:54:24 -05:00
|
|
|
ra_editor::highlight(&file)
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
pub fn completions(&self, file_id: FileId, offset: TextUnit) -> Option<Vec<CompletionItem>> {
|
2018-09-07 14:03:39 -05:00
|
|
|
let file = self.imp.file_syntax(file_id);
|
2018-09-16 04:54:24 -05:00
|
|
|
ra_editor::scope_completion(&file, offset)
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
2018-09-05 16:59:07 -05:00
|
|
|
pub fn assists(&self, file_id: FileId, range: TextRange) -> Vec<SourceChange> {
|
|
|
|
self.imp.assists(file_id, range)
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
|
|
|
pub fn diagnostics(&self, file_id: FileId) -> Vec<Diagnostic> {
|
|
|
|
self.imp.diagnostics(file_id)
|
|
|
|
}
|
2018-09-24 08:52:33 -05:00
|
|
|
pub fn folding_ranges(&self, file_id: FileId) -> Vec<Fold> {
|
|
|
|
let file = self.imp.file_syntax(file_id);
|
|
|
|
ra_editor::folding_ranges(&file)
|
|
|
|
}
|
2018-10-09 09:08:17 -05:00
|
|
|
|
|
|
|
pub fn resolve_callable(&self, file_id: FileId, offset: TextUnit, token: &JobToken)
|
|
|
|
-> Option<(FnDescriptor, Option<usize>)> {
|
|
|
|
self.imp.resolve_callable(file_id, offset, token)
|
|
|
|
}
|
2018-08-30 05:12:49 -05:00
|
|
|
}
|
2018-09-03 13:26:59 -05:00
|
|
|
|
|
|
|
#[derive(Debug)]
|
|
|
|
pub struct LibraryData {
|
|
|
|
root: roots::ReadonlySourceRoot
|
|
|
|
}
|
|
|
|
|
|
|
|
impl LibraryData {
|
2018-09-10 04:57:40 -05:00
|
|
|
pub fn prepare(files: Vec<(FileId, String)>, file_resolver: Arc<FileResolver>) -> LibraryData {
|
|
|
|
let file_resolver = FileResolverImp::new(file_resolver);
|
|
|
|
let root = roots::ReadonlySourceRoot::new(files, file_resolver);
|
2018-09-03 13:26:59 -05:00
|
|
|
LibraryData { root }
|
|
|
|
}
|
|
|
|
}
|