URL
https://opencores.org/ocsvn/scarts/scarts/trunk
Subversion Repositories scarts
[/] [scarts/] [trunk/] [toolchain/] [scarts-gcc/] [gcc-4.1.1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c5/] [c52010a.ada] - Rev 12
Compare with Previous | Blame | View Log
-- 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 ;