1 |
12 |
jlechner |
-- C45220D.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 '<' , '<=' , '>' , '>=' PRODUCE CORRECT RESULTS ON
|
26 |
|
|
-- OPERANDS OF A TYPE DERIVED FROM THE TYPE 'BOOLEAN'
|
27 |
|
|
-- (IN PARTICULAR, FOR OPERANDS HAVING DIFFERENT SUBTYPES).
|
28 |
|
|
|
29 |
|
|
-- THIS TEST IS DERIVED FROM C45220B.ADA , C45220C.ADA .
|
30 |
|
|
|
31 |
|
|
|
32 |
|
|
-- RM 28 OCTOBER 1980
|
33 |
|
|
-- JWC 7/8/85 RENAMED TO -AB
|
34 |
|
|
|
35 |
|
|
WITH REPORT ;
|
36 |
|
|
PROCEDURE C45220D IS
|
37 |
|
|
|
38 |
|
|
|
39 |
|
|
USE REPORT;
|
40 |
|
|
|
41 |
|
|
TYPE NB IS NEW BOOLEAN ;
|
42 |
|
|
|
43 |
|
|
SUBTYPE T1 IS NB RANGE NB'(FALSE)..NB'(FALSE) ;
|
44 |
|
|
SUBTYPE T2 IS NB RANGE NB'(TRUE )..NB'(TRUE );
|
45 |
|
|
SUBTYPE T3 IS NB RANGE NB'(FALSE)..NB'(TRUE );
|
46 |
|
|
SUBTYPE T4 IS T3 RANGE NB'(TRUE )..NB'(TRUE );
|
47 |
|
|
|
48 |
|
|
FVAR1 : T1 := NB'(FALSE) ;
|
49 |
|
|
TVAR1 : T2 := NB'(TRUE );
|
50 |
|
|
FVAR2 : T3 := NB'(FALSE) ;
|
51 |
|
|
TVAR2 : T4 := NB'(TRUE );
|
52 |
|
|
|
53 |
|
|
ERROR_COUNT : INTEGER := 0 ;
|
54 |
|
|
|
55 |
|
|
PROCEDURE BUMP IS
|
56 |
|
|
BEGIN
|
57 |
|
|
ERROR_COUNT := ERROR_COUNT + 1 ;
|
58 |
|
|
END BUMP ;
|
59 |
|
|
|
60 |
|
|
FUNCTION IDENT_NEW_BOOL( THE_ARGUMENT : NB ) RETURN NB IS
|
61 |
|
|
BEGIN
|
62 |
|
|
IF EQUAL(2,2) THEN RETURN THE_ARGUMENT;
|
63 |
|
|
ELSE RETURN NB'(FALSE) ;
|
64 |
|
|
END IF;
|
65 |
|
|
END ;
|
66 |
|
|
|
67 |
|
|
|
68 |
|
|
BEGIN
|
69 |
|
|
|
70 |
|
|
|
71 |
|
|
TEST( "C45220D" , "CHECK THAT '<' , '<=' , '>' , '>=' PRODUCE" &
|
72 |
|
|
" CORRECT RESULTS ON DERIVED-BOOLEAN-TYPE" &
|
73 |
|
|
" OPERANDS" ) ;
|
74 |
|
|
|
75 |
|
|
-- 64 CASES ( 2 * 2 ORDERED PAIRS OF OPERAND VALUES,
|
76 |
|
|
-- 4 OPERATORS : '<' , <=' , '>' , '>='
|
77 |
|
|
-- 4 VARIABLE/LITERAL FOR LEFT OPERAND,
|
78 |
|
|
-- VARIABLE/LITERAL FOR RIGHT OPERAND.
|
79 |
|
|
|
80 |
|
|
|
81 |
|
|
-- 'BUMP' MEANS 'BUMP THE ERROR COUNT'
|
82 |
|
|
|
83 |
|
|
FVAR1 := IDENT_NEW_BOOL( NB'(FALSE) ) ;
|
84 |
|
|
TVAR1 := IDENT_NEW_BOOL( NB'(TRUE )) ;
|
85 |
|
|
FVAR2 := IDENT_NEW_BOOL( NB'(FALSE) ) ;
|
86 |
|
|
TVAR2 := IDENT_NEW_BOOL( NB'(TRUE )) ;
|
87 |
|
|
|
88 |
|
|
|
89 |
|
|
ERROR_COUNT := 0 ;
|
90 |
|
|
|
91 |
|
|
IF NB'(FALSE) < NB'(FALSE) THEN BUMP ; END IF;
|
92 |
|
|
IF FVAR1 < NB'(FALSE) THEN BUMP ; END IF;
|
93 |
|
|
IF NB'(FALSE) < FVAR2 THEN BUMP ; END IF;
|
94 |
|
|
IF FVAR2 < FVAR1 THEN BUMP ; END IF;
|
95 |
|
|
|
96 |
|
|
IF NB'(FALSE) < NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
|
97 |
|
|
IF FVAR1 < NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
|
98 |
|
|
IF NB'(FALSE) < TVAR2 THEN NULL ; ELSE BUMP ; END IF;
|
99 |
|
|
IF FVAR2 < TVAR1 THEN NULL ; ELSE BUMP ; END IF;
|
100 |
|
|
|
101 |
|
|
IF NB'(TRUE ) < NB'(FALSE) THEN BUMP ; END IF;
|
102 |
|
|
IF NB'(TRUE ) < FVAR1 THEN BUMP ; END IF;
|
103 |
|
|
IF TVAR2 < NB'(FALSE) THEN BUMP ; END IF;
|
104 |
|
|
IF TVAR1 < FVAR2 THEN BUMP ; END IF;
|
105 |
|
|
|
106 |
|
|
IF NB'(TRUE ) < NB'(TRUE ) THEN BUMP ; END IF;
|
107 |
|
|
IF TVAR1 < NB'(TRUE ) THEN BUMP ; END IF;
|
108 |
|
|
IF NB'(TRUE ) < TVAR2 THEN BUMP ; END IF;
|
109 |
|
|
IF TVAR2 < TVAR1 THEN BUMP ; END IF;
|
110 |
|
|
|
111 |
|
|
IF ERROR_COUNT > 0 THEN
|
112 |
|
|
FAILED( "ORDERING OF N_BOOLEAN VALUES - FAILURE '<'" );
|
113 |
|
|
END IF;
|
114 |
|
|
|
115 |
|
|
|
116 |
|
|
ERROR_COUNT := 0 ;
|
117 |
|
|
|
118 |
|
|
IF NB'(FALSE) <= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
|
119 |
|
|
IF FVAR1 <= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
|
120 |
|
|
IF NB'(FALSE) <= FVAR2 THEN NULL ; ELSE BUMP ; END IF;
|
121 |
|
|
IF FVAR2 <= FVAR1 THEN NULL ; ELSE BUMP ; END IF;
|
122 |
|
|
|
123 |
|
|
IF NB'(FALSE) <= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
|
124 |
|
|
IF FVAR1 <= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
|
125 |
|
|
IF NB'(FALSE) <= TVAR2 THEN NULL ; ELSE BUMP ; END IF;
|
126 |
|
|
IF FVAR2 <= TVAR1 THEN NULL ; ELSE BUMP ; END IF;
|
127 |
|
|
|
128 |
|
|
IF NB'(TRUE ) <= NB'(FALSE) THEN BUMP ; END IF;
|
129 |
|
|
IF NB'(TRUE ) <= FVAR1 THEN BUMP ; END IF;
|
130 |
|
|
IF TVAR2 <= NB'(FALSE) THEN BUMP ; END IF;
|
131 |
|
|
IF TVAR1 <= FVAR2 THEN BUMP ; END IF;
|
132 |
|
|
|
133 |
|
|
IF NB'(TRUE ) <= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
|
134 |
|
|
IF TVAR1 <= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
|
135 |
|
|
IF NB'(TRUE ) <= TVAR2 THEN NULL ; ELSE BUMP ; END IF;
|
136 |
|
|
IF TVAR2 <= TVAR1 THEN NULL ; ELSE BUMP ; END IF;
|
137 |
|
|
|
138 |
|
|
IF ERROR_COUNT > 0 THEN
|
139 |
|
|
FAILED( "ORDERING OF N_BOOLEAN VALUES - FAILURE '<='" );
|
140 |
|
|
END IF;
|
141 |
|
|
|
142 |
|
|
|
143 |
|
|
ERROR_COUNT := 0 ;
|
144 |
|
|
|
145 |
|
|
IF NB'(FALSE) > NB'(FALSE) THEN BUMP ; END IF;
|
146 |
|
|
IF FVAR1 > NB'(FALSE) THEN BUMP ; END IF;
|
147 |
|
|
IF NB'(FALSE) > FVAR2 THEN BUMP ; END IF;
|
148 |
|
|
IF FVAR2 > FVAR1 THEN BUMP ; END IF;
|
149 |
|
|
|
150 |
|
|
IF NB'(FALSE) > NB'(TRUE ) THEN BUMP ; END IF;
|
151 |
|
|
IF FVAR1 > NB'(TRUE ) THEN BUMP ; END IF;
|
152 |
|
|
IF NB'(FALSE) > TVAR2 THEN BUMP ; END IF;
|
153 |
|
|
IF FVAR2 > TVAR1 THEN BUMP ; END IF;
|
154 |
|
|
|
155 |
|
|
IF NB'(TRUE ) > NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
|
156 |
|
|
IF NB'(TRUE ) > FVAR1 THEN NULL ; ELSE BUMP ; END IF;
|
157 |
|
|
IF TVAR2 > NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
|
158 |
|
|
IF TVAR1 > FVAR2 THEN NULL ; ELSE BUMP ; END IF;
|
159 |
|
|
|
160 |
|
|
IF NB'(TRUE ) > NB'(TRUE ) THEN BUMP ; END IF;
|
161 |
|
|
IF TVAR1 > NB'(TRUE ) THEN BUMP ; END IF;
|
162 |
|
|
IF NB'(TRUE ) > TVAR2 THEN BUMP ; END IF;
|
163 |
|
|
IF TVAR2 > TVAR1 THEN BUMP ; END IF;
|
164 |
|
|
|
165 |
|
|
IF ERROR_COUNT > 0 THEN
|
166 |
|
|
FAILED( "ORDERING OF N_BOOLEAN VALUES - FAILURE '>'" );
|
167 |
|
|
END IF;
|
168 |
|
|
|
169 |
|
|
|
170 |
|
|
ERROR_COUNT := 0 ;
|
171 |
|
|
|
172 |
|
|
IF NB'(FALSE) >= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
|
173 |
|
|
IF FVAR1 >= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
|
174 |
|
|
IF NB'(FALSE) >= FVAR2 THEN NULL ; ELSE BUMP ; END IF;
|
175 |
|
|
IF FVAR2 >= FVAR1 THEN NULL ; ELSE BUMP ; END IF;
|
176 |
|
|
|
177 |
|
|
IF NB'(FALSE) >= NB'(TRUE ) THEN BUMP ; END IF;
|
178 |
|
|
IF FVAR1 >= NB'(TRUE ) THEN BUMP ; END IF;
|
179 |
|
|
IF NB'(FALSE) >= TVAR2 THEN BUMP ; END IF;
|
180 |
|
|
IF FVAR2 >= TVAR1 THEN BUMP ; END IF;
|
181 |
|
|
|
182 |
|
|
IF NB'(TRUE ) >= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
|
183 |
|
|
IF NB'(TRUE ) >= FVAR1 THEN NULL ; ELSE BUMP ; END IF;
|
184 |
|
|
IF TVAR2 >= NB'(FALSE) THEN NULL ; ELSE BUMP ; END IF;
|
185 |
|
|
IF TVAR1 >= FVAR2 THEN NULL ; ELSE BUMP ; END IF;
|
186 |
|
|
|
187 |
|
|
IF NB'(TRUE ) >= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
|
188 |
|
|
IF TVAR1 >= NB'(TRUE ) THEN NULL ; ELSE BUMP ; END IF;
|
189 |
|
|
IF NB'(TRUE ) >= TVAR2 THEN NULL ; ELSE BUMP ; END IF;
|
190 |
|
|
IF TVAR2 >= TVAR1 THEN NULL ; ELSE BUMP ; END IF;
|
191 |
|
|
|
192 |
|
|
IF ERROR_COUNT > 0 THEN
|
193 |
|
|
FAILED( "ORDERING OF N_BOOLEAN VALUES - FAILURE '>='" );
|
194 |
|
|
END IF;
|
195 |
|
|
|
196 |
|
|
|
197 |
|
|
RESULT ;
|
198 |
|
|
|
199 |
|
|
|
200 |
|
|
END C45220D;
|