Subversion Repositories openrisc

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

--*

--

-- OBJECTIVE:

--      Check that an access-to-subprogram type in a generic instance may be

--      used to declare access-to-subprogram objects which invoke subprograms

--      in the instance.

--

-- TEST DESCRIPTION:

--      Declare a numeric type in the visible part of a generic package.

--      Declare two different math procedures that can be referred to by

--      the access to procedure type.

--

--      In the main program, instantiate the generic.  Declare an access

--      to procedure type.  Call each procedure indirectly by dereferencing

--      the access value.

--

--

-- CHANGE HISTORY:

--      06 Dec 94   SAIC    ACVC 2.0

--      05 APR 96   SAIC    Header correction for 2.1

--

--!

generic

   type Real_Num is digits <>;

package C3A0010_0 is

   -- Type accesses to any math procedure

   type Math_Procedure_Ptr is access procedure

       (First_Num, Second_Num : in  Real_Num;

        Result_Num            : out Real_Num);

   procedure Add      (First_Num, Second_Num : in  Real_Num;

                       Result_Num            : out Real_Num);

   procedure Subtract (First_Num, Second_Num : in  Real_Num;

                       Result_Num            : out Real_Num);

end C3A0010_0;

-----------------------------------------------------------------------------

package body C3A0010_0 is

   procedure Add (First_Num, Second_Num : in  Real_Num;

                  Result_Num            : out Real_Num) is

   begin

      Result_Num := First_Num + Second_Num;

   end Add;

   procedure Subtract (First_Num, Second_Num : in  Real_Num;

                       Result_Num            : out Real_Num) is

   begin

      Result_Num := First_Num - Second_Num;

   end Subtract;

end C3A0010_0;

-----------------------------------------------------------------------------

with Report;

with C3A0010_0;

procedure C3A0010 is

   type Real is digits 2;

   subtype Math_Float is Real range -10.0 .. 10.0;

   package Math_Pk is new C3A0010_0 (Real_Num => Math_Float);

   Math_Access : Math_Pk.Math_Procedure_Ptr;

   Total_Num   : Math_Float := 0.0;

   First_Num   : Math_Float := 1.0;

   Second_Num  : Math_Float := 2.0;

   procedure Max( A_Num, B_Num: in Math_Float; Result : out Math_Float ) is

   begin

      if A_Num > B_Num then

        Result := A_Num;

      else

        Result := B_Num;

      end if;

   end Max;

   procedure Due_Process( Process: Math_Pk.Math_Procedure_Ptr ) is

   begin

     Process(First_Num, Second_Num, Total_Num);

   end Due_Process;

begin

   Report.Test ("C3A0010", "Check that an access-to-subprogram type in a "

                         & "generic instance may be used to declare "

                         & "access-to-subprogram objects which invoke "

                         & "subprograms in the instance");

-- Check for correct defaulting

   if Math_Pk."/="( Math_Access, null) then

     Report.Failed("subprogram access type object not initialized to null");

   end if;

   Math_Access := Math_Pk.Add'Access;

   -- Invoking Add procedure designated by access value

   Due_Process( Math_Access );

   If Total_Num /= 3.0 then

      Report.Failed ("Incorrect Add result");

   end if;

   Math_Access := Math_Pk.Subtract'Access;

   Due_Process( Math_Access );

   If Total_Num /= -1.0 then

      Report.Failed ("Incorrect Subtract result");

   end if;

   Math_Access := Max'Access;

   Due_Process( Math_Access );

   If Total_Num /= 2.0 then

      Report.Failed ("Incorrect Max result");

   end if;

   Report.Result;

end C3A0010;