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