-- CA11013.A
|
-- CA11013.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 a child function of a library level instantiation
|
-- Check that a child function of a library level instantiation
|
-- of a generic can be the instantiation of a child function of
|
-- of a generic can be the instantiation of a child function of
|
-- the generic. Check that the child instance can use its parent's
|
-- the generic. Check that the child instance can use its parent's
|
-- declarations and operations, including a formal subprogram of the
|
-- declarations and operations, including a formal subprogram of the
|
-- parent.
|
-- parent.
|
--
|
--
|
-- TEST DESCRIPTION:
|
-- TEST DESCRIPTION:
|
-- Declare a generic package which simulates a real complex
|
-- Declare a generic package which simulates a real complex
|
-- abstraction. Declare a generic child function of this package
|
-- abstraction. Declare a generic child function of this package
|
-- which builds a random complex number. Declare a second
|
-- which builds a random complex number. Declare a second
|
-- package which defines a random complex number generator. This
|
-- package which defines a random complex number generator. This
|
-- package provides actual parameters for the generic parent package.
|
-- package provides actual parameters for the generic parent package.
|
--
|
--
|
-- Instantiate the first generic package, then instantiate the child
|
-- Instantiate the first generic package, then instantiate the child
|
-- generic function as a child unit of the first instance. In the main
|
-- generic function as a child unit of the first instance. In the main
|
-- program, check that the operations in both instances perform as
|
-- program, check that the operations in both instances perform as
|
-- expected.
|
-- expected.
|
--
|
--
|
--
|
--
|
-- CHANGE HISTORY:
|
-- CHANGE HISTORY:
|
-- 06 Dec 94 SAIC ACVC 2.0
|
-- 06 Dec 94 SAIC ACVC 2.0
|
-- 16 Nov 95 SAIC Update and repair for ACVC 2.0.1
|
-- 16 Nov 95 SAIC Update and repair for ACVC 2.0.1
|
-- 19 Oct 96 SAIC ACVC 2.1: Added pragma Elaborate to context
|
-- 19 Oct 96 SAIC ACVC 2.1: Added pragma Elaborate to context
|
-- clause of CA11013_3.
|
-- clause of CA11013_3.
|
-- 27 Feb 97 CTA.PWB Added elaboration pragma at package CA11013_3
|
-- 27 Feb 97 CTA.PWB Added elaboration pragma at package CA11013_3
|
--!
|
--!
|
|
|
generic -- Complex number abstraction.
|
generic -- Complex number abstraction.
|
type Real_Type is digits <>;
|
type Real_Type is digits <>;
|
with function Random_Generator (Seed : Real_Type) return Real_Type;
|
with function Random_Generator (Seed : Real_Type) return Real_Type;
|
|
|
package CA11013_0 is
|
package CA11013_0 is
|
|
|
-- Simulate a generic complex number support package. Complex numbers
|
-- Simulate a generic complex number support package. Complex numbers
|
-- are treated as coordinates in the Cartesian plane.
|
-- are treated as coordinates in the Cartesian plane.
|
|
|
type Complex_Type is
|
type Complex_Type is
|
record
|
record
|
Real : Real_Type;
|
Real : Real_Type;
|
Imag : Real_Type;
|
Imag : Real_Type;
|
end record;
|
end record;
|
|
|
function Make (Real, Imag : Real_Type) -- Create a complex
|
function Make (Real, Imag : Real_Type) -- Create a complex
|
return Complex_Type; -- number.
|
return Complex_Type; -- number.
|
|
|
procedure Components (Complex_No : in Complex_Type;
|
procedure Components (Complex_No : in Complex_Type;
|
Real_Part, Imag_Part : out Real_Type);
|
Real_Part, Imag_Part : out Real_Type);
|
|
|
end CA11013_0;
|
end CA11013_0;
|
|
|
--==================================================================--
|
--==================================================================--
|
|
|
package body CA11013_0 is
|
package body CA11013_0 is
|
|
|
function Make (Real, Imag : Real_Type) return Complex_Type is
|
function Make (Real, Imag : Real_Type) return Complex_Type is
|
begin
|
begin
|
return (Real, Imag);
|
return (Real, Imag);
|
end Make;
|
end Make;
|
-------------------------------------------------------------
|
-------------------------------------------------------------
|
procedure Components (Complex_No : in Complex_Type;
|
procedure Components (Complex_No : in Complex_Type;
|
Real_Part, Imag_Part : out Real_Type) is
|
Real_Part, Imag_Part : out Real_Type) is
|
begin
|
begin
|
Real_Part := Complex_No.Real;
|
Real_Part := Complex_No.Real;
|
Imag_Part := Complex_No.Imag;
|
Imag_Part := Complex_No.Imag;
|
end Components;
|
end Components;
|
|
|
end CA11013_0;
|
end CA11013_0;
|
|
|
--==================================================================--
|
--==================================================================--
|
|
|
-- Generic child of complex number package. This child adds a layer of
|
-- Generic child of complex number package. This child adds a layer of
|
-- functionality to the parent generic.
|
-- functionality to the parent generic.
|
|
|
generic -- Random complex number operation.
|
generic -- Random complex number operation.
|
|
|
function CA11013_0.CA11013_1 (Seed : Real_Type) return Complex_Type;
|
function CA11013_0.CA11013_1 (Seed : Real_Type) return Complex_Type;
|
|
|
--==============================================--
|
--==============================================--
|
|
|
function CA11013_0.CA11013_1 (Seed : Real_Type) return Complex_Type is
|
function CA11013_0.CA11013_1 (Seed : Real_Type) return Complex_Type is
|
|
|
Random_Real_Part : Real_Type := Random_Generator (Seed);
|
Random_Real_Part : Real_Type := Random_Generator (Seed);
|
-- parent's formal subprogram
|
-- parent's formal subprogram
|
Random_Imag_Part : Real_Type
|
Random_Imag_Part : Real_Type
|
:= Random_Generator (Random_Generator (Seed));
|
:= Random_Generator (Random_Generator (Seed));
|
-- parent's formal subprogram
|
-- parent's formal subprogram
|
Random_Complex_No : Complex_Type;
|
Random_Complex_No : Complex_Type;
|
|
|
begin -- CA11013_0.CA11013_1
|
begin -- CA11013_0.CA11013_1
|
|
|
Random_Complex_No := Make (Random_Real_Part, Random_Imag_Part);
|
Random_Complex_No := Make (Random_Real_Part, Random_Imag_Part);
|
-- operation from parent
|
-- operation from parent
|
return (Random_Complex_No);
|
return (Random_Complex_No);
|
|
|
end CA11013_0.CA11013_1;
|
end CA11013_0.CA11013_1;
|
|
|
--==================================================================--
|
--==================================================================--
|
|
|
package CA11013_2 is
|
package CA11013_2 is
|
|
|
-- To be used as actual parameters for random number generator
|
-- To be used as actual parameters for random number generator
|
-- in the parent package.
|
-- in the parent package.
|
|
|
type My_Float is digits 6 range -10.0 .. 100.0;
|
type My_Float is digits 6 range -10.0 .. 100.0;
|
|
|
function Random_Complex (Seed : My_float) return My_Float;
|
function Random_Complex (Seed : My_float) return My_Float;
|
|
|
end CA11013_2;
|
end CA11013_2;
|
|
|
--==================================================================--
|
--==================================================================--
|
|
|
package body CA11013_2 is
|
package body CA11013_2 is
|
|
|
-- Not a real random number generator.
|
-- Not a real random number generator.
|
function Random_Complex (Seed : My_float) return My_Float is
|
function Random_Complex (Seed : My_float) return My_Float is
|
begin
|
begin
|
return (Seed + 3.0);
|
return (Seed + 3.0);
|
end Random_Complex;
|
end Random_Complex;
|
|
|
end CA11013_2;
|
end CA11013_2;
|
|
|
--==================================================================--
|
--==================================================================--
|
|
|
-- Declare instances of the generic complex packages for real type.
|
-- Declare instances of the generic complex packages for real type.
|
-- The instance of the child must itself be declared as a child of the
|
-- The instance of the child must itself be declared as a child of the
|
-- instance of the parent.
|
-- instance of the parent.
|
|
|
with CA11013_0; -- Complex number.
|
with CA11013_0; -- Complex number.
|
with CA11013_2; -- Random number generator.
|
with CA11013_2; -- Random number generator.
|
pragma Elaborate (CA11013_0);
|
pragma Elaborate (CA11013_0);
|
package CA11013_3 is new
|
package CA11013_3 is new
|
CA11013_0 (Random_Generator => CA11013_2.Random_Complex,
|
CA11013_0 (Random_Generator => CA11013_2.Random_Complex,
|
Real_Type => CA11013_2.My_Float);
|
Real_Type => CA11013_2.My_Float);
|
|
|
with CA11013_0.CA11013_1; -- Random complex number operation.
|
with CA11013_0.CA11013_1; -- Random complex number operation.
|
with CA11013_3;
|
with CA11013_3;
|
pragma Elaborate (CA11013_3);
|
pragma Elaborate (CA11013_3);
|
function CA11013_3.CA11013_4 is new CA11013_3.CA11013_1;
|
function CA11013_3.CA11013_4 is new CA11013_3.CA11013_1;
|
|
|
--==================================================================--
|
--==================================================================--
|
|
|
with Report;
|
with Report;
|
with CA11013_2; -- Random number generator.
|
with CA11013_2; -- Random number generator.
|
with CA11013_3.CA11013_4; -- Complex abstraction + Random complex
|
with CA11013_3.CA11013_4; -- Complex abstraction + Random complex
|
-- number operation.
|
-- number operation.
|
procedure CA11013 is
|
procedure CA11013 is
|
|
|
package My_Complex_Pkg renames CA11013_3;
|
package My_Complex_Pkg renames CA11013_3;
|
use type CA11013_2.My_Float;
|
use type CA11013_2.My_Float;
|
|
|
My_Complex : My_Complex_Pkg.Complex_Type;
|
My_Complex : My_Complex_Pkg.Complex_Type;
|
My_Literal : CA11013_2.My_Float := 3.0;
|
My_Literal : CA11013_2.My_Float := 3.0;
|
My_Real_Part, My_Imag_Part : CA11013_2.My_Float;
|
My_Real_Part, My_Imag_Part : CA11013_2.My_Float;
|
|
|
begin
|
begin
|
|
|
Report.Test ("CA11013", "Check that child instance can use its parent's " &
|
Report.Test ("CA11013", "Check that child instance can use its parent's " &
|
"declarations and operations, including a formal " &
|
"declarations and operations, including a formal " &
|
"subprogram of the parent");
|
"subprogram of the parent");
|
|
|
My_Complex := CA11013_3.CA11013_4 (My_Literal);
|
My_Complex := CA11013_3.CA11013_4 (My_Literal);
|
-- Operation from the generic child function.
|
-- Operation from the generic child function.
|
|
|
My_Complex_Pkg.Components (My_Complex, My_Real_Part, My_Imag_Part);
|
My_Complex_Pkg.Components (My_Complex, My_Real_Part, My_Imag_Part);
|
-- Operation from the generic parent package.
|
-- Operation from the generic parent package.
|
|
|
if My_Real_Part /= 6.0 -- Operation from the generic
|
if My_Real_Part /= 6.0 -- Operation from the generic
|
or My_Imag_Part /= 9.0 -- parent package.
|
or My_Imag_Part /= 9.0 -- parent package.
|
then
|
then
|
Report.Failed ("Incorrect results from complex operation");
|
Report.Failed ("Incorrect results from complex operation");
|
end if;
|
end if;
|
|
|
Report.Result;
|
Report.Result;
|
|
|
end CA11013;
|
end CA11013;
|
|
|
