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 -- CHECK THAT ORDERING COMPARISONS YIELD CORRECT RESULTS FOR
26 -- ONE-DIMENSIONAL DISCRETE ARRAY TYPES. THIS TEST CHECKS STRING TYPES.
29 -- JRK 6/24/86 FIXED SPELLING IN FAILURE MESSAGE.
31 WITH REPORT
; USE REPORT
;
35 TEST
("C45262B", "ORDERING COMPARISONS OF ONE-DIMENSIONAL " &
36 "DISCRETE ARRAY TYPES - TYPE STRING");
40 STRING1
: STRING(2 .. IDENT_INT
(1));
41 STRING2
: STRING(3 .. IDENT_INT
(1));
42 STRING3
: STRING(2 .. IDENT_INT
(2)) := (IDENT_INT
(2) => 'A');
43 STRING4
: STRING(1 .. IDENT_INT
(1)) := (IDENT_INT
(1) => 'A');
44 STRING5
: STRING(1 .. IDENT_INT
(1)) := (IDENT_INT
(1) => 'B');
45 STRING6
: STRING(2 .. IDENT_INT
(6)) :=
46 (2 .. IDENT_INT
(6) => 'A');
47 STRING7
: STRING(1 .. 5) := (1 .. 4 => 'A', 5 => 'B');
48 STRING8
: STRING(1 .. IDENT_INT
(5)) :=
49 (1 .. IDENT_INT
(5) => 'A');
50 STRING9
: STRING(1 .. IDENT_INT
(4)) :=
51 (1 .. IDENT_INT
(4) => 'A');
52 STRINGA
: STRING(1 .. IDENT_INT
(4)) :=
53 (1 .. IDENT_INT
(4) => 'B');
56 IF STRING1
< STRING2
THEN
57 FAILED
("NULL ARRAYS STRING1 AND STRING2 NOT EQUAL - <");
60 IF NOT (STRING1
<= STRING2
) THEN
61 FAILED
("NULL ARRAYS STRING1 AND STRING2 NOT EQUAL - " &
65 IF STRING1
> STRING2
THEN
66 FAILED
("NULL ARRAYS STRING1 AND STRING2 NOT EQUAL - >");
69 IF NOT ( ">=" (STRING1
, STRING2
) ) THEN
70 FAILED
("NULL ARRAYS STRING1 AND STRING2 NOT EQUAL - " &
74 IF STRING3
< STRING1
THEN
75 FAILED
("NON-NULL ARRAY STRING3 LESS THAN NULL STRING1");
78 IF STRING3
<= STRING1
THEN
79 FAILED
("NON-NULL ARRAY STRING3 LESS THAN EQUAL NULL " &
83 IF NOT ( ">" (STRING3
, STRING1
) ) THEN
84 FAILED
("NON-NULL ARRAY STRING3 NOT GREATER THAN NULL " &
88 IF NOT (STRING3
>= STRING1
) THEN
89 FAILED
("NON-NULL ARRAY STRING3 NOT GREATER THAN " &
90 "EQUAL NULL STRING1");
93 IF STRING3
< STRING4
THEN
94 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
95 "COMPONENTS EQUAL - <");
98 IF NOT ( "<=" (STRING3
, STRING4
) ) THEN
99 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
100 "COMPONENTS EQUAL - <=");
103 IF STRING3
> STRING4
THEN
104 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
105 "COMPONENTS EQUAL - >");
108 IF NOT (STRING3
>= STRING4
) THEN
109 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
110 "COMPONENTS EQUAL - >=");
113 IF NOT ( "<" (STRING3
, STRING5
) ) THEN
114 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
115 "COMPONENTS NOT EQUAL - <");
118 IF NOT (STRING3
<= STRING5
) THEN
119 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
120 "COMPONENTS NOT EQUAL - <=");
123 IF STRING3
> STRING5
THEN
124 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
125 "COMPONENTS NOT EQUAL - >");
128 IF STRING3
>= STRING5
THEN
129 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
130 "COMPONENTS NOT EQUAL - >=");
133 IF NOT (STRING6
< STRING7
) THEN
134 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
135 "MULTIPLE COMPONENTS, COMPONENTS NOT EQUAL - <");
138 IF NOT (STRING6
<= STRING7
) THEN
139 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
140 "MULTIPLE COMPONENTS, COMPONENTS NOT EQUAL - " &
144 IF STRING6
> STRING7
THEN
145 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
146 "MULTIPLE COMPONENTS, COMPONENTS NOT EQUAL - >");
149 IF ">=" (LEFT
=> STRING6
, RIGHT
=> STRING7
) THEN
150 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
151 "MULTIPLE COMPONENTS, COMPONENTS NOT EQUAL - " &
155 IF STRING6
< STRING8
THEN
156 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
157 "MULTIPLE COMPONENTS, COMPONENTS EQUAL - <");
160 IF NOT (STRING6
<= STRING8
) THEN
161 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
162 "MULTIPLE COMPONENTS, COMPONENTS EQUAL - <=");
165 IF ">" (RIGHT
=> STRING8
, LEFT
=> STRING6
) THEN
166 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
167 "MULTIPLE COMPONENTS, COMPONENTS EQUAL - >");
170 IF NOT (STRING6
>= STRING8
) THEN
171 FAILED
("DIFFERENT BOUNDS, SAME NUMBER OF COMPONENTS, " &
172 "MULTIPLE COMPONENTS, COMPONENTS EQUAL - >=");
175 IF STRING8
< STRING9
THEN
176 FAILED
("DIFFERENT NUMBER OF COMPONENTS, " &
177 "COMPONENTS EQUAL - <");
180 IF STRING8
<= STRING9
THEN
181 FAILED
("DIFFERENT NUMBER OF COMPONENTS, " &
182 "COMPONENTS EQUAL - <=");
185 IF NOT (STRING8
> STRING9
) THEN
186 FAILED
("DIFFERENT NUMBER OF COMPONENTS, " &
187 "COMPONENTS EQUAL - >");
190 IF NOT (STRING8
>= STRING9
) THEN
191 FAILED
("DIFFERENT NUMBER OF COMPONENTS, " &
192 "COMPONENTS EQUAL - >=");
195 IF NOT (STRING8
< STRINGA
) THEN
196 FAILED
("DIFFERENT NUMBER OF COMPONENTS, " &
197 "COMPONENTS NOT EQUAL - <");
200 IF NOT (STRING8
<= STRINGA
) THEN
201 FAILED
("DIFFERENT NUMBER OF COMPONENTS, " &
202 "COMPONENTS NOT EQUAL - <=");
205 IF STRING8
> STRINGA
THEN
206 FAILED
("DIFFERENT NUMBER OF COMPONENTS, " &
207 "COMPONENTS NOT EQUAL - >");
210 IF STRING8
>= STRINGA
THEN
211 FAILED
("DIFFERENT NUMBER OF COMPONENTS, " &
212 "COMPONENTS NOT EQUAL - >=");