Subversion Repositories openrisc

-- C74402A.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 A SUBPROGRAM PARAMETER OF A LIMITED TYPE MAY HAVE A

-- DEFAULT EXPRESSION, EVEN IF THE SUBPROGRAM IS DECLARED OUTSIDE

-- THE PACKAGE THAT DECLARES THE LIMITED TYPE.

-- (SEE ALSO 6.4.2/T1 FOR TESTS OF OTHER LIMITED TYPES.)

-- DSJ 5/6/83

-- SPS 10/24/83

WITH REPORT;

PROCEDURE C74402A IS

     USE REPORT;

BEGIN

     TEST("C74402A", "CHECK THAT A SUBPROGRAM PARAMETER OF A LIMITED " &

                     "TYPE MAY HAVE A DEFAULT EXPRESSION, EVEN IF "    &

                     "THE SUBPROGRAM IS DECLARED OUTSIDE THE PACKAGE " &

                     "THAT DECLARES THE LIMITED TYPE");

     DECLARE

          PACKAGE PACK1 IS

               TYPE LP1 IS LIMITED PRIVATE;

               TYPE LP2 IS ARRAY (1 .. 2) OF LP1;

               TYPE LP3 IS

                    RECORD

                         C1, C2 : LP2;

                    END RECORD;

               FUNCTION F1 RETURN LP1;

               FUNCTION F2 RETURN LP2;

               FUNCTION F3 RETURN LP3;

               PROCEDURE G1 (X : LP1 := F1);      -- LEGAL

               PROCEDURE G2 (X : LP2 := F2);      -- LEGAL

               PROCEDURE G3 (X : LP3 := F3);      -- LEGAL

          PRIVATE

               TYPE LP1 IS NEW INTEGER;

          END PACK1;

          PACKAGE BODY PACK1 IS

               FUNCTION F1 RETURN LP1 IS

               BEGIN

                    RETURN LP1'(1);

               END F1;

               FUNCTION F2 RETURN LP2 IS

               BEGIN

                    RETURN LP2'(2,3);

               END F2;

               FUNCTION F3 RETURN LP3 IS

               BEGIN

                    RETURN LP3'((4,5),(6,7));

               END F3;

               PROCEDURE G1 (X : LP1 := F1) IS

               BEGIN

                    IF X /= LP1'(1) THEN

                         FAILED("WRONG DEFAULT VALUE - LP1");

                    END IF;

               END G1;

               PROCEDURE G2 (X : LP2 := F2) IS

               BEGIN

                    IF X /= LP2'(2,3) THEN

                         FAILED("WRONG DEFAULT VALUE - LP2");

                    END IF;

               END G2;

               PROCEDURE G3 (X : LP3 := F3) IS

               BEGIN

                    IF X /= LP3'((4,5),(6,7)) THEN

                         FAILED("WRONG DEFAULT VALUE - LP3");

                    END IF;

               END G3;

          BEGIN

               G1;            -- LEGAL, DEFAULT USED

               G2;            -- LEGAL, DEFAULT USED

               G3;            -- LEGAL, DEFAULT USED

               G1(F1);        -- LEGAL

               G2(F2);        -- LEGAL

               G3(F3);        -- LEGAL

          END PACK1;

          USE PACK1;

          PROCEDURE G4 (X : LP1 := F1) IS

          BEGIN

               G1;            -- LEGAL, DEFAULT USED

               G1(X);

          END G4;

          PROCEDURE G5 (X : LP2 := F2) IS

          BEGIN

               G2;            -- LEGAL, DEFAULT USED

               G2(X);

          END G5;

          PROCEDURE G6 (X : LP3 := F3) IS

          BEGIN

               G3;            -- DEFAULT USED

               G3(X);

          END G6;

     BEGIN

          G4;                 -- LEGAL, DEFAULT USED

          G5;                 -- LEGAL, DEFAULT USED

          G6;                 -- LEGAL, DEFAULT USED

          G4(F1);             -- LEGAL

          G5(F2);             -- LEGAL

          G6(F3);             -- LEGAL

     END;

     RESULT;

END C74402A;