-- C3A0010.A
|
-- C3A0010.A
|
--
|
--
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- 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
|
-- 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 in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- 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
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
--
|
--
|
-- OBJECTIVE:
|
-- OBJECTIVE:
|
-- Check that an access-to-subprogram type in a generic instance may be
|
-- Check that an access-to-subprogram type in a generic instance may be
|
-- used to declare access-to-subprogram objects which invoke subprograms
|
-- used to declare access-to-subprogram objects which invoke subprograms
|
-- in the instance.
|
-- in the instance.
|
--
|
--
|
-- TEST DESCRIPTION:
|
-- TEST DESCRIPTION:
|
-- Declare a numeric type in the visible part of a generic package.
|
-- Declare a numeric type in the visible part of a generic package.
|
-- Declare two different math procedures that can be referred to by
|
-- Declare two different math procedures that can be referred to by
|
-- the access to procedure type.
|
-- the access to procedure type.
|
--
|
--
|
-- In the main program, instantiate the generic. Declare an access
|
-- In the main program, instantiate the generic. Declare an access
|
-- to procedure type. Call each procedure indirectly by dereferencing
|
-- to procedure type. Call each procedure indirectly by dereferencing
|
-- the access value.
|
-- the access value.
|
--
|
--
|
--
|
--
|
-- CHANGE HISTORY:
|
-- CHANGE HISTORY:
|
-- 06 Dec 94 SAIC ACVC 2.0
|
-- 06 Dec 94 SAIC ACVC 2.0
|
-- 05 APR 96 SAIC Header correction for 2.1
|
-- 05 APR 96 SAIC Header correction for 2.1
|
--
|
--
|
--!
|
--!
|
|
|
generic
|
generic
|
type Real_Num is digits <>;
|
type Real_Num is digits <>;
|
|
|
package C3A0010_0 is
|
package C3A0010_0 is
|
|
|
-- Type accesses to any math procedure
|
-- Type accesses to any math procedure
|
type Math_Procedure_Ptr is access procedure
|
type Math_Procedure_Ptr is access procedure
|
(First_Num, Second_Num : in Real_Num;
|
(First_Num, Second_Num : in Real_Num;
|
Result_Num : out Real_Num);
|
Result_Num : out Real_Num);
|
|
|
procedure Add (First_Num, Second_Num : in Real_Num;
|
procedure Add (First_Num, Second_Num : in Real_Num;
|
Result_Num : out Real_Num);
|
Result_Num : out Real_Num);
|
|
|
procedure Subtract (First_Num, Second_Num : in Real_Num;
|
procedure Subtract (First_Num, Second_Num : in Real_Num;
|
Result_Num : out Real_Num);
|
Result_Num : out Real_Num);
|
|
|
end C3A0010_0;
|
end C3A0010_0;
|
|
|
|
|
-----------------------------------------------------------------------------
|
-----------------------------------------------------------------------------
|
|
|
|
|
package body C3A0010_0 is
|
package body C3A0010_0 is
|
|
|
procedure Add (First_Num, Second_Num : in Real_Num;
|
procedure Add (First_Num, Second_Num : in Real_Num;
|
Result_Num : out Real_Num) is
|
Result_Num : out Real_Num) is
|
begin
|
begin
|
Result_Num := First_Num + Second_Num;
|
Result_Num := First_Num + Second_Num;
|
end Add;
|
end Add;
|
|
|
|
|
procedure Subtract (First_Num, Second_Num : in Real_Num;
|
procedure Subtract (First_Num, Second_Num : in Real_Num;
|
Result_Num : out Real_Num) is
|
Result_Num : out Real_Num) is
|
begin
|
begin
|
Result_Num := First_Num - Second_Num;
|
Result_Num := First_Num - Second_Num;
|
end Subtract;
|
end Subtract;
|
|
|
end C3A0010_0;
|
end C3A0010_0;
|
|
|
-----------------------------------------------------------------------------
|
-----------------------------------------------------------------------------
|
|
|
with Report;
|
with Report;
|
with C3A0010_0;
|
with C3A0010_0;
|
|
|
procedure C3A0010 is
|
procedure C3A0010 is
|
|
|
type Real is digits 2;
|
type Real is digits 2;
|
|
|
subtype Math_Float is Real range -10.0 .. 10.0;
|
subtype Math_Float is Real range -10.0 .. 10.0;
|
|
|
package Math_Pk is new C3A0010_0 (Real_Num => Math_Float);
|
package Math_Pk is new C3A0010_0 (Real_Num => Math_Float);
|
|
|
Math_Access : Math_Pk.Math_Procedure_Ptr;
|
Math_Access : Math_Pk.Math_Procedure_Ptr;
|
|
|
Total_Num : Math_Float := 0.0;
|
Total_Num : Math_Float := 0.0;
|
First_Num : Math_Float := 1.0;
|
First_Num : Math_Float := 1.0;
|
Second_Num : Math_Float := 2.0;
|
Second_Num : Math_Float := 2.0;
|
|
|
procedure Max( A_Num, B_Num: in Math_Float; Result : out Math_Float ) is
|
procedure Max( A_Num, B_Num: in Math_Float; Result : out Math_Float ) is
|
begin
|
begin
|
if A_Num > B_Num then
|
if A_Num > B_Num then
|
Result := A_Num;
|
Result := A_Num;
|
else
|
else
|
Result := B_Num;
|
Result := B_Num;
|
end if;
|
end if;
|
end Max;
|
end Max;
|
|
|
procedure Due_Process( Process: Math_Pk.Math_Procedure_Ptr ) is
|
procedure Due_Process( Process: Math_Pk.Math_Procedure_Ptr ) is
|
begin
|
begin
|
Process(First_Num, Second_Num, Total_Num);
|
Process(First_Num, Second_Num, Total_Num);
|
end Due_Process;
|
end Due_Process;
|
|
|
begin
|
begin
|
|
|
Report.Test ("C3A0010", "Check that an access-to-subprogram type in a "
|
Report.Test ("C3A0010", "Check that an access-to-subprogram type in a "
|
& "generic instance may be used to declare "
|
& "generic instance may be used to declare "
|
& "access-to-subprogram objects which invoke "
|
& "access-to-subprogram objects which invoke "
|
& "subprograms in the instance");
|
& "subprograms in the instance");
|
|
|
-- Check for correct defaulting
|
-- Check for correct defaulting
|
if Math_Pk."/="( Math_Access, null) then
|
if Math_Pk."/="( Math_Access, null) then
|
Report.Failed("subprogram access type object not initialized to null");
|
Report.Failed("subprogram access type object not initialized to null");
|
end if;
|
end if;
|
|
|
Math_Access := Math_Pk.Add'Access;
|
Math_Access := Math_Pk.Add'Access;
|
|
|
-- Invoking Add procedure designated by access value
|
-- Invoking Add procedure designated by access value
|
Due_Process( Math_Access );
|
Due_Process( Math_Access );
|
|
|
If Total_Num /= 3.0 then
|
If Total_Num /= 3.0 then
|
Report.Failed ("Incorrect Add result");
|
Report.Failed ("Incorrect Add result");
|
end if;
|
end if;
|
|
|
Math_Access := Math_Pk.Subtract'Access;
|
Math_Access := Math_Pk.Subtract'Access;
|
|
|
Due_Process( Math_Access );
|
Due_Process( Math_Access );
|
|
|
If Total_Num /= -1.0 then
|
If Total_Num /= -1.0 then
|
Report.Failed ("Incorrect Subtract result");
|
Report.Failed ("Incorrect Subtract result");
|
end if;
|
end if;
|
|
|
Math_Access := Max'Access;
|
Math_Access := Max'Access;
|
|
|
Due_Process( Math_Access );
|
Due_Process( Math_Access );
|
|
|
If Total_Num /= 2.0 then
|
If Total_Num /= 2.0 then
|
Report.Failed ("Incorrect Max result");
|
Report.Failed ("Incorrect Max result");
|
end if;
|
end if;
|
|
|
Report.Result;
|
Report.Result;
|
|
|
end C3A0010;
|
end C3A0010;
|
|
|