-- C52103A.ADA
|
-- C52103A.ADA
|
|
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
|
-- F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
|
-- unlimited rights in the software and documentation contained herein.
|
-- unlimited rights in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- released technical data and computer software in whole or in part, in
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
-- CHECK THAT LENGTHS MUST MATCH IN ARRAY AND SLICE ASSIGNMENTS.
|
-- CHECK THAT LENGTHS MUST MATCH IN ARRAY AND SLICE ASSIGNMENTS.
|
-- MORE SPECIFICALLY, TEST THAT ARRAY ASSIGNMENTS WITH MATCHING
|
-- MORE SPECIFICALLY, TEST THAT ARRAY ASSIGNMENTS WITH MATCHING
|
-- LENGTHS DO NOT CAUSE CONSTRAINT_ERROR TO BE RAISED AND
|
-- LENGTHS DO NOT CAUSE CONSTRAINT_ERROR TO BE RAISED AND
|
-- ARE PERFORMED CORRECTLY.
|
-- ARE PERFORMED CORRECTLY.
|
-- (OVERLAPS BETWEEN THE OPERANDS OF THE ASSIGNMENT STATEMENT
|
-- (OVERLAPS BETWEEN THE OPERANDS OF THE ASSIGNMENT STATEMENT
|
-- ARE TREATED ELSEWHERE.)
|
-- ARE TREATED ELSEWHERE.)
|
|
|
-- DIVISION A : STATICALLY-DETERMINABLE NON-NULL LENGTHS.
|
-- DIVISION A : STATICALLY-DETERMINABLE NON-NULL LENGTHS.
|
|
|
|
|
-- RM 07/20/81
|
-- RM 07/20/81
|
-- SPS 2/18/83
|
-- SPS 2/18/83
|
|
|
WITH REPORT;
|
WITH REPORT;
|
PROCEDURE C52103A IS
|
PROCEDURE C52103A IS
|
|
|
USE REPORT ;
|
USE REPORT ;
|
|
|
BEGIN
|
BEGIN
|
|
|
TEST( "C52103A" , "CHECK THAT IN ARRAY ASSIGNMENTS AND IN SLICE" &
|
TEST( "C52103A" , "CHECK THAT IN ARRAY ASSIGNMENTS AND IN SLICE" &
|
" ASSIGNMENTS THE LENGTHS MUST MATCH" );
|
" ASSIGNMENTS THE LENGTHS MUST MATCH" );
|
|
|
|
|
-- IN THIS TEST WE CAN'T USE AGGREGATE ASSIGNMENT (EXCEPT WHEN
|
-- IN THIS TEST WE CAN'T USE AGGREGATE ASSIGNMENT (EXCEPT WHEN
|
-- THE AGGREGATES ARE STRING LITERALS); THEREFORE:
|
-- THE AGGREGATES ARE STRING LITERALS); THEREFORE:
|
--
|
--
|
-- (1) ARRAYS WILL BE INITIALIZED BY INDIVIDUAL ASSIGNMENTS;
|
-- (1) ARRAYS WILL BE INITIALIZED BY INDIVIDUAL ASSIGNMENTS;
|
-- (2) CAN'T USE NON-NULL CONSTANT ARRAYS.
|
-- (2) CAN'T USE NON-NULL CONSTANT ARRAYS.
|
|
|
|
|
-- WE ASSUME THAT IN AN ARRAY_TYPE_DEFINITION THE INDEX PORTION
|
-- WE ASSUME THAT IN AN ARRAY_TYPE_DEFINITION THE INDEX PORTION
|
-- AND THE COMPONENT_TYPE PORTION ARE FUNCTIONALLY ORTHOGONAL
|
-- AND THE COMPONENT_TYPE PORTION ARE FUNCTIONALLY ORTHOGONAL
|
-- ALSO AT THE IMPLEMENTATION LEVEL, I.E. THAT THE CORRECTNESS
|
-- ALSO AT THE IMPLEMENTATION LEVEL, I.E. THAT THE CORRECTNESS
|
-- OF THE ACCESSING MECHANISM FOR ARRAYS DOES NOT DEPEND ON
|
-- OF THE ACCESSING MECHANISM FOR ARRAYS DOES NOT DEPEND ON
|
-- COMPONENT_TYPE. ACCORDINGLY WE ARE TESTING FOR SOME BUT
|
-- COMPONENT_TYPE. ACCORDINGLY WE ARE TESTING FOR SOME BUT
|
-- NOT ALL KINDS OF COMPONENT_TYPE. (COMPONENT_TYPES INCLUDED:
|
-- NOT ALL KINDS OF COMPONENT_TYPE. (COMPONENT_TYPES INCLUDED:
|
-- INTEGER , CHARACTER , BOOLEAN .)
|
-- INTEGER , CHARACTER , BOOLEAN .)
|
|
|
|
|
-- CASES DISTINGUISHED: ( 8 SELECTED CASES ARE IMPLEMENTED)
|
-- CASES DISTINGUISHED: ( 8 SELECTED CASES ARE IMPLEMENTED)
|
--
|
--
|
-- ( THE SELECTIONS ARE 7 , 8 , 9 ,
|
-- ( THE SELECTIONS ARE 7 , 8 , 9 ,
|
-- AND PRECISELY 5 CASES FROM THE
|
-- AND PRECISELY 5 CASES FROM THE
|
-- TWO 5-CASE SERIES 2-3-4-5-6 AND
|
-- TWO 5-CASE SERIES 2-3-4-5-6 AND
|
-- 10-11-12-13-14)
|
-- 10-11-12-13-14)
|
--
|
--
|
-- ( IN THE CURRENT DIVISION, THE 5
|
-- ( IN THE CURRENT DIVISION, THE 5
|
-- FLOATING SELECTIONS ARE 2-11-4-
|
-- FLOATING SELECTIONS ARE 2-11-4-
|
-- -13-6 ; THUS THE 8 SELECTIONS ARE
|
-- -13-6 ; THUS THE 8 SELECTIONS ARE
|
-- 2-11-4-13-6-7-8-9 (IN THIS ORDER)
|
-- 2-11-4-13-6-7-8-9 (IN THIS ORDER)
|
-- .)
|
-- .)
|
--
|
--
|
--
|
--
|
-- ( EACH DIVISION COMPRISES 3 FILES,
|
-- ( EACH DIVISION COMPRISES 3 FILES,
|
-- COVERING RESPECTIVELY THE FIRST
|
-- COVERING RESPECTIVELY THE FIRST
|
-- 3 , NEXT 2 , AND LAST 3 OF THE 8
|
-- 3 , NEXT 2 , AND LAST 3 OF THE 8
|
-- SELECTIONS FOR THE DIVISION.)
|
-- SELECTIONS FOR THE DIVISION.)
|
--
|
--
|
--
|
--
|
-- (1) ARRAY OBJECTS DECLARED IN THE SAME DECLARATION.
|
-- (1) ARRAY OBJECTS DECLARED IN THE SAME DECLARATION.
|
-- (TWO-DIMENSIONAL; NON-CONSTRAINABLE TYPEMARK.)
|
-- (TWO-DIMENSIONAL; NON-CONSTRAINABLE TYPEMARK.)
|
--
|
--
|
-- (THIS WILL BE THE ONLY CASE INVOLVING OBJECTS DECLARED
|
-- (THIS WILL BE THE ONLY CASE INVOLVING OBJECTS DECLARED
|
-- IN THE SAME DECLARATION.)
|
-- IN THE SAME DECLARATION.)
|
--
|
--
|
--
|
--
|
-- (2) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE
|
-- (2) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE
|
-- DEFINED WITHOUT EVER USING THE "BOX" COMPOUND SYMBOL.
|
-- DEFINED WITHOUT EVER USING THE "BOX" COMPOUND SYMBOL.
|
-- (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)
|
-- (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)
|
--
|
--
|
-- (SLICING IS ILLEGAL; SINCE IN THIS TEST WE ARE NEVER
|
-- (SLICING IS ILLEGAL; SINCE IN THIS TEST WE ARE NEVER
|
-- USING AGGREGATES
|
-- USING AGGREGATES
|
-- (EXCEPT FOR ONE-DIMENSIONAL ARRAYS OF CHARACTERS;
|
-- (EXCEPT FOR ONE-DIMENSIONAL ARRAYS OF CHARACTERS;
|
-- SEE (5) )
|
-- SEE (5) )
|
-- AND WE ARE NOT USING CONVERSION-TO-CONSTRAINED-TYPEMARKS
|
-- AND WE ARE NOT USING CONVERSION-TO-CONSTRAINED-TYPEMARKS
|
-- (AS IN T1(ARR) , WHERE ARR IS AN ARRAY
|
-- (AS IN T1(ARR) , WHERE ARR IS AN ARRAY
|
-- OBJECT AND T1 IS AN ARRAY TYPEMARK SIMILAR
|
-- OBJECT AND T1 IS AN ARRAY TYPEMARK SIMILAR
|
-- -- AS MORE PRECISELY SPECIFIED IN RM 4.6(B) --
|
-- -- AS MORE PRECISELY SPECIFIED IN RM 4.6(B) --
|
-- TO THE TYPEMARK OF ARR ),
|
-- TO THE TYPEMARK OF ARR ),
|
-- THE ARRAY ASSIGNMENT CANNOT INVOLVE ANY SLIDING,
|
-- THE ARRAY ASSIGNMENT CANNOT INVOLVE ANY SLIDING,
|
-- AND THE TYPEMARKS ARE ESSENTIALLY THE SAME.)
|
-- AND THE TYPEMARKS ARE ESSENTIALLY THE SAME.)
|
--
|
--
|
--
|
--
|
-- (3) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- (3) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
|
-- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
|
-- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
|
--
|
--
|
-- (SINCE WE ARE NOT USING AGGREGATES
|
-- (SINCE WE ARE NOT USING AGGREGATES
|
-- AND WE ARE NOT USING CONVERSION-TO-CONSTRAINED-TYPEMARKS,
|
-- AND WE ARE NOT USING CONVERSION-TO-CONSTRAINED-TYPEMARKS,
|
-- THE ARRAY ASSIGNMENT CANNOT INVOLVE ANY SLIDING,
|
-- THE ARRAY ASSIGNMENT CANNOT INVOLVE ANY SLIDING,
|
-- AND THE TYPEMARKS ARE ESSENTIALLY THE SAME.)
|
-- AND THE TYPEMARKS ARE ESSENTIALLY THE SAME.)
|
--
|
--
|
--
|
--
|
-- (4) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- (4) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
|
-- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
|
-- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
|
--
|
--
|
-- (THE ASSIGNMENT MAY REQUIRE SLIDING.)
|
-- (THE ASSIGNMENT MAY REQUIRE SLIDING.)
|
--
|
--
|
-- (MOST SUBSEQUENT SUBCASES IN THIS TEST (OTHER THAN NULL
|
-- (MOST SUBSEQUENT SUBCASES IN THIS TEST (OTHER THAN NULL
|
-- ASSIGNMENTS) WILL INVOLVE SLIDING; WE ASSUME THAT
|
-- ASSIGNMENTS) WILL INVOLVE SLIDING; WE ASSUME THAT
|
-- SUBCASES WHICH WORK IN CONJUNCTION WITH SLIDING WORK
|
-- SUBCASES WHICH WORK IN CONJUNCTION WITH SLIDING WORK
|
-- ALSO WHEN NO SLIDING IS INVOLVED.)
|
-- ALSO WHEN NO SLIDING IS INVOLVED.)
|
--
|
--
|
--
|
--
|
-- (5) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- (5) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
|
-- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
|
-- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
|
-- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
|
--
|
--
|
-- (STRING LITERALS ARE THE ONLY AGGREGATES WE ARE USING
|
-- (STRING LITERALS ARE THE ONLY AGGREGATES WE ARE USING
|
-- IN THIS TEST. TO FORCE SLIDING, THE LOWER LIMIT IMPLIED
|
-- IN THIS TEST. TO FORCE SLIDING, THE LOWER LIMIT IMPLIED
|
-- BY THE TYPEMARK WILL NOT BE 1 .)
|
-- BY THE TYPEMARK WILL NOT BE 1 .)
|
--
|
--
|
--
|
--
|
-- (6) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- (6) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
|
-- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
|
-- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
|
-- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
|
--
|
--
|
--
|
--
|
-- (7) UNSLICED OBJECTS OF THE PREDEFINED TYPE 'STRING' (BY
|
-- (7) UNSLICED OBJECTS OF THE PREDEFINED TYPE 'STRING' (BY
|
-- THEMSELVES).
|
-- THEMSELVES).
|
--
|
--
|
--
|
--
|
-- (8) SLICED OBJECTS OF THE PREDEFINED TYPE 'STRING' , WITH
|
-- (8) SLICED OBJECTS OF THE PREDEFINED TYPE 'STRING' , WITH
|
-- STRING LITERALS.
|
-- STRING LITERALS.
|
--
|
--
|
--
|
--
|
-- (9) SLICED OBJECTS OF THE PREDEFINED TYPE 'STRING' (BY
|
-- (9) SLICED OBJECTS OF THE PREDEFINED TYPE 'STRING' (BY
|
-- THEMSELVES).
|
-- THEMSELVES).
|
--
|
--
|
--
|
--
|
-- (-) CONSTRAINABLE TYPES: ONLY SUBTESTS 2, 3, 4, 5, 6
|
-- (-) CONSTRAINABLE TYPES: ONLY SUBTESTS 2, 3, 4, 5, 6
|
-- WILL BE REPLICATED -- AS SUBTESTS 10, 11, 12, 13, 14 .
|
-- WILL BE REPLICATED -- AS SUBTESTS 10, 11, 12, 13, 14 .
|
--
|
--
|
--
|
--
|
-- (10) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE
|
-- (10) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE
|
-- DEFINED USING THE "BOX" COMPOUND SYMBOL.
|
-- DEFINED USING THE "BOX" COMPOUND SYMBOL.
|
-- (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)
|
-- (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)
|
--
|
--
|
--
|
--
|
-- (11) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- (11) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- WERE DEFINED USING THE "BOX" SYMBOL
|
-- WERE DEFINED USING THE "BOX" SYMBOL
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
|
-- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
|
--
|
--
|
--
|
--
|
-- (12) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- (12) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- WERE DEFINED USING THE "BOX" SYMBOL
|
-- WERE DEFINED USING THE "BOX" SYMBOL
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- ((ONE-DIMENSIONAL) ARRAYS OF BOOLEANS.)
|
-- ((ONE-DIMENSIONAL) ARRAYS OF BOOLEANS.)
|
--
|
--
|
--
|
--
|
-- (13) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- (13) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- WERE DEFINED USING THE "BOX" SYMBOL
|
-- WERE DEFINED USING THE "BOX" SYMBOL
|
-- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
|
-- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
|
--
|
--
|
-- (STRING LITERALS ARE THE ONLY AGGREGATES WE ARE USING
|
-- (STRING LITERALS ARE THE ONLY AGGREGATES WE ARE USING
|
-- IN THIS TEST. TO FORCE SLIDING, THE LOWER LIMIT IMPLIED
|
-- IN THIS TEST. TO FORCE SLIDING, THE LOWER LIMIT IMPLIED
|
-- BY THE TYPEMARK WILL NOT BE 1 .)
|
-- BY THE TYPEMARK WILL NOT BE 1 .)
|
--
|
--
|
--
|
--
|
-- (14) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- (14) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- WERE DEFINED USING THE "BOX" SYMBOL
|
-- WERE DEFINED USING THE "BOX" SYMBOL
|
-- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
|
-- AND FOR WHICH THE COMPONENT TYPE IS 'CHARACTER' .
|
--
|
--
|
--
|
--
|
--
|
--
|
-- (-) SPECIAL CASES: NULL ARRAYS....... TREATED IN DIVISION B.
|
-- (-) SPECIAL CASES: NULL ARRAYS....... TREATED IN DIVISION B.
|
-- SUPERLONG ARRAYS.. (TREATED FOR DYNAMIC
|
-- SUPERLONG ARRAYS.. (TREATED FOR DYNAMIC
|
-- ARRAYS ONLY,
|
-- ARRAYS ONLY,
|
-- DIVISIONS C AND D .)
|
-- DIVISIONS C AND D .)
|
--
|
--
|
--
|
--
|
-- (-) THE DYNAMIC-ARRAY COUNTERPARTS OF THESE TESTS ARE IN DI-
|
-- (-) THE DYNAMIC-ARRAY COUNTERPARTS OF THESE TESTS ARE IN DI-
|
-- VISIONS C (FOR NON-NULL ARRAYS) AND D (FOR NULL ARRAYS).
|
-- VISIONS C (FOR NON-NULL ARRAYS) AND D (FOR NULL ARRAYS).
|
--
|
--
|
--
|
--
|
|
|
|
|
-------------------------------------------------------------------
|
-------------------------------------------------------------------
|
|
|
-- (2) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE
|
-- (2) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE
|
-- DEFINED WITHOUT EVER USING THE "BOX" COMPOUND SYMBOL.
|
-- DEFINED WITHOUT EVER USING THE "BOX" COMPOUND SYMBOL.
|
-- (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)
|
-- (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)
|
|
|
DECLARE
|
DECLARE
|
|
|
TYPE TA21 IS ARRAY( INTEGER RANGE 1..5 , INTEGER RANGE 0..7
|
TYPE TA21 IS ARRAY( INTEGER RANGE 1..5 , INTEGER RANGE 0..7
|
) OF INTEGER ;
|
) OF INTEGER ;
|
|
|
SUBTYPE TA22 IS TA21 ;
|
SUBTYPE TA22 IS TA21 ;
|
|
|
ARR21 : TA21 ;
|
ARR21 : TA21 ;
|
ARR22 : TA22 ;
|
ARR22 : TA22 ;
|
|
|
BEGIN
|
BEGIN
|
|
|
-- INITIALIZATION OF RHS ARRAY:
|
-- INITIALIZATION OF RHS ARRAY:
|
|
|
FOR I IN 1..5 LOOP
|
FOR I IN 1..5 LOOP
|
|
|
FOR J IN 0..7 LOOP
|
FOR J IN 0..7 LOOP
|
ARR21( I , J ) := I * I * J ;
|
ARR21( I , J ) := I * I * J ;
|
END LOOP;
|
END LOOP;
|
|
|
END LOOP;
|
END LOOP;
|
|
|
|
|
-- ARRAY ASSIGNMENT:
|
-- ARRAY ASSIGNMENT:
|
|
|
ARR22 := ARR21 ;
|
ARR22 := ARR21 ;
|
|
|
-- CHECKING THE VALUES AFTER THE ARRAY ASSIGNMENT:
|
-- CHECKING THE VALUES AFTER THE ARRAY ASSIGNMENT:
|
|
|
FOR I IN 1..5 LOOP
|
FOR I IN 1..5 LOOP
|
|
|
FOR J IN 0..7 LOOP
|
FOR J IN 0..7 LOOP
|
|
|
IF ARR22( I , J ) /= ( I-0 ) * ( I-0 ) * ( J-0 )
|
IF ARR22( I , J ) /= ( I-0 ) * ( I-0 ) * ( J-0 )
|
THEN
|
THEN
|
FAILED( "ARRAY ASSIGNMENT NOT CORRECT" );
|
FAILED( "ARRAY ASSIGNMENT NOT CORRECT" );
|
END IF;
|
END IF;
|
|
|
END LOOP;
|
END LOOP;
|
|
|
END LOOP;
|
END LOOP;
|
|
|
|
|
EXCEPTION
|
EXCEPTION
|
|
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED( "EXCEPTION RAISED - SUBTEST 2" );
|
FAILED( "EXCEPTION RAISED - SUBTEST 2" );
|
|
|
END ;
|
END ;
|
|
|
|
|
-------------------------------------------------------------------
|
-------------------------------------------------------------------
|
|
|
-- (11) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- (11) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- WERE DEFINED USING THE "BOX" SYMBOL
|
-- WERE DEFINED USING THE "BOX" SYMBOL
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
|
-- ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)
|
|
|
DECLARE
|
DECLARE
|
|
|
TYPE TABOX1 IS ARRAY( INTEGER RANGE <> ) OF INTEGER ;
|
TYPE TABOX1 IS ARRAY( INTEGER RANGE <> ) OF INTEGER ;
|
|
|
SUBTYPE TABOX11 IS TABOX1( 1..5 ) ;
|
SUBTYPE TABOX11 IS TABOX1( 1..5 ) ;
|
|
|
ARRX11 : TABOX11 ;
|
ARRX11 : TABOX11 ;
|
ARRX12 : TABOX1( 5..9 );
|
ARRX12 : TABOX1( 5..9 );
|
|
|
BEGIN
|
BEGIN
|
|
|
-- INITIALIZATION OF RHS ARRAY:
|
-- INITIALIZATION OF RHS ARRAY:
|
|
|
FOR I IN 1..5 LOOP
|
FOR I IN 1..5 LOOP
|
ARRX11( I ) := I * I ;
|
ARRX11( I ) := I * I ;
|
END LOOP;
|
END LOOP;
|
|
|
|
|
-- ARRAY ASSIGNMENT:
|
-- ARRAY ASSIGNMENT:
|
|
|
ARRX12 := ARRX11 ;
|
ARRX12 := ARRX11 ;
|
|
|
-- CHECKING THE VALUES AFTER THE ARRAY ASSIGNMENT:
|
-- CHECKING THE VALUES AFTER THE ARRAY ASSIGNMENT:
|
|
|
FOR I IN 5..9 LOOP
|
FOR I IN 5..9 LOOP
|
|
|
IF ARRX12( I ) /= ( I-4 ) * ( I-4 )
|
IF ARRX12( I ) /= ( I-4 ) * ( I-4 )
|
THEN
|
THEN
|
FAILED( "ARRAY ASSIGNMENT NOT CORRECT (11)" );
|
FAILED( "ARRAY ASSIGNMENT NOT CORRECT (11)" );
|
END IF;
|
END IF;
|
|
|
END LOOP;
|
END LOOP;
|
|
|
|
|
EXCEPTION
|
EXCEPTION
|
|
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED( "EXCEPTION RAISED - SUBTEST 11" );
|
FAILED( "EXCEPTION RAISED - SUBTEST 11" );
|
|
|
END ;
|
END ;
|
|
|
|
|
-------------------------------------------------------------------
|
-------------------------------------------------------------------
|
|
|
-- (4) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- (4) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS
|
-- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
|
-- WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- AND FOR WHICH THE COMPONENT TYPE IS NOT 'CHARACTER' .
|
-- ((ONE-DIMENSIONAL) ARRAYS OF BOOLEANS.)
|
-- ((ONE-DIMENSIONAL) ARRAYS OF BOOLEANS.)
|
|
|
DECLARE
|
DECLARE
|
|
|
TYPE TA42 IS ARRAY( INTEGER RANGE 1..5 ) OF BOOLEAN ;
|
TYPE TA42 IS ARRAY( INTEGER RANGE 1..5 ) OF BOOLEAN ;
|
|
|
SUBTYPE TA41 IS TA42 ;
|
SUBTYPE TA41 IS TA42 ;
|
|
|
ARR41 : TA41 ;
|
ARR41 : TA41 ;
|
ARR42 : TA42 ;
|
ARR42 : TA42 ;
|
|
|
BEGIN
|
BEGIN
|
|
|
-- INITIALIZATION OF RHS ARRAY:
|
-- INITIALIZATION OF RHS ARRAY:
|
|
|
FOR I IN 1..5 LOOP
|
FOR I IN 1..5 LOOP
|
ARR41( I ) := FALSE ; -- VALUES WILL BE: F T F F T
|
ARR41( I ) := FALSE ; -- VALUES WILL BE: F T F F T
|
END LOOP;
|
END LOOP;
|
|
|
ARR41(2) := TRUE ;
|
ARR41(2) := TRUE ;
|
|
|
ARR41(5) := TRUE ; -- RHS VALUES ARE: F T F F T
|
ARR41(5) := TRUE ; -- RHS VALUES ARE: F T F F T
|
|
|
|
|
-- INITIALIZATION OF UNUSED COMPONENT OF LHS ARRAY:
|
-- INITIALIZATION OF UNUSED COMPONENT OF LHS ARRAY:
|
|
|
ARR42( 1 ) := TRUE ;
|
ARR42( 1 ) := TRUE ;
|
|
|
|
|
-- SLICE ASSIGNMENT:
|
-- SLICE ASSIGNMENT:
|
|
|
ARR42(2..5) := ARR41(1..4) ;
|
ARR42(2..5) := ARR41(1..4) ;
|
|
|
|
|
-- CHECKING THE VALUES AFTER THE SLICE ASSIGNMENT:
|
-- CHECKING THE VALUES AFTER THE SLICE ASSIGNMENT:
|
|
|
FOR I IN 2..5 LOOP
|
FOR I IN 2..5 LOOP
|
|
|
IF ARR42( I ) /= FALSE AND I /= 3
|
IF ARR42( I ) /= FALSE AND I /= 3
|
THEN
|
THEN
|
FAILED( "SLICE ASSIGNMENT NOT CORRECT (VALUES)" );
|
FAILED( "SLICE ASSIGNMENT NOT CORRECT (VALUES)" );
|
ELSIF ARR42( I ) /= TRUE AND I = 3
|
ELSIF ARR42( I ) /= TRUE AND I = 3
|
THEN
|
THEN
|
FAILED( "SLICE ASSIGNMENT NOT CORRECT (VALUES)" );
|
FAILED( "SLICE ASSIGNMENT NOT CORRECT (VALUES)" );
|
END IF;
|
END IF;
|
|
|
END LOOP;
|
END LOOP;
|
|
|
IF ARR42( 1 ) /= TRUE
|
IF ARR42( 1 ) /= TRUE
|
THEN
|
THEN
|
FAILED( "SLICE ASSIGNMENT NOT CORRECT (SLIDING)" );
|
FAILED( "SLICE ASSIGNMENT NOT CORRECT (SLIDING)" );
|
END IF;
|
END IF;
|
|
|
EXCEPTION
|
EXCEPTION
|
|
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED( "EXCEPTION RAISED - SUBTEST 4" );
|
FAILED( "EXCEPTION RAISED - SUBTEST 4" );
|
|
|
END ;
|
END ;
|
|
|
|
|
-------------------------------------------------------------------
|
-------------------------------------------------------------------
|
|
|
|
|
RESULT ;
|
RESULT ;
|
|
|
|
|
END C52103A;
|
END C52103A;
|
|
|