2018-10-31 23:57:38 +03:00
|
|
|
use ra_syntax::{File, SyntaxKind, SyntaxNode, SyntaxNodeRef, TextRange};
|
2018-10-30 21:23:23 +03:00
|
|
|
|
|
|
|
|
use crate::db::SyntaxDatabase;
|
2018-10-31 23:41:43 +03:00
|
|
|
use crate::FileId;
|
2018-10-30 21:23:23 +03:00
|
|
|
|
2018-10-31 02:08:54 +03:00
|
|
|
salsa::query_group! {
|
|
|
|
|
pub(crate) trait SyntaxPtrDatabase: SyntaxDatabase {
|
|
|
|
|
fn resolve_syntax_ptr(ptr: SyntaxPtr) -> SyntaxNode {
|
|
|
|
|
type ResolveSyntaxPtrQuery;
|
2018-10-31 10:56:31 +03:00
|
|
|
// Don't retain syntax trees in memory
|
2018-10-31 02:08:54 +03:00
|
|
|
storage volatile;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn resolve_syntax_ptr(db: &impl SyntaxDatabase, ptr: SyntaxPtr) -> SyntaxNode {
|
|
|
|
|
let syntax = db.file_syntax(ptr.file_id);
|
|
|
|
|
ptr.local.resolve(&syntax)
|
|
|
|
|
}
|
|
|
|
|
|
2018-10-30 21:23:23 +03:00
|
|
|
/// SyntaxPtr is a cheap `Copy` id which identifies a particular syntax node,
|
2018-10-31 09:39:31 -04:00
|
|
|
/// without retaining syntax tree in memory. You need to explicitly `resolve`
|
2018-10-30 21:23:23 +03:00
|
|
|
/// `SyntaxPtr` to get a `SyntaxNode`
|
2018-10-31 02:08:54 +03:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
2018-10-30 21:23:23 +03:00
|
|
|
pub(crate) struct SyntaxPtr {
|
|
|
|
|
file_id: FileId,
|
|
|
|
|
local: LocalSyntaxPtr,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl SyntaxPtr {
|
|
|
|
|
pub(crate) fn new(file_id: FileId, node: SyntaxNodeRef) -> SyntaxPtr {
|
|
|
|
|
let local = LocalSyntaxPtr::new(node);
|
|
|
|
|
SyntaxPtr { file_id, local }
|
|
|
|
|
}
|
2018-10-31 02:08:54 +03:00
|
|
|
}
|
|
|
|
|
|
2018-10-30 21:23:23 +03:00
|
|
|
/// A pionter to a syntax node inside a file.
|
2018-10-31 02:08:54 +03:00
|
|
|
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
|
|
|
|
|
pub(crate) struct LocalSyntaxPtr {
|
2018-10-30 21:23:23 +03:00
|
|
|
range: TextRange,
|
|
|
|
|
kind: SyntaxKind,
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl LocalSyntaxPtr {
|
2018-10-31 02:08:54 +03:00
|
|
|
pub(crate) fn new(node: SyntaxNodeRef) -> LocalSyntaxPtr {
|
2018-10-30 21:23:23 +03:00
|
|
|
LocalSyntaxPtr {
|
|
|
|
|
range: node.range(),
|
|
|
|
|
kind: node.kind(),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2018-10-31 02:08:54 +03:00
|
|
|
pub(crate) fn resolve(self, file: &File) -> SyntaxNode {
|
2018-10-30 21:23:23 +03:00
|
|
|
let mut curr = file.syntax();
|
|
|
|
|
loop {
|
|
|
|
|
if curr.range() == self.range && curr.kind() == self.kind {
|
|
|
|
|
return curr.owned();
|
|
|
|
|
}
|
2018-10-31 23:41:43 +03:00
|
|
|
curr = curr
|
|
|
|
|
.children()
|
2018-10-30 21:23:23 +03:00
|
|
|
.find(|it| self.range.is_subrange(&it.range()))
|
2018-10-31 09:39:31 -04:00
|
|
|
.unwrap_or_else(|| panic!("can't resolve local ptr to SyntaxNode: {:?}", self))
|
2018-10-30 21:23:23 +03:00
|
|
|
}
|
|
|
|
|
}
|
2018-10-31 15:13:49 +03:00
|
|
|
|
|
|
|
|
pub(crate) fn into_global(self, file_id: FileId) -> SyntaxPtr {
|
2018-10-31 23:41:43 +03:00
|
|
|
SyntaxPtr {
|
|
|
|
|
file_id,
|
|
|
|
|
local: self,
|
|
|
|
|
}
|
2018-10-31 15:13:49 +03:00
|
|
|
}
|
2018-10-30 21:23:23 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
|
fn test_local_syntax_ptr() {
|
|
|
|
|
let file = File::parse("struct Foo { f: u32, }");
|
2018-10-31 23:41:43 +03:00
|
|
|
let field = file
|
|
|
|
|
.syntax()
|
|
|
|
|
.descendants()
|
|
|
|
|
.find_map(ast::NamedFieldDef::cast)
|
|
|
|
|
.unwrap();
|
2018-10-30 21:23:23 +03:00
|
|
|
let ptr = LocalSyntaxPtr::new(field.syntax());
|
|
|
|
|
let field_syntax = ptr.resolve(&file);
|
|
|
|
|
assert_eq!(field.syntax(), field_syntax);
|
|
|
|
|
}
|