use std::sync::Arc;
use php_ast::Stmt;
use tower_lsp::lsp_types::{Location, Position, Range, Url};
use crate::ast::{ParsedDoc, SourceView};
use crate::resolve::{Container, Declaration, resolve_declaration};
use crate::util::{strip_variable_sigil, word_at_position, zero_width_location};
use crate::walk::collect_var_refs_in_scope;
pub fn goto_definition(
uri: &Url,
source: &str,
doc: &ParsedDoc,
other_docs: &[(Url, Arc<ParsedDoc>)],
position: Position,
) -> Option<Location> {
let word = word_at_position(source, position)?;
let sv = doc.view();
if word.starts_with('$') {
let bare = word.trim_start_matches('$');
let byte_off = sv.byte_of_position(position) as usize;
let mut spans = Vec::new();
collect_var_refs_in_scope(&doc.program().stmts, bare, byte_off, &mut spans);
if let Some((span, _)) = spans.into_iter().min_by_key(|(s, _)| s.start) {
return Some(Location {
uri: uri.clone(),
range: Range {
start: sv.position_of(span.start),
end: sv.position_of(span.end),
},
});
}
}
if let Some(range) = resolve_declaration_range(sv, &doc.program().stmts, &word) {
return Some(Location {
uri: uri.clone(),
range,
});
}
for (other_uri, other_doc) in other_docs {
let other_sv = other_doc.view();
if let Some(range) = resolve_declaration_range(other_sv, &other_doc.program().stmts, &word)
{
return Some(Location {
uri: other_uri.clone(),
range,
});
}
}
None
}
pub fn find_declaration_range(_source: &str, doc: &ParsedDoc, name: &str) -> Option<Range> {
let sv = doc.view();
resolve_declaration_range(sv, &doc.program().stmts, name)
}
fn resolve_declaration_range(
sv: SourceView<'_>,
stmts: &[Stmt<'_, '_>],
word: &str,
) -> Option<Range> {
let decl = resolve_declaration(stmts, word, &|d| {
!matches!(
d,
Declaration::ClassConst {
container: Container::Enum,
..
}
)
})?;
Some(declaration_name_range(sv, &decl))
}
fn declaration_name_range(sv: SourceView<'_>, decl: &Declaration<'_>) -> Range {
match decl {
Declaration::Function { decl, stmt_span } => {
sv.name_range_in_span(decl.name.or_error(), *stmt_span)
}
Declaration::Class {
name, stmt_span, ..
} => sv.name_range_in_span(name.or_error(), *stmt_span),
Declaration::Interface { decl, stmt_span } => {
sv.name_range_in_span(decl.name.or_error(), *stmt_span)
}
Declaration::Trait { decl, stmt_span } => {
sv.name_range_in_span(decl.name.or_error(), *stmt_span)
}
Declaration::Enum { decl, stmt_span } => {
sv.name_range_in_span(decl.name.or_error(), *stmt_span)
}
Declaration::Method {
method,
container: Container::Class,
member_span,
} => sv.name_range_in_span(method.name.or_error(), *member_span),
Declaration::ClassConst {
konst,
container: Container::Class,
member_span,
} => sv.name_range_in_span(konst.name.or_error(), *member_span),
Declaration::Property {
property,
container: Container::Class,
member_span,
} => sv.name_range_in_span(property.name.or_error(), *member_span),
Declaration::PromotedParam { param } => {
sv.name_range_in_span(param.name.or_error(), param.span)
}
Declaration::Method { method, .. } => sv.name_range(method.name.or_error()),
Declaration::ClassConst { konst, .. } => sv.name_range(konst.name.or_error()),
Declaration::Property { property, .. } => sv.name_range(property.name.or_error()),
Declaration::EnumCase { case, .. } => sv.name_range(case.name.or_error()),
}
}
pub fn find_declaration_in_indexes(
name: &str,
indexes: &[(
tower_lsp::lsp_types::Url,
std::sync::Arc<crate::file_index::FileIndex>,
)],
) -> Option<Location> {
let bare = strip_variable_sigil(name);
for (uri, idx) in indexes {
for f in &idx.functions {
if f.name.as_ref() == bare || f.name.as_ref() == name {
return Some(zero_width_location(uri, f.start_line));
}
}
for cls in &idx.classes {
if cls.name.as_ref() == bare || cls.name.as_ref() == name {
return Some(zero_width_location(uri, cls.start_line));
}
for m in &cls.methods {
if m.name.as_ref() == name {
return Some(zero_width_location(uri, m.start_line));
}
}
for p in &cls.properties {
if p.name.as_ref() == bare {
return Some(zero_width_location(uri, p.start_line));
}
}
for cc in &cls.constants {
if cc.as_ref() == name {
return Some(zero_width_location(uri, cls.start_line));
}
}
for case in &cls.cases {
if case.as_ref() == name {
return Some(zero_width_location(uri, cls.start_line));
}
}
}
}
None
}
pub fn find_method_in_class_hierarchy(
class_name: &str,
method_name: &str,
indexes: &[(
tower_lsp::lsp_types::Url,
std::sync::Arc<crate::file_index::FileIndex>,
)],
) -> Option<Location> {
let mut queue: Vec<String> = vec![class_name.to_owned()];
let mut visited = std::collections::HashSet::new();
while !queue.is_empty() {
let current = queue.remove(0);
if !visited.insert(current.clone()) {
continue;
}
for (uri, idx) in indexes {
for cls in &idx.classes {
if cls.name.as_ref() != current.as_str()
&& cls.fqn.as_ref().trim_start_matches('\\') != current.as_str()
{
continue;
}
for m in &cls.methods {
if m.name.as_ref() == method_name {
return Some(zero_width_location(uri, m.start_line));
}
}
for trt in &cls.traits {
queue.push(trt.as_ref().to_owned());
}
if let Some(parent) = &cls.parent {
queue.push(parent.as_ref().to_owned());
}
}
}
}
None
}
#[cfg(test)]
mod tests {
use super::*;
fn make_index(path: &str, src: &str) -> (Url, std::sync::Arc<crate::file_index::FileIndex>) {
use crate::file_index::FileIndex;
let u = Url::parse(&format!("file://{path}")).unwrap();
let d = ParsedDoc::parse(src.to_string());
(u, std::sync::Arc::new(FileIndex::extract(&d)))
}
#[test]
fn hierarchy_finds_method_in_class_itself() {
let (uri, idx) = make_index(
"/a.php",
"<?php\nclass Foo { public function bar(): void {} }",
);
let indexes = vec![(uri, idx)];
let loc = find_method_in_class_hierarchy("Foo", "bar", &indexes);
assert!(loc.is_some(), "expected bar() in Foo");
assert_eq!(loc.unwrap().range.start.line, 1);
}
#[test]
fn hierarchy_finds_method_in_parent() {
let (base_uri, base_idx) = make_index(
"/Base.php",
"<?php\nclass Base { public function render(): void {} }",
);
let (cu, ci) = make_index("/Child.php", "<?php\nclass Child extends Base {}");
let indexes = vec![(base_uri.clone(), base_idx), (cu, ci)];
let loc = find_method_in_class_hierarchy("Child", "render", &indexes);
assert!(loc.is_some(), "expected render() found via parent Base");
assert_eq!(loc.unwrap().uri, base_uri);
}
#[test]
fn hierarchy_finds_method_in_trait() {
let (trait_uri, trait_idx) = make_index(
"/Renderable.php",
"<?php\ntrait Renderable { public function render(): void {} }",
);
let (pu, pi) = make_index("/Page.php", "<?php\nclass Page { use Renderable; }");
let indexes = vec![(trait_uri.clone(), trait_idx), (pu, pi)];
let loc = find_method_in_class_hierarchy("Page", "render", &indexes);
assert!(loc.is_some(), "expected render() found via trait");
assert_eq!(loc.unwrap().uri, trait_uri);
}
#[test]
fn hierarchy_returns_none_for_missing_method() {
let (uri, idx) = make_index("/Foo.php", "<?php\nclass Foo {}");
let indexes = vec![(uri, idx)];
assert!(find_method_in_class_hierarchy("Foo", "missing", &indexes).is_none());
}
#[test]
fn hierarchy_handles_cycle_without_panic() {
let (ua, ia) = make_index("/A.php", "<?php\nclass A extends B {}");
let (ub, ib) = make_index("/B.php", "<?php\nclass B extends A {}");
let indexes = vec![(ua, ia), (ub, ib)];
let loc = find_method_in_class_hierarchy("A", "missing", &indexes);
assert!(loc.is_none());
}
}