You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Effects: Adds the adventure adv for the client client and the number of people num, with broker broker, activity reservation actReserv, room reservations roomReserv, price for the adventure charge, client account fromAccount, broker account toAccount. After this operation, the state of the adventure is InitialState.
Associated requirements:
For each adventure in Adventure Builder, the number of people that the reservation is intended for is > 0. (22)
For each adventure in Adventure Builder, the client is also the client in the corresponding room and activity reservations. (23)
For each adventure in Adventure Builder, the corresponding room reservations are at the same hotel. (24)
For each adventure in Adventure Builder, the number of people that the
corresponding room reservations are for matches the number of people
doing the activity. (25)
Input:
adv
,client
,num
,broker
,actReserv
,roomReserv
,amount
,fromAccount
,toAccount
Effects: Adds the adventure
adv
for the clientclient
and the number of peoplenum
, with brokerbroker
, activity reservationactReserv
, room reservationsroomReserv
, price for the adventurecharge
, client accountfromAccount
, broker accounttoAccount
. After this operation, the state of the adventure is InitialState.Associated requirements:
corresponding room reservations are for matches the number of people
doing the activity. (25)
Related to: #6
The text was updated successfully, but these errors were encountered: