Subversion Repositories openrisc_me

-- C393008.A

--

--                             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.

--*

--

-- TEST OBJECTIVE:

--      Check that an extended type can be derived from an abstract type.

--

-- TEST DESCRIPTION:

--      Declare a tagged record; declare an abstract

--      primitive operation and a non-abstract primitive operation of the

--      type.  Derive an extended type from it, including a new component.

--      Use the derived type, the overriding operation and the inherited

--      operation to instantiate a generic package.  The overriding operation

--      calls a new primitive operation and an inherited operation [so the

--      instantiation must get this sorted out correctly].

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--

--!

with Report;

with TCTouch;

procedure C393008 is

package C393008_0 is

  type Status_Enum is (No_Status, Handled, Unhandled, Pending);

  type Alert_Type is abstract tagged record

      Status : Status_Enum;

      Reply  : Boolean;

      Urgent : Boolean;

  end record;

  subtype Serial_Number is Integer range 0..Integer'last;

  Serial_Num : Serial_Number := 0;

  procedure Handle   (A : in out Alert_Type) is abstract;

                                        -- abstract primitive operation

  -- the procedure Init would be _nice_ have this procedure be non_abstract

  -- and create a "base" object with a "null" constraint.  The language

  -- will not allow this due to the restriction that an object of an

  -- abstract type cannot be created.  Hence Init must be abstract,

  -- requiring any type derived directly from Alert_Type to declare

  -- an Init.

  --

  -- In light of this, I have changed init to a function to more closely

  -- model the typical usage of OO features...

  function  Init return Alert_Type is abstract;

  procedure No_Reply (A : in out Alert_Type);

end C393008_0;

--=======================================================================--

package body C393008_0 is

  procedure No_Reply (A : in out Alert_Type) is

    begin                              -- primitive operation, not abstract

      TCTouch.Touch('A');  ------------------------------------------------- A

      if A.Status = Handled then

        A.Reply  := False;

      end if;

    end No_Reply;

end C393008_0;

--=======================================================================--

  generic

                        -- pass in the Alert_Type object, including its

                        -- operations

    type Data_Type is new C393008_0.Alert_Type with private;

                        -- note that Alert_Type is abstract, so it may not be

                        -- used as an actual parameter

    with procedure Update     (P : in out Data_Type) is <>;  -- generic formal

    with function  Initialize return Data_Type is <>;        -- generic formal

  package C393008_1 is

       -- Utilities

    procedure Modify (Item : in out Data_Type);

  end C393008_1;

   -- Utilities

--=======================================================================--

  package body C393008_1 is

            -- Utilities

      procedure Modify (Item : in out Data_Type) is

        begin

          TCTouch.Touch('B');  --------------------------------------------- B

          Item := Initialize;

          Update (Item);

        end Modify;

  end C393008_1;

--=======================================================================--

  package C393008_2 is

    type Low_Alert_Type is new C393008_0.Alert_Type with record

      Serial : C393008_0.Serial_Number;

    end record;

    procedure Serialize (LA : in out Low_Alert_Type);

    -- inherit No_Reply

    procedure Handle (LA : in out Low_Alert_Type);

    function Init return Low_Alert_Type;

  end C393008_2;

  package body C393008_2 is

    procedure Serialize (LA : in out Low_Alert_Type) is

    begin                          -- new primitive operation

      TCTouch.Touch('C');  ------------------------------------------------- C

      C393008_0.Serial_Num := C393008_0.Serial_Num + 1;

      LA.Serial := C393008_0.Serial_Num;

    end Serialize;

  -- inherit No_Reply

    function Init return Low_Alert_Type is

      TA: Low_Alert_Type;

    begin

      TCTouch.Touch('D');  ------------------------------------------------- D

      Serialize( TA );

      TA.Status := C393008_0.No_Status;

      return TA;

    end Init;

    procedure Handle (LA : in out Low_Alert_Type) is

    begin                          -- overrides abstract inherited Handle

      TCTouch.Touch('E');  ------------------------------------------------- E

      Serialize (LA);

      LA.Reply := False;

      LA.Status := C393008_0.Handled;

      No_Reply (LA);

    end Handle;

  end C393008_2;

  use C393008_2;

  package Alert_Utilities is new

    C393008_1 (Data_Type   => Low_Alert_Type,

               Update      => Handle,   -- Low_Alert's Handle

               Initialize  => Init);    -- inherited from Alert

  Item : Low_Alert_Type;

  use type C393008_0.Status_Enum;

begin

  Report.Test ("C393008", "Check that an extended type can be derived "&

                          "from an abstract type");

  Item := Init;

  if (Item.Status /= C393008_0.No_Status) or (Item.Serial /=1)  then

    Report.Failed ("Wrong initialization");

  end if;

  TCTouch.Validate("DC", "Initialization Call");

  Alert_Utilities.Modify (Item);

  if (Item.Status /= C393008_0.Handled) or (Item.Serial /= 3) then

    Report.Failed ("Wrong results from Modify");

  end if;

  TCTouch.Validate("BDCECA", "Generic Instance Call");

  Report.Result;

end C393008;