URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c9/] [c95008a.ada] - Blame information for rev 720

Details | Compare with Previous | View Log


-- C95008A.ADA
 
--                             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.
--*
-- CHECK THAT THE EXCEPTION CONSTRAINT_ERROR IS RAISED FOR AN
--   OUT-OF-RANGE INDEX VALUE WHEN REFERENCING AN ENTRY FAMILY,
--   EITHER IN AN ACCEPT_STATEMENT OR IN AN ENTRY_CALL.
 
-- SUBTESTS ARE:
--   (A)  INTEGER TYPE, STATIC LOWER BOUND, NO PARAMETERS.
--   (B)  CHARACTER TYPE, DYNAMIC UPPER BOUND, NO PARAMETERS.
--   (C)  BOOLEAN TYPE, STATIC NULL RANGE, NO PARAMETERS.
--   (D)  USER-DEFINED ENUMERATED TYPE, DYNAMIC LOWER BOUND, ONE
--           PARAMETER.
--   (E)  DERIVED INTEGER TYPE, DYNAMIC NULL RANGE, ONE PARAMETER.
--   (F)  DERIVED USER-DEFINED ENUMERATED TYPE, STATIC UPPER BOUND,
--           ONE PARAMETER.
 
-- JRK 11/4/81
-- JBG 11/11/84
-- SAIC 11/14/95 fixed test for 2.0.1
 
with Impdef;
WITH REPORT; USE REPORT;
PROCEDURE C95008A IS
 
     C_E_NOT_RAISED : BOOLEAN;
     WRONG_EXC_RAISED : BOOLEAN;
 
BEGIN
     TEST ("C95008A", "OUT-OF-RANGE ENTRY FAMILY INDICES IN " &
                      "ACCEPT_STATEMENTS AND ENTRY_CALLS");
 
     --------------------------------------------------
 
     C_E_NOT_RAISED := FALSE;
     WRONG_EXC_RAISED := FALSE;
 
     DECLARE -- (A)
 
          TASK T IS
               ENTRY E (1..10);
               ENTRY CONTINUE;
          END T;
 
          TASK BODY T IS
          BEGIN
               ACCEPT CONTINUE;
               SELECT
                    ACCEPT E (0);
               OR
                    DELAY 1.0 * Impdef.One_Second;
               END SELECT;
               C_E_NOT_RAISED := TRUE;
          EXCEPTION
               WHEN CONSTRAINT_ERROR =>
                    NULL;
               WHEN OTHERS =>
                    WRONG_EXC_RAISED := TRUE;
          END T;
 
     BEGIN -- (A)
 
          SELECT
               T.E (0);
          OR
               DELAY 15.0 * Impdef.One_Second;
          END SELECT;
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ENTRY_CALL - (A)");
          T.CONTINUE;
 
     EXCEPTION -- (A)
 
          WHEN CONSTRAINT_ERROR =>
               T.CONTINUE;
          WHEN OTHERS =>
               FAILED ("WRONG EXCEPTION RAISED IN " &
                       "ENTRY_CALL - (A)");
               T.CONTINUE;
 
     END; -- (A)
 
     IF C_E_NOT_RAISED THEN
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ACCEPT_STATEMENT - (A)");
     END IF;
 
     IF WRONG_EXC_RAISED THEN
          FAILED ("WRONG EXCEPTION RAISED IN " &
                  "ACCEPT_STATEMENT - (A)");
     END IF;
 
     --------------------------------------------------
 
     C_E_NOT_RAISED := FALSE;
     WRONG_EXC_RAISED := FALSE;
 
     DECLARE -- (B)
 
          TASK T IS
               ENTRY E (CHARACTER RANGE 'A'..'Y');
               ENTRY CONTINUE;
          END T;
 
          TASK BODY T IS
          BEGIN
               ACCEPT CONTINUE;
               SELECT
                    ACCEPT E (IDENT_CHAR('Z'));
               OR
                    DELAY 1.0 * Impdef.One_Second;
               END SELECT;
               C_E_NOT_RAISED := TRUE;
          EXCEPTION
               WHEN CONSTRAINT_ERROR =>
                    NULL;
               WHEN OTHERS =>
                    WRONG_EXC_RAISED := TRUE;
          END T;
 
     BEGIN -- (B)
 
          SELECT
               T.E (IDENT_CHAR('Z'));
          OR
               DELAY 15.0 * Impdef.One_Second;
          END SELECT;
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ENTRY_CALL - (B)");
          T.CONTINUE;
 
     EXCEPTION -- (B)
 
          WHEN CONSTRAINT_ERROR =>
               T.CONTINUE;
          WHEN OTHERS =>
               FAILED ("WRONG EXCEPTION RAISED IN " &
                       "ENTRY_CALL - (B)");
               T.CONTINUE;
 
     END; -- (B)
 
     IF C_E_NOT_RAISED THEN
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ACCEPT_STATEMENT - (B)");
     END IF;
 
     IF WRONG_EXC_RAISED THEN
          FAILED ("WRONG EXCEPTION RAISED IN " &
                  "ACCEPT_STATEMENT - (B)");
     END IF;
 
     --------------------------------------------------
 
     C_E_NOT_RAISED := FALSE;
     WRONG_EXC_RAISED := FALSE;
 
     DECLARE -- (C)
 
          TASK T IS
               ENTRY E (TRUE..FALSE);
               ENTRY CONTINUE;
          END T;
 
          TASK BODY T IS
          BEGIN
               ACCEPT CONTINUE;
               SELECT
                    ACCEPT E (FALSE);
               OR
                    DELAY 1.0 * Impdef.One_Second;
               END SELECT;
               C_E_NOT_RAISED := TRUE;
          EXCEPTION
               WHEN CONSTRAINT_ERROR =>
                    NULL;
               WHEN OTHERS =>
                    WRONG_EXC_RAISED := TRUE;
          END T;
 
     BEGIN -- (C)
 
          SELECT
               T.E (TRUE);
          OR
               DELAY 15.0 * Impdef.One_Second;
          END SELECT;
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ENTRY_CALL - (C)");
          T.CONTINUE;
 
     EXCEPTION -- (C)
 
          WHEN CONSTRAINT_ERROR =>
               T.CONTINUE;
          WHEN OTHERS =>
               FAILED ("WRONG EXCEPTION RAISED IN " &
                       "ENTRY_CALL - (C)");
               T.CONTINUE;
 
     END; -- (C)
 
     IF C_E_NOT_RAISED THEN
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ACCEPT_STATEMENT - (C)");
     END IF;
 
     IF WRONG_EXC_RAISED THEN
          FAILED ("WRONG EXCEPTION RAISED IN " &
                  "ACCEPT_STATEMENT - (C)");
     END IF;
 
     --------------------------------------------------
 
     C_E_NOT_RAISED := FALSE;
     WRONG_EXC_RAISED := FALSE;
 
     DECLARE -- (D)
 
          TYPE ET IS (E0, E1, E2);
          DLB : ET := ET'VAL (IDENT_INT(1));      -- E1.
 
          TASK T IS
               ENTRY E (ET RANGE DLB..E2) (I : INTEGER);
               ENTRY CONTINUE;
          END T;
 
          TASK BODY T IS
          BEGIN
               ACCEPT CONTINUE;
               SELECT
                    ACCEPT E (E0) (I : INTEGER);
               OR
                    DELAY 1.0 * Impdef.One_Second;
               END SELECT;
               C_E_NOT_RAISED := TRUE;
          EXCEPTION
               WHEN CONSTRAINT_ERROR =>
                    NULL;
               WHEN OTHERS =>
                    WRONG_EXC_RAISED := TRUE;
          END T;
 
     BEGIN -- (D)
 
          SELECT
               T.E (E0) (0);
          OR
               DELAY 15.0 * Impdef.One_Second;
          END SELECT;
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ENTRY_CALL - (D)");
          T.CONTINUE;
 
     EXCEPTION -- (D)
 
          WHEN CONSTRAINT_ERROR =>
               T.CONTINUE;
          WHEN OTHERS =>
               FAILED ("WRONG EXCEPTION RAISED IN " &
                       "ENTRY_CALL - (D)");
               T.CONTINUE;
 
     END; -- (D)
 
     IF C_E_NOT_RAISED THEN
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ACCEPT_STATEMENT - (D)");
     END IF;
 
     IF WRONG_EXC_RAISED THEN
          FAILED ("WRONG EXCEPTION RAISED IN " &
                  "ACCEPT_STATEMENT - (D)");
     END IF;
 
     --------------------------------------------------
 
     C_E_NOT_RAISED := FALSE;
     WRONG_EXC_RAISED := FALSE;
 
     DECLARE -- (E)
 
          TYPE D_I IS NEW INTEGER;
          SUBTYPE DI IS D_I RANGE 3 .. D_I(IDENT_INT(2));
 
          TASK T IS
               ENTRY E (DI) (I : INTEGER);
               ENTRY CONTINUE;
          END T;
 
          TASK BODY T IS
          BEGIN
               ACCEPT CONTINUE;
               SELECT
                    ACCEPT E (D_I(3)) (I : INTEGER);
               OR
                    DELAY 1.0 * Impdef.One_Second;
               END SELECT;
               C_E_NOT_RAISED := TRUE;
          EXCEPTION
               WHEN CONSTRAINT_ERROR =>
                    NULL;
               WHEN OTHERS =>
                    WRONG_EXC_RAISED := TRUE;
          END T;
 
     BEGIN -- (E)
 
          SELECT
               T.E (D_I(2)) (0);
          OR
               DELAY 15.0 * Impdef.One_Second;
          END SELECT;
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ENTRY_CALL - (E)");
          T.CONTINUE;
 
     EXCEPTION -- (E)
 
          WHEN CONSTRAINT_ERROR =>
               T.CONTINUE;
          WHEN OTHERS =>
               FAILED ("WRONG EXCEPTION RAISED IN " &
                       "ENTRY_CALL - (E)");
               T.CONTINUE;
 
     END; -- (E)
 
     IF C_E_NOT_RAISED THEN
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ACCEPT_STATEMENT - (E)");
     END IF;
 
     IF WRONG_EXC_RAISED THEN
          FAILED ("WRONG EXCEPTION RAISED IN " &
                  "ACCEPT_STATEMENT - (E)");
     END IF;
 
     --------------------------------------------------
 
     C_E_NOT_RAISED := FALSE;
     WRONG_EXC_RAISED := FALSE;
 
     DECLARE -- (F)
 
          TYPE ET IS (E0, E1, E2);
          TYPE D_ET IS NEW ET;
 
          TASK T IS
               ENTRY E (D_ET RANGE E0..E1) (I : INTEGER);
               ENTRY CONTINUE;
          END T;
 
          TASK BODY T IS
          BEGIN
               ACCEPT CONTINUE;
               SELECT
                    ACCEPT E (D_ET'(E2)) (I : INTEGER);
               OR
                    DELAY 1.0 * Impdef.One_Second;
               END SELECT;
               C_E_NOT_RAISED := TRUE;
          EXCEPTION
               WHEN CONSTRAINT_ERROR =>
                    NULL;
               WHEN OTHERS =>
                    WRONG_EXC_RAISED := TRUE;
          END T;
 
     BEGIN -- (F)
 
          SELECT
               T.E (D_ET'(E2)) (0);
          OR
               DELAY 15.0 * Impdef.One_Second;
          END SELECT;
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ENTRY_CALL - (F)");
          T.CONTINUE;
 
     EXCEPTION -- (F)
 
          WHEN CONSTRAINT_ERROR =>
               T.CONTINUE;
          WHEN OTHERS =>
               FAILED ("WRONG EXCEPTION RAISED IN " &
                       "ENTRY_CALL - (F)");
               T.CONTINUE;
 
     END; -- (F)
 
     IF C_E_NOT_RAISED THEN
          FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &
                  "ACCEPT_STATEMENT - (F)");
     END IF;
 
     IF WRONG_EXC_RAISED THEN
          FAILED ("WRONG EXCEPTION RAISED IN " &
                  "ACCEPT_STATEMENT - (F)");
     END IF;
 
     --------------------------------------------------
 
     RESULT;
END C95008A;

Browse

Tools

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c9/] [c95008a.ada] - Blame information for rev 720

Line No.	Rev	Author	Line
1	720	jeremybenn	`-- C95008A.ADA`
2
3			`-- Grant of Unlimited Rights`
4			`--`
5			`-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,`
6			`-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained`
7			`-- unlimited rights in the software and documentation contained herein.`
8			`-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making`
9			`-- this public release, the Government intends to confer upon all`
10			`-- recipients unlimited rights equal to those held by the Government.`
11			`-- These rights include rights to use, duplicate, release or disclose the`
12			`-- released technical data and computer software in whole or in part, in`
13			`-- any manner and for any purpose whatsoever, and to have or permit others`
14			`-- to do so.`
15			`--`
16			`-- DISCLAIMER`
17			`--`
18			`-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR`
19			`-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED`
20			`-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE`
21			`-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE`
22			`-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A`
23			`-- PARTICULAR PURPOSE OF SAID MATERIAL.`
24			`--*`
25			`-- CHECK THAT THE EXCEPTION CONSTRAINT_ERROR IS RAISED FOR AN`
26			`-- OUT-OF-RANGE INDEX VALUE WHEN REFERENCING AN ENTRY FAMILY,`
27			`-- EITHER IN AN ACCEPT_STATEMENT OR IN AN ENTRY_CALL.`
28
29			`-- SUBTESTS ARE:`
30			`-- (A) INTEGER TYPE, STATIC LOWER BOUND, NO PARAMETERS.`
31			`-- (B) CHARACTER TYPE, DYNAMIC UPPER BOUND, NO PARAMETERS.`
32			`-- (C) BOOLEAN TYPE, STATIC NULL RANGE, NO PARAMETERS.`
33			`-- (D) USER-DEFINED ENUMERATED TYPE, DYNAMIC LOWER BOUND, ONE`
34			`-- PARAMETER.`
35			`-- (E) DERIVED INTEGER TYPE, DYNAMIC NULL RANGE, ONE PARAMETER.`
36			`-- (F) DERIVED USER-DEFINED ENUMERATED TYPE, STATIC UPPER BOUND,`
37			`-- ONE PARAMETER.`
38
39			`-- JRK 11/4/81`
40			`-- JBG 11/11/84`
41			`-- SAIC 11/14/95 fixed test for 2.0.1`
42
43			`with Impdef;`
44			`WITH REPORT; USE REPORT;`
45			`PROCEDURE C95008A IS`
46
47			`C_E_NOT_RAISED : BOOLEAN;`
48			`WRONG_EXC_RAISED : BOOLEAN;`
49
50			`BEGIN`
51			`TEST ("C95008A", "OUT-OF-RANGE ENTRY FAMILY INDICES IN " &`
52			`"ACCEPT_STATEMENTS AND ENTRY_CALLS");`
53
54			`--------------------------------------------------`
55
56			`C_E_NOT_RAISED := FALSE;`
57			`WRONG_EXC_RAISED := FALSE;`
58
59			`DECLARE -- (A)`
60
61			`TASK T IS`
62			`ENTRY E (1..10);`
63			`ENTRY CONTINUE;`
64			`END T;`
65
66			`TASK BODY T IS`
67			`BEGIN`
68			`ACCEPT CONTINUE;`
69			`SELECT`
70			`ACCEPT E (0);`
71			`OR`
72			`DELAY 1.0 * Impdef.One_Second;`
73			`END SELECT;`
74			`C_E_NOT_RAISED := TRUE;`
75			`EXCEPTION`
76			`WHEN CONSTRAINT_ERROR =>`
77			`NULL;`
78			`WHEN OTHERS =>`
79			`WRONG_EXC_RAISED := TRUE;`
80			`END T;`
81
82			`BEGIN -- (A)`
83
84			`SELECT`
85			`T.E (0);`
86			`OR`
87			`DELAY 15.0 * Impdef.One_Second;`
88			`END SELECT;`
89			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
90			`"ENTRY_CALL - (A)");`
91			`T.CONTINUE;`
92
93			`EXCEPTION -- (A)`
94
95			`WHEN CONSTRAINT_ERROR =>`
96			`T.CONTINUE;`
97			`WHEN OTHERS =>`
98			`FAILED ("WRONG EXCEPTION RAISED IN " &`
99			`"ENTRY_CALL - (A)");`
100			`T.CONTINUE;`
101
102			`END; -- (A)`
103
104			`IF C_E_NOT_RAISED THEN`
105			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
106			`"ACCEPT_STATEMENT - (A)");`
107			`END IF;`
108
109			`IF WRONG_EXC_RAISED THEN`
110			`FAILED ("WRONG EXCEPTION RAISED IN " &`
111			`"ACCEPT_STATEMENT - (A)");`
112			`END IF;`
113
114			`--------------------------------------------------`
115
116			`C_E_NOT_RAISED := FALSE;`
117			`WRONG_EXC_RAISED := FALSE;`
118
119			`DECLARE -- (B)`
120
121			`TASK T IS`
122			`ENTRY E (CHARACTER RANGE 'A'..'Y');`
123			`ENTRY CONTINUE;`
124			`END T;`
125
126			`TASK BODY T IS`
127			`BEGIN`
128			`ACCEPT CONTINUE;`
129			`SELECT`
130			`ACCEPT E (IDENT_CHAR('Z'));`
131			`OR`
132			`DELAY 1.0 * Impdef.One_Second;`
133			`END SELECT;`
134			`C_E_NOT_RAISED := TRUE;`
135			`EXCEPTION`
136			`WHEN CONSTRAINT_ERROR =>`
137			`NULL;`
138			`WHEN OTHERS =>`
139			`WRONG_EXC_RAISED := TRUE;`
140			`END T;`
141
142			`BEGIN -- (B)`
143
144			`SELECT`
145			`T.E (IDENT_CHAR('Z'));`
146			`OR`
147			`DELAY 15.0 * Impdef.One_Second;`
148			`END SELECT;`
149			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
150			`"ENTRY_CALL - (B)");`
151			`T.CONTINUE;`
152
153			`EXCEPTION -- (B)`
154
155			`WHEN CONSTRAINT_ERROR =>`
156			`T.CONTINUE;`
157			`WHEN OTHERS =>`
158			`FAILED ("WRONG EXCEPTION RAISED IN " &`
159			`"ENTRY_CALL - (B)");`
160			`T.CONTINUE;`
161
162			`END; -- (B)`
163
164			`IF C_E_NOT_RAISED THEN`
165			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
166			`"ACCEPT_STATEMENT - (B)");`
167			`END IF;`
168
169			`IF WRONG_EXC_RAISED THEN`
170			`FAILED ("WRONG EXCEPTION RAISED IN " &`
171			`"ACCEPT_STATEMENT - (B)");`
172			`END IF;`
173
174			`--------------------------------------------------`
175
176			`C_E_NOT_RAISED := FALSE;`
177			`WRONG_EXC_RAISED := FALSE;`
178
179			`DECLARE -- (C)`
180
181			`TASK T IS`
182			`ENTRY E (TRUE..FALSE);`
183			`ENTRY CONTINUE;`
184			`END T;`
185
186			`TASK BODY T IS`
187			`BEGIN`
188			`ACCEPT CONTINUE;`
189			`SELECT`
190			`ACCEPT E (FALSE);`
191			`OR`
192			`DELAY 1.0 * Impdef.One_Second;`
193			`END SELECT;`
194			`C_E_NOT_RAISED := TRUE;`
195			`EXCEPTION`
196			`WHEN CONSTRAINT_ERROR =>`
197			`NULL;`
198			`WHEN OTHERS =>`
199			`WRONG_EXC_RAISED := TRUE;`
200			`END T;`
201
202			`BEGIN -- (C)`
203
204			`SELECT`
205			`T.E (TRUE);`
206			`OR`
207			`DELAY 15.0 * Impdef.One_Second;`
208			`END SELECT;`
209			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
210			`"ENTRY_CALL - (C)");`
211			`T.CONTINUE;`
212
213			`EXCEPTION -- (C)`
214
215			`WHEN CONSTRAINT_ERROR =>`
216			`T.CONTINUE;`
217			`WHEN OTHERS =>`
218			`FAILED ("WRONG EXCEPTION RAISED IN " &`
219			`"ENTRY_CALL - (C)");`
220			`T.CONTINUE;`
221
222			`END; -- (C)`
223
224			`IF C_E_NOT_RAISED THEN`
225			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
226			`"ACCEPT_STATEMENT - (C)");`
227			`END IF;`
228
229			`IF WRONG_EXC_RAISED THEN`
230			`FAILED ("WRONG EXCEPTION RAISED IN " &`
231			`"ACCEPT_STATEMENT - (C)");`
232			`END IF;`
233
234			`--------------------------------------------------`
235
236			`C_E_NOT_RAISED := FALSE;`
237			`WRONG_EXC_RAISED := FALSE;`
238
239			`DECLARE -- (D)`
240
241			`TYPE ET IS (E0, E1, E2);`
242			`DLB : ET := ET'VAL (IDENT_INT(1)); -- E1.`
243
244			`TASK T IS`
245			`ENTRY E (ET RANGE DLB..E2) (I : INTEGER);`
246			`ENTRY CONTINUE;`
247			`END T;`
248
249			`TASK BODY T IS`
250			`BEGIN`
251			`ACCEPT CONTINUE;`
252			`SELECT`
253			`ACCEPT E (E0) (I : INTEGER);`
254			`OR`
255			`DELAY 1.0 * Impdef.One_Second;`
256			`END SELECT;`
257			`C_E_NOT_RAISED := TRUE;`
258			`EXCEPTION`
259			`WHEN CONSTRAINT_ERROR =>`
260			`NULL;`
261			`WHEN OTHERS =>`
262			`WRONG_EXC_RAISED := TRUE;`
263			`END T;`
264
265			`BEGIN -- (D)`
266
267			`SELECT`
268			`T.E (E0) (0);`
269			`OR`
270			`DELAY 15.0 * Impdef.One_Second;`
271			`END SELECT;`
272			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
273			`"ENTRY_CALL - (D)");`
274			`T.CONTINUE;`
275
276			`EXCEPTION -- (D)`
277
278			`WHEN CONSTRAINT_ERROR =>`
279			`T.CONTINUE;`
280			`WHEN OTHERS =>`
281			`FAILED ("WRONG EXCEPTION RAISED IN " &`
282			`"ENTRY_CALL - (D)");`
283			`T.CONTINUE;`
284
285			`END; -- (D)`
286
287			`IF C_E_NOT_RAISED THEN`
288			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
289			`"ACCEPT_STATEMENT - (D)");`
290			`END IF;`
291
292			`IF WRONG_EXC_RAISED THEN`
293			`FAILED ("WRONG EXCEPTION RAISED IN " &`
294			`"ACCEPT_STATEMENT - (D)");`
295			`END IF;`
296
297			`--------------------------------------------------`
298
299			`C_E_NOT_RAISED := FALSE;`
300			`WRONG_EXC_RAISED := FALSE;`
301
302			`DECLARE -- (E)`
303
304			`TYPE D_I IS NEW INTEGER;`
305			`SUBTYPE DI IS D_I RANGE 3 .. D_I(IDENT_INT(2));`
306
307			`TASK T IS`
308			`ENTRY E (DI) (I : INTEGER);`
309			`ENTRY CONTINUE;`
310			`END T;`
311
312			`TASK BODY T IS`
313			`BEGIN`
314			`ACCEPT CONTINUE;`
315			`SELECT`
316			`ACCEPT E (D_I(3)) (I : INTEGER);`
317			`OR`
318			`DELAY 1.0 * Impdef.One_Second;`
319			`END SELECT;`
320			`C_E_NOT_RAISED := TRUE;`
321			`EXCEPTION`
322			`WHEN CONSTRAINT_ERROR =>`
323			`NULL;`
324			`WHEN OTHERS =>`
325			`WRONG_EXC_RAISED := TRUE;`
326			`END T;`
327
328			`BEGIN -- (E)`
329
330			`SELECT`
331			`T.E (D_I(2)) (0);`
332			`OR`
333			`DELAY 15.0 * Impdef.One_Second;`
334			`END SELECT;`
335			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
336			`"ENTRY_CALL - (E)");`
337			`T.CONTINUE;`
338
339			`EXCEPTION -- (E)`
340
341			`WHEN CONSTRAINT_ERROR =>`
342			`T.CONTINUE;`
343			`WHEN OTHERS =>`
344			`FAILED ("WRONG EXCEPTION RAISED IN " &`
345			`"ENTRY_CALL - (E)");`
346			`T.CONTINUE;`
347
348			`END; -- (E)`
349
350			`IF C_E_NOT_RAISED THEN`
351			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
352			`"ACCEPT_STATEMENT - (E)");`
353			`END IF;`
354
355			`IF WRONG_EXC_RAISED THEN`
356			`FAILED ("WRONG EXCEPTION RAISED IN " &`
357			`"ACCEPT_STATEMENT - (E)");`
358			`END IF;`
359
360			`--------------------------------------------------`
361
362			`C_E_NOT_RAISED := FALSE;`
363			`WRONG_EXC_RAISED := FALSE;`
364
365			`DECLARE -- (F)`
366
367			`TYPE ET IS (E0, E1, E2);`
368			`TYPE D_ET IS NEW ET;`
369
370			`TASK T IS`
371			`ENTRY E (D_ET RANGE E0..E1) (I : INTEGER);`
372			`ENTRY CONTINUE;`
373			`END T;`
374
375			`TASK BODY T IS`
376			`BEGIN`
377			`ACCEPT CONTINUE;`
378			`SELECT`
379			`ACCEPT E (D_ET'(E2)) (I : INTEGER);`
380			`OR`
381			`DELAY 1.0 * Impdef.One_Second;`
382			`END SELECT;`
383			`C_E_NOT_RAISED := TRUE;`
384			`EXCEPTION`
385			`WHEN CONSTRAINT_ERROR =>`
386			`NULL;`
387			`WHEN OTHERS =>`
388			`WRONG_EXC_RAISED := TRUE;`
389			`END T;`
390
391			`BEGIN -- (F)`
392
393			`SELECT`
394			`T.E (D_ET'(E2)) (0);`
395			`OR`
396			`DELAY 15.0 * Impdef.One_Second;`
397			`END SELECT;`
398			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
399			`"ENTRY_CALL - (F)");`
400			`T.CONTINUE;`
401
402			`EXCEPTION -- (F)`
403
404			`WHEN CONSTRAINT_ERROR =>`
405			`T.CONTINUE;`
406			`WHEN OTHERS =>`
407			`FAILED ("WRONG EXCEPTION RAISED IN " &`
408			`"ENTRY_CALL - (F)");`
409			`T.CONTINUE;`
410
411			`END; -- (F)`
412
413			`IF C_E_NOT_RAISED THEN`
414			`FAILED ("CONSTRAINT_ERROR NOT RAISED IN " &`
415			`"ACCEPT_STATEMENT - (F)");`
416			`END IF;`
417
418			`IF WRONG_EXC_RAISED THEN`
419			`FAILED ("WRONG EXCEPTION RAISED IN " &`
420			`"ACCEPT_STATEMENT - (F)");`
421			`END IF;`
422
423			`--------------------------------------------------`
424
425			`RESULT;`
426			`END C95008A;`