Subversion Repositories openrisc_me

-- C52103K.ADA

--                             Grant of Unlimited Rights

--

--     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 

--     unlimited rights in the software and documentation contained herein.

--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making 

--     this public release, the Government intends to confer upon all 

--     recipients unlimited rights  equal to those held by the Government.  

--     These rights include rights to use, duplicate, release or disclose the 

--     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 

--     to do so.

--

--                                    DISCLAIMER

--

--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR

--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 

--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE

--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 

--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A

--     PARTICULAR PURPOSE OF SAID MATERIAL.

--*

-- CHECK THAT LENGTHS MUST MATCH IN ARRAY AND SLICE ASSIGNMENTS.

--    MORE SPECIFICALLY, TEST THAT ARRAY ASSIGNMENTS WITH MATCHING

--    LENGTHS DO NOT CAUSE  CONSTRAINT_ERROR  TO BE RAISED AND

--    ARE PERFORMED CORRECTLY.

--    (OVERLAPS BETWEEN THE OPERANDS OF THE ASSIGNMENT STATEMENT

--    ARE TREATED ELSEWHERE.)

--    DIVISION  C :  NON-NULL ARRAYS WHOSE LENGTHS ARE NOT DETERMINABLE

--                   STATICALLY.

-- RM 07/20/81

-- SPS 3/22/83

WITH REPORT;

PROCEDURE  C52103K  IS

     USE  REPORT ;

BEGIN

     TEST( "C52103K" , "CHECK THAT IN ARRAY ASSIGNMENTS AND IN SLICE" &

                       " ASSIGNMENTS  THE LENGTHS MUST MATCH" );

     -- IN THIS TEST WE CAN'T USE AGGREGATE ASSIGNMENT (EXCEPT WHEN

     --    THE AGGREGATES ARE STRING LITERALS); THEREFORE:

     --

     --    (1) ARRAYS WILL BE INITIALIZED BY INDIVIDUAL ASSIGNMENTS;

     --    (2) CAN'T USE NON-NULL CONSTANT ARRAYS.

     -- WE ASSUME THAT IN AN ARRAY_TYPE_DEFINITION THE INDEX PORTION

     --    AND THE COMPONENT_TYPE PORTION ARE FUNCTIONALLY ORTHOGONAL

     --    ALSO AT THE IMPLEMENTATION LEVEL, I.E. THAT THE CORRECTNESS

     --    OF THE ACCESSING MECHANISM FOR ARRAYS DOES NOT DEPEND ON

     --    COMPONENT_TYPE.  ACCORDINGLY WE ARE TESTING FOR SOME BUT

     --    NOT ALL KINDS OF COMPONENT_TYPE.  (COMPONENT_TYPES INCLUDED:

     --    INTEGER , CHARACTER , BOOLEAN .)

     -- CASES DISTINGUISHED:         ( 8 SELECTED CASES ARE IMPLEMENTED)

     --

     --                              ( THE SELECTIONS ARE  7 , 8 , 9 ,

     --                                AND PRECISELY 5 CASES FROM THE

     --                                TWO 5-CASE SERIES 2-3-4-5-6 AND

     --                                                  10-11-12-13-14)

     --

     --                              ( IN THE CURRENT DIVISION, THE 5

     --                                FLOATING SELECTIONS ARE 2-11-4-

     --                                -13-6 ; THUS THE 8 SELECTIONS ARE

     --                                2-11-4-13-6-7-8-9 (IN THIS ORDER)

     --                                .)

     --

     --

     --                              ( EACH DIVISION COMPRISES 3 FILES,

     --                                COVERING RESPECTIVELY THE FIRST

     --                                3 , NEXT 2 , AND LAST 3 OF THE 8

     --                                SELECTIONS FOR THE DIVISION.)

     --

     --

     --    (1) ARRAY OBJECTS DECLARED IN THE SAME DECLARATION.

     --        (TWO-DIMENSIONAL; NON-CONSTRAINABLE TYPEMARK.)

     --

     --        (THIS WILL BE THE ONLY CASE INVOLVING OBJECTS DECLARED

     --        IN THE SAME DECLARATION.)

     --

     --

     --    (2) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE

     --        DEFINED WITHOUT EVER USING THE "BOX" COMPOUND SYMBOL.

     --        (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)

     --

     --        (SLICING IS ILLEGAL; SINCE IN THIS TEST WE ARE NEVER

     --        USING AGGREGATES

     --                (EXCEPT FOR ONE-DIMENSIONAL ARRAYS OF CHARACTERS;

     --                SEE  (5) )

     --        AND WE ARE NOT USING CONVERSION-TO-CONSTRAINED-TYPEMARKS

     --                (AS IN    T1(ARR)   , WHERE  ARR  IS AN ARRAY

     --                OBJECT AND  T1  IS AN ARRAY TYPEMARK SIMILAR

     --                -- AS MORE PRECISELY SPECIFIED IN  RM 4.6(B) --

     --                TO THE TYPEMARK OF  ARR ),

     --        THE ARRAY ASSIGNMENT CANNOT INVOLVE ANY SLIDING,

     --        AND THE TYPEMARKS ARE ESSENTIALLY THE SAME.)

     --

     --

     --    (3) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS

     --        WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL

     --        AND FOR WHICH THE COMPONENT TYPE IS NOT  'CHARACTER' .

     --        ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)

     --

     --        (SINCE WE ARE NOT USING AGGREGATES

     --        AND WE ARE NOT USING CONVERSION-TO-CONSTRAINED-TYPEMARKS,

     --        THE ARRAY ASSIGNMENT CANNOT INVOLVE ANY SLIDING,

     --        AND THE TYPEMARKS ARE ESSENTIALLY THE SAME.)

     --

     --

     --    (4) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS

     --        WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL

     --        AND FOR WHICH THE COMPONENT TYPE IS NOT  'CHARACTER' .

     --        ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)

     --

     --        (THE ASSIGNMENT MAY REQUIRE SLIDING.)

     --

     --        (MOST SUBSEQUENT SUBCASES IN THIS TEST (OTHER THAN NULL

     --        ASSIGNMENTS) WILL INVOLVE SLIDING; WE ASSUME THAT

     --        SUBCASES WHICH WORK IN CONJUNCTION WITH SLIDING  WORK

     --        ALSO WHEN NO SLIDING IS INVOLVED.)

     --

     --

     --    (5) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS

     --        WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL

     --        AND FOR WHICH THE COMPONENT TYPE IS  'CHARACTER' .

     --

     --        (STRING LITERALS ARE THE ONLY AGGREGATES WE ARE USING

     --        IN THIS TEST.  TO FORCE SLIDING, THE LOWER LIMIT IMPLIED

     --        BY THE TYPEMARK WILL NOT BE  1 .)

     --

     --

     --    (6) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS

     --        WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL

     --        AND FOR WHICH THE COMPONENT TYPE IS  'CHARACTER' .

     --

     --

     --    (7) UNSLICED OBJECTS OF THE PREDEFINED TYPE  'STRING'  (BY

     --        THEMSELVES).

     --

     --

     --    (8) SLICED OBJECTS OF THE PREDEFINED TYPE  'STRING' , WITH

     --        STRING LITERALS.

     --

     --

     --    (9) SLICED OBJECTS OF THE PREDEFINED TYPE  'STRING'  (BY

     --        THEMSELVES).

     --

     --

     --    (-) CONSTRAINABLE TYPES:  ONLY SUBTESTS   2,  3,  4,  5,  6

     --        WILL BE REPLICATED  --  AS SUBTESTS  10, 11, 12, 13, 14 .

     --

     --

     --   (10) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE

     --        DEFINED USING THE "BOX" COMPOUND SYMBOL.

     --        (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)

     --

     --

     --   (11) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS

     --        WERE DEFINED USING THE "BOX" SYMBOL

     --        AND FOR WHICH THE COMPONENT TYPE IS NOT  'CHARACTER' .

     --        ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)

     --

     --

     --   (12) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS

     --        WERE DEFINED USING THE "BOX" SYMBOL

     --        AND FOR WHICH THE COMPONENT TYPE IS NOT  'CHARACTER' .

     --        ((ONE-DIMENSIONAL) ARRAYS OF BOOLEANS.)

     --

     --

     --   (13) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS

     --        WERE DEFINED USING THE "BOX" SYMBOL

     --        AND FOR WHICH THE COMPONENT TYPE IS  'CHARACTER' .

     --

     --        (STRING LITERALS ARE THE ONLY AGGREGATES WE ARE USING

     --        IN THIS TEST.  TO FORCE SLIDING, THE LOWER LIMIT IMPLIED

     --        BY THE TYPEMARK WILL NOT BE  1 .)

     --

     --

     --   (14) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS

     --        WERE DEFINED USING THE "BOX" SYMBOL

     --        AND FOR WHICH THE COMPONENT TYPE IS  'CHARACTER' .

     --

     --

     --

     --    (-) SPECIAL CASES:  NULL ARRAYS....... TREATED IN DIVISION B.

     --                        SUPERLONG ARRAYS.. (TREATED FOR DYNAMIC

     --                                            ARRAYS ONLY,

     --                                            DIVISIONS C AND D .)

     --

     --

     --    (-) THE DYNAMIC-ARRAY COUNTERPARTS OF THESE TESTS ARE IN DI-

     --        VISIONS C (FOR NON-NULL ARRAYS) AND D (FOR NULL ARRAYS).

     --

     --

     -------------------------------------------------------------------

     --    (2) MULTIDIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS WERE

     --        DEFINED WITHOUT EVER USING THE "BOX" COMPOUND SYMBOL.

     --        (TWO-DIMENSIONAL ARRAYS OF INTEGERS.)

     DECLARE

          TYPE  TA21  IS  ARRAY(

               INTEGER RANGE IDENT_INT(1)..IDENT_INT(5) ,

               INTEGER RANGE IDENT_INT(0)..IDENT_INT(7)

                               )  OF INTEGER ;

          SUBTYPE  TA22  IS  TA21 ;

          ARR21  :  TA21 ;

          ARR22  :  TA22 ;

     BEGIN

          -- INITIALIZATION OF RHS ARRAY:

          FOR  I  IN  IDENT_INT(1)..IDENT_INT(5)  LOOP

               FOR  J  IN  IDENT_INT(0)..IDENT_INT(7)  LOOP

                    ARR21( I , J )  :=   I * I * J  ;

               END LOOP;

          END LOOP;

          -- ARRAY ASSIGNMENT:

          ARR22 := ARR21 ;

          -- CHECKING THE VALUES AFTER THE ARRAY ASSIGNMENT:

          FOR  I  IN  IDENT_INT(1)..IDENT_INT(5)  LOOP

               FOR  J  IN  IDENT_INT(0)..IDENT_INT(7)  LOOP

                    IF  ARR22( I , J )  /=  ( I-0 ) * ( I-0 ) * ( J-0 )

                    THEN

                         FAILED( "ARRAY ASSIGNMENT NOT CORRECT" );

                    END IF;

               END LOOP;

          END LOOP;

     EXCEPTION

          WHEN  OTHERS  =>

               FAILED( "EXCEPTION RAISED  -  SUBTEST 2" );

     END ;

     -------------------------------------------------------------------

     --   (11) UNSLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS

     --        WERE DEFINED USING THE "BOX" SYMBOL

     --        AND FOR WHICH THE COMPONENT TYPE IS NOT  'CHARACTER' .

     --        ((ONE-DIMENSIONAL) ARRAYS OF INTEGERS.)

     DECLARE

          TYPE  TABOX1  IS  ARRAY( INTEGER RANGE <> )  OF INTEGER ;

          SUBTYPE  TABOX11  IS  TABOX1( IDENT_INT(1)..IDENT_INT(5) ) ;

          ARRX11  :  TABOX11 ;

          ARRX12  :  TABOX1( IDENT_INT(5)..IDENT_INT(9) );

     BEGIN

          -- INITIALIZATION OF RHS ARRAY:

          FOR  I  IN  IDENT_INT(1)..IDENT_INT(5)  LOOP

               ARRX11( I )  :=   I * I  ;

          END LOOP;

          -- ARRAY ASSIGNMENT:

          ARRX12 := ARRX11 ;

          -- CHECKING THE VALUES AFTER THE ARRAY ASSIGNMENT:

          FOR  I  IN  IDENT_INT(5)..IDENT_INT(9)  LOOP

               IF  ARRX12( I )  /=  ( I-4 ) * ( I-4 )

               THEN

                    FAILED( "ARRAY ASSIGNMENT NOT CORRECT (11)" );

               END IF;

          END LOOP;

     EXCEPTION

          WHEN  OTHERS  =>

               FAILED( "EXCEPTION RAISED  -  SUBTEST 11" );

     END ;

     -------------------------------------------------------------------

     --    (4) SLICED ONE-DIMENSIONAL ARRAY OBJECTS WHOSE TYPEMARKS

     --        WERE DEFINED WITHOUT EVER USING THE "BOX" SYMBOL

     --        AND FOR WHICH THE COMPONENT TYPE IS NOT  'CHARACTER' .

     --        ((ONE-DIMENSIONAL) ARRAYS OF BOOLEANS.)

     DECLARE

          TYPE  TA42  IS  ARRAY(

               INTEGER RANGE IDENT_INT(1)..IDENT_INT(5)

                               )  OF BOOLEAN ;

          SUBTYPE  TA41  IS  TA42 ;

          ARR41  :  TA41 ;

          ARR42  :  TA42 ;

     BEGIN

          -- INITIALIZATION OF RHS ARRAY:

          FOR  I  IN  IDENT_INT(1)..IDENT_INT(5)  LOOP

               ARR41( I )  :=  FALSE  ; -- VALUES WILL BE:  F T F F T

          END LOOP;

          ARR41(2) := TRUE ;

          ARR41(5) := TRUE ;            -- RHS VALUES ARE:  F T F F T

          -- INITIALIZATION OF UNUSED COMPONENT OF LHS ARRAY:

          ARR42( 1 )  :=  TRUE ;

          -- SLICE ASSIGNMENT:

          ARR42( IDENT_INT(2)..IDENT_INT(5) ) :=

               ARR41(

                 IDENT_INT(1)..IDENT_INT(4) ) ;

          -- CHECKING THE VALUES AFTER THE SLICE ASSIGNMENT:

          FOR  I  IN  IDENT_INT(2)..IDENT_INT(5)  LOOP

               IF  ARR42( I )  /=  FALSE  AND  I /= 3

               THEN

                    FAILED( "SLICE ASSIGNMENT NOT CORRECT (VALUES)" );

               ELSIF  ARR42( I ) /= TRUE  AND  I  = 3

               THEN

                    FAILED( "SLICE ASSIGNMENT NOT CORRECT (VALUES)" );

               END IF;

          END LOOP;

          IF  ARR42( 1 )  /=  TRUE

          THEN

               FAILED( "SLICE ASSIGNMENT NOT CORRECT (SLIDING)" );

          END IF;

     EXCEPTION

          WHEN  OTHERS  =>

               FAILED( "EXCEPTION RAISED  -  SUBTEST 4" );

     END ;

     -------------------------------------------------------------------

     RESULT ;

END C52103K;