.EVENT.......: Satisfy_Reservation
.DESCRIPTION.:
A reservation is ended because it is satisfied. That is, a copy of the
item that the member reserved, is returned to the library, and the
member is notified that the copy is available for check-out.
Note that the reservation is satisfied when the copy is returned and
the member is notified. We don't actually have to wait for the member
to come in and check out the copy (an event that might never happen)
for the reservation to end.
The sending of a message about this event is triggered by the
occurrence of the end_loan event. When a loan is ended, and a copy of
an item is returned to the library, we check to see if there were any
reservations for (copies of) the item.
NOTE: The sending of this message can be triggered by the occurrence of
the end_loan event, this message can be sent into the system by a human
being (a librarian) or generated within the system by an interactive
function.
The message is sent to MEMBER because it is used to decrement the
member's reservation_count.
.COMPOSITION.:
reservation_id &reservation_id
member_id &member_id
.BackwardReferences:
see CLASS Member
see CLASS Reservation