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/] [c4/] [c48004e.ada] - Rev 12
Compare with Previous | Blame | View Log
-- C48004E.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 THE FORM "NEW T" IS PERMITTED IF T IS A CONSTRAINED ARRAY -- TYPE. -- RM 01/12/80 -- JBG 03/03/83 -- EG 07/05/84 WITH REPORT; PROCEDURE C48004E IS USE REPORT; BEGIN TEST("C48004E","CHECK THAT THE FORM 'NEW T' IS PERMITTED IF T " & "IS A CONSTRAINED ARRAY TYPE"); DECLARE TYPE ARR0 IS ARRAY( INTEGER RANGE <> ) OF BOOLEAN; SUBTYPE ARR IS ARR0(1 .. 10); TYPE A_ARR IS ACCESS ARR; VARR : A_ARR; PACKAGE P IS TYPE LPRIV IS LIMITED PRIVATE; FUNCTION CHECK (X : LPRIV) RETURN INTEGER; PRIVATE TYPE LPRIV IS RECORD Q : INTEGER := 20; END RECORD; END P; TYPE LPARR IS ARRAY(1 .. 2) OF P.LPRIV; TYPE A_LPARR IS ACCESS LPARR; V_A_LPARR : A_LPARR; PACKAGE BODY P IS FUNCTION CHECK (X : LPRIV) RETURN INTEGER IS BEGIN RETURN X.Q; END CHECK; END P; BEGIN VARR := NEW ARR; IF ( VARR'FIRST /= IDENT_INT(1) OR VARR'LAST /= 10 ) THEN FAILED("WRONG BOUNDS - CASE 1"); END IF; V_A_LPARR := NEW LPARR; IF ( P.CHECK(V_A_LPARR.ALL(1)) /= IDENT_INT(20) OR P.CHECK(V_A_LPARR.ALL(2)) /= IDENT_INT(20) ) THEN FAILED ("WRONG VALUES - CASE 2"); END IF; END; RESULT; END C48004E;