{"id":5215,"date":"2024-06-12T17:31:43","date_gmt":"2024-06-12T15:31:43","guid":{"rendered":"https:\/\/oopm.org\/?page_id=5215"},"modified":"2025-01-14T12:56:44","modified_gmt":"2025-01-14T11:56:44","slug":"10-2-2-booking-of-flights","status":"publish","type":"page","link":"https:\/\/oopm.org\/?page_id=5215","title":{"rendered":"10.2.1 Booking of flights"},"content":{"rendered":"
\"image_pdf\"<\/a>\"image_print\"<\/a><\/div>\n

In order to support booking of flights we need that FlightRoute<\/code> is extended with scheduledFlightTime<\/code>, as this one of the criteria people use when booking:<\/p>\n\n\n\n

class<\/strong> FlightRoute(flightNumber, origin, destination: var<\/strong> String):   \n   scheduledDepartureTime: var<\/strong> TimeOfDay \n   scheduledArrivalTime: var<\/strong> TimeOfDay <\/mark>\n   flights: obj<\/strong> OrderedList(Flight)<\/mark> \n   -<\/mark>\"-\n   <\/mark>scheduledFlightTime -> sft: var<\/strong> Time.Hours:  \n      sft :=  scheduledArrivalTime - scheduledDepartureTime<\/code><\/pre>\n\n\n\n
Objects of class Flight<\/code> are created as soon as it is possible to make bookings on this flight, typically some months before scheduled departure. At that time the departureDate<\/code> is set. For this purpose, the class FlightRoute<\/code> has the method createFlight<\/code>:<\/p>\n\n\n\n
class<\/strong> FlightRoute(flightNumber, origin, destination: var<\/strong> String):\n   -:-\n   createFlight(d: var<\/strong> Date):\n      f: ref<\/strong> Flight\n      f := Flight(d)\n      f.departureTime := scheduledDepartureTime\n      f.arrivalTime := scheduledArrivalTime\n      flights.insert(f)<\/code><\/pre>\n\n\n\n
Booking is based upon choosing origin and destination airports, together with a date. In practise the airline will provide options for the given date plus\/minus a couple of day; the following simply gives the flights at just one date.<\/p>\n\n\n\n
For simplicity we have excluded the handling of seats, but we do that in section