3 -- Grant of Unlimited Rights
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
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.
26 -- CHECK THAT THE PRE-DEFINED SUBTYPES FROM THE PACKAGE CALENDAR,
27 -- NAMELY YEAR_NUMBER, MONTH_NUMBER, DAY_NUMBER, AND DAY_DURATION,
28 -- HAVE THE CORRECT RANGE CONSTRAINTS. SUBTESTS ARE:
35 -- CPP 08/15/84 CREATED ORIGINAL TEST.
36 -- JET 01/06/88 UPDATED HEADER FORMAT AND ADDED CODE TO PREVENT
39 WITH CALENDAR
; USE CALENDAR
;
40 WITH REPORT
; USE REPORT
;
44 TEST
("C96004A", "CHECK THAT PRE-DEFINED SUBTYPES FROM THE " &
45 "CALENDAR PACKAGE HAVE CORRECT RANGE CONSTRAINTS");
47 ---------------------------------------------
57 FAILED
("EXCEPTION NOT RAISED - (A)1");
58 IF NOT EQUAL
(YR
, YR
) THEN
59 COMMENT
("NO EXCEPTION RAISED");
63 WHEN CONSTRAINT_ERROR
=>
66 FAILED
("WRONG EXCEPTION RAISED - (A)1");
71 FAILED
("EXCEPTION NOT RAISED - (A)2");
72 IF NOT EQUAL
(YR
, YR
) THEN
73 COMMENT
("NO EXCEPTION RAISED");
77 WHEN CONSTRAINT_ERROR
=>
80 FAILED
("WRONG EXCEPTION RAISED - (A)2");
85 IF NOT EQUAL
(YR
, YR
) THEN
86 COMMENT
("NO EXCEPTION RAISED");
91 FAILED
("OK CASE RAISED EXCEPTION ON 2099 - (A)");
95 YR
:= IDENT_INT
(2100);
96 FAILED
("EXCEPTION NOT RAISED - (A)3");
97 IF NOT EQUAL
(YR
, YR
) THEN
98 COMMENT
("NO EXCEPTION RAISED");
102 WHEN CONSTRAINT_ERROR
=>
105 FAILED
("WRONG EXCEPTION RAISED - (A)3");
110 ---------------------------------------------
120 FAILED
("EXCEPTION NOT RAISED - (B)1");
121 IF NOT EQUAL
(MO
, MO
) THEN
122 COMMENT
("NO EXCEPTION RAISED");
126 WHEN CONSTRAINT_ERROR
=>
129 FAILED
("WRONG EXCEPTION RAISED - (B)1");
134 IF NOT EQUAL
(MO
, MO
) THEN
135 COMMENT
("NO EXCEPTION RAISED");
140 FAILED
("OK CASE RAISED EXCEPTION ON 12 - (B)");
145 FAILED
("EXCEPTION NOT RAISED - (B)2");
146 IF NOT EQUAL
(MO
, MO
) THEN
147 COMMENT
("NO EXCEPTION RAISED");
151 WHEN CONSTRAINT_ERROR
=>
154 FAILED
("WRONG EXCEPTION RAISED - (B)2");
159 ---------------------------------------------
169 FAILED
("EXCEPTION NOT RAISED - (C)1");
170 IF NOT EQUAL
(DY
, DY
) THEN
171 COMMENT
("NO EXCEPTION RAISED");
175 WHEN CONSTRAINT_ERROR
=>
178 FAILED
("WRONG EXCEPTION RAISED - (C)1");
183 FAILED
("EXCEPTION NOT RAISED - (C)2");
184 IF NOT EQUAL
(DY
, DY
) THEN
185 COMMENT
("NO EXCEPTION RAISED");
189 WHEN CONSTRAINT_ERROR
=>
192 FAILED
("WRONG EXCEPTION RAISED - (C)2");
197 ---------------------------------------------
201 SEGMENT
: DAY_DURATION
;
203 FUNCTION CHECK_OK
(X
: DAY_DURATION
) RETURN BOOLEAN IS
204 I
: INTEGER := INTEGER (X
);
213 IF CHECK_OK
(SEGMENT
- 86_000
.0
) THEN
214 COMMENT
("NO EXCEPTION RAISED (D1)");
216 COMMENT
("NO EXCEPTION RAISED (D2)");
221 FAILED
("OK CASE RAISED EXCEPTION ON 86_400 - (D)");
226 FAILED
("EXCEPTION NOT RAISED - (D)1");
227 IF NOT EQUAL
(INTEGER(SEGMENT
), INTEGER(SEGMENT
)) THEN
228 COMMENT
("NO EXCEPTION RAISED (D3)");
232 WHEN CONSTRAINT_ERROR
=>
235 FAILED
("WRONG EXCEPTION RAISED - (D)1");
239 SEGMENT
:= 86_401
.00
;
240 IF CHECK_OK
(SEGMENT
- 86_000
.0
) THEN
241 FAILED
("NO EXCEPTION RAISED (D4)");
243 FAILED
("NO EXCEPTION RAISED (D5)");
247 WHEN CONSTRAINT_ERROR
=>
250 FAILED
("WRONG EXCEPTION RAISED - (D)2");
255 ---------------------------------------------