-- 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;