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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
|
-- C980002.A
--
-- Grant of Unlimited Rights
--
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
-- unlimited rights in the software and documentation contained herein.
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
-- this public release, the Government intends to confer upon all
-- recipients unlimited rights equal to those held by the Government.
-- These rights include rights to use, duplicate, release or disclose the
-- released technical data and computer software in whole or in part, in
-- any manner and for any purpose whatsoever, and to have or permit others
-- to do so.
--
-- DISCLAIMER
--
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
-- PARTICULAR PURPOSE OF SAID MATERIAL.
--*
--
-- OBJECTIVE:
-- Check that aborts are deferred during protected actions.
--
-- TEST DESCRIPTION:
-- This test uses an asynchronous transfer of control to attempt
-- to abort a protected operation. The protected operation
-- includes several requeues to check that the requeue does not
-- allow the abort to occur.
--
--
-- CHANGE HISTORY:
-- 30 OCT 95 SAIC ACVC 2.1
--
--!
with Report;
procedure C980002 is
Max_Checkpoints : constant := 7;
type Checkpoint_ID is range 1..Max_Checkpoints;
type Points_Array is array (Checkpoint_ID) of Boolean;
begin
Report.Test ("C980002",
"Check that aborts are deferred during a protected action" &
" including requeues");
declare -- test encapsulation
protected Checkpoint is
procedure Got_Here (Id : Checkpoint_ID);
function Results return Points_Array;
private
Reached_Points : Points_Array := (others => False);
end Checkpoint;
protected body Checkpoint is
procedure Got_Here (Id : Checkpoint_ID) is
begin
Reached_Points (Id) := True;
end Got_Here;
function Results return Points_Array is
begin
return Reached_Points;
end Results;
end Checkpoint;
protected Start_Here is
entry AST_Waits_Here;
entry Start_PO;
private
Open : Boolean := False;
entry First_Stop;
end Start_Here;
protected Middle_PO is
entry Stop_1;
entry Stop_2;
end Middle_PO;
protected Final_PO is
entry Final_Stop;
end Final_PO;
protected body Start_Here is
entry AST_Waits_Here when Open is
begin
null;
end AST_Waits_Here;
entry Start_PO when True is
begin
Open := True;
Checkpoint.Got_Here (1);
requeue First_Stop;
end Start_PO;
-- make sure the AST has been accepted before continuing
entry First_Stop when AST_Waits_Here'Count = 0 is
begin
Checkpoint.Got_Here (2);
requeue Middle_PO.Stop_1;
end First_Stop;
end Start_Here;
protected body Middle_PO is
entry Stop_1 when True is
begin
Checkpoint.Got_Here (3);
requeue Stop_2;
end Stop_1;
entry Stop_2 when True is
begin
Checkpoint.Got_Here (4);
requeue Final_PO.Final_Stop;
end Stop_2;
end Middle_PO;
protected body Final_PO is
entry Final_Stop when True is
begin
Checkpoint.Got_Here (5);
end Final_Stop;
end Final_PO;
begin -- test encapsulation
select
Start_Here.AST_Waits_Here;
Checkpoint.Got_Here (6);
then abort
Start_Here.Start_PO;
delay 0.0; -- abort completion point
Checkpoint.Got_Here (7);
end select;
Check_The_Results: declare
Chk : constant Points_Array := Checkpoint.Results;
Expected : constant Points_Array := (1..6 => True,
7 => False);
begin
for I in Checkpoint_ID loop
if Chk (I) /= Expected (I) then
Report.Failed ("checkpoint error" &
Checkpoint_ID'Image (I) &
" actual is " &
Boolean'Image (Chk(I)));
end if;
end loop;
end Check_The_Results;
exception
when others =>
Report.Failed ("unexpected exception");
end; -- test encapsulation
Report.Result;
end C980002;
|
