Interface for qBeta module object

Origin: ReservationSystem

version2: obj  

   FlightBooking: TravelBooking

      TravelInfo:: 

         carrier: ref FlightCompany

         fromAirport: ref Airport

         toAirport: ref Airport

         row: var Integer

         seat: var Char

         asText:: 

      cancel:: 

      confirm:: 

         -- confirmText := confirmText + "(text special for FlightBooking)"

         -- flight (including airports), row and seat

         -- outbound and return flights are covered by RoundTrips

         

   TrainBooking: TravelBooking

      TravelInfo:: 

         carrier: ref TrainCompany

         fromStation: ref TrainStation

         toStation: ref TrainStation

         wagon: var Integer

         seat: var Integer

      cancel:: 

      confirm:: 

         --confirmText := confirmText + "(text special for TrainBooking): "

         -- fromStation, toStation, waggon, seat

         

   makeBookingX: 

      current: ref FlightBooking