Subversion Repositories openrisc

-- CC51008.A

--

--                             Grant of Unlimited Rights

--

--     The Ada Conformity Assessment Authority (ACAA) holds unlimited

--     rights in the software and documentation contained herein. Unlimited

--     rights are the same as those granted by the U.S. Government for older

--     parts of the Ada Conformity Assessment Test Suite, and are defined

--     in DFAR 252.227-7013(a)(19). By making this public release, the ACAA

--     intends to confer upon all recipients unlimited rights equal to those

--     held by the ACAA. 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 ACAA 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 operations are inherited for a formal derived type whose

--    ancestor is also a formal type as described in the corrigendum.

--    (Defect Report 8652/0038, as reflected in Technical Corrigendum 1,

--    RM95 12.5.1(21/1)).

--

-- CHANGE HISTORY:

--    29 Jan 2001   PHL   Initial version.

--    30 Apr 2002   RLB   Readied for release.

--

--!

package CC51008_0 is

    type R0 is

        record

            C : Float;

        end record;

    procedure S (X : R0);

end CC51008_0;

with Report;

use Report;

package body CC51008_0 is

    procedure S (X : R0) is

    begin

        Comment ("CC51008_0.S called");

    end S;

end CC51008_0;

with CC51008_0;

generic

    type F1 is new CC51008_0.R0;

    type F2 is new F1;

package CC51008_1 is

    procedure G (O1 : F1; O2 : F2);

end CC51008_1;

package body CC51008_1 is

    procedure G (O1 : F1; O2 : F2) is

    begin

        S (O1);

        S (O2);

    end G;

end CC51008_1;

with CC51008_0;

package CC51008_2 is

    type R2 is new CC51008_0.R0;

    procedure S (X : out R2);

end CC51008_2;

with Report;

use Report;

package body CC51008_2 is

    procedure S (X : out R2) is

    begin

        Failed ("CC51008_2.S called");

    end S;

end CC51008_2;

with CC51008_2;

package CC51008_3 is

    type R3 is new CC51008_2.R2;

    procedure S (X : R3);

end CC51008_3;

with Report;

use Report;

package body CC51008_3 is

    procedure S (X : R3) is

    begin

        Failed ("CC51008_3.S called");

    end S;

end CC51008_3;

with CC51008_1;

with CC51008_2;

with CC51008_3;

with Report;

use Report;

procedure CC51008 is

    package Inst is new CC51008_1 (CC51008_2.R2,

                                   CC51008_3.R3);

    X2 : constant CC51008_2.R2 := (C => 2.0);

    X3 : constant CC51008_3.R3 := (C => 3.0);

begin

    Test ("CC51008",

          "Check that operations are inherited for a formal derived " &

             "type whose ancestor is also a formal type as described in " &

             "RM95 12.5.1(21/1)");

    Inst.G (X2, X3);

    Result;

end CC51008;