Subversion Repositories openrisc

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