Testcase of generic function and instantiation.

Author: godunko

testsuite/als_helper/generic_function.adb

@@ -0,0 +1,8 @@
+--  Copyright header
+
+--  Description of the generic function body
+
+function Generic_Function return Integer is
+begin
+   return 0;
+end Generic_Function;

testsuite/als_helper/generic_function.ads

@@ -0,0 +1,6 @@
+--  Copyright header
+
+--  Description of the generic function specification
+
+generic
+function Generic_Function return Integer;

testsuite/als_helper/generic_function_instantiation.ads

@@ -0,0 +1,7 @@
+--  Copyright header
+
+--  Description of the generic function instantiation
+
+with Generic_Function;
+
+function Generic_Function_Instantiation is new Generic_Function;

testsuite/als_helper/generics_package.adb

@@ -2,13 +2,24 @@
 
 --  Description of the package specification
 
+with Generic_Function_Instantiation;
 with Generic_Package_Instantiation;
+with Generic_Procedure_Instantiation;
 
 package body Generics_Package is
 
    procedure Dummy is
    begin
       Generic_Package_Instantiation.Dummy;
+
+      declare
+         X : Integer := Generic_Function_Instantiation;
+
+      begin
+         null;
+      end;
+
+      Generic_Procedure_Instantiation;
    end Dummy;
 
 end Generics_Package;

testsuite/als_helper/locations.json

@@ -129,9 +129,32 @@
 
     {"file": "generic_package_instantiation.ads", "line": 7, "column": 9},
     //  reference: `Generic_Package_Instantiation` (context clause)
-    {"file": "generics_package.adb", "line": 11, "column": 7},
+    {"file": "generics_package.adb", "line": 13, "column": 7},
     //  reference: `Generic_Package_Instantiation`
 
+    //  LAL 20251007: `Most_Visible_Part` returns body always
+    // {"file": "generic_function.ads", "line": 6, "column": 10},
+    // //  declaration: `Generic_Function`
+    {"file": "generic_function.adb", "line": 5, "column": 10},
+    //  declaration: `Generic_Function` (body)
+    {"file": "generic_function.adb", "line": 8, "column": 5},
+    //  reference: `Generic_Function` (end)
+    //  LAL 20251007: `Most_Visible_Part` returns body always
+    // {"file": "generic_function_instantiation.ads", "line": 5, "column": 6},
+    // //  reference: `Generic_Function`
+    // {"file": "generic_function_instantiation.ads", "line": 7, "column": 48},
+    // //  reference: `Generic_Function`
+
+    {"file": "generic_function_instantiation.ads", "line": 7, "column": 10},
+    //  declaration: `Generic_Function_Instantiation`
+    {"file": "generics_package.adb", "line": 5, "column": 6},
+    //  reference: `Generic_Function_Instantiation` (context clause)
+    {"file": "generics_package.adb", "line": 16, "column": 25},
+    //  reference: `Generic_Function_Instantiation`
+
+    // {"file": "generic_procedure.ads", "line": 6, "column": 11},
+    // //  declaration: `Generic_Procedure`
+
     //  Objects
 
     {"file": "objects.ads", "line": 4, "column": 4},

testsuite/als_helper/test.out

@@ -612,12 +612,49 @@ package Generic_Package_Instantiation is new Generic_Package;
 Description of the generic package instantiation
 ----- DONE -----
 Defining name: <DefiningName "Generic_Package_Instantiation" generic_package_instantiation.ads:7:9-7:38>
-Origin: <Id "Generic_Package_Instantiation" generics_package.adb:11:7-11:36>
+Origin: <Id "Generic_Package_Instantiation" generics_package.adb:13:7-13:36>
 ----- CODE SNIPPET -----
 package Generic_Package_Instantiation is new Generic_Package;
 ----- DOCUMENTATION -----
 Description of the generic package instantiation
 ----- DONE -----
+Defining name: <DefiningName "Generic_Function" generic_function.adb:5:10-5:26>
+Origin: <Id "Generic_Function" generic_function.adb:5:10-5:26>
+----- CODE SNIPPET -----
+----- DOCUMENTATION -----
+Description of the generic function body
+
+@return
+----- DONE -----
+Defining name: <DefiningName "Generic_Function" generic_function.adb:5:10-5:26>
+Origin: <Id "Generic_Function" generic_function.adb:8:5-8:21>
+----- CODE SNIPPET -----
+----- DOCUMENTATION -----
+Description of the generic function body
+
+@return
+----- DONE -----
+Defining name: <DefiningName "Generic_Function_Instantiation" generic_function_instantiation.ads:7:10-7:40>
+Origin: <Id "Generic_Function_Instantiation" generic_function_instantiation.ads:7:10-7:40>
+----- CODE SNIPPET -----
+function Generic_Function_Instantiation is new Generic_Function;
+----- DOCUMENTATION -----
+Description of the generic function instantiation
+----- DONE -----
+Defining name: <DefiningName "Generic_Function_Instantiation" generic_function_instantiation.ads:7:10-7:40>
+Origin: <Id "Generic_Function_Instantiation" generics_package.adb:5:6-5:36>
+----- CODE SNIPPET -----
+function Generic_Function_Instantiation is new Generic_Function;
+----- DOCUMENTATION -----
+Description of the generic function instantiation
+----- DONE -----
+Defining name: <DefiningName "Generic_Function_Instantiation" generic_function_instantiation.ads:7:10-7:40>
+Origin: <Id "Generic_Function_Instantiation" generics_package.adb:16:25-16:55>
+----- CODE SNIPPET -----
+function Generic_Function_Instantiation is new Generic_Function;
+----- DOCUMENTATION -----
+Description of the generic function instantiation
+----- DONE -----
 Defining name: <DefiningName "Named_Number" objects.ads:4:4-4:16>
 Origin: <Id "Named_Number" objects.ads:4:4-4:16>
 ----- CODE SNIPPET -----