|
87 | 87 | {"file": "discriminant_record_types_package.adb", "line": 36, "column": 26}, |
88 | 88 | // reference: `Known_Discriminant_Private_Null_Record` |
89 | 89 |
|
| 90 | + // Exceptions (declarations and renamings) |
| 91 | + |
| 92 | + {"file": "exceptions.ads", "line": 4, "column": 4}, |
| 93 | + // declaration of the exception |
| 94 | + {"file": "exceptions.adb", "line": 7, "column": 16}, |
| 95 | + // reference of the exception |
| 96 | + {"file": "exceptions.adb", "line": 10, "column": 15}, |
| 97 | + // reference of the exception |
| 98 | + {"file": "exceptions_package.adb", "line": 9, "column": 27}, |
| 99 | + // reference of the exception |
| 100 | + {"file": "exceptions_package.adb", "line": 12, "column": 26}, |
| 101 | + // reference of the exception |
| 102 | + |
| 103 | + {"file": "exceptions_renamings.ads", "line": 6, "column": 4}, |
| 104 | + // renaming of the exception |
| 105 | + {"file": "exceptions_renamings.adb", "line": 7, "column": 16}, |
| 106 | + // reference of the renamed exception |
| 107 | + {"file": "exceptions_renamings.adb", "line": 10, "column": 15}, |
| 108 | + // reference of the renamed exception |
| 109 | + {"file": "exceptions_package.adb", "line": 17, "column": 37}, |
| 110 | + // reference of the renamed exception |
| 111 | + {"file": "exceptions_package.adb", "line": 20, "column": 36}, |
| 112 | + // reference of the renamed exception |
| 113 | + |
| 114 | + // Objects |
| 115 | + |
90 | 116 | {"file": "objects.ads", "line": 4, "column": 4}, |
91 | 117 | // declaration: `Named_Number` |
92 | 118 | {"file": "objects.adb", "line": 7, "column": 30}, |
93 | 119 | // reference: `Named_Number` |
94 | | - {"file": "objects_package.adb", "line": 8, "column": 30}, |
| 120 | + {"file": "objects_package.adb", "line": 10, "column": 38}, |
95 | 121 | // reference: `Named_Number` |
96 | 122 |
|
97 | 123 | {"file": "objects.ads", "line": 7, "column": 4}, |
98 | 124 | // declaration `Public_Constant` |
99 | 125 | {"file": "objects.adb", "line": 14, "column": 30}, |
100 | 126 | // reference `Public_Constant` |
101 | | - {"file": "objects_package.adb", "line": 15, "column": 30}, |
| 127 | + {"file": "objects_package.adb", "line": 17, "column": 38}, |
102 | 128 | // reference `Public_Constant` |
103 | 129 |
|
104 | 130 | {"file": "objects.ads", "line": 10, "column": 4}, |
|
107 | 133 | // declaration `Private_Constant` |
108 | 134 | {"file": "objects.adb", "line": 21, "column": 30}, |
109 | 135 | // reference `Private_Constant` |
110 | | - {"file": "objects_package.adb", "line": 22, "column": 30}, |
| 136 | + {"file": "objects_package.adb", "line": 24, "column": 38}, |
111 | 137 | // reference `Private_Constant` |
112 | 138 |
|
113 | 139 | {"file": "objects.ads", "line": 13, "column": 4}, |
114 | | - // declaration of the object |
| 140 | + // declaration of the object `Private_Constant` |
115 | 141 | {"file": "objects.adb", "line": 28, "column": 30}, |
116 | | - // reference of the object |
117 | | - {"file": "objects_package.adb", "line": 29, "column": 30}, |
118 | | - // reference of the object |
| 142 | + // reference of the object `Private_Constant` |
| 143 | + {"file": "objects_package.adb", "line": 31, "column": 38}, |
| 144 | + // reference of the object `Private_Constant` |
119 | 145 |
|
120 | 146 | {"file": "objects.ads", "line": 16, "column": 4}, |
121 | 147 | // declaration of the object with default value |
122 | 148 | {"file": "objects.adb", "line": 35, "column": 30}, |
123 | 149 | // reference of the object with default value |
124 | | - {"file": "objects_package.adb", "line": 36, "column": 30}, |
| 150 | + {"file": "objects_package.adb", "line": 38, "column": 38}, |
125 | 151 | // reference of the object with default value |
126 | 152 |
|
127 | | - {"file": "exceptions.ads", "line": 4, "column": 4}, |
128 | | - // declaration of the exception |
129 | | - {"file": "exceptions.adb", "line": 7, "column": 16}, |
130 | | - // reference of the exception |
131 | | - {"file": "exceptions_package.adb", "line": 8, "column": 16}, |
132 | | - // reference of the exception |
| 153 | + {"file": "objects_renamings.ads", "line": 6, "column": 4}, |
| 154 | + // declaration of `Renamed_Named_Number` |
| 155 | + {"file": "objects_renamings.adb", "line": 7, "column": 25}, |
| 156 | + // reference of `Renamed_Named_Number` |
| 157 | + {"file": "objects_package.adb", "line": 47, "column": 43}, |
| 158 | + // reference of `Renamed_Named_Number` |
| 159 | + |
| 160 | + {"file": "objects_renamings.ads", "line": 9, "column": 4}, |
| 161 | + // declaration of `Renamed_Public_Constant` |
| 162 | + {"file": "objects_renamings.adb", "line": 14, "column": 25}, |
| 163 | + // reference of `Renamed_Public_Constant` |
| 164 | + {"file": "objects_package.adb", "line": 54, "column": 43}, |
| 165 | + // reference of `Renamed_Public_Constant` |
| 166 | + |
| 167 | + {"file": "objects_renamings.ads", "line": 12, "column": 4}, |
| 168 | + // declaration of `Renamed_Private_Constant` |
| 169 | + {"file": "objects_renamings.adb", "line": 21, "column": 25}, |
| 170 | + // reference of `Renamed_Private_Constant` |
| 171 | + {"file": "objects_package.adb", "line": 61, "column": 43}, |
| 172 | + // reference of `Renamed_Private_Constant` |
| 173 | + |
| 174 | + {"file": "objects_renamings.ads", "line": 15, "column": 4}, |
| 175 | + // declaration of `Renamed_Value` |
| 176 | + {"file": "objects_renamings.adb", "line": 28, "column": 25}, |
| 177 | + // reference of `Renamed_Value` |
| 178 | + {"file": "objects_package.adb", "line": 68, "column": 43}, |
| 179 | + // reference of `Renamed_Value` |
133 | 180 |
|
134 | 181 | // LAL 20250922: issue with package name resolution in the body doesn't allow to write test |
135 | 182 | // {"file": "packages.ads", "line": 5, "column": 9}, |
|
0 commit comments