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 ;