Skip to content

Commit 068bdc1

Browse files
committed
Add the testcase for type hierarchy requests.
Update CHANGELOG.md Refs #360
1 parent 8689231 commit 068bdc1

File tree

8 files changed

+856
-0
lines changed

8 files changed

+856
-0
lines changed

CHANGELOG.md

+1
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@
44
section below it for the last release. -->
55
## \<next>
66

7+
* The implementation of type hierarchy requests
78
* Migrate the build infrastructure to ALIRE
89
* Migrate the VSIX publication infrastructure out of GitHub Actions
910
* Revamp the VS Code extension walkthrough
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
private
2+
package Base_Types.Ext is
3+
4+
type New_Private_Type is new Private_Type with null record;
5+
6+
type New_Int is new Int;
7+
8+
type Cube is new Abstract_Shape with record
9+
Side : Integer;
10+
end record;
11+
12+
end Base_Types.Ext;
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,22 @@
1+
package Base_Types is
2+
3+
type Abstract_Shape;
4+
5+
type Abstract_Shape is abstract tagged limited private;
6+
7+
type Int is range 1 .. 100;
8+
9+
type Private_Type is private;
10+
11+
type Limit is limited interface;
12+
13+
type Plain_1 is interface;
14+
type Plain_2 is interface;
15+
16+
private
17+
18+
type Abstract_Shape is abstract tagged limited null record;
19+
20+
type Private_Type is new Plain_1 and Plain_2 with null record;
21+
22+
end Base_Types;
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
project Default is
2+
end Default;
+17
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
with Base_Types;
2+
3+
package body Other is
4+
5+
protected body Prot is
6+
procedure Set is
7+
begin
8+
Lock := False;
9+
end Set;
10+
end Prot;
11+
12+
task body Worker is
13+
begin
14+
accept Start;
15+
end Worker;
16+
17+
end Other;
+25
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
with Base_Types;
2+
3+
package Other is
4+
5+
type New_Private_Type is new Base_Types.Private_Type;
6+
7+
type New_Int is new Base_Types.Int;
8+
9+
type Circle is new Base_Types.Abstract_Shape with record
10+
Radius : Integer;
11+
end record;
12+
13+
type Prot;
14+
15+
protected type Prot is new Base_Types.Limit with
16+
procedure Set;
17+
private
18+
Lock : Boolean := True;
19+
end Prot;
20+
21+
task Worker is new Base_Types.Limit with
22+
entry Start;
23+
end Worker;
24+
25+
end Other;

0 commit comments

Comments
 (0)