145 lines
5.5 KiB
Plaintext
145 lines
5.5 KiB
Plaintext
-- FXACA00.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.
|
|
--*
|
|
--
|
|
-- FOUNDATION DESCRIPTION:
|
|
-- This foundation consists of type definitions and object declarations
|
|
-- used by tests of Stream_IO functionality.
|
|
-- Objects of both record types specified below (discriminated records
|
|
-- with defaults, and discriminated records w/o defaults that have the
|
|
-- discriminant included in a representation clause for the type) should
|
|
-- have their discriminants included in the stream when using 'Write
|
|
-- Likewise, discriminants should be extracted from the stream when
|
|
-- using 'Read.
|
|
--
|
|
-- CHANGE HISTORY:
|
|
-- 06 Dec 94 SAIC ACVC 2.0
|
|
-- 02 May 96 SAIC Incorporated reviewer comments for ACVC 2.1.
|
|
--
|
|
--!
|
|
|
|
with ImpDef;
|
|
|
|
package FXACA00 is
|
|
|
|
type Origin_Type is (Foreign, Domestic);
|
|
|
|
for Origin_Type'Size use 1; -- Forces objects of the type to be
|
|
-- representable in 1 bit, used in rep clause
|
|
-- below for Sales_Record_Type.
|
|
|
|
type Product_Type (Manufacture : Origin_Type := Domestic) is
|
|
record
|
|
Item : String (1..8);
|
|
ID : Natural range 1..100;
|
|
case Manufacture is
|
|
when Foreign =>
|
|
Importer : String (1..10);
|
|
when Domestic =>
|
|
Distributor : String (1..10);
|
|
end case;
|
|
end record;
|
|
|
|
|
|
type Sales_Record_Type (Buyer : Origin_Type) is -- No default provided
|
|
record -- for the discriminant.
|
|
Name : String (1..6);
|
|
Sale_Item : Boolean := False;
|
|
case Buyer is
|
|
when Foreign =>
|
|
Quantity_Discount : Boolean;
|
|
when Domestic =>
|
|
Cash_Discount : Boolean;
|
|
end case;
|
|
end record;
|
|
|
|
|
|
String_Bits : constant := ImpDef.Char_Bits * 6 - 1;
|
|
|
|
-- This discriminated record type has a representation clause that
|
|
-- includes the discriminant of the object of this type.
|
|
|
|
for Sales_Record_Type use
|
|
record
|
|
Name at 0 range 0..String_Bits;
|
|
Sale_Item at ImpDef.Next_Storage_Slot range 0..0;
|
|
Buyer at ImpDef.Next_Storage_Slot range 1..1;
|
|
Quantity_Discount at ImpDef.Next_Storage_Slot range 2..2;
|
|
Cash_Discount at ImpDef.Next_Storage_Slot range 3..3;
|
|
end record;
|
|
|
|
|
|
type Timespan_Type is (Week, Month, Year);
|
|
|
|
type Sales_Statistics_Type is
|
|
array (Timespan_Type) of natural range 0 .. 500;
|
|
|
|
|
|
-- Object Declarations
|
|
|
|
|
|
Product_01 : Product_Type := (Domestic, "Product1", 1, "Distrib 01");
|
|
Product_02 : Product_Type (Manufacture => Foreign) := (Foreign,
|
|
"Product2",
|
|
2,
|
|
"Importer02");
|
|
Product_03 : Product_Type (Foreign) := (Manufacture => Foreign,
|
|
Item => "Product3",
|
|
ID => 3,
|
|
Importer => "Importer03");
|
|
--
|
|
|
|
Sale_Count_01 : Integer := 2;
|
|
Sale_Count_02 : Integer := 0;
|
|
Sale_Count_03 : Integer := 3;
|
|
|
|
--
|
|
|
|
Sale_Rec_01 : Sales_Record_Type (Domestic) :=
|
|
(Domestic, "Buyer1", False, True);
|
|
Sale_Rec_02 : Sales_Record_Type (Domestic) :=
|
|
(Domestic, "Buyer2", True, False);
|
|
|
|
Sale_Rec_03 : Sales_Record_Type (Buyer => Foreign) :=
|
|
(Buyer => Foreign, Name => "Buyer3", Sale_Item => True,
|
|
Quantity_Discount => True);
|
|
|
|
Sale_Rec_04 : Sales_Record_Type (Foreign) :=
|
|
(Foreign, "Buyer4", True, False);
|
|
Sale_Rec_05 : Sales_Record_Type (Buyer => Foreign) := (Foreign,
|
|
"Buyer5",
|
|
False,
|
|
False);
|
|
--
|
|
|
|
|
|
Product_01_Stats : Sales_Statistics_Type := (2,4,8);
|
|
Product_02_Stats : Sales_Statistics_Type := (Week => 0,
|
|
Month => 5,
|
|
Year => 10);
|
|
Product_03_Stats : Sales_Statistics_Type := (3, 6, others => 12);
|
|
|
|
|
|
end FXACA00;
|