gomp-20050608-branch/gcc/testsuite/ada/acats/support/fxacc00.a

   1 -- FXACC00.A
   2 --
   3 --                             Grant of Unlimited Rights
   4 --
   5 --     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
   6 --     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained
   7 --     unlimited rights in the software and documentation contained herein.
   8 --     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making
   9 --     this public release, the Government intends to confer upon all
  10 --     recipients unlimited rights  equal to those held by the Government.
  11 --     These rights include rights to use, duplicate, release or disclose the
  12 --     released technical data and computer software in whole or in part, in
  13 --     any manner and for any purpose whatsoever, and to have or permit others
  14 --     to do so.
  15 --
  16 --                                    DISCLAIMER
  17 --
  18 --     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
  19 --     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
  20 --     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
  21 --     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
  22 --     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
  23 --     PARTICULAR PURPOSE OF SAID MATERIAL.
  24 --*
  25 --
  26 -- FOUNDATION DESCRIPTION:
  27 --      This foundation consists of a tagged type definition and several
  28 --      record extensions.  Objects of each type have also been declared
  29 --      and given initial values.
  30 --
  31 --      Visual Description of Type Extensions:
  32 --
  33 --                         type Ticket_Request
  34 --                                  |
  35 --                   _______________|_________________
  36 --                  |                                 |
  37 --                  |                                 |
  38 --         type Subscriber_Request             type VIP_Request
  39 --                                                    |
  40 --                                                    |
  41 --                                             type Last_Minute_Request
  42 --
  43 -- CHANGE HISTORY:
  44 --      06 Dec 94   SAIC    ACVC 2.0
  45 --
  46 --!
  47
  48 with Ada.Calendar;
  49
  50 package FXACC00 is
  51
  52    type    Location_Type      is (Backstage, Orchestra, Center, Back, Balcony);
  53    type    Quantity_Type      is range 1 .. 100;
  54    subtype Season_Ticket_Type is Positive range 1 .. 1750;
  55    type    VIP_Status_Type    is (Mayor, City_Council, Visitor);
  56    type    Donation_Type      is (To_Charity, To_Theatre, Personal);
  57
  58    Show_Of_Appreciation : constant Boolean := True;
  59
  60    type Ticket_Request is tagged
  61       record
  62          Location          : Location_Type;
  63          Number_Of_Tickets : Quantity_Type;
  64       end record;
  65
  66
  67    type Subscriber_Request is new Ticket_Request with
  68       record
  69          Subscription_Number : Season_Ticket_Type;
  70       end record;
  71
  72
  73    type VIP_Request is new Ticket_Request with
  74       record
  75          Rank : VIP_Status_Type;
  76       end record;
  77
  78
  79    type Last_Minute_Request (Special_Consideration : Boolean)
  80      is new VIP_Request with
  81       record
  82          Time_of_Request : Ada.Calendar.Time;
  83          case Special_Consideration is
  84             when True  => Donation : Donation_Type;
  85             when False => null;
  86          end case;
  87       end record;
  88
  89
  90    -- Object Declarations.
  91
  92
  93    Box_Office_Request     : Ticket_Request :=
  94                               (Location          => Back,
  95                                Number_Of_Tickets => 2);
  96
  97    Summer_Subscription    : Subscriber_Request :=
  98                               (Ticket_Request'(Box_Office_Request)
  99                                with Subscription_Number => 567);
 100
 101    Mayoral_Ticket_Request : VIP_Request :=
 102                               (Location          => Backstage,
 103                                Number_Of_Tickets => 6,
 104                                Rank              => Mayor);
 105
 106    Late_Request           : Last_Minute_Request (Show_Of_Appreciation) :=
 107                               (Special_Consideration => Show_Of_Appreciation,
 108                                Location              => Orchestra,
 109                                Number_Of_Tickets     => 2,
 110                                Rank                  => City_Council,
 111                                Time_Of_Request       => Ada.Calendar.Clock,
 112                                Donation              => To_Charity);
 113
 114
 115 end FXACC00;