URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [trunk/] [gnu-old/] [gcc-4.2.2/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [cc/] [cc1304b.ada] - Rev 816
Compare with Previous | Blame | View Log
-- CC1304B.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 GENERIC FORMAL SUBPROGRAMS MAY HAVE A PARAMETER -- OF A GENERIC FORMAL TYPE, AND MAY RETURN A GENERIC FORMAL -- TYPE. CHECK MODES IN OUT AND OUT. -- HISTORY: -- BCB 08/04/88 CREATED ORIGINAL TEST. WITH REPORT; USE REPORT; PROCEDURE CC1304B IS BEGIN TEST ("CC1304B", "GENERIC FORMAL SUBPROGRAMS MAY HAVE A " & "PARAMETER OF A GENERIC FORMAL TYPE, AND MAY " & "RETURN A GENERIC FORMAL TYPE. CHECK MODES IN " & "OUT AND OUT"); DECLARE GENERIC TYPE T IS ( <> ); WITH PROCEDURE S (P : OUT T); WITH PROCEDURE P (P : IN OUT T); WITH FUNCTION L RETURN T; PROCEDURE PR (PARM1, PARM2, PARM3 : IN OUT T); PROCEDURE PR (PARM1, PARM2, PARM3 : IN OUT T) IS BEGIN S (P => PARM1); P (P => PARM2); PARM3 := L; END PR; BEGIN DECLARE C : CHARACTER := 'A'; C1 : CHARACTER := 'Y'; C2 : CHARACTER := 'I'; B : BOOLEAN := FALSE; B1 : BOOLEAN := TRUE; B2 : BOOLEAN := FALSE; I : INTEGER := 5; I1 : INTEGER := 10; I2 : INTEGER := 0; TYPE ENUM IS (E1, E2, E3); F : ENUM := E2; F1 : ENUM := E1; F2 : ENUM := E2; PROCEDURE FC (P : OUT CHARACTER) IS BEGIN P := 'B'; END FC; PROCEDURE FB (P : OUT BOOLEAN) IS BEGIN P := NOT B; END FB; PROCEDURE FI (P : OUT INTEGER) IS BEGIN P := I + 1; END FI; PROCEDURE FE (P : OUT ENUM) IS BEGIN P := ENUM'SUCC (F); END FE; PROCEDURE PC (P : IN OUT CHARACTER) IS BEGIN P := 'Z'; END PC; PROCEDURE PB (P : IN OUT BOOLEAN) IS BEGIN P := NOT B1; END PB; PROCEDURE PI (P : IN OUT INTEGER) IS BEGIN P := I1 + 1; END PI; PROCEDURE PE (P : IN OUT ENUM) IS BEGIN P := ENUM'SUCC (F1); END PE; FUNCTION LC RETURN CHARACTER IS BEGIN RETURN 'J'; END LC; FUNCTION LB RETURN BOOLEAN IS BEGIN RETURN TRUE; END LB; FUNCTION LI RETURN INTEGER IS BEGIN RETURN IDENT_INT(5); END LI; FUNCTION LE RETURN ENUM IS BEGIN RETURN ENUM'SUCC(F2); END LE; PACKAGE PKG2 IS PROCEDURE P1 IS NEW PR (CHARACTER, FC, PC, LC); PROCEDURE P2 IS NEW PR (BOOLEAN, FB, PB, LB); PROCEDURE P3 IS NEW PR (INTEGER, FI, PI, LI); PROCEDURE P4 IS NEW PR (ENUM, FE, PE, LE); END PKG2; PACKAGE BODY PKG2 IS BEGIN P1 (C,C1,C2); P2 (B,B1,B2); P3 (I,I1,I2); P4 (F,F1,F2); END PKG2; BEGIN IF C /= 'B' OR B /= TRUE OR I /= 6 OR F /= E3 THEN FAILED ("SUBPROGRAM PARAMETERS OF FORMAL TYPES - " & "MODE OUT"); END IF; IF C1 /= 'Z' OR B1 /= FALSE OR I1 /= 11 OR F1 /= E2 THEN FAILED ("SUBPROGRAM PARAMETERS OF FORMAL TYPES - " & "MODE IN OUT"); END IF; IF C2 /= 'J' OR B2 /= TRUE OR I2 /= 5 OR F2 /= E3 THEN FAILED ("GENERIC FORMAL SUBPROGRAMS RETURNING A " & "GENERIC FORMAL TYPE"); END IF; END; END; RESULT; END CC1304B;