Skip to content

Commit bc55b21

Browse files
committed
Testcase of generic packages.
1 parent 03fcd13 commit bc55b21

File tree

7 files changed

+122
-0
lines changed

7 files changed

+122
-0
lines changed
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
2+
-- Copyright header
3+
4+
-- Description of the generic package body
5+
6+
package body Generic_Package is
7+
8+
procedure Dummy is
9+
begin
10+
null;
11+
end Dummy;
12+
13+
end Generic_Package;
Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
-- Copyright header
2+
3+
-- Description of the generic package specification
4+
5+
generic
6+
package Generic_Package is
7+
8+
procedure Dummy;
9+
10+
end Generic_Package;
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
-- Copyright header
2+
3+
-- Description of the generic package instantiation
4+
5+
with Generic_Package;
6+
7+
package Generic_Package_Instantiation is new Generic_Package;
Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
-- Copyright header
2+
3+
-- Description of the package specification
4+
5+
with Generic_Package_Instantiation;
6+
7+
package body Generics_Package is
8+
9+
procedure Dummy is
10+
begin
11+
Generic_Package_Instantiation.Dummy;
12+
end Dummy;
13+
14+
end Generics_Package;
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
-- Copyright header
2+
3+
-- Description of the package specification
4+
5+
package Generics_Package is
6+
7+
private
8+
9+
procedure Dummy;
10+
11+
end Generics_Package;

testsuite/als_helper/locations.json

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -111,6 +111,27 @@
111111
{"file": "exceptions_package.adb", "line": 20, "column": 36},
112112
// reference of the renamed exception
113113

114+
// Generics
115+
116+
{"file": "generic_package.ads", "line": 6, "column": 9},
117+
// declaration: `Generic_Package`
118+
{"file": "generic_package.ads", "line": 10, "column": 5},
119+
// reference: `Generic_Package`
120+
// LAL 20251007: `Most_Visible_Part` returns spec always
121+
// {"file": "generic_package.adb", "line": 6, "column": 14},
122+
// // body: `Generic_Package`
123+
// {"file": "generic_package.adb", "line": 13, "column": 5},
124+
// // reference: `Generic_Package`
125+
{"file": "generic_package_instantiation.ads", "line": 5, "column": 6},
126+
// reference: `Generic_Package` (context clause)
127+
{"file": "generic_package_instantiation.ads", "line": 7, "column": 46},
128+
// reference: `Generic_Package`
129+
130+
{"file": "generic_package_instantiation.ads", "line": 7, "column": 9},
131+
// reference: `Generic_Package_Instantiation` (context clause)
132+
{"file": "generics_package.adb", "line": 11, "column": 7},
133+
// reference: `Generic_Package_Instantiation`
134+
114135
// Objects
115136

116137
{"file": "objects.ads", "line": 4, "column": 4},

testsuite/als_helper/test.out

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -572,6 +572,52 @@ Renamed_Test_Exception : exception;
572572
----- DOCUMENTATION -----
573573
Description of the renamed exception
574574
----- DONE -----
575+
Defining name: <DefiningName "Generic_Package" generic_package.ads:6:9-6:24>
576+
Origin: <Id "Generic_Package" generic_package.ads:6:9-6:24>
577+
----- CODE SNIPPET -----
578+
generic
579+
package Generic_Package
580+
----- DOCUMENTATION -----
581+
Description of the generic package specification
582+
----- DONE -----
583+
Defining name: <DefiningName "Generic_Package" generic_package.ads:6:9-6:24>
584+
Origin: <Id "Generic_Package" generic_package.ads:10:5-10:20>
585+
----- CODE SNIPPET -----
586+
generic
587+
package Generic_Package
588+
----- DOCUMENTATION -----
589+
Description of the generic package specification
590+
----- DONE -----
591+
Defining name: <DefiningName "Generic_Package" generic_package.ads:6:9-6:24>
592+
Origin: <Id "Generic_Package" generic_package_instantiation.ads:5:6-5:21>
593+
----- CODE SNIPPET -----
594+
generic
595+
package Generic_Package
596+
----- DOCUMENTATION -----
597+
Description of the generic package specification
598+
----- DONE -----
599+
Defining name: <DefiningName "Generic_Package" generic_package.ads:6:9-6:24>
600+
Origin: <Id "Generic_Package" generic_package_instantiation.ads:7:46-7:61>
601+
----- CODE SNIPPET -----
602+
generic
603+
package Generic_Package
604+
----- DOCUMENTATION -----
605+
Description of the generic package specification
606+
----- DONE -----
607+
Defining name: <DefiningName "Generic_Package_Instantiation" generic_package_instantiation.ads:7:9-7:38>
608+
Origin: <Id "Generic_Package_Instantiation" generic_package_instantiation.ads:7:9-7:38>
609+
----- CODE SNIPPET -----
610+
package Generic_Package_Instantiation is new Generic_Package;
611+
----- DOCUMENTATION -----
612+
Description of the generic package instantiation
613+
----- DONE -----
614+
Defining name: <DefiningName "Generic_Package_Instantiation" generic_package_instantiation.ads:7:9-7:38>
615+
Origin: <Id "Generic_Package_Instantiation" generics_package.adb:11:7-11:36>
616+
----- CODE SNIPPET -----
617+
package Generic_Package_Instantiation is new Generic_Package;
618+
----- DOCUMENTATION -----
619+
Description of the generic package instantiation
620+
----- DONE -----
575621
Defining name: <DefiningName "Named_Number" objects.ads:4:4-4:16>
576622
Origin: <Id "Named_Number" objects.ads:4:4-4:16>
577623
----- CODE SNIPPET -----

0 commit comments

Comments
 (0)