annotate gcc/testsuite/gnat.dg/task_name.ads @ 138:fc828634a951

merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 with Ada.Finalization;
kono
parents:
diff changeset
2 package task_name is
kono
parents:
diff changeset
3 type Base_Controller is
kono
parents:
diff changeset
4 abstract new Ada.Finalization.Limited_Controlled with null record;
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 type Extended_Controller is
kono
parents:
diff changeset
7 abstract new Base_Controller with private;
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 type Task_Object (Controller : access Extended_Controller'Class) is
kono
parents:
diff changeset
10 limited private;
kono
parents:
diff changeset
11 private
kono
parents:
diff changeset
12 type String_Access is access string;
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 type Extended_Controller is
kono
parents:
diff changeset
15 abstract new Base_Controller with record
kono
parents:
diff changeset
16 Thread : aliased Task_Object (Extended_Controller'Access);
kono
parents:
diff changeset
17 Name : String_Access := new string'("the_name_of_the_task");
kono
parents:
diff changeset
18 end record;
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 task type Task_Object (Controller : access Extended_Controller'Class) is pragma Task_Name (Controller.Name.all);
kono
parents:
diff changeset
21 end Task_Object;
kono
parents:
diff changeset
22 end;