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 LENGTHS MUST MATCH IN ARRAY AND SLICE ASSIGNMENTS.
26 -- MORE SPECIFICALLY, TEST THAT ARRAY ASSIGNMENTS WITH MATCHING
27 -- LENGTHS DO NOT CAUSE CONSTRAINT_ERROR TO BE RAISED AND
28 -- ARE PERFORMED CORRECTLY.
29 -- (OVERLAPS BETWEEN THE OPERANDS OF THE ASSIGNMENT STATEMENT
30 -- ARE TREATED ELSEWHERE.)
32 -- DIVISION A : STATICALLY-DETERMINABLE NON-NULL LENGTHS.
45 TEST
( "C52103A" , "CHECK THAT IN ARRAY ASSIGNMENTS AND IN SLICE" &
46 " ASSIGNMENTS THE LENGTHS MUST MATCH" );
49 -- IN THIS TEST WE CAN'T USE AGGREGATE ASSIGNMENT (EXCEPT WHEN
50 -- THE AGGREGATES ARE STRING LITERALS); THEREFORE:
52 -- (1) ARRAYS WILL BE INITIALIZED BY INDIVIDUAL ASSIGNMENTS;
53 -- (2) CAN'T USE NON-NULL CONSTANT ARRAYS.
56 -- WE ASSUME THAT IN AN ARRAY_TYPE_DEFINITION THE INDEX PORTION
57 -- AND THE COMPONENT_TYPE PORTION ARE FUNCTIONALLY ORTHOGONAL
58 -- ALSO AT THE IMPLEMENTATION LEVEL, I.E. THAT THE CORRECTNESS
59 -- OF THE ACCESSING MECHANISM FOR ARRAYS DOES NOT DEPEND ON
60 -- COMPONENT_TYPE. ACCORDINGLY WE ARE TESTING FOR SOME BUT
61 -- NOT ALL KINDS OF COMPONENT_TYPE. (COMPONENT_TYPES INCLUDED:
62 -- INTEGER , CHARACTER , BOOLEAN .)
65 -- CASES DISTINGUISHED: ( 8 SELECTED CASES ARE IMPLEMENTED)
67 -- ( THE SELECTIONS ARE 7 , 8 , 9 ,
68 -- AND PRECISELY 5 CASES FROM THE
69 -- TWO 5-CASE SERIES 2-3-4-5-6 AND
72 -- ( IN THE CURRENT DIVISION, THE 5
73 -- FLOATING SELECTIONS ARE 2-11-4-
74 -- -13-6 ; THUS THE 8 SELECTIONS ARE
75 -- 2-11-4-13-6-7-8-9 (IN THIS ORDER)
79 -- ( EACH DIVISION COMPRISES 3 FILES,
80 -- COVERING RESPECTIVELY THE FIRST
81 -- 3 , NEXT 2 , AND LAST 3 OF THE 8
82 -- SELECTIONS FOR THE DIVISION.)
85 -- (1) ARRAY OBJECTS DECLARED IN THE SAME DECLARATION.
86 -- (TWO-DIMENSIONAL; NON-CONSTRAINABLE TYPEMARK.)
88 -- (THIS WILL BE THE ONLY CASE INVOLVING OBJECTS DECLARED
89 -- IN THE SAME DECLARATION.)
92 -- (2) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE
93 -- DEFINED WITHOUT EVER USING THE "BOX" COMPOUND SYMBOL.
94 -- (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)
96 -- (SLICING IS ILLEGAL; SINCE IN THIS TEST WE ARE NEVER
98 -- (EXCEPT FOR ONE-DIMENSIONAL ARRAYS OF CHARACTERS;
100 -- AND WE ARE NOT USING CONVERSION-TO-CONSTRAINED-TYPEMARKS
101 -- (AS IN T1(ARR) , WHERE ARR IS AN ARRAY
102 -- OBJECT AND T1 IS AN ARRAY TYPEMARK SIMILAR
103 -- -- AS MORE PRECISELY SPECIFIED IN RM 4.6(B) --
104 -- TO THE TYPEMARK OF ARR ),
105 -- THE ARRAY ASSIGNMENT CANNOT INVOLVE ANY SLIDING,
106 -- AND THE TYPEMARKS ARE ESSENTIALLY THE SAME.)
109 -- (3) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
110 -- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
111 -- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
112 -- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
114 -- (SINCE WE ARE NOT USING AGGREGATES
115 -- AND WE ARE NOT USING CONVERSION-TO-CONSTRAINED-TYPEMARKS,
116 -- THE ARRAY ASSIGNMENT CANNOT INVOLVE ANY SLIDING,
117 -- AND THE TYPEMARKS ARE ESSENTIALLY THE SAME.)
120 -- (4) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
121 -- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
122 -- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
123 -- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
125 -- (THE ASSIGNMENT MAY REQUIRE SLIDING.)
127 -- (MOST SUBSEQUENT SUBCASES IN THIS TEST (OTHER THAN NULL
128 -- ASSIGNMENTS) WILL INVOLVE SLIDING; WE ASSUME THAT
129 -- SUBCASES WHICH WORK IN CONJUNCTION WITH SLIDING WORK
130 -- ALSO WHEN NO SLIDING IS INVOLVED.)
133 -- (5) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
134 -- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
135 -- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
137 -- (STRING LITERALS ARE THE ONLY AGGREGATES WE ARE USING
138 -- IN THIS TEST. TO FORCE SLIDING, THE LOWER LIMIT IMPLIED
139 -- BY THE TYPEMARK WILL NOT BE 1 .)
142 -- (6) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
143 -- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
144 -- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
147 -- (7) UNSLICED OBJECTS OF THE PREDEFINED TYPE 'STRING' (BY
151 -- (8) SLICED OBJECTS OF THE PREDEFINED TYPE 'STRING' , WITH
155 -- (9) SLICED OBJECTS OF THE PREDEFINED TYPE 'STRING' (BY
159 -- (-) CONSTRAINABLE TYPES: ONLY SUBTESTS 2, 3, 4, 5, 6
160 -- WILL BE REPLICATED -- AS SUBTESTS 10, 11, 12, 13, 14 .
163 -- (10) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE
164 -- DEFINED USING THE "BOX" COMPOUND SYMBOL.
165 -- (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)
168 -- (11) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
169 -- WERE DEFINED USING THE "BOX" SYMBOL
170 -- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
171 -- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
174 -- (12) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
175 -- WERE DEFINED USING THE "BOX" SYMBOL
176 -- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
177 -- ((ONE-DIMENSIONAL) ARRAYS OF BOOLEANS.)
180 -- (13) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
181 -- WERE DEFINED USING THE "BOX" SYMBOL
182 -- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
184 -- (STRING LITERALS ARE THE ONLY AGGREGATES WE ARE USING
185 -- IN THIS TEST. TO FORCE SLIDING, THE LOWER LIMIT IMPLIED
186 -- BY THE TYPEMARK WILL NOT BE 1 .)
189 -- (14) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
190 -- WERE DEFINED USING THE "BOX" SYMBOL
191 -- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
195 -- (-) SPECIAL CASES: NULL ARRAYS....... TREATED IN DIVISION B.
196 -- SUPERLONG ARRAYS.. (TREATED FOR DYNAMIC
198 -- DIVISIONS C AND D .)
201 -- (-) THE DYNAMIC-ARRAY COUNTERPARTS OF THESE TESTS ARE IN DI-
202 -- VISIONS C (FOR NON-NULL ARRAYS) AND D (FOR NULL ARRAYS).
207 -------------------------------------------------------------------
209 -- (2) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE
210 -- DEFINED WITHOUT EVER USING THE "BOX" COMPOUND SYMBOL.
211 -- (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)
215 TYPE TA21
IS ARRAY( INTEGER RANGE 1..5 , INTEGER RANGE 0..7
218 SUBTYPE TA22
IS TA21
;
225 -- INITIALIZATION OF RHS ARRAY:
230 ARR21
( I
, J
) := I
* I
* J
;
240 -- CHECKING THE VALUES AFTER THE ARRAY ASSIGNMENT:
246 IF ARR22
( I
, J
) /= ( I
-0 ) * ( I
-0 ) * ( J
-0 )
248 FAILED
( "ARRAY ASSIGNMENT NOT CORRECT" );
259 FAILED
( "EXCEPTION RAISED - SUBTEST 2" );
264 -------------------------------------------------------------------
266 -- (11) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
267 -- WERE DEFINED USING THE "BOX" SYMBOL
268 -- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
269 -- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
273 TYPE TABOX1
IS ARRAY( INTEGER RANGE <> ) OF INTEGER ;
275 SUBTYPE TABOX11
IS TABOX1
( 1..5 ) ;
278 ARRX12
: TABOX1
( 5..9 );
282 -- INITIALIZATION OF RHS ARRAY:
285 ARRX11
( I
) := I
* I
;
293 -- CHECKING THE VALUES AFTER THE ARRAY ASSIGNMENT:
297 IF ARRX12
( I
) /= ( I
-4 ) * ( I
-4 )
299 FAILED
( "ARRAY ASSIGNMENT NOT CORRECT (11)" );
308 FAILED
( "EXCEPTION RAISED - SUBTEST 11" );
313 -------------------------------------------------------------------
315 -- (4) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
316 -- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
317 -- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
318 -- ((ONE-DIMENSIONAL) ARRAYS OF BOOLEANS.)
322 TYPE TA42
IS ARRAY( INTEGER RANGE 1..5 ) OF BOOLEAN ;
324 SUBTYPE TA41
IS TA42
;
331 -- INITIALIZATION OF RHS ARRAY:
334 ARR41
( I
) := FALSE ; -- VALUES WILL BE: F T F F T
339 ARR41
(5) := TRUE ; -- RHS VALUES ARE: F T F F T
342 -- INITIALIZATION OF UNUSED COMPONENT OF LHS ARRAY:
349 ARR42
(2..5) := ARR41
(1..4) ;
352 -- CHECKING THE VALUES AFTER THE SLICE ASSIGNMENT:
356 IF ARR42
( I
) /= FALSE AND I
/= 3
358 FAILED
( "SLICE ASSIGNMENT NOT CORRECT (VALUES)" );
359 ELSIF ARR42
( I
) /= TRUE AND I
= 3
361 FAILED
( "SLICE ASSIGNMENT NOT CORRECT (VALUES)" );
366 IF ARR42
( 1 ) /= TRUE
368 FAILED
( "SLICE ASSIGNMENT NOT CORRECT (SLIDING)" );
374 FAILED
( "EXCEPTION RAISED - SUBTEST 4" );
379 -------------------------------------------------------------------