Testcases of objects (constants and variables) renamings.

Author: godunko

testsuite/als_helper/locations.json

@@ -91,14 +91,14 @@
     //  declaration: `Named_Number`
     {"file": "objects.adb", "line": 7, "column": 30},
     //  reference: `Named_Number`
-    {"file": "objects_package.adb", "line": 8, "column": 30},
+    {"file": "objects_package.adb", "line": 10, "column": 38},
     //  reference: `Named_Number`
 
     {"file": "objects.ads", "line": 7, "column": 4},
     //  declaration `Public_Constant`
     {"file": "objects.adb", "line": 14, "column": 30},
     //  reference `Public_Constant`
-    {"file": "objects_package.adb", "line": 15, "column": 30},
+    {"file": "objects_package.adb", "line": 17, "column": 38},
     //  reference `Public_Constant`
 
     {"file": "objects.ads", "line": 10, "column": 4},
@@ -107,23 +107,51 @@
     //  declaration `Private_Constant`
     {"file": "objects.adb", "line": 21, "column": 30},
     //  reference `Private_Constant`
-    {"file": "objects_package.adb", "line": 22, "column": 30},
+    {"file": "objects_package.adb", "line": 24, "column": 38},
     //  reference `Private_Constant`
 
     {"file": "objects.ads", "line": 13, "column": 4},
-    //  declaration of the object
+    //  declaration of the object `Private_Constant`
     {"file": "objects.adb", "line": 28, "column": 30},
-    //  reference of the object
-    {"file": "objects_package.adb", "line": 29, "column": 30},
-    //  reference of the object
+    //  reference of the object `Private_Constant`
+    {"file": "objects_package.adb", "line": 31, "column": 38},
+    //  reference of the object `Private_Constant`
 
     {"file": "objects.ads", "line": 16, "column": 4},
     //  declaration of the object with default value
     {"file": "objects.adb", "line": 35, "column": 30},
     //  reference of the object with default value
-    {"file": "objects_package.adb", "line": 36, "column": 30},
+    {"file": "objects_package.adb", "line": 38, "column": 38},
     //  reference of the object with default value
 
+    {"file": "objects_renamings.ads", "line": 6, "column": 4},
+    //  declaration of `Renamed_Named_Number`
+    {"file": "objects_renamings.adb", "line": 7, "column": 25},
+    // reference of `Renamed_Named_Number`
+    {"file": "objects_package.adb", "line": 47, "column": 43},
+    // reference of `Renamed_Named_Number`
+
+    {"file": "objects_renamings.ads", "line": 9, "column": 4},
+    //  declaration of `Renamed_Public_Constant`
+    {"file": "objects_renamings.adb", "line": 14, "column": 25},
+    // reference of `Renamed_Public_Constant`
+    {"file": "objects_package.adb", "line": 54, "column": 43},
+    // reference of `Renamed_Public_Constant`
+
+    {"file": "objects_renamings.ads", "line": 12, "column": 4},
+    //  declaration of `Renamed_Private_Constant`
+    {"file": "objects_renamings.adb", "line": 21, "column": 25},
+    // reference of `Renamed_Private_Constant`
+    {"file": "objects_package.adb", "line": 61, "column": 43},
+    // reference of `Renamed_Private_Constant`
+
+    {"file": "objects_renamings.ads", "line": 15, "column": 4},
+    //  declaration of `Renamed_Value`
+    {"file": "objects_renamings.adb", "line": 28, "column": 25},
+    // reference of `Renamed_Value`
+    {"file": "objects_package.adb", "line": 68, "column": 43},
+    // reference of `Renamed_Value`
+
     {"file": "exceptions.ads", "line": 4, "column": 4},
     //  declaration of the exception
     {"file": "exceptions.adb", "line": 7, "column": 16},

testsuite/als_helper/objects_package.adb

@@ -1,39 +1,71 @@
-with Objects; use Objects;
+
+with Objects;
+with Objects_Renamings;
 
 package body Objects_Package is
 
    procedure Dummy is
    begin
       declare
-         Object : Integer := Named_Number;
+         Object : Integer := Objects.Named_Number;
+
+      begin
+         null;
+      end;
+
+      declare
+         Object : Integer := Objects.Public_Constant;
+
+      begin
+         null;
+      end;
+
+      declare
+         Object : Integer := Objects.Private_Constant;
 
       begin
          null;
       end;
 
       declare
-         Object : Integer := Public_Constant;
+         Object : Integer := Objects.Value;
+
+      begin
+         null;
+      end;
+
+      declare
+         Object : Integer := Objects.Value_Default;
+
+      begin
+         null;
+      end;
+
+      --  Renamings
+
+      declare
+         V : Integer := Objects_Renamings.Renamed_Named_Number;
 
       begin
          null;
       end;
 
       declare
-         Object : Integer := Private_Constant;
+         V : Integer := Objects_Renamings.Renamed_Public_Constant;
 
       begin
          null;
       end;
 
       declare
-         Object : Integer := Value;
+         V : Integer := Objects_Renamings.Renamed_Private_Constant;
 
       begin
          null;
       end;
 
       declare
-         Object : Integer := Value_Default;
+         V : Integer := Objects_Renamings.Renamed_Value;
 
       begin
          null;

testsuite/als_helper/objects_renamings.adb

@@ -0,0 +1,35 @@
+
+package body Objects_Renamings is
+
+   procedure Dummy is
+   begin
+      declare
+         V : Integer := Renamed_Named_Number;
+
+      begin
+         null;
+      end;
+
+      declare
+         V : Integer := Renamed_Public_Constant;
+
+      begin
+         null;
+      end;
+
+      declare
+         V : Integer := Renamed_Private_Constant;
+
+      begin
+         null;
+      end;
+
+      declare
+         V : Integer := Renamed_Value;
+
+      begin
+         null;
+      end;
+   end Dummy;
+
+end Objects_Renamings;

testsuite/als_helper/objects_renamings.ads

@@ -0,0 +1,22 @@
+
+with Objects;
+
+package Objects_Renamings is
+
+   Renamed_Named_Number : constant := Objects.Named_Number;
+   --  Description of the renamed named number
+
+   Renamed_Public_Constant : Integer renames Objects.Public_Constant;
+   --  Description of the renamed `Public_Constant`
+
+   Renamed_Private_Constant : Integer renames Objects.Private_Constant;
+   --  Description of the renamed `Private_Constant`
+
+   Renamed_Value : Integer renames Objects.Value;
+   --  Description of the renamed object
+
+private
+
+   procedure Dummy;
+
+end Objects_Renamings;

testsuite/als_helper/test.out

@@ -517,7 +517,7 @@ Named_Number : constant := 2;
 Description of the named number
 ----- DONE -----
 Defining name: <DefiningName "Named_Number" objects.ads:4:4-4:16>
-Origin: <Id "Named_Number" objects_package.adb:8:30-8:42>
+Origin: <Id "Named_Number" objects_package.adb:10:38-10:50>
 ----- CODE SNIPPET -----
 Named_Number : constant := 2;
 ----- DOCUMENTATION -----
@@ -538,7 +538,7 @@ Public_Constant : constant Integer := 3;
 Description of the `Public_Constant`
 ----- DONE -----
 Defining name: <DefiningName "Public_Constant" objects.ads:7:4-7:19>
-Origin: <Id "Public_Constant" objects_package.adb:15:30-15:45>
+Origin: <Id "Public_Constant" objects_package.adb:17:38-17:53>
 ----- CODE SNIPPET -----
 Public_Constant : constant Integer := 3;
 ----- DOCUMENTATION -----
@@ -574,7 +574,7 @@ Public description of the `Private_Constant`
 Private description of the `Private_Constant`
 ----- DONE -----
 Defining name: <DefiningName "Private_Constant" objects.ads:10:4-10:20>
-Origin: <Id "Private_Constant" objects_package.adb:22:30-22:46>
+Origin: <Id "Private_Constant" objects_package.adb:24:38-24:54>
 ----- CODE SNIPPET -----
 Private_Constant : constant Integer;
 ----- DOCUMENTATION -----
@@ -595,7 +595,7 @@ Value : Integer;
 Description of the object
 ----- DONE -----
 Defining name: <DefiningName "Value" objects.ads:13:4-13:9>
-Origin: <Id "Value" objects_package.adb:29:30-29:35>
+Origin: <Id "Value" objects_package.adb:31:38-31:43>
 ----- CODE SNIPPET -----
 Value : Integer;
 ----- DOCUMENTATION -----
@@ -616,12 +616,96 @@ Value_Default : Integer := 1;
 Description of the object with default value
 ----- DONE -----
 Defining name: <DefiningName "Value_Default" objects.ads:16:4-16:17>
-Origin: <Id "Value_Default" objects_package.adb:36:30-36:43>
+Origin: <Id "Value_Default" objects_package.adb:38:38-38:51>
 ----- CODE SNIPPET -----
 Value_Default : Integer := 1;
 ----- DOCUMENTATION -----
 Description of the object with default value
 ----- DONE -----
+Defining name: <DefiningName "Renamed_Named_Number" objects_renamings.ads:6:4-6:24>
+Origin: <Id "Renamed_Named_Number" objects_renamings.ads:6:4-6:24>
+----- CODE SNIPPET -----
+Renamed_Named_Number : constant := Objects.Named_Number;
+----- DOCUMENTATION -----
+Description of the renamed named number
+----- DONE -----
+Defining name: <DefiningName "Renamed_Named_Number" objects_renamings.ads:6:4-6:24>
+Origin: <Id "Renamed_Named_Number" objects_renamings.adb:7:25-7:45>
+----- CODE SNIPPET -----
+Renamed_Named_Number : constant := Objects.Named_Number;
+----- DOCUMENTATION -----
+Description of the renamed named number
+----- DONE -----
+Defining name: <DefiningName "Renamed_Named_Number" objects_renamings.ads:6:4-6:24>
+Origin: <Id "Renamed_Named_Number" objects_package.adb:47:43-47:63>
+----- CODE SNIPPET -----
+Renamed_Named_Number : constant := Objects.Named_Number;
+----- DOCUMENTATION -----
+Description of the renamed named number
+----- DONE -----
+Defining name: <DefiningName "Renamed_Public_Constant" objects_renamings.ads:9:4-9:27>
+Origin: <Id "Renamed_Public_Constant" objects_renamings.ads:9:4-9:27>
+----- CODE SNIPPET -----
+Renamed_Public_Constant : Integer renames Objects.Public_Constant;
+----- DOCUMENTATION -----
+Description of the renamed `Public_Constant`
+----- DONE -----
+Defining name: <DefiningName "Renamed_Public_Constant" objects_renamings.ads:9:4-9:27>
+Origin: <Id "Renamed_Public_Constant" objects_renamings.adb:14:25-14:48>
+----- CODE SNIPPET -----
+Renamed_Public_Constant : Integer renames Objects.Public_Constant;
+----- DOCUMENTATION -----
+Description of the renamed `Public_Constant`
+----- DONE -----
+Defining name: <DefiningName "Renamed_Public_Constant" objects_renamings.ads:9:4-9:27>
+Origin: <Id "Renamed_Public_Constant" objects_package.adb:54:43-54:66>
+----- CODE SNIPPET -----
+Renamed_Public_Constant : Integer renames Objects.Public_Constant;
+----- DOCUMENTATION -----
+Description of the renamed `Public_Constant`
+----- DONE -----
+Defining name: <DefiningName "Renamed_Private_Constant" objects_renamings.ads:12:4-12:28>
+Origin: <Id "Renamed_Private_Constant" objects_renamings.ads:12:4-12:28>
+----- CODE SNIPPET -----
+Renamed_Private_Constant : Integer renames Objects.Private_Constant;
+----- DOCUMENTATION -----
+Description of the renamed `Private_Constant`
+----- DONE -----
+Defining name: <DefiningName "Renamed_Private_Constant" objects_renamings.ads:12:4-12:28>
+Origin: <Id "Renamed_Private_Constant" objects_renamings.adb:21:25-21:49>
+----- CODE SNIPPET -----
+Renamed_Private_Constant : Integer renames Objects.Private_Constant;
+----- DOCUMENTATION -----
+Description of the renamed `Private_Constant`
+----- DONE -----
+Defining name: <DefiningName "Renamed_Private_Constant" objects_renamings.ads:12:4-12:28>
+Origin: <Id "Renamed_Private_Constant" objects_package.adb:61:43-61:67>
+----- CODE SNIPPET -----
+Renamed_Private_Constant : Integer renames Objects.Private_Constant;
+----- DOCUMENTATION -----
+Description of the renamed `Private_Constant`
+----- DONE -----
+Defining name: <DefiningName "Renamed_Value" objects_renamings.ads:15:4-15:17>
+Origin: <Id "Renamed_Value" objects_renamings.ads:15:4-15:17>
+----- CODE SNIPPET -----
+Renamed_Value : Integer renames Objects.Value;
+----- DOCUMENTATION -----
+Description of the renamed object
+----- DONE -----
+Defining name: <DefiningName "Renamed_Value" objects_renamings.ads:15:4-15:17>
+Origin: <Id "Renamed_Value" objects_renamings.adb:28:25-28:38>
+----- CODE SNIPPET -----
+Renamed_Value : Integer renames Objects.Value;
+----- DOCUMENTATION -----
+Description of the renamed object
+----- DONE -----
+Defining name: <DefiningName "Renamed_Value" objects_renamings.ads:15:4-15:17>
+Origin: <Id "Renamed_Value" objects_package.adb:68:43-68:56>
+----- CODE SNIPPET -----
+Renamed_Value : Integer renames Objects.Value;
+----- DOCUMENTATION -----
+Description of the renamed object
+----- DONE -----
 Defining name: <DefiningName "Test_Exception" exceptions.ads:4:4-4:18>
 Origin: <Id "Test_Exception" exceptions.ads:4:4-4:18>
 ----- CODE SNIPPET -----