Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/ada/acats/tests/cb/cb4007a.ada @ 111:04ced10e8804

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 -- CB4007A.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 -- OBJECTIVE:
26 -- CHECK THAT THE STATEMENT PART OF A PACKAGE CAN RAISE, PROPAGATE,
27 -- AND HANDLE EXCEPTIONS. IF THE BODY'S HANDLERS HANDLE ALL
28 -- EXCEPTIONS RAISED AND DO NOT RAISE ANY UNHANDLED EXCEPTIONS,
29 -- NO EXCEPTION IS PROPAGATED.
30
31 -- HISTORY:
32 -- DHH 03/28/88 CREATED ORIGINAL TEST.
33
34 WITH REPORT; USE REPORT;
35 PROCEDURE CB4007A IS
36 BEGIN
37
38 TEST("CB4007A", "CHECK THAT THE STATEMENT PART OF A PACKAGE " &
39 "CAN RAISE, PROPAGATE, AND HANDLE EXCEPTIONS. " &
40 "IF THE BODY'S HANDLERS HANDLE ALL EXCEPTIONS " &
41 "RAISED AND DO NOT RAISE ANY UNHANDLED " &
42 "EXCEPTIONS, NO EXCEPTION IS PROPAGATED");
43 DECLARE
44
45 PACKAGE OUTSIDE IS
46 END OUTSIDE;
47
48 PACKAGE BODY OUTSIDE IS
49
50 BEGIN
51 DECLARE
52 PACKAGE HANDLER IS
53 END HANDLER;
54
55 PACKAGE BODY HANDLER IS
56 BEGIN
57 DECLARE
58 PACKAGE PROPAGATE IS
59 END PROPAGATE;
60
61 PACKAGE BODY PROPAGATE IS
62 BEGIN
63 DECLARE
64 PACKAGE RISE IS
65 END RISE;
66
67 PACKAGE BODY RISE IS
68 BEGIN
69 RAISE CONSTRAINT_ERROR;
70 FAILED("EXCEPTION " &
71 "NOT RAISED");
72 END RISE;
73
74 BEGIN
75 NULL;
76 END; -- PACKAGE PROPAGATE DECLARE.
77 EXCEPTION
78 WHEN CONSTRAINT_ERROR =>
79 RAISE CONSTRAINT_ERROR;
80 WHEN OTHERS =>
81 FAILED("UNEXPECTED EXCEPTION " &
82 "RAISED IN PROPAGATE " &
83 "PACKAGE");
84 END PROPAGATE;
85
86 BEGIN
87 NULL;
88 END; -- PACKAGE HANDLER DECLARE.
89 EXCEPTION
90 WHEN CONSTRAINT_ERROR =>
91 NULL;
92 WHEN OTHERS =>
93 FAILED("UNEXPECTED EXCEPTION RAISED IN " &
94 "HANDLER PACKAGE");
95 END HANDLER;
96
97 BEGIN
98 NULL;
99 END; -- PACKAGE OUTSIDE DECLARE.
100 EXCEPTION
101 WHEN OTHERS =>
102 FAILED("UNEXPECTED EXCEPTION RAISED IN OUTSIDE " &
103 "PACKAGE");
104 END OUTSIDE;
105 BEGIN
106 NULL;
107 END;
108
109 RESULT;
110
111 EXCEPTION
112 WHEN OTHERS =>
113 FAILED("UNEXPECTED EXCEPTION RAISED");
114 RESULT;
115 END CB4007A;