// SPDX-License-Identifier: Apache-2.0 // SPDX-FileCopyrightText: 2025 The Gleam contributors use std::collections::HashMap; use lsp_types::{ PartialResultParams, Position, Range, ReferenceContext, ReferenceParams, TextDocumentPositionParams, WorkDoneProgressParams, }; use super::{TestProject, find_position_of}; fn find_references( tester: &TestProject<'_>, position: Position, ) -> Option>> { let locations = tester.at(position, |engine, params, _| { let params = ReferenceParams { text_document_position_params: TextDocumentPositionParams { text_document: params.text_document, position, }, work_done_progress_params: WorkDoneProgressParams::default(), partial_result_params: PartialResultParams::default(), context: ReferenceContext { include_declaration: true, }, }; engine.find_references(params).result.unwrap() })?; let mut references: HashMap> = HashMap::new(); for location in locations { let module_name = tester .module_name_from_url(&location.uri) .expect("Valid uri"); _ = references .entry(module_name) .or_default() .push(location.range); } Some(references) } fn show_references(code: &str, position: Option, ranges: &[Range]) -> String { let mut buffer = String::new(); for (line_number, line) in code.lines().enumerate() { let mut underline = String::new(); let mut underline_empty = true; let line_number = line_number as u32; for (column_number, _) in line.chars().enumerate() { let current_position = Position::new(line_number, column_number as u32); // Check if any range covers this specific character let is_in_range = ranges .iter() .any(|range| range.start <= current_position && current_position < range.end); if Some(current_position) == position { underline_empty = false; underline.push('↑'); } else if is_in_range { underline_empty = false; underline.push('▔'); } else { underline.push(' '); } } buffer.push_str(line); if !underline_empty { buffer.push('\n'); buffer.push_str(&underline); } buffer.push('\n'); } buffer } macro_rules! assert_references { ($code:literal, $position:expr $(,)?) => { assert_references!(TestProject::for_source($code), $position); }; (($module_name:literal, $module_src:literal), $code:literal, $position:expr $(,)?) => { assert_references!( TestProject::for_source($code).add_module($module_name, $module_src), $position ); }; ($project:expr, $position:expr $(,)?) => { let project = $project; let src = project.src; let position = $position.find_position(src); let result = find_references(&project, position).expect("References not found"); let mut output = String::new(); for (name, src) in project.root_package_modules.iter() { output.push_str(&format!( "-- {name}.gleam\n{}\n\n", show_references(src, None, result.get(*name).unwrap_or(&Vec::new())) )); } output.push_str(&format!( "-- app.gleam\n{}", show_references( src, Some(position), result.get("app").unwrap_or(&Vec::new()) ) )); insta::assert_snapshot!(insta::internals::AutoName, output, src); }; } macro_rules! assert_no_references { ($code:literal, $position:expr $(,)?) => { let project = TestProject::for_source($code); assert_no_references!(&project, $position); }; ($project:expr, $position:expr $(,)?) => { let src = $project.src; let position = $position.find_position(src); let result = find_references($project, position); assert_eq!(result, None); }; } #[test] fn references_for_local_variable() { assert_references!( " pub fn main() { let wibble = 10 let wobble = wibble + 1 wibble + wobble } ", find_position_of("wibble").nth_occurrence(2), ); } #[test] fn references_for_local_variable_from_definition() { assert_references!( " pub fn main() { let wibble = 10 let wobble = wibble + 1 wibble + wobble } ", find_position_of("wibble"), ); } #[test] fn references_for_private_function() { assert_references!( " fn wibble() { wibble() } pub fn main() { let _ = wibble() wibble() + 4 } fn wobble() { wibble() || wobble() } ", find_position_of("wibble"), ); } #[test] fn references_for_private_function_from_reference() { assert_references!( " fn wibble() { wibble() } pub fn main() { let _ = wibble() wibble() + 4 } fn wobble() { wibble() || wobble() } ", find_position_of("wibble").nth_occurrence(2), ); } #[test] fn references_for_public_function() { assert_references!( ( "mod", " import app.{wibble} fn wobble() { app.wibble() } fn other() { wibble() } " ), " pub fn wibble() { wibble() } ", find_position_of("wibble").nth_occurrence(2), ); } #[test] fn references_for_function_from_qualified_reference() { assert_references!( ( "mod", " pub fn wibble() { wibble() } " ), " import mod pub fn main() { let value = mod.wibble() mod.wibble() value } ", find_position_of("wibble"), ); } #[test] fn references_for_function_from_unqualified_reference() { assert_references!( ( "mod", " pub fn wibble() { wibble() } " ), " import mod.{wibble} pub fn main() { let value = wibble() mod.wibble() value } ", find_position_of("wibble()"), ); } #[test] fn references_for_function_from_unqualified_aliased_reference() { assert_references!( ( "mod", " pub fn wibble() { wibble() } " ), " import mod.{wibble as wobble} pub fn main() { let value = wobble() mod.wibble() value } ", find_position_of("wobble()"), ); } #[test] fn references_for_function_from_import() { assert_references!( ( "mod", " pub fn wibble() { wibble() } " ), " import mod.{wibble} pub fn main() { let value = wibble() mod.wibble() value } ", find_position_of("wibble"), ); } #[test] fn references_for_function_from_import_alias() { assert_references!( ( "mod", " pub fn wibble() { wibble() } " ), " import mod.{wibble as wobble} pub fn main() { let value = wobble() mod.wibble() value } ", find_position_of("wobble"), ); } #[test] fn references_for_private_constant() { assert_references!( " const wibble = 10 pub fn main() { let _ = wibble wibble + 4 } fn wobble() { wibble + wobble() } ", find_position_of("wibble"), ); } #[test] fn references_for_private_constant_from_reference() { assert_references!( " const wibble = 10 pub fn main() { let _ = wibble wibble + 4 } fn wobble() { wibble + wobble() } ", find_position_of("wibble").nth_occurrence(2), ); } #[test] fn references_for_public_constant() { assert_references!( ( "mod", " import app.{wibble} fn wobble() { app.wibble } fn other() { wibble } " ), " pub const wibble = 10 pub fn main() { wibble } ", find_position_of("wibble").nth_occurrence(2), ); } #[test] fn references_for_constant_from_qualified_reference() { assert_references!( ( "mod", " pub const wibble = 10 fn wobble() { wibble } " ), " import mod pub fn main() { let value = mod.wibble mod.wibble + value } ", find_position_of("wibble"), ); } #[test] fn references_for_constant_from_unqualified_reference() { assert_references!( ( "mod", " pub const wibble = 10 fn wobble() { wibble } " ), " import mod.{wibble} pub fn main() { let value = mod.wibble wibble + value } ", find_position_of("wibble +"), ); } #[test] fn references_for_constant_from_unqualified_aliased_referene() { assert_references!( ( "mod", " pub const wibble = 10 fn wobble() { wibble } " ), " import mod.{wibble as wobble} pub fn main() { let value = mod.wibble wobble + value } ", find_position_of("wobble +"), ); } #[test] fn references_for_constant_from_import() { assert_references!( ( "mod", " pub const wibble = 10 fn wobble() { wibble } " ), " import mod.{wibble} pub fn main() { let value = mod.wibble wibble + value } ", find_position_of("wibble"), ); } #[test] fn references_for_constant_from_import_alias() { assert_references!( ( "mod", " pub const wibble = 10 fn wobble() { wibble } " ), " import mod.{wibble as wobble} pub fn main() { let value = mod.wibble wobble + value } ", find_position_of("wobble"), ); } #[test] fn references_for_private_type_variant() { assert_references!( " type Wibble { Wibble } fn main() { let _ = Wibble Wibble } fn wobble() { Wibble wobble() } ", find_position_of("Wibble }"), ); } #[test] fn references_for_private_type_variant_from_reference() { assert_references!( " type Wibble { Wibble } fn main() { let _ = Wibble Wibble } fn wobble() { Wibble wobble() } ", find_position_of(" = Wibble").under_char('W'), ); } #[test] fn references_for_public_type_variant() { assert_references!( ( "mod", " import app.{Wibble} fn wobble() { app.Wibble } fn other() { Wibble } " ), " pub type Wibble { Wibble } pub fn main() { Wibble } ", find_position_of("Wibble }"), ); } #[test] fn references_for_type_variant_from_qualified_reference() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() { Wibble } " ), " import mod pub fn main() { let value = mod.Wibble mod.Wibble value } ", find_position_of("Wibble"), ); } #[test] fn references_for_type_variant_from_unqualified_reference() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() { Wibble } " ), " import mod.{Wibble} pub fn main() { let value = mod.Wibble Wibble } ", find_position_of("Wibble").nth_occurrence(3), ); } #[test] fn references_for_type_variant_from_unqualified_aliased_reference() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() { Wibble } " ), " import mod.{Wibble as Wobble} pub fn main() { let value = mod.Wibble Wobble } ", find_position_of("Wobble").nth_occurrence(2), ); } #[test] fn references_for_type_variant_from_import() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() { Wibble } " ), " import mod.{Wibble} pub fn main() { let value = mod.Wibble Wibble } ", find_position_of("Wibble"), ); } #[test] fn references_for_type_variant_from_import_alias() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() { Wibble } " ), " import mod.{Wibble as Wobble} pub fn main() { let value = mod.Wibble Wobble } ", find_position_of("Wobble"), ); } #[test] fn no_references_for_keyword() { assert_no_references!( " pub fn wibble() { todo } ", find_position_of("fn") ); } #[test] fn references_for_aliased_value() { assert_references!( ( "mod", " import app.{Wibble as Wobble} fn wobble() { Wobble } " ), " pub type Wibble { Wibble } pub fn main() { Wibble } ", find_position_of("Wibble").nth_occurrence(2), ); } #[test] fn references_for_aliased_const() { assert_references!( ( "mod", " import app.{wibble as other} fn wobble() { other } " ), " pub const wibble = 123 pub fn main() { wibble } ", find_position_of("wibble").nth_occurrence(2), ); } #[test] fn references_for_aliased_function() { assert_references!( ( "mod", " import app.{wibble as other} fn wobble() { other() } " ), " pub fn wibble() { 123 } pub fn main() { wibble() } ", find_position_of("wibble").nth_occurrence(2), ); } #[test] fn references_for_private_type() { assert_references!( " type Wibble { Wibble } fn main() -> Wibble { todo } fn wobble(w: Wibble) { todo } ", find_position_of("Wibble"), ); } #[test] fn references_for_private_type_from_reference() { assert_references!( " type Wibble { Wibble } fn main() -> Wibble { todo } fn wobble(w: Wibble) { todo } ", find_position_of("-> Wibble").under_char('W'), ); } #[test] fn references_for_public_type() { assert_references!( ( "mod", " import app.{type Wibble} fn wobble() -> Wibble { todo } fn other(w: app.Wibble) { todo } " ), " pub type Wibble { Wibble } pub fn main() -> Wibble { todo } ", find_position_of("Wibble"), ); } #[test] fn references_for_type_from_qualified_reference() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() -> Wibble { todo } " ), " import mod pub fn main() -> mod.Wibble { let _: mod.Wibble = todo } ", find_position_of("Wibble"), ); } #[test] fn references_for_type_from_unqualified_reference() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() -> Wibble { todo } " ), " import mod.{type Wibble} pub fn main() -> Wibble { let _: mod.Wibble = todo } ", find_position_of("Wibble").nth_occurrence(2), ); } #[test] fn references_for_type_from_unqualified_aliased_reference() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() -> Wibble { todo } " ), " import mod.{type Wibble as Wobble} pub fn main() -> Wobble { let _: mod.Wibble = todo } ", find_position_of("-> Wobble").under_char('W'), ); } #[test] fn references_for_type_from_import() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() -> Wibble { todo } " ), " import mod.{type Wibble} pub fn main() -> Wibble { let _: mod.Wibble = todo } ", find_position_of("Wibble"), ); } #[test] fn references_for_type_from_import_alias() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() -> Wibble { todo } " ), " import mod.{type Wibble as Wobble} pub fn main() -> Wobble { let _: mod.Wibble = todo } ", find_position_of("Wobble"), ); } #[test] fn references_for_aliased_type() { assert_references!( ( "mod", " import app.{type Wibble as Wobble} fn wobble() -> Wobble { todo } fn other(w: app.Wibble) { todo } " ), " pub type Wibble { Wibble } pub fn main() -> Wibble { todo } ", find_position_of("-> Wibble").under_char('W'), ); } #[test] fn references_for_type_from_let_annotation() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() -> Wibble { todo } " ), " import mod.{type Wibble} pub fn main() -> Wibble { let _: mod.Wibble = todo } ", find_position_of("mod.Wibble").under_char('W'), ); } #[test] fn references_for_prefix_string_suffix_variable_in_case() { assert_references!( " pub fn main() -> String { let wibble = \"1-wibble\" let rest = case wibble { \"1\" <> rest -> rest other -> other } rest } ", find_position_of("rest").nth_occurrence(2) ); } #[test] fn references_for_prefix_string_suffix_variable_in_case_triggered_from_usage() { assert_references!( " pub fn main() -> String { let wibble = \"1-wibble\" let rest = case wibble { \"1\" <> rest -> rest other -> other } rest } ", find_position_of("rest").nth_occurrence(3) ); } #[test] fn references_for_prefix_string_suffix_variable_with_alternative_definition_in_case() { assert_references!( " pub fn main() -> String { let wibble = \"1-wibble\" let rest = case wibble { \"1\" <> rest | \"2\" <> rest -> rest other -> other } rest } ", find_position_of("rest").nth_occurrence(2), ); } #[test] fn references_for_prefix_string_suffix_variable_with_alternative_definition_triggered_from_second_pattern() { assert_references!( " pub fn main() -> String { let wibble = \"1-wibble\" let rest = case wibble { \"1\" <> rest | \"2\" <> rest -> rest other -> other } rest } ", find_position_of("rest").nth_occurrence(3), ); } #[test] fn references_for_prefix_string_suffix_variable_with_alternative_definition_triggered_from_usage() { assert_references!( " pub fn main() -> String { let wibble = \"1-wibble\" let rest = case wibble { \"1\" <> rest | \"2\" <> rest -> rest other -> other } rest } ", find_position_of("rest").nth_occurrence(4), ); } #[test] fn references_for_prefix_string_suffix_variable_in_let_assert() { assert_references!( " pub fn main() -> String { let assert \"1\" <> rest = \"1-wibble\" rest } ", find_position_of("rest").nth_occurrence(1), ); } #[test] fn references_for_prefix_string_suffix_variable_in_let_assert_triggered_from_usage() { assert_references!( " pub fn main() -> String { let assert \"1\" <> rest = \"1-wibble\" rest } ", find_position_of("rest").nth_occurrence(2), ); } #[test] fn references_for_prefix_string_alias_in_case() { assert_references!( " pub fn main() -> String { let wibble = \"1-wibble\" let digit = case wibble { \"1\" as digit <> _rest -> digit other -> other } digit } ", find_position_of("digit").nth_occurrence(2) ); } #[test] fn references_for_prefix_string_alias_in_case_triggered_from_usage() { assert_references!( " pub fn main() -> String { let wibble = \"1-wibble\" let digit = case wibble { \"1\" as digit <> _rest -> digit other -> other } digit } ", find_position_of("digit").nth_occurrence(3) ); } #[test] fn references_for_prefix_string_alias_with_alternative_definitions_in_case() { assert_references!( " pub fn main() -> String { let wibble = \"1-wibble\" let digit = case wibble { \"1\" as digit <> _rest | \"2\" as digit <> _rest -> digit other -> other } digit } ", find_position_of("digit").nth_occurrence(2) ); } #[test] fn references_for_prefix_string_alias_with_alternative_definitions_triggered_from_second_pattern() { assert_references!( " pub fn main() -> String { let wibble = \"1-wibble\" let digit = case wibble { \"1\" as digit <> _rest | \"2\" as digit <> _rest -> digit other -> other } digit } ", find_position_of("digit").nth_occurrence(3) ); } #[test] fn references_for_prefix_string_alias_with_alternative_definitions_triggered_from_usage() { assert_references!( " pub fn main() -> String { let wibble = \"1-wibble\" let digit = case wibble { \"1\" as digit <> _rest | \"2\" as digit <> _rest -> digit other -> other } digit } ", find_position_of("digit").nth_occurrence(4) ); } #[test] fn references_for_prefix_string_alias_in_let_assert() { assert_references!( " pub fn main() -> String { let assert \"1\" as digit <> _rest = \"1-wibble\" digit } ", find_position_of("digit").nth_occurrence(1) ); } #[test] fn references_for_prefix_string_alias_in_let_assert_triggered_from_usage() { assert_references!( " pub fn main() -> String { let assert \"1\" as digit <> _rest = \"1-wibble\" digit } ", find_position_of("digit").nth_occurrence(2) ); } #[test] fn references_for_prefix_string_suffix_variable_nested_in_tuple() { assert_references!( " fn main() { case #(\"1-wibble\", 0) { #(\"1\" <> rest, _) -> rest _ -> \"\" } } ", find_position_of("rest").nth_occurrence(1) ); } #[test] fn references_for_prefix_string_alias_used_in_guard() { assert_references!( " fn main() { case \"1-wibble\" { \"1\" as digit <> _rest if digit == \"1\" -> digit _ -> \"\" } } ", find_position_of("digit").nth_occurrence(1) ); } #[test] fn references_for_prefix_string_suffix_used_in_guard() { assert_references!( " fn main() { case \"1-wibble\" { \"1\" <> rest if rest == \"-wibble\" -> rest _ -> \"\" } } ", find_position_of("rest").nth_occurrence(1) ); } #[test] fn references_for_prefix_string_suffix_shadowing_outer_variable() { assert_references!( " fn main() { let rest = \"outer\" case \"1-wibble\" { \"1\" <> rest -> rest _ -> rest } } ", find_position_of("rest").nth_occurrence(2) ); } #[test] fn references_for_prefix_string_alias_and_suffix_complex_guard() { assert_references!( " fn main() { case \"1-wibble\" { \"1\" as digit <> rest if digit == \"1\" && rest == \"-wibble\" -> #(digit, rest) _ -> #(\"\", \"\") } } ", find_position_of("digit").nth_occurrence(1) ); } #[test] fn references_for_local_variable_from_guard() { assert_references!( " pub fn main() { let wibble = True let wobble = False case wibble { True if wobble -> !wibble False if !wobble -> wibble _ -> wobble } } ", find_position_of("wobble").nth_occurrence(2).under_char('o') ); } #[test] fn references_for_module_select_from_guard() { assert_references!( ("mod", "pub const wibble = 10"), " import mod pub fn main() { let wibble = True case wibble { True if mod.wibble < 5 -> !wibble False if mod.wibble != 10 -> wibble _ -> mod.wibble + 1 } } ", find_position_of("mod.wibble").under_char('w') ); } #[test] fn references_for_invalid_constant_todo_message_still_works() { assert_references!( " const wibble = 1 const wobble = todo as wibble ", find_position_of("wibble") ); } #[test] fn references_for_invalid_constant_todo_message_still_works_2() { assert_references!( " const wibble = 1 const wobble = todo as [wibble] ", find_position_of("wibble") ); } #[test] fn references_for_record_field() { assert_references!( " type Wibble { Wibble(wibble: Int) } pub fn main() { let value = Wibble(wibble: 1) value.wibble } ", find_position_of("value.wibble").under_char('i') ); } #[test] fn references_for_record_field_in_module_not_importing_the_type_module() { assert_references!( TestProject::for_source( " import wobble pub fn main() { wobble.make().wibble } " ) .add_module("wibble", "pub type Wibble {\n Wibble(wibble: Int)\n}") .add_module( "wobble", "import wibble\n\npub fn make() -> wibble.Wibble {\n wibble.Wibble(wibble: 1)\n}" ), find_position_of("().wibble").under_char('b') ); } #[test] fn references_for_record_field_ignored_by_record_update_spread() { // https://github.com/gleam-lang/gleam/pull/5533#pullrequestreview-4475156690 assert_references!( " type Wibble { Wibble(wibble: Int, wobble: Int) } pub fn main(w: Wibble) { Wibble(..w, wibble: 2) } ", find_position_of("wobble: Int").under_char('w') ); } #[test] fn references_for_record_field_ignored_by_constant_record_update_spread() { assert_references!( " type Wibble { Wibble(wibble: Int, wobble: Int) } const base = Wibble(wibble: 1, wobble: 2) const updated = Wibble(..base, wibble: 3) ", find_position_of("wobble: Int").under_char('w') ); } #[test] fn references_for_record_field_ignored_by_record_update_with_record_access_spread() { assert_references!( " type Container { Container(inner: Wibble) } type Wibble { Wibble(wibble: Int, wobble: Int) } pub fn main(c: Container) { Wibble(..c.inner, wibble: 2) } ", find_position_of("wobble: Int").under_char('w') ); } #[test] fn references_for_record_field_ignored_by_nested_record_update_spread() { assert_references!( " type Wibble { Wibble(wibble: Int, wobble: Int) } pub fn main(w: Wibble) { Wibble(..Wibble(..w, wibble: 1), wobble: 2) } ", find_position_of("wibble: Int").under_char('w') ); } #[test] fn references_for_record_field_ignored_by_pipe_into_constructor() { assert_references!( " type Wibble { Wibble(name: Int, age: Int) } pub fn main() { 1 |> Wibble(age: 2) } ", find_position_of("name: Int").under_char('n') ); } #[test] fn references_for_record_field_ignored_by_pattern_spread() { assert_references!( " type Wibble { Wibble(wibble: Int, wobble: Int) } pub fn main(w: Wibble) { case w { Wibble(wibble: a, ..) -> a } } ", find_position_of("wobble: Int").under_char('w') ); } #[test] fn references_for_value_from_import_imported_name() { assert_references!( ( "mod", " pub fn wibble() { wibble() } " ), " import mod.{wibble as wobble} pub fn main() { let value = wobble() mod.wibble() value } ", find_position_of("wibble"), ); } #[test] fn references_for_value_from_import_as() { assert_references!( ( "mod", " pub fn wibble() { wibble() } " ), " import mod.{wibble as wobble} pub fn main() { let value = wobble() mod.wibble() value } ", find_position_of("as"), ); } #[test] fn references_for_value_from_import_alias_name() { assert_references!( ( "mod", " pub fn wibble() { wibble() } " ), " import mod.{wibble as wobble} pub fn main() { let value = wobble() mod.wibble() value } ", find_position_of("wobble"), ); } #[test] fn references_for_type_from_import_type() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() -> Wibble { todo } " ), " import mod.{type Wibble as Wobble} pub fn main() -> Wobble { let _: mod.Wibble = todo } ", find_position_of("type"), ); } #[test] fn references_for_type_from_import_imported_name() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() -> Wibble { todo } " ), " import mod.{type Wibble as Wobble} pub fn main() -> Wobble { let _: mod.Wibble = todo } ", find_position_of("Wibble"), ); } #[test] fn references_for_type_from_import_as() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() -> Wibble { todo } " ), " import mod.{type Wibble as Wobble} pub fn main() -> Wobble { let _: mod.Wibble = todo } ", find_position_of("as"), ); } #[test] fn references_for_type_from_import_clias_name() { assert_references!( ( "mod", " pub type Wibble { Wibble } fn wobble() -> Wibble { todo } " ), " import mod.{type Wibble as Wobble} pub fn main() -> Wobble { let _: mod.Wibble = todo } ", find_position_of("Wobble"), ); }