blob: 7577a267124866963e1d740caf6fba0222437ad9 (
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
-- { dg-do compile }
-- { dg-options "-gnateF" }
PACKAGE BODY Entry1 IS
PROTECTED TYPE key_buffer IS
PROCEDURE clear;
ENTRY incr;
ENTRY put (val : IN Natural);
ENTRY get (val : OUT Natural);
PRIVATE
-- Stores Key states (key state controller)
-- purpose: exclusive access
max_len : Natural := 10;
cnt : Natural := 0;
END key_buffer;
PROTECTED BODY key_buffer IS
PROCEDURE clear IS
BEGIN
cnt := 0;
END clear;
ENTRY incr WHEN cnt < max_len IS
BEGIN
cnt := cnt + 1;
END;
ENTRY put (val : IN Natural) WHEN cnt < max_len IS
BEGIN
cnt := val;
END put;
ENTRY get (val : OUT Natural) WHEN cnt > 0 IS
BEGIN
val := cnt;
END get;
END key_buffer;
my_buffer : key_buffer;
FUNCTION pt2 (t : IN Float) RETURN Natural IS
c : Natural;
t2 : duration := duration (t);
BEGIN
SELECT
my_buffer.get (c);
RETURN c;
OR
DELAY t2;
RETURN 0;
END SELECT;
END pt2;
FUNCTION pt (t : IN Float) RETURN Natural IS
c : Natural;
BEGIN
SELECT
my_buffer.get (c);
RETURN c;
OR
DELAY Duration (t);
RETURN 0;
END SELECT;
END pt;
END Entry1;
|
