use std::sync::Arc;
use php_ast::{ClassMemberKind, EnumMemberKind, NamespaceBody, Stmt, StmtKind};
use tower_lsp::lsp_types::{Location, Position, Range, Url};
use crate::ast::{ParsedDoc, name_range, offset_to_position, str_offset};
use crate::util::{utf16_pos_to_byte, word_at};
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(source, position)?;
if word.starts_with('$') {
let bare = word.trim_start_matches('$');
let byte_off = utf16_pos_to_byte(source, position);
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: offset_to_position(source, span.start),
end: offset_to_position(source, span.end),
},
});
}
}
if let Some(range) = scan_statements(source, &doc.program().stmts, &word) {
return Some(Location {
uri: uri.clone(),
range,
});
}
for (other_uri, other_doc) in other_docs {
let other_source = other_doc.source();
if let Some(range) = scan_statements(other_source, &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> {
scan_statements(source, &doc.program().stmts, name)
}
fn scan_statements(source: &str, stmts: &[Stmt<'_, '_>], word: &str) -> Option<Range> {
let bare = word.strip_prefix('$').unwrap_or(word);
for stmt in stmts {
match &stmt.kind {
StmtKind::Function(f) if f.name == word => {
return Some(name_range(source, f.name));
}
StmtKind::Class(c) if c.name == Some(word) => {
let name = c.name.expect("match guard ensures Some");
return Some(name_range(source, name));
}
StmtKind::Class(c) => {
for member in c.members.iter() {
match &member.kind {
ClassMemberKind::Method(m) if m.name == word => {
return Some(name_range(source, m.name));
}
ClassMemberKind::ClassConst(cc) if cc.name == word => {
return Some(name_range(source, cc.name));
}
ClassMemberKind::Property(p) if p.name == bare => {
return Some(name_range(source, p.name));
}
_ => {}
}
}
}
StmtKind::Interface(i) if i.name == word => {
return Some(name_range(source, i.name));
}
StmtKind::Trait(t) if t.name == word => {
return Some(name_range(source, t.name));
}
StmtKind::Enum(e) if e.name == word => {
return Some(name_range(source, e.name));
}
StmtKind::Enum(e) => {
for member in e.members.iter() {
match &member.kind {
EnumMemberKind::Method(m) if m.name == word => {
return Some(name_range(source, m.name));
}
EnumMemberKind::Case(c) if c.name == word => {
return Some(name_range(source, c.name));
}
_ => {}
}
}
}
StmtKind::Namespace(ns) => {
if let NamespaceBody::Braced(inner) = &ns.body
&& let Some(range) = scan_statements(source, inner, word)
{
return Some(range);
}
}
_ => {}
}
}
None
}
fn _name_range_from_offset(source: &str, name: &str) -> Range {
let start_offset = str_offset(source, name);
let start = offset_to_position(source, start_offset);
Range {
start,
end: Position {
line: start.line,
character: start.character + name.chars().map(|c| c.len_utf16() as u32).sum::<u32>(),
},
}
}
#[cfg(test)]
mod tests {
use super::*;
use crate::test_utils::cursor;
fn uri() -> Url {
Url::parse("file:///test.php").unwrap()
}
fn pos(line: u32, character: u32) -> Position {
Position { line, character }
}
#[test]
fn jumps_to_function_definition() {
let (src, p) = cursor("<?php\nfunction g$0reet() {}");
let doc = ParsedDoc::parse(src.clone());
let result = goto_definition(&uri(), &src, &doc, &[], p);
assert!(result.is_some(), "expected a location");
let loc = result.unwrap();
assert_eq!(loc.range.start.line, 1);
assert_eq!(loc.uri, uri());
}
#[test]
fn jumps_to_class_definition() {
let (src, p) = cursor("<?php\nclass My$0Service {}");
let doc = ParsedDoc::parse(src.clone());
let result = goto_definition(&uri(), &src, &doc, &[], p);
assert!(result.is_some());
let loc = result.unwrap();
assert_eq!(loc.range.start.line, 1);
}
#[test]
fn jumps_to_interface_definition() {
let (src, p) = cursor("<?php\ninterface Co$0untable {}");
let doc = ParsedDoc::parse(src.clone());
let result = goto_definition(&uri(), &src, &doc, &[], p);
assert!(result.is_some());
assert_eq!(result.unwrap().range.start.line, 1);
}
#[test]
fn jumps_to_trait_definition() {
let src = "<?php\ntrait Loggable {}";
let doc = ParsedDoc::parse(src.to_string());
let result = goto_definition(&uri(), src, &doc, &[], pos(1, 8));
assert!(result.is_some());
assert_eq!(result.unwrap().range.start.line, 1);
}
#[test]
fn jumps_to_class_method_definition() {
let src = "<?php\nclass Calc { public function add() {} }";
let doc = ParsedDoc::parse(src.to_string());
let result = goto_definition(&uri(), src, &doc, &[], pos(1, 32));
assert!(result.is_some(), "expected location for method 'add'");
}
#[test]
fn returns_none_for_unknown_word() {
let src = "<?php\necho 'hello';";
let doc = ParsedDoc::parse(src.to_string());
let result = goto_definition(&uri(), src, &doc, &[], pos(1, 6));
assert!(result.is_none());
}
#[test]
fn variable_goto_definition_jumps_to_first_occurrence() {
let src = "<?php\nfunction foo() {\n $x = 1;\n return $x;\n}";
let doc = ParsedDoc::parse(src.to_string());
let result = goto_definition(&uri(), src, &doc, &[], pos(3, 12));
assert!(result.is_some(), "expected location for $x");
let loc = result.unwrap();
assert_eq!(
loc.range.start.line, 2,
"should jump to first $x occurrence"
);
}
#[test]
fn jumps_to_enum_definition() {
let src = "<?php\nenum Suit { case Hearts; }";
let doc = ParsedDoc::parse(src.to_string());
let result = goto_definition(&uri(), src, &doc, &[], pos(1, 7));
assert!(result.is_some(), "expected location for enum 'Suit'");
assert_eq!(result.unwrap().range.start.line, 1);
}
#[test]
fn jumps_to_enum_case_definition() {
let src = "<?php\nenum Suit { case Hearts; case Spades; }";
let doc = ParsedDoc::parse(src.to_string());
let result = goto_definition(&uri(), src, &doc, &[], pos(1, 22));
assert!(result.is_some(), "expected location for enum case 'Hearts'");
}
#[test]
fn jumps_to_enum_method_definition() {
let src = "<?php\nenum Suit { public function label(): string { return ''; } }";
let doc = ParsedDoc::parse(src.to_string());
let result = goto_definition(&uri(), src, &doc, &[], pos(1, 30));
assert!(
result.is_some(),
"expected location for enum method 'label'"
);
}
#[test]
fn jumps_to_symbol_inside_namespace() {
let src = "<?php\nnamespace App {\nfunction boot() {}\n}";
let doc = ParsedDoc::parse(src.to_string());
let result = goto_definition(&uri(), src, &doc, &[], pos(2, 10));
assert!(result.is_some());
assert_eq!(result.unwrap().range.start.line, 2);
}
#[test]
fn finds_class_definition_in_other_document() {
let current_src = "<?php\n$s = new MyService();";
let current_doc = ParsedDoc::parse(current_src.to_string());
let other_src = "<?php\nclass MyService {}";
let other_uri = Url::parse("file:///other.php").unwrap();
let other_doc = Arc::new(ParsedDoc::parse(other_src.to_string()));
let result = goto_definition(
&uri(),
current_src,
¤t_doc,
&[(other_uri.clone(), other_doc)],
pos(1, 13),
);
assert!(result.is_some(), "expected cross-file location");
assert_eq!(result.unwrap().uri, other_uri);
}
#[test]
fn finds_function_definition_in_other_document() {
let current_src = "<?php\nhelperFn();";
let current_doc = ParsedDoc::parse(current_src.to_string());
let other_src = "<?php\nfunction helperFn() {}";
let other_uri = Url::parse("file:///helpers.php").unwrap();
let other_doc = Arc::new(ParsedDoc::parse(other_src.to_string()));
let result = goto_definition(
&uri(),
current_src,
¤t_doc,
&[(other_uri.clone(), other_doc)],
pos(1, 3),
);
assert!(
result.is_some(),
"expected cross-file location for helperFn"
);
assert_eq!(result.unwrap().uri, other_uri);
}
#[test]
fn current_file_takes_priority_over_other_docs() {
let src = "<?php\nclass Foo {}";
let doc = ParsedDoc::parse(src.to_string());
let other_src = "<?php\nclass Foo {}";
let other_uri = Url::parse("file:///other.php").unwrap();
let other_doc = Arc::new(ParsedDoc::parse(other_src.to_string()));
let result = goto_definition(&uri(), src, &doc, &[(other_uri, other_doc)], pos(1, 8));
assert_eq!(result.unwrap().uri, uri(), "should prefer current file");
}
#[test]
fn goto_definition_class_constant() {
let src = "<?php\nclass MyClass { const STATUS_OK = 1; }";
let doc = ParsedDoc::parse(src.to_string());
let result = goto_definition(&uri(), src, &doc, &[], pos(1, 22));
assert!(
result.is_some(),
"expected a location for class constant STATUS_OK"
);
let loc = result.unwrap();
assert_eq!(
loc.range.start.line, 1,
"should jump to line 1 where the constant is declared"
);
assert_eq!(loc.uri, uri(), "should be in the same file");
}
#[test]
fn goto_definition_property() {
let src = "<?php\nclass Person { public string $name; }";
let doc = ParsedDoc::parse(src.to_string());
let result = goto_definition(&uri(), src, &doc, &[], pos(1, 30));
assert!(
result.is_some(),
"expected a location for property '$name', cursor at column 30"
);
let loc = result.unwrap();
assert_eq!(
loc.range.start.line, 1,
"should jump to line 1 where the property is declared"
);
assert_eq!(loc.uri, uri(), "should be in the same file");
}
}