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

Subversion Repositories openrisc

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

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 720 jeremybenn
-- C761012.A
2
--
3
--                             Grant of Unlimited Rights
4
--
5
--     The Ada Conformity Assessment Authority (ACAA) holds unlimited
6
--     rights in the software and documentation contained herein. Unlimited
7
--     rights are the same as those granted by the U.S. Government for older
8
--     parts of the Ada Conformity Assessment Test Suite, and are defined
9
--     in DFAR 252.227-7013(a)(19). By making this public release, the ACAA
10
--     intends to confer upon all recipients unlimited rights equal to those
11
--     held by the ACAA. These rights include rights to use, duplicate,
12
--     release or disclose the released technical data and computer software
13
--     in whole or in part, in any manner and for any purpose whatsoever, and
14
--     to have or permit others 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
--
26
-- OBJECTIVE:
27
--    Check that an anonymous object is finalized with its enclosing master if
28
--    a transfer of control or exception occurs prior to performing its normal
29
--    finalization.  (Defect Report 8652/0023, as reflected in
30
--    Technical Corrigendum 1, RM95 7.6.1(13.1/1)).
31
--
32
-- CHANGE HISTORY:
33
--    29 JAN 2001   PHL   Initial version.
34
--     5 DEC 2001   RLB   Reformatted for ACATS.
35
--
36
--!
37
with Ada.Finalization;
38
use Ada.Finalization;
39
package C761012_0 is
40
 
41
    type Ctrl (D : Boolean) is new Controlled with
42
        record
43
            case D is
44
                when False =>
45
                    C1 : Integer;
46
                when True =>
47
                    C2 : Float;
48
            end case;
49
        end record;
50
 
51
    function Create return Ctrl;
52
    procedure Finalize (Obj : in out Ctrl);
53
    function Finalize_Was_Called return Boolean;
54
 
55
end C761012_0;
56
 
57
with Report;
58
use Report;
59
package body C761012_0 is
60
 
61
    Finalization_Flag : Boolean := False;
62
 
63
    function Create return Ctrl is
64
        Obj : Ctrl (Ident_Bool (True));
65
    begin
66
        Obj.C2 := 3.0;
67
        return Obj;
68
    end Create;
69
 
70
    procedure Finalize (Obj : in out Ctrl) is
71
    begin
72
        Finalization_Flag := True;
73
    end Finalize;
74
 
75
    function Finalize_Was_Called return Boolean is
76
    begin
77
        if Finalization_Flag then
78
            Finalization_Flag := False;
79
            return True;
80
        else
81
            return False;
82
        end if;
83
    end Finalize_Was_Called;
84
 
85
end C761012_0;
86
 
87
with Ada.Exceptions;
88
use Ada.Exceptions;
89
with C761012_0;
90
use C761012_0;
91
with Report;
92
use Report;
93
procedure C761012 is
94
begin
95
    Test ("C761012",
96
          "Check that an anonymous object is finalized with its enclosing " &
97
             "master if a transfer of control or exception occurs prior to " &
98
             "performing its normal finalization");
99
 
100
    Excep:
101
        begin
102
 
103
            declare
104
                I : Integer := Create.C1; -- Raises Constraint_Error
105
            begin
106
                Failed
107
                   ("Improper component selection did not raise Constraint_Error, I =" &
108
                    Integer'Image (I));
109
            exception
110
                when Constraint_Error =>
111
                    Failed ("Constraint_Error caught by the wrong handler");
112
            end;
113
 
114
            Failed ("Transfer of control did not happen correctly");
115
 
116
        exception
117
            when Constraint_Error =>
118
                if not Finalize_Was_Called then
119
                    Failed ("Finalize wasn't called when the master was left " &
120
                            "- Constraint_Error");
121
                end if;
122
            when E: others =>
123
                Failed ("Exception " & Exception_Name (E) &
124
                        " raised - " & Exception_Information (E));
125
        end Excep;
126
 
127
    Transfer:
128
        declare
129
            Finalize_Was_Called_Before_Leaving_Exit : Boolean;
130
        begin
131
 
132
            begin
133
                loop
134
                    exit when Create.C2 = 3.0;
135
                end loop;
136
                Finalize_Was_Called_Before_Leaving_Exit := Finalize_Was_Called;
137
                if Finalize_Was_Called_Before_Leaving_Exit then
138
                    Comment ("Finalize called before the transfer of control");
139
                end if;
140
            end;
141
 
142
            if not Finalize_Was_Called and then
143
               not Finalize_Was_Called_Before_Leaving_Exit then
144
                Failed ("Finalize wasn't called when the master was left " &
145
                        "- transfer of control");
146
            end if;
147
        end Transfer;
148
 
149
    Result;
150
end C761012;
151
 

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.