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

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cxa/] [cxa4034.a] - Blame information for rev 294

Details | Compare with Previous | View Log

Line No. Rev Author Line
1 294 jeremybenn 
-- CXA4034.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 Ada.Strings.Bounded.Slice raises Index_Error if
28 
--    High > Length (Source) or Low > Length (Source) + 1.
29 
--    (Defect Report 8652/0049).
30 
--
31 
--    Check that Ada.Strings.Wide_Bounded.Slice raises Index_Error if
32 
--    High > Length (Source) or Low > Length (Source) + 1.
33 
--
34 
-- CHANGE HISTORY:
35 
--    12 FEB 2001   PHL   Initial version
36 
--    14 MAR 2001   RLB   Added Wide_Bounded subtest.
37 
--
38 
--!
39 
with Ada.Exceptions;
40 
use Ada.Exceptions;
41 
with Ada.Strings.Bounded;
42 
with Ada.Strings.Wide_Bounded;
43 
use Ada.Strings;
44 
with Report;
45 
use Report;
46 
procedure CXA4034 is
47 
 
48 
    package Bs is new Ada.Strings.Bounded.Generic_Bounded_Length (40);
49 
 
50 
    package WBs is new Ada.Strings.Wide_Bounded.Generic_Bounded_Length (32);
51 
 
52 
    Source : String (Ident_Int (1) .. Ident_Int (30));
53 
 
54 
    Wide_Source : Wide_String (Ident_Int (1) .. Ident_Int (24));
55 
 
56 
    X : Bs.Bounded_String;
57 
 
58 
    WX : WBs.Bounded_Wide_String;
59 
 
60 
begin
61 
    Test ("CXA4034",
62 
          "Check that Slice raises Index_Error if either Low or High is " &
63 
             "greater than the Length(Source) for Ada.Strings.Bounded and " &
64 
             "Ada.Strings.Wide_Bounded");
65 
 
66 
    -- Fill Source with "ABC..."
67 
    for I in Source'Range loop
68 
        Source (I) := Ident_Char (Character'Val (I +
69 
                        Character'Pos ('A') - Source'First));
70 
    end loop;
71 
    -- and W with "ABC..."
72 
    for I in Wide_Source'Range loop
73 
        Wide_Source (I) := Ident_Wide_Char (Wide_Character'Val (I +
74 
                         Wide_Character'Pos ('A') - Wide_Source'First));
75 
    end loop;
76 
 
77 
    X := Bs.To_Bounded_String (Source);
78 
 
79 
    begin
80 
        declare
81 
            S : constant String :=
82 
               Bs.Slice (X, Low => Ident_Int (28), High => Ident_Int (41));
83 
        begin
84 
            Failed ("No exception raised by Slice - 1");
85 
            if S = Source then
86 
                Comment ("Don't optimize S");
87 
            end if;
88 
        end;
89 
    exception
90 
        when Index_Error =>
91 
            null; -- Expected exception.
92 
        when E: others =>
93 
            Failed ("Exception raised - " & Exception_Name (E) &
94 
                    " - " & Exception_Message (E) & " - 1");
95 
    end;
96 
 
97 
    begin
98 
        declare
99 
            S : constant String :=
100 
               Bs.Slice (X, Low => Ident_Int (8), High => Ident_Int (31));
101 
        begin
102 
            Failed ("No exception raised by Slice - 2");
103 
            if S = Source then
104 
                Comment ("Don't optimize S");
105 
            end if;
106 
        end;
107 
    exception
108 
        when Index_Error =>
109 
            null; -- Expected exception.
110 
        when E: others =>
111 
            Failed ("Exception raised - " & Exception_Name (E) &
112 
                    " - " & Exception_Message (E) & " - 2");
113 
    end;
114 
 
115 
    begin
116 
        declare
117 
            S : constant String :=
118 
               Bs.Slice (X, Low => Ident_Int (15), High => Ident_Int (30));
119 
        begin
120 
            if S /= Source(15..30) then
121 
                Failed ("Wrong result - 3");
122 
            end if;
123 
        end;
124 
    exception
125 
        when E: others =>
126 
            Failed ("Exception raised - " & Exception_Name (E) &
127 
                    " - " & Exception_Message (E) & " - 3");
128 
    end;
129 
 
130 
    begin
131 
        declare
132 
            S : constant String :=
133 
               Bs.Slice (X, Low => Ident_Int (42), High => Ident_Int (28));
134 
        begin
135 
            Failed ("No exception raised by Slice - 4");
136 
            if S = Source then
137 
                Comment ("Don't optimize S");
138 
            end if;
139 
        end;
140 
    exception
141 
        when Index_Error =>
142 
            null; -- Expected exception.
143 
        when E: others =>
144 
            Failed ("Exception raised - " & Exception_Name (E) &
145 
                    " - " & Exception_Message (E) & " - 4");
146 
    end;
147 
 
148 
    begin
149 
        declare
150 
            S : constant String :=
151 
               Bs.Slice (X, Low => Ident_Int (31), High => Ident_Int (28));
152 
        begin
153 
            if S /= "" then
154 
                Failed ("Wrong result - 5");
155 
            end if;
156 
        end;
157 
    exception
158 
        when E: others =>
159 
            Failed ("Exception raised - " & Exception_Name (E) &
160 
                    " - " & Exception_Message (E) & " - 5");
161 
    end;
162 
 
163 
    begin
164 
        declare
165 
            S : constant String :=
166 
               Bs.Slice (X, Low => Ident_Int (30), High => Ident_Int (30));
167 
        begin
168 
            if S /= Source(30..30) then
169 
                Failed ("Wrong result - 6");
170 
            end if;
171 
        end;
172 
    exception
173 
        when E: others =>
174 
            Failed ("Exception raised - " & Exception_Name (E) &
175 
                    " - " & Exception_Message (E) & " - 6");
176 
    end;
177 
 
178 
    WX := WBs.To_Bounded_Wide_String (Wide_Source);
179 
 
180 
    begin
181 
        declare
182 
            W : constant Wide_String :=
183 
               WBs.Slice (WX, Low => Ident_Int (21), High => Ident_Int (33));
184 
        begin
185 
            Failed ("No exception raised by Slice - 7");
186 
            if W = Wide_Source then
187 
                Comment ("Don't optimize W");
188 
            end if;
189 
        end;
190 
    exception
191 
        when Index_Error =>
192 
            null; -- Expected exception.
193 
        when E: others =>
194 
            Failed ("Exception raised - " & Exception_Name (E) &
195 
                    " - " & Exception_Message (E) & " - 7");
196 
    end;
197 
 
198 
    begin
199 
        declare
200 
            W : constant Wide_String :=
201 
               WBs.Slice (WX, Low => Ident_Int (8), High => Ident_Int (25));
202 
        begin
203 
            Failed ("No exception raised by Slice - 8");
204 
            if W = Wide_Source then
205 
                Comment ("Don't optimize W");
206 
            end if;
207 
        end;
208 
    exception
209 
        when Index_Error =>
210 
            null; -- Expected exception.
211 
        when E: others =>
212 
            Failed ("Exception raised - " & Exception_Name (E) &
213 
                    " - " & Exception_Message (E) & " - 8");
214 
    end;
215 
 
216 
    begin
217 
        declare
218 
            W : constant Wide_String :=
219 
               WBs.Slice (WX, Low => Ident_Int (15), High => Ident_Int (24));
220 
        begin
221 
            if W /= Wide_Source(15..24) then
222 
                Failed ("Wrong result - 8");
223 
            end if;
224 
        end;
225 
    exception
226 
        when E: others =>
227 
            Failed ("Exception raised - " & Exception_Name (E) &
228 
                    " - " & Exception_Message (E) & " - 9");
229 
    end;
230 
 
231 
    begin
232 
        declare
233 
            W : constant Wide_String :=
234 
               WBs.Slice (WX, Low => Ident_Int (36), High => Ident_Int (20));
235 
        begin
236 
            Failed ("No exception raised by Slice - 10");
237 
            if W = Wide_Source then
238 
                Comment ("Don't optimize W");
239 
            end if;
240 
        end;
241 
    exception
242 
        when Index_Error =>
243 
            null; -- Expected exception.
244 
        when E: others =>
245 
            Failed ("Exception raised - " & Exception_Name (E) &
246 
                    " - " & Exception_Message (E) & " - 10");
247 
    end;
248 
 
249 
    begin
250 
        declare
251 
            W : constant Wide_String :=
252 
               WBs.Slice (WX, Low => Ident_Int (25), High => Ident_Int (21));
253 
        begin
254 
            if W /= "" then
255 
                Failed ("Wrong result - 11");
256 
            end if;
257 
        end;
258 
    exception
259 
        when E: others =>
260 
            Failed ("Exception raised - " & Exception_Name (E) &
261 
                    " - " & Exception_Message (E) & " - 11");
262 
    end;
263 
 
264 
    begin
265 
        declare
266 
            W : constant Wide_String :=
267 
               WBs.Slice (WX, Low => Ident_Int (24), High => Ident_Int (24));
268 
        begin
269 
            if W /= Wide_Source(24..24) then
270 
                Failed ("Wrong result - 12");
271 
            end if;
272 
        end;
273 
    exception
274 
        when E: others =>
275 
            Failed ("Exception raised - " & Exception_Name (E) &
276 
                    " - " & Exception_Message (E) & " - 12");
277 
    end;
278 
 
279 
    Result;
280 
end CXA4034;
281 
 

powered by: WebSVN 2.1.0

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