payAdventure

[madalenassembleia]

Effects: Makes, for client client, the activity reservationactReserv and hotel room reservations roomReserv needed for all participants, calculates tax of the purchase, debits the client’s account fromAccount with the amount amount plus tax, credits the broker’s account toAccount with amount, makes an invoice invoice for the purchase with purchase type Leisure. After this operation, the state of the adventure is
PayedState.

Input: adv, client, num, broker, actReserv, roomReserv, amount, fromAccount, toAccount, invoice

• It is only possible to pay for adventures added to Adventure Builder. (26)

• For each adventure in Adventure Builder, the account that is used for
  paying for the adventure belongs to the client that the adventure is created
  for. (27)

• For each adventure in Adventure Builder, the account that is credited belongs
  to the broker who arranged the adventure. (28)

• If an adventure is payed for, then it has been created. (31)

• If an adventure is payed, then the corresponding invoice is created. (35)

• Tax on purchase depends on the kind of purchase and the price, and the
  tax is always ≥ 0. (37)