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

Subversion Repositories openrisc

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

Details | Compare with Previous | View Log


-- C96006A.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 FOR THE PACKAGE CALENDAR, THE RELATIONAL OPERATORS WORK
-- CORRECTLY FOR OPERANDS OF TYPE TIME AND TYPE DURATION. PARTICULARLY,
--   (A) RELATIONS BASED ON YEARS.
--   (B) RELATIONS BASED ON MONTH.
--   (C) RELATIONS BASED ON SECONDS.
--   (D) RELATIONS AT EXTREMES OF THE PERMITTED RANGE OF TIME.
 
-- CPP 8/16/84
 
WITH CALENDAR;  USE CALENDAR;
WITH REPORT;  USE REPORT;
PROCEDURE C96006A IS
 
BEGIN
     TEST ("C96006A", "CHECK THAT RELATIONAL OPERATORS WORK " &
           "CORRECTLY IN THE PACKAGE CALENDAR");
 
     --------------------------------------------
 
     DECLARE   -- (A)
     -- RELATIONS BASED ON YEARS.
          NOW, LATER : TIME;
     BEGIN     -- (A)
          NOW := TIME_OF (1984, 8, 12, 500.0);
          LATER := TIME_OF (1985, 8, 12, 500.0);
 
          IF NOW < LATER THEN
               COMMENT ("< OPERATOR OK - (A)");
          ELSE
               FAILED ("< OPERATOR INCORRECT - (A)");
          END IF;
 
          IF NOW <= LATER THEN
               COMMENT ("<= OPERATOR OK - (A)");
          ELSE
               FAILED ("<= OPERATOR INCORRECT - (A)");
          END IF;
 
          IF NOW <= NOW THEN
               COMMENT ("<= OPERATOR OK - (A)2");
          ELSE
               FAILED ("<= OPERATOR INCORRECT - (A)2");
          END IF;
 
          IF LATER > NOW THEN
               COMMENT ("> OPERATOR OK - (A)");
          ELSE
               FAILED ("> OPERATOR INCORRECT - (A)");
          END IF;
 
          IF LATER >= NOW THEN
               COMMENT (">= OPERATOR OK - (A)");
          ELSE
               FAILED (">= OPERATOR INCORRECT - (A)");
          END IF;
 
          IF LATER >= LATER THEN
               COMMENT (">= OPERATOR OK - (A)2");
          ELSE
               FAILED (">= OPERATOR INCORRECT - (A)2");
          END IF;
 
     END; -- (A)
 
     --------------------------------------------
 
     DECLARE   -- (B)
     -- RELATIONS BASED ON MONTH.
          NOW, LATER : TIME;
     BEGIN     -- (B)
          NOW := TIME_OF (1984, 8, 12, 500.0);
          LATER := TIME_OF (1984, 9, 12, 500.0);
 
          IF NOW < LATER THEN
               COMMENT ("< OPERATOR OK - (B)");
          ELSE
               FAILED ("< OPERATOR INCORRECT - (B)");
          END IF;
 
          IF NOW <= LATER THEN
               COMMENT ("<= OPERATOR OK - (B)");
          ELSE
               FAILED ("<= OPERATOR INCORRECT - (B)");
          END IF;
 
          IF NOW <= NOW THEN
               COMMENT ("<= OPERATOR OK - (B)2");
          ELSE
               FAILED ("<= OPERATOR INCORRECT - (B)2");
          END IF;
 
          IF LATER > NOW THEN
               COMMENT ("> OPERATOR OK - (B)");
          ELSE
               FAILED ("> OPERATOR INCORRECT - (B)");
          END IF;
 
          IF LATER >= NOW THEN
               COMMENT (">= OPERATOR OK - (B)");
          ELSE
               FAILED (">= OPERATOR INCORRECT - (B)");
          END IF;
 
          IF LATER >= LATER THEN
               COMMENT (">= OPERATOR OK - (B)2");
          ELSE
               FAILED (">= OPERATOR INCORRECT - (B)2");
          END IF;
 
          IF NOW = NOW THEN
               COMMENT ("= OPERATOR OK - (B)");
          ELSE
               FAILED ("= OPERATOR INCORRECT - (B)");
          END IF;
 
          IF LATER /= NOW THEN
               COMMENT ("/= OPERATOR OK - (B)");
          ELSE
               FAILED ("/= OPERATOR INCORRECT - (B)");
          END IF;
 
     END; -- (B)
 
     --------------------------------------------
 
     DECLARE   -- (C)
     -- RELATIONS BASED ON SECONDS.
          NOW, LATER : TIME;
          INCREMENT : DURATION := 99.9;
     BEGIN     -- (C)
          NOW := TIME_OF (1984, 8, 12, 500.0);
          LATER := NOW + INCREMENT;
 
          IF NOW < LATER THEN
               COMMENT ("< OPERATOR OK - (C)");
          ELSE
               FAILED ("< OPERATOR INCORRECT - (C)");
          END IF;
 
          IF NOW <= LATER THEN
               COMMENT ("<= OPERATOR OK - (C)");
          ELSE
               FAILED ("<= OPERATOR INCORRECT - (C)");
          END IF;
 
          IF NOW <= NOW THEN
               COMMENT ("<= OPERATOR OK - (C)2");
          ELSE
               FAILED ("<= OPERATOR INCORRECT - (C)2");
          END IF;
 
          IF LATER > NOW THEN
               COMMENT ("> OPERATOR OK - (C)");
          ELSE
               FAILED ("> OPERATOR INCORRECT - (C)");
          END IF;
 
          IF LATER >= NOW THEN
               COMMENT (">= OPERATOR OK - (C)");
          ELSE
               FAILED (">= OPERATOR INCORRECT - (C)");
          END IF;
 
          IF LATER >= LATER THEN
               COMMENT (">= OPERATOR OK - (C)2");
          ELSE
               FAILED (">= OPERATOR INCORRECT - (C)2");
          END IF;
 
          IF LATER = LATER THEN
               COMMENT ("= OPERATOR OK - (C)");
          ELSE
               FAILED ("= OPERATOR INCORRECT - (C)");
          END IF;
 
          IF NOW /= LATER THEN
               COMMENT ("/= OPERATOR OK - (C)");
          ELSE
               FAILED ("/= OPERATOR INCORRECT - (C)");
          END IF;
 
          IF NOW < NOW THEN
               FAILED ("NOW < NOW INCORRECT - (C)");
          ELSIF NOW /= NOW THEN
               FAILED ("NOW = NOW INCORRECT - (C)");
          ELSIF LATER < NOW THEN
               FAILED ("LATER < NOW INCORRECT - (C)");
          ELSIF LATER <= NOW THEN
               FAILED ("LATER <= NOW INCORRECT - (C)");
          ELSIF LATER = NOW THEN
               FAILED ("NOW = LATER INCORRECT - (C)");
          ELSIF NOW > LATER THEN
               FAILED ("NOW > LATER INCORRECT - (C)");
          ELSIF NOW > NOW THEN
               FAILED ("NOW > NOW INCORRECT - (C)");
          ELSIF NOW >= LATER THEN
               FAILED ("NOW >= LATER INCORRECT - (C)");
          ELSIF NOW = LATER THEN
               FAILED ("NOW = LATER INCORRECT - (C)");
          END IF;
 
     END; -- (C)
 
     --------------------------------------------
 
     DECLARE   -- (D)
 
          NOW, WAY_BACK_THEN : TIME;
 
     BEGIN     -- (D)
 
          NOW := TIME_OF (2099, 12, 31);
          WAY_BACK_THEN := TIME_OF (1901, 1, 1);
 
          BEGIN
               IF NOW < WAY_BACK_THEN THEN
                    FAILED ("TEST < AT EXTREMES INCORRECT - (D)");
               END IF;
          EXCEPTION
               WHEN OTHERS =>
                    FAILED ("< AT EXTREMES RAISED EXCEPTION - (D)");
          END;
 
          BEGIN
               IF NOW <= WAY_BACK_THEN THEN
                    FAILED ("TEST <= AT EXTREMES INCORRECT - (D)");
               END IF;
          EXCEPTION
               WHEN OTHERS =>
                    FAILED ("<= AT EXTREMES RAISED EXCEPTION - (D)");
          END;
 
          BEGIN
               IF WAY_BACK_THEN > NOW THEN
                    FAILED ("TEST > AT EXTREMES INCORRECT - (D)");
               END IF;
          EXCEPTION
               WHEN OTHERS =>
                    FAILED ("> AT EXTREMES RAISED EXCEPTION - (D)");
          END;
 
          BEGIN
               IF WAY_BACK_THEN >= NOW THEN
                    FAILED ("TEST >= AT EXTREMES INCORRECT - (D)");
               END IF;
          EXCEPTION
               WHEN OTHERS =>
                    FAILED (">= AT EXTREMES RAISED EXCEPTION - (D)");
          END;
 
          BEGIN
               IF WAY_BACK_THEN /= WAY_BACK_THEN THEN
                    FAILED ("TEST /= AT EXTREMES INCORRECT - (D)");
               END IF;
          EXCEPTION
               WHEN OTHERS =>
                    FAILED ("/= AT EXTREMES RAISED EXCEPTION - (D)");
          END;
 
          BEGIN
               IF NOW = WAY_BACK_THEN THEN
                    FAILED ("TEST = AT EXTREMES INCORRECT - (D)");
               END IF;
          EXCEPTION
               WHEN OTHERS =>
                    FAILED ("= AT EXTREMES RAISED EXCEPTION - (D)");
          END;
 
     END; -- (D)
 
     --------------------------------------------
 
     RESULT;
END C96006A;

Browse

Tools

Subversion Repositories openrisc

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

Line No.	Rev	Author	Line
1	720	jeremybenn	`-- C96006A.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 FOR THE PACKAGE CALENDAR, THE RELATIONAL OPERATORS WORK`
26			`-- CORRECTLY FOR OPERANDS OF TYPE TIME AND TYPE DURATION. PARTICULARLY,`
27			`-- (A) RELATIONS BASED ON YEARS.`
28			`-- (B) RELATIONS BASED ON MONTH.`
29			`-- (C) RELATIONS BASED ON SECONDS.`
30			`-- (D) RELATIONS AT EXTREMES OF THE PERMITTED RANGE OF TIME.`
31
32			`-- CPP 8/16/84`
33
34			`WITH CALENDAR; USE CALENDAR;`
35			`WITH REPORT; USE REPORT;`
36			`PROCEDURE C96006A IS`
37
38			`BEGIN`
39			`TEST ("C96006A", "CHECK THAT RELATIONAL OPERATORS WORK " &`
40			`"CORRECTLY IN THE PACKAGE CALENDAR");`
41
42			`--------------------------------------------`
43
44			`DECLARE -- (A)`
45			`-- RELATIONS BASED ON YEARS.`
46			`NOW, LATER : TIME;`
47			`BEGIN -- (A)`
48			`NOW := TIME_OF (1984, 8, 12, 500.0);`
49			`LATER := TIME_OF (1985, 8, 12, 500.0);`
50
51			`IF NOW < LATER THEN`
52			`COMMENT ("< OPERATOR OK - (A)");`
53			`ELSE`
54			`FAILED ("< OPERATOR INCORRECT - (A)");`
55			`END IF;`
56
57			`IF NOW <= LATER THEN`
58			`COMMENT ("<= OPERATOR OK - (A)");`
59			`ELSE`
60			`FAILED ("<= OPERATOR INCORRECT - (A)");`
61			`END IF;`
62
63			`IF NOW <= NOW THEN`
64			`COMMENT ("<= OPERATOR OK - (A)2");`
65			`ELSE`
66			`FAILED ("<= OPERATOR INCORRECT - (A)2");`
67			`END IF;`
68
69			`IF LATER > NOW THEN`
70			`COMMENT ("> OPERATOR OK - (A)");`
71			`ELSE`
72			`FAILED ("> OPERATOR INCORRECT - (A)");`
73			`END IF;`
74
75			`IF LATER >= NOW THEN`
76			`COMMENT (">= OPERATOR OK - (A)");`
77			`ELSE`
78			`FAILED (">= OPERATOR INCORRECT - (A)");`
79			`END IF;`
80
81			`IF LATER >= LATER THEN`
82			`COMMENT (">= OPERATOR OK - (A)2");`
83			`ELSE`
84			`FAILED (">= OPERATOR INCORRECT - (A)2");`
85			`END IF;`
86
87			`END; -- (A)`
88
89			`--------------------------------------------`
90
91			`DECLARE -- (B)`
92			`-- RELATIONS BASED ON MONTH.`
93			`NOW, LATER : TIME;`
94			`BEGIN -- (B)`
95			`NOW := TIME_OF (1984, 8, 12, 500.0);`
96			`LATER := TIME_OF (1984, 9, 12, 500.0);`
97
98			`IF NOW < LATER THEN`
99			`COMMENT ("< OPERATOR OK - (B)");`
100			`ELSE`
101			`FAILED ("< OPERATOR INCORRECT - (B)");`
102			`END IF;`
103
104			`IF NOW <= LATER THEN`
105			`COMMENT ("<= OPERATOR OK - (B)");`
106			`ELSE`
107			`FAILED ("<= OPERATOR INCORRECT - (B)");`
108			`END IF;`
109
110			`IF NOW <= NOW THEN`
111			`COMMENT ("<= OPERATOR OK - (B)2");`
112			`ELSE`
113			`FAILED ("<= OPERATOR INCORRECT - (B)2");`
114			`END IF;`
115
116			`IF LATER > NOW THEN`
117			`COMMENT ("> OPERATOR OK - (B)");`
118			`ELSE`
119			`FAILED ("> OPERATOR INCORRECT - (B)");`
120			`END IF;`
121
122			`IF LATER >= NOW THEN`
123			`COMMENT (">= OPERATOR OK - (B)");`
124			`ELSE`
125			`FAILED (">= OPERATOR INCORRECT - (B)");`
126			`END IF;`
127
128			`IF LATER >= LATER THEN`
129			`COMMENT (">= OPERATOR OK - (B)2");`
130			`ELSE`
131			`FAILED (">= OPERATOR INCORRECT - (B)2");`
132			`END IF;`
133
134			`IF NOW = NOW THEN`
135			`COMMENT ("= OPERATOR OK - (B)");`
136			`ELSE`
137			`FAILED ("= OPERATOR INCORRECT - (B)");`
138			`END IF;`
139
140			`IF LATER /= NOW THEN`
141			`COMMENT ("/= OPERATOR OK - (B)");`
142			`ELSE`
143			`FAILED ("/= OPERATOR INCORRECT - (B)");`
144			`END IF;`
145
146			`END; -- (B)`
147
148			`--------------------------------------------`
149
150			`DECLARE -- (C)`
151			`-- RELATIONS BASED ON SECONDS.`
152			`NOW, LATER : TIME;`
153			`INCREMENT : DURATION := 99.9;`
154			`BEGIN -- (C)`
155			`NOW := TIME_OF (1984, 8, 12, 500.0);`
156			`LATER := NOW + INCREMENT;`
157
158			`IF NOW < LATER THEN`
159			`COMMENT ("< OPERATOR OK - (C)");`
160			`ELSE`
161			`FAILED ("< OPERATOR INCORRECT - (C)");`
162			`END IF;`
163
164			`IF NOW <= LATER THEN`
165			`COMMENT ("<= OPERATOR OK - (C)");`
166			`ELSE`
167			`FAILED ("<= OPERATOR INCORRECT - (C)");`
168			`END IF;`
169
170			`IF NOW <= NOW THEN`
171			`COMMENT ("<= OPERATOR OK - (C)2");`
172			`ELSE`
173			`FAILED ("<= OPERATOR INCORRECT - (C)2");`
174			`END IF;`
175
176			`IF LATER > NOW THEN`
177			`COMMENT ("> OPERATOR OK - (C)");`
178			`ELSE`
179			`FAILED ("> OPERATOR INCORRECT - (C)");`
180			`END IF;`
181
182			`IF LATER >= NOW THEN`
183			`COMMENT (">= OPERATOR OK - (C)");`
184			`ELSE`
185			`FAILED (">= OPERATOR INCORRECT - (C)");`
186			`END IF;`
187
188			`IF LATER >= LATER THEN`
189			`COMMENT (">= OPERATOR OK - (C)2");`
190			`ELSE`
191			`FAILED (">= OPERATOR INCORRECT - (C)2");`
192			`END IF;`
193
194			`IF LATER = LATER THEN`
195			`COMMENT ("= OPERATOR OK - (C)");`
196			`ELSE`
197			`FAILED ("= OPERATOR INCORRECT - (C)");`
198			`END IF;`
199
200			`IF NOW /= LATER THEN`
201			`COMMENT ("/= OPERATOR OK - (C)");`
202			`ELSE`
203			`FAILED ("/= OPERATOR INCORRECT - (C)");`
204			`END IF;`
205
206			`IF NOW < NOW THEN`
207			`FAILED ("NOW < NOW INCORRECT - (C)");`
208			`ELSIF NOW /= NOW THEN`
209			`FAILED ("NOW = NOW INCORRECT - (C)");`
210			`ELSIF LATER < NOW THEN`
211			`FAILED ("LATER < NOW INCORRECT - (C)");`
212			`ELSIF LATER <= NOW THEN`
213			`FAILED ("LATER <= NOW INCORRECT - (C)");`
214			`ELSIF LATER = NOW THEN`
215			`FAILED ("NOW = LATER INCORRECT - (C)");`
216			`ELSIF NOW > LATER THEN`
217			`FAILED ("NOW > LATER INCORRECT - (C)");`
218			`ELSIF NOW > NOW THEN`
219			`FAILED ("NOW > NOW INCORRECT - (C)");`
220			`ELSIF NOW >= LATER THEN`
221			`FAILED ("NOW >= LATER INCORRECT - (C)");`
222			`ELSIF NOW = LATER THEN`
223			`FAILED ("NOW = LATER INCORRECT - (C)");`
224			`END IF;`
225
226			`END; -- (C)`
227
228			`--------------------------------------------`
229
230			`DECLARE -- (D)`
231
232			`NOW, WAY_BACK_THEN : TIME;`
233
234			`BEGIN -- (D)`
235
236			`NOW := TIME_OF (2099, 12, 31);`
237			`WAY_BACK_THEN := TIME_OF (1901, 1, 1);`
238
239			`BEGIN`
240			`IF NOW < WAY_BACK_THEN THEN`
241			`FAILED ("TEST < AT EXTREMES INCORRECT - (D)");`
242			`END IF;`
243			`EXCEPTION`
244			`WHEN OTHERS =>`
245			`FAILED ("< AT EXTREMES RAISED EXCEPTION - (D)");`
246			`END;`
247
248			`BEGIN`
249			`IF NOW <= WAY_BACK_THEN THEN`
250			`FAILED ("TEST <= AT EXTREMES INCORRECT - (D)");`
251			`END IF;`
252			`EXCEPTION`
253			`WHEN OTHERS =>`
254			`FAILED ("<= AT EXTREMES RAISED EXCEPTION - (D)");`
255			`END;`
256
257			`BEGIN`
258			`IF WAY_BACK_THEN > NOW THEN`
259			`FAILED ("TEST > AT EXTREMES INCORRECT - (D)");`
260			`END IF;`
261			`EXCEPTION`
262			`WHEN OTHERS =>`
263			`FAILED ("> AT EXTREMES RAISED EXCEPTION - (D)");`
264			`END;`
265
266			`BEGIN`
267			`IF WAY_BACK_THEN >= NOW THEN`
268			`FAILED ("TEST >= AT EXTREMES INCORRECT - (D)");`
269			`END IF;`
270			`EXCEPTION`
271			`WHEN OTHERS =>`
272			`FAILED (">= AT EXTREMES RAISED EXCEPTION - (D)");`
273			`END;`
274
275			`BEGIN`
276			`IF WAY_BACK_THEN /= WAY_BACK_THEN THEN`
277			`FAILED ("TEST /= AT EXTREMES INCORRECT - (D)");`
278			`END IF;`
279			`EXCEPTION`
280			`WHEN OTHERS =>`
281			`FAILED ("/= AT EXTREMES RAISED EXCEPTION - (D)");`
282			`END;`
283
284			`BEGIN`
285			`IF NOW = WAY_BACK_THEN THEN`
286			`FAILED ("TEST = AT EXTREMES INCORRECT - (D)");`
287			`END IF;`
288			`EXCEPTION`
289			`WHEN OTHERS =>`
290			`FAILED ("= AT EXTREMES RAISED EXCEPTION - (D)");`
291			`END;`
292
293			`END; -- (D)`
294
295			`--------------------------------------------`
296
297			`RESULT;`
298			`END C96006A;`