fxacc00.a

来自「用于进行gcc测试」· A 代码 · 共 116 行

-- FXACC00.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 a tagged type definition and several
--      record extensions.  Objects of each type have also been declared 
--      and given initial values.
--      
--      Visual Description of Type Extensions:
--      
--                         type Ticket_Request
--                                  |
--                   _______________|_________________
--                  |                                 |
--                  |                                 |
--         type Subscriber_Request             type VIP_Request
--                                                    |
--                                                    |
--                                             type Last_Minute_Request
--      
-- CHANGE HISTORY:
--      06 Dec 94   SAIC    ACVC 2.0
--
--!

with Ada.Calendar;

package FXACC00 is

   type    Location_Type      is (Backstage, Orchestra, Center, Back, Balcony);
   type    Quantity_Type      is range 1 .. 100;
   subtype Season_Ticket_Type is Positive range 1 .. 1750;
   type    VIP_Status_Type    is (Mayor, City_Council, Visitor);
   type    Donation_Type      is (To_Charity, To_Theatre, Personal);

   Show_Of_Appreciation : constant Boolean := True;

   type Ticket_Request is tagged
      record
         Location          : Location_Type;
         Number_Of_Tickets : Quantity_Type;
      end record;


   type Subscriber_Request is new Ticket_Request with
      record
         Subscription_Number : Season_Ticket_Type;
      end record;


   type VIP_Request is new Ticket_Request with
      record
         Rank : VIP_Status_Type;
      end record;


   type Last_Minute_Request (Special_Consideration : Boolean) 
     is new VIP_Request with
      record
         Time_of_Request : Ada.Calendar.Time;
         case Special_Consideration is
            when True  => Donation : Donation_Type;
            when False => null;
         end case;
      end record;


   -- Object Declarations.


   Box_Office_Request     : Ticket_Request := 
                              (Location          => Back, 
                               Number_Of_Tickets => 2);

   Summer_Subscription    : Subscriber_Request := 
                              (Ticket_Request'(Box_Office_Request) 
                               with Subscription_Number => 567);  

   Mayoral_Ticket_Request : VIP_Request := 
                              (Location          => Backstage,
                               Number_Of_Tickets => 6,
                               Rank              => Mayor);
                                            
   Late_Request           : Last_Minute_Request (Show_Of_Appreciation) :=
                              (Special_Consideration => Show_Of_Appreciation, 
                               Location              => Orchestra, 
                               Number_Of_Tickets     => 2, 
                               Rank                  => City_Council,
                               Time_Of_Request       => Ada.Calendar.Clock,
                               Donation              => To_Charity);


end FXACC00;