-- C52010A.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 RECORD ASSIGNMENTS USE "COPY" SEMANTICS. (PART I).


-- FACTORS AFFECTING THE SITUATION TO BE TESTED:
--
--        COMPONENT TYPE                     * INTEGER
--                                           * BOOLEAN (OMITTED)
--                                           * CHARACTER (OMITTED)
--                                           * USER-DEFINED ENUMERATION
--
--        DERIVED VS. NON-DERIVED
--
--        TYPE VS. SUBTYPE
--
--        ORDER OF COMPONENT ASSIGNMENTS     * LEFT-TO-RIGHT
--                                           * RIGHT-TO-LEFT
--                                           * INSIDE-OUT
--                                           * OUTSIDE IN


-- RM 02/23/80
-- SPS 3/21/83

WITH REPORT;
PROCEDURE C52010A IS

     USE REPORT;

     TYPE  ENUM  IS  ( AA , BB , CC , DD , EE , FF , GG , HH ,
                       II , JJ , KK , LL , MM , NN , PP , QQ ,
                                 TT , UU , VV , WW , XX , YY );

BEGIN

     TEST ( "C52010A" ,  "CHECK THAT RECORD ASSIGNMENTS USE ""COPY""" &
                         " SEMANTICS" );


     DECLARE
          TYPE  REC  IS
               RECORD
                    X , Y  :  INTEGER ;
               END RECORD;
          R  :  REC ;
     BEGIN

          R  :=  ( 5 , 8 ) ;
          R  :=  ( X => 1 , Y => R.X ) ;
          IF  R  /=  ( 1 , 5 )  THEN
               FAILED ( "WRONG VALUE  (1)" );
          END IF;

          R  :=  ( 5 , 8 ) ;
          R  :=  ( Y => 1 , X => R.Y ) ;
          IF  R  /=  ( 8 , 1 )  THEN
               FAILED ( "WRONG VALUE  (2)" );
          END IF;

          R  :=  ( 5 , 8 ) ;
          R  :=  ( R.Y+1 , R.X+1 ) ;
          IF  R  /=  ( 9 , 6 ) THEN
               FAILED ( "WRONG VALUE  (3)" );
          END IF;

     END;

     DECLARE
          TYPE  REC3  IS
               RECORD
                    DEEP0     :  INTEGER   ;
                    DEEP      :  INTEGER   ;
               END RECORD;
          TYPE  REC2  IS
               RECORD
                    YX        :  REC3      ;
                    MODERATE  :  INTEGER   ;
               END RECORD;
          TYPE  REC  IS
               RECORD
                    SHALLOW   :  INTEGER   ;
                    YZ        :  REC2      ;
               END RECORD;
          R  :  REC ;
     BEGIN
          R  :=  ( 0              , ((5,  1         ), 2             ));
          R  :=  ( R.YZ.MODERATE+8, ((7, R.SHALLOW+1),R.YZ.YX.DEEP+99));
          IF R/= (              10, ((7,           1),            100))
          THEN
               FAILED ( "WRONG VALUE  (4)" );
          END IF;
     END;


     DECLARE
          TYPE  SUB_ENUM  IS  NEW ENUM RANGE  AA..DD ;
          TYPE  REC  IS
               RECORD
                    X , Y  :  SUB_ENUM ;
               END RECORD;
          R  :  REC ;
     BEGIN
          R  :=  ( AA , CC ) ;
          R  :=  ( X => BB , Y => R.X ) ;
          IF  R  /=  ( BB , AA )  THEN
               FAILED ( "WRONG VALUE  (5)" );
          END IF;

          R  :=  ( AA , CC ) ;
          R  :=  ( Y => BB , X => R.Y ) ;
          IF  R  /=  ( CC , BB )  THEN
               FAILED ( "WRONG VALUE  (6)" );
          END IF;

          R  :=  ( AA , CC ) ;
          R  :=  ( SUB_ENUM'SUCC( R.Y ) , SUB_ENUM'SUCC( R.X ) ) ;
          IF  R /= ( DD , BB )  THEN
               FAILED ( "WRONG VALUE  (7)" );
          END IF;

     END;


     DECLARE
          TYPE  REC3  IS
               RECORD
                    DEEP0      :  ENUM ;
                    DEEP       :  ENUM ;
               END RECORD;     
          TYPE  REC2  IS
               RECORD
                    YX         :  REC3 ;
                    MODERATE   :  ENUM ;
               END RECORD;
          TYPE  REC  IS
               RECORD
                    SHALLOW    :  ENUM ;
                    YZ         :  REC2 ;
               END RECORD;
          R  :  REC ;
     BEGIN

          R  :=  (    TT ,
                   (( YY , II ) ,
                      AA ) ) ;

          R  :=  (    ENUM'SUCC(ENUM'SUCC( R.YZ.MODERATE )) ,
                   (( AA , ENUM'SUCC( R.SHALLOW ) ) ,
                    ( ENUM'SUCC(ENUM'SUCC(ENUM'SUCC(ENUM'SUCC(
                                R.YZ.YX.DEEP )))) ) ) ) ;

          IF R/= (    CC ,
                   (( AA , UU ) ,
                      MM ) )
          THEN
               FAILED ( "WRONG VALUE  (8)" );
          END IF;

     END;

     RESULT ;

END C52010A ;