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.
25 -- FOR FIXED POINT TYPES, CHECK THAT
26 -- CONSTRAINT_ERROR IS RAISED WHEN A LITERAL USED IN A COMPARISON OR
27 -- MEMBERSHIP OPERATION (AS THE FIRST OPERAND) DOES NOT BELONG TO THE
30 -- CHECK THAT NO EXCEPTION IS RAISED FOR A FIXED POINT RELATIONAL OR
31 -- MEMBERSHIP OPERATION IF LITERAL VALUES BELONG TO THE BASE TYPE.
33 -- CASE A: BASIC TYPES THAT FIT THE CHARACTERISTICS OF DURATION'BASE.
35 -- *** NOTE: This test has been modified since ACVC version 1.11 to -- 9X
36 -- *** remove incompatibilities associated with the transition -- 9X
37 -- *** to Ada 9X. -- 9X
40 -- JRL 03/30/93 REMOVED NUMERIC_ERROR FROM TEST.
42 WITH REPORT
; USE REPORT
;
45 -- THE NAME OF EACH TYPE OR SUBTYPE ENDS WITH THAT TYPE'S
48 TYPE MIDDLE_M3
IS DELTA 0.5 RANGE 0.0 .. 2.5;
49 TYPE LIKE_DURATION_M23
IS DELTA 0.020 RANGE -86_400
.0
.. 86_400
.0
;
53 TEST
("C45252A", "CHECK RAISING OF EXCEPTIONS BY RELATIONAL " &
54 "OPERATIONS FOR FIXED POINT TYPES - BASIC TYPES");
56 -------------------------------------------------------------------
59 -- 2.0 ** 31 < 2.9E9 < 2.0 ** 32.
60 IF 2.9E9
<= LIKE_DURATION_M23
'LAST THEN
61 FAILED
("2.9E9 <= LIKE_DURATION_M23'LAST");
64 WHEN CONSTRAINT_ERROR
=>
65 COMMENT
("CONSTRAINT_ERROR RAISED BY COMPARISON " &
66 """2.9E9 <= LIKE_DURATION_M23'LAST""");
68 FAILED
("WRONG EXCEPTION RAISED BY COMPARISON " &
69 """2.9E9 <= LIKE_DURATION_M23'LAST""");
72 -------------------------------------------------------------------
75 -- 2.0 ** 63 < 1.0E19 < 2.0 ** 64.
76 IF 1.0E19
IN LIKE_DURATION_M23
THEN
77 FAILED
("1.0E19 IN LIKE_DURATION_M23");
80 WHEN CONSTRAINT_ERROR
=>
81 COMMENT
("CONSTRAINT_ERROR RAISED BY MEMBERSHIP TEST " &
82 """1.0E19 IN LIKE_DURATION_M23""");
84 FAILED
("WRONG EXCEPTION RAISED BY MEMBERSHIP TEST " &
85 """1.0E19 IN LIKE_DURATION_M23""");
88 -------------------------------------------------------------------
91 -- 2.0 ** 63 < 1.0E19 < 2.0 ** 64.
92 IF 1.0E19
<= MIDDLE_M3
'LAST THEN
93 FAILED
("1.0E19 <= MIDDLE_M3'LAST");
96 WHEN CONSTRAINT_ERROR
=>
97 COMMENT
("CONSTRAINT_ERROR RAISED BY COMPARISON " &
98 """1.0E19 <= MIDDLE_M3'LAST""");
100 FAILED
("WRONG EXCEPTION RAISED BY COMPARISON " &
101 """1.0E19 <= MIDDLE_M3'LAST""");
104 -------------------------------------------------------------------
107 -- 2.0 ** 31 < 2.9E9 < 2.0 ** 32.
108 IF 2.9E9
IN MIDDLE_M3
THEN
109 FAILED
("2.9E9 IN MIDDLE_M3");
112 WHEN CONSTRAINT_ERROR
=>
113 COMMENT
("CONSTRAINT_ERROR RAISED BY MEMBERSHIP TEST " &
114 """2.9E9 IN MIDDLE_M3""");
116 FAILED
("WRONG EXCEPTION RAISED BY MEMBERSHIP TEST " &
117 """2.9E9 IN MIDDLE_M3""");
120 -------------------------------------------------------------------
123 -- 3.5 IS A MODEL NUMBER OF THE TYPE MIDDLE_M3.
124 IF 3.5 <= MIDDLE_M3
'LAST THEN
125 FAILED
("3.5 <= MIDDLE_M3'LAST");
128 WHEN CONSTRAINT_ERROR
=>
129 FAILED
("CONSTRAINT_ERROR RAISED BY COMPARISON " &
130 """3.5 <= MIDDLE_M3'LAST""");
132 FAILED
("SOME EXCEPTION RAISED BY COMPARISON " &
133 """3.5 <= MIDDLE_M3'LAST""");
136 -------------------------------------------------------------------
139 IF 3.0 IN MIDDLE_M3
THEN
140 FAILED
("3.0 IN MIDDLE_M3");
143 WHEN CONSTRAINT_ERROR
=>
144 FAILED
("CONSTRAINT_ERROR RAISED BY MEMBERSHIP TEST " &
145 """3.0 IN MIDDLE_M3""");
147 FAILED
("SOME EXCEPTION RAISED BY MEMBERSHIP TEST " &
148 """3.0 IN MIDDLE_M3""");
151 -------------------------------------------------------------------
154 IF 86_450
.0
<= LIKE_DURATION_M23
'LAST THEN
155 FAILED
("86_450.0 <= LIKE_DURATION_M23'LAST");
158 WHEN CONSTRAINT_ERROR
=>
159 FAILED
("CONSTRAINT_ERROR RAISED BY COMPARISON " &
160 """86_450.0 <= LIKE_DURATION_M23'LAST""");
162 FAILED
("SOME EXCEPTION RAISED BY COMPARISON " &
163 """86_450.0 <= LIKE_DURATION_M23'LAST""");
166 -------------------------------------------------------------------
169 IF 86_500
.0
IN LIKE_DURATION_M23
THEN
170 FAILED
("86_500.0 IN LIKE_DURATION_M23");
173 WHEN CONSTRAINT_ERROR
=>
174 FAILED
("CONSTRAINT_ERROR RAISED BY MEMBERSHIP TEST " &
175 """86_500.0 IN LIKE_DURATION_M23""");
177 FAILED
("SOME EXCEPTION RAISED BY MEMBERSHIP TEST " &
178 """86_500.0 IN LIKE_DURATION_M23""");
181 -------------------------------------------------------------------
184 IF -86_450
.0
IN LIKE_DURATION_M23
THEN
185 FAILED
("-86_450.0 IN LIKE_DURATION_M23");
188 WHEN CONSTRAINT_ERROR
=>
189 FAILED
("CONSTRAINT_ERROR RAISED BY MEMBERSHIP TEST " &
190 """-86_450.0 IN LIKE_DURATION_M23""");
192 FAILED
("SOME EXCEPTION RAISED BY MEMBERSHIP TEST " &
193 """-86_450.0 IN LIKE_DURATION_M23""");
196 -------------------------------------------------------------------