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/] [c52008b.ada] - Rev 12
Compare with Previous | Blame | View Log
-- C52008B.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. --* -- OBJECTIVE: -- CHECK THAT A RECORD VARIABLE DECLARED WITH A SPECIFIED -- DISCRIMINANT CONSTRAINT CANNOT HAVE A DISCRIMINANT VALUE ALTERED -- BY ASSIGNMENT. ASSIGNING AN ENTIRE RECORD VALUE WITH A -- DIFFERENT DISCRIMINANT VALUE SHOULD RAISE CONSTRAINT_ERROR AND -- LEAVE THE TARGET VARIABLE UNALTERED. THIS TEST USES NON-STATIC -- DISCRIMINANT VALUES. -- HISTORY: -- ASL 6/25/81 CREATED ORIGINAL TEST -- JRK 11/18/82 -- RJW 8/17/89 ADDED SUBTYPE 'SUBINT'. WITH REPORT; PROCEDURE C52008B IS USE REPORT; TYPE REC1(D1,D2 : INTEGER) IS RECORD COMP1 : STRING(D1..D2); END RECORD; TYPE AR_REC1 IS ARRAY (NATURAL RANGE <>) OF REC1(IDENT_INT(3), IDENT_INT(5)); SUBTYPE SUBINT IS INTEGER RANGE -128 .. 127; TYPE REC2(D1,D2,D3,D4 : SUBINT := 0) IS RECORD COMP1 : STRING(1..D1); COMP2 : STRING(D2..D3); COMP5 : AR_REC1(1..D4); COMP6 : REC1(D3,D4); END RECORD; STR : STRING(IDENT_INT(3)..IDENT_INT(5)) := "ZZZ"; R1A : REC1(IDENT_INT(3),IDENT_INT(5)) := (3,5,STR); R1C : REC1(5,6) := (5,6,COMP1 => (5..6 => 'K')); Q,R : REC2(IDENT_INT(2),IDENT_INT(3),IDENT_INT(5),IDENT_INT(6)); TEMP : REC2(2,3,5,6); W : REC2(1,4,6,8); OK : BOOLEAN := FALSE; BEGIN TEST ("C52008B", "CANNOT ASSIGN RECORD VARIABLE WITH SPECIFIED " & "DISCRIMINANT VALUE A VALUE WITH A DIFFERENT " & "(DYNAMIC) DISCRIMINANT VALUE"); BEGIN R1A := (IDENT_INT(3),5,"XYZ"); R := (IDENT_INT(2),IDENT_INT(3),IDENT_INT(5),IDENT_INT(6), "AB", STR, (1..6 => R1A), R1C); TEMP := R; Q := TEMP; R.COMP1 := "YY"; OK := TRUE; W := R; FAILED ("ASSIGNMENT MADE USING INCORRECT DISCRIMINANT " & "VALUES"); EXCEPTION WHEN CONSTRAINT_ERROR => IF NOT OK OR Q /= TEMP OR R = TEMP OR R = Q OR W.D4 /= 8 THEN FAILED ("LEGITIMATE ASSIGNMENT FAILED"); END IF; WHEN OTHERS => FAILED ("WRONG EXCEPTION"); END; RESULT; END C52008B;