Subversion Repositories openrisc_2011-10-31

-- C380001.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 checks are made properly when a per-object expression contains

--    an attribute whose prefix denotes the current instance of the type.

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

--    RM95 3.8(18/1)).

--

-- CHANGE HISTORY:

--     9 FEB 2001   PHL   Initial version.

--    29 JUN 2002   RLB   Readied for release.

--

--!

with Ada.Exceptions;

use Ada.Exceptions;

with Report;

use Report;

procedure C380001 is

    type Negative is range Integer'First .. -1;

    type R1 is

        record

            C : Negative := Negative (Ident_Int (R1'Size));

        end record;

    type R2;

    type R3 (D1 : access R2; D2 : Natural) is limited null record;

    type R2 is limited

        record

            C : R3 (R2'Access, Ident_Int (-1));

        end record;

begin

    Test ("C380001", "Check that checks are made properly when a " &

                        "per-object expression contains an attribute whose " &

                        "prefix denotes the current instance of the type");

    begin

        declare

            X : R1;

        begin

            Failed

               ("No exception raised when evaluating a per-object expression " &

                "containing an attribute - 1");

        end;

    exception

        when Constraint_Error =>

            null;

        when E: others =>

            Failed ("Exception " & Exception_Name (E) &

                    " raised - " & Exception_Information (E) & " - 1");

    end;

    declare

        type A is access R1;

        X : A;

    begin

        X := new R1;

        Failed ("No exception raised when evaluating a per-object expression " &

                "containing an attribute - 2");

    exception

        when Constraint_Error =>

            null;

        when E: others =>

            Failed ("Exception " & Exception_Name (E) &

                    " raised - " & Exception_Information (E) & " - 2");

    end;

    begin

        declare

            X : R2;

        begin

            Failed

               ("No exception raised when elaborating a per-object constraint " &

                "containing an attribute - 3");

        end;

    exception

        when Constraint_Error =>

            null;

        when E: others =>

            Failed ("Exception " & Exception_Name (E) &

                    " raised - " & Exception_Information (E) & " - 3");

    end;

    declare

        type A is access R2;

        X : A;

    begin

        X := new R2;

        Failed

           ("No exception raised when evaluating a per-object constraint " &

            "containing an attribute - 4");

    exception

        when Constraint_Error =>

            null;

        when E: others =>

            Failed ("Exception " & Exception_Name (E) &

                    " raised - " & Exception_Information (E) & " - 4");

    end;

    Result;

end C380001;