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