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