blob: bd781b2394dfa09a58618b18b214b91c77443285 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
-- Copyright 2012-2017 Free Software Foundation, Inc.
--
-- This program is free software; you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation; either version 3 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-- GNU General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program. If not, see <http://www.gnu.org/licenses/>.
with Pck; use Pck;
procedure Foo is
task type T is
entry Finish;
end T;
type TA is access T;
task body T is
begin
-- Wait for up to 100 seconds for the Finish Rendez-Vous to occur.
select
accept Finish do
null;
end Finish;
or
delay 100.0;
end select;
end T;
MIT : TA;
begin
-- Create a task, and give it some time to activate and then start
-- its execution.
MIT := new T;
delay 0.01;
-- Now, call our anchor. The task we just created should now be
-- blocked on a timed entry wait.
Break_Me;
-- Tell the task to finish before the 100 seconds are up. The test
-- is now finished, no need to wait :).
MIT.Finish;
end Foo;
|
