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/] [c3/] [c341a03.a] - Rev 384
Compare with Previous | Blame | View Log
-- C341A03.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 object of one class-wide type can initialize a
-- class-wide object of a different type when the operation is embedded
-- in a generic unit.
--
-- TEST DESCRIPTION:
-- Declare specific-type objects of an extended type. Declare an array
-- of access values designating class-wide objects, initialized to point
-- to the objects of the specific type. Define a generic subprogram
-- having a generic formal derived type parameter. Within the generic,
-- declare a class-wide variable of the formal parameter type. Verify
-- that the variable can be initialized with the value of an object
-- of another class-wide type within the class.
--
-- The particular root and extended types used in this abstraction are
-- defined in foundation code (F341A00.A), and are graphically displayed
-- as follows:
--
-- package Bank
-- type Account
-- |
-- |
-- |
-- package Checking
-- type Account
-- |
-- |
-- |
-- package Interest_Checking
-- type Account
--
-- TEST FILES:
-- This test depends on the following foundation code:
--
-- F341A00.A
--
--
-- CHANGE HISTORY:
-- 06 Dec 94 SAIC ACVC 2.0
-- 16 Dec 94 SAIC Changed level of 'Class for ATM_Card
--
--!
with F341A00_0; -- package Bank
generic
type Account_Type is new F341A00_0.Account with private; -- new Bank.Account
function C341A03_0 (The_Account : Account_Type'Class) -- function Audit
return F341A00_0.Dollar_Amount;
function C341A03_0 (The_Account : Account_Type'Class)
return F341A00_0.Dollar_Amount is
Acct : Account_Type'Class := The_Account; -- Init. of class-wide with
begin -- another class-wide object.
return Acct.Current_Balance;
end C341A03_0;
--=================================================================--
with F341A00_0; -- package Bank
with F341A00_1; -- package Checking
with C341A03_0; -- generic function Audit
with Report;
procedure C341A03 is
package Bank renames F341A00_0;
package Checking renames F341A00_1;
Current_Checking_Accounts : constant := 3;
Checking_Acct1 : aliased Checking.Account := (Current_Balance => 10.00,
Overdraft_Fee => 5.00);
Checking_Acct2 : aliased Checking.Account := (Current_Balance => 20.00,
Overdraft_Fee => 5.00);
Checking_Acct3 : aliased Checking.Account := (Current_Balance => 30.00,
Overdraft_Fee => 5.00);
type ATM_Card is access all Checking.Account'Class;
-- Declare array of accesses to class-wide objects.
Account_Array : array (1 .. Current_Checking_Accounts) of
ATM_Card := (Checking_Acct1'Access,
Checking_Acct2'Access,
Checking_Acct3'Access);
begin -- C341A03
Report.Test ("C341A03", "Check that an object of one class-wide type " &
"can initialize a class-wide object of a " &
"different type when the operation is embedded " &
"in a generic unit" );
Audit_Checking_Accounts:
declare
Balance_In_Checking_Accounts : Bank.Dollar_Amount := 0.00;
-- Instantiate with a specific extended type.
function Checking_Audit is new C341A03_0 (Checking.Account);
use type Bank.Dollar_Amount;
begin
for I in 1 .. Current_Checking_Accounts loop
Balance_In_Checking_Accounts := Balance_In_Checking_Accounts +
Checking_Audit (Account_Array (I).all);
end loop;
if Balance_In_Checking_Accounts /= 60.00 then
Report.Failed ("Incorrect initialization of class-wide object");
end if;
end Audit_Checking_Accounts;
Report.Result;
end C341A03;