Subversion Repositories openrisc_me

-- C854003.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 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 renaming-as-body used before the subprogram is frozen only

--    requires mode conformance.  (Defect Report 8652/0028, as reflected in

--    Technical Corrigendum 1, RM95 8.5.4(5/1)).

--

-- CHANGE HISTORY:

--    29 JAN 2001   PHL   Initial version.

--     5 DEC 2001   RLB   Reformatted for ACATS.

--

--!

with Report;

use Report;

procedure C854003 is

    package P is

        type T is private;

        C1 : constant T;

        C2 : constant T;

    private

        type T is new Integer'Base;

        C1 : constant T := T (Ident_Int (1));

        C2 : constant T := T (Ident_Int (1));

    end P;

    function Equals (X, Y : P.T) return Boolean;

    function Equals (X, Y : P.T) return Boolean renames P."=";

begin

    Test ("C854003",

          "Check that a renaming-as-body used before the subprogram " &

             "is frozen only requires mode conformance");

    if not Equals (P.C1, P.C2) then

        Failed ("Equality returned an unexpected result");

    end if;

    Result;

end C854003;