-- C34014E.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 DERIVED SUBPROGRAM IS VISIBLE AND FURTHER DERIVABLE -- UNDER APPROPRIATE CIRCUMSTANCES. -- CHECK WHEN THE DERIVED SUBPROGRAM IS IMPLICITLY DECLARED IN THE -- VISIBLE PART OF A PACKAGE AND A HOMOGRAPHIC SUBPROGRAM IS LATER -- DECLARED EXPLICITLY IN THE PACKAGE BODY. -- HISTORY: -- JRK 09/15/87 CREATED ORIGINAL TEST. -- GJD 11/15/95 REMOVED ADA 83 INCOMPATIBILITIES. -- PWN 04/11/96 Restored subtests in Ada95 legal format. WITH REPORT; USE REPORT; PROCEDURE C34014E IS PACKAGE P IS TYPE T IS RANGE -100 .. 100; FUNCTION F RETURN T; END P; USE P; PACKAGE BODY P IS FUNCTION F RETURN T IS BEGIN RETURN T (IDENT_INT (1)); END F; END P; BEGIN TEST ("C34014E", "CHECK THAT A DERIVED SUBPROGRAM IS VISIBLE " & "AND FURTHER DERIVABLE UNDER APPROPRIATE " & "CIRCUMSTANCES. CHECK WHEN THE DERIVED " & "SUBPROGRAM IS IMPLICITLY DECLARED IN THE " & "VISIBLE PART OF A PACKAGE AND A HOMOGRAPHIC " & "SUBPROGRAM IS LATER DECLARED EXPLICITLY IN " & "THE PACKAGE BODY"); ----------------------------------------------------------------- COMMENT ("NEW SUBPROGRAM DECLARED BY SUBPROGRAM DECLARATION"); DECLARE PACKAGE Q IS TYPE QT IS NEW T; X : QT := F; END Q; USE Q; PACKAGE BODY Q IS FUNCTION F RETURN QT; TYPE QR IS RECORD C : QT := F; END RECORD; TYPE QS IS NEW QT; FUNCTION F RETURN QT IS BEGIN RETURN QT (IDENT_INT (2)); END F; PACKAGE R IS Y : QR; Z : QS := F; END R; USE R; BEGIN IF X /= 1 THEN FAILED ("OLD SUBPROGRAM NOT VISIBLE - SUBPROG " & "DECL - 1"); END IF; IF Y.C /= 2 THEN FAILED ("NEW SUBPROGRAM NOT VISIBLE - SUBPROG " & "DECL"); END IF; IF Z /= 2 THEN FAILED ("OLD SUBPROGRAM NOT DERIVED - SUBPROG " & "DECL - 1"); END IF; END Q; PACKAGE R IS Y : QT := F; TYPE RT IS NEW QT; Z : RT := F; END R; USE R; BEGIN IF Y /= 1 THEN FAILED ("OLD SUBPROGRAM NOT VISIBLE - SUBPROG DECL - 2"); END IF; IF Z /= 1 THEN FAILED ("OLD SUBPROGRAM NOT DERIVED - SUBPROG DECL - 2"); END IF; END; ----------------------------------------------------------------- COMMENT ("NEW SUBPROGRAM DECLARED BY RENAMING"); DECLARE PACKAGE Q IS TYPE QT IS NEW T; X : QT := F; END Q; USE Q; PACKAGE BODY Q IS FUNCTION G RETURN QT; FUNCTION F RETURN QT RENAMES G; TYPE QR IS RECORD C : QT := F; END RECORD; TYPE QS IS NEW QT; FUNCTION G RETURN QT IS BEGIN RETURN QT (IDENT_INT (2)); END G; PACKAGE R IS Y : QR; Z : QS := F; END R; USE R; BEGIN IF X /= 1 THEN FAILED ("OLD SUBPROGRAM NOT VISIBLE - RENAMING - " & "1"); END IF; IF Y.C /= 2 THEN FAILED ("NEW SUBPROGRAM NOT VISIBLE - RENAMING"); END IF; IF Z /= 2 THEN FAILED ("OLD SUBPROGRAM NOT DERIVED - RENAMING - " & "1"); END IF; END Q; PACKAGE R IS Y : QT := F; TYPE RT IS NEW QT; Z : RT := F; END R; USE R; BEGIN IF Y /= 1 THEN FAILED ("OLD SUBPROGRAM NOT VISIBLE - RENAMING - 2"); END IF; IF Z /= 1 THEN FAILED ("OLD SUBPROGRAM NOT DERIVED - RENAMING - 2"); END IF; END; ----------------------------------------------------------------- COMMENT ("NEW SUBPROGRAM DECLARED BY GENERIC INSTANTIATION"); DECLARE GENERIC TYPE T IS RANGE <>; FUNCTION G RETURN T; FUNCTION G RETURN T IS BEGIN RETURN T (IDENT_INT (2)); END G; PACKAGE Q IS TYPE QT IS NEW T; X : QT := F; END Q; USE Q; PACKAGE BODY Q IS FUNCTION F IS NEW G (QT); W : QT := F; TYPE QS IS NEW QT; Z : QS := F; BEGIN IF X /= 1 THEN FAILED ("OLD SUBPROGRAM NOT VISIBLE - " & "INSTANTIATION - 1"); END IF; IF W /= 2 THEN FAILED ("NEW SUBPROGRAM NOT VISIBLE - " & "INSTANTIATION"); END IF; IF Z /= 2 THEN FAILED ("OLD SUBPROGRAM NOT DERIVED - " & "INSTANTIATION - 1"); END IF; END Q; PACKAGE R IS Y : QT := F; TYPE RT IS NEW QT; Z : RT := F; END R; USE R; BEGIN IF Y /= 1 THEN FAILED ("OLD SUBPROGRAM NOT VISIBLE - INSTANTIATION - " & "2"); END IF; IF Z /= 1 THEN FAILED ("OLD SUBPROGRAM NOT DERIVED - INSTANTIATION - " & "2"); END IF; END; ----------------------------------------------------------------- RESULT; END C34014E;