gcc/testsuite/gnat.dg/global.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

package Global
  with Abstract_State => (State with External)
is
   protected type Prot_Typ is
      procedure Force_Body;
   end Prot_Typ;

   protected Prot_Obj is
      procedure Force_Body;
   end Prot_Obj;

   task type Task_Typ is
      entry Force_Body;
   end Task_Typ;

   task Task_Obj is
      entry Force_Body;
   end Task_Obj;
end Global;