Preconditions
Caller attempts to remove message from empty
MessageQueue
What should happen?
MessageQueue
can declare this as an error
MessageQueue
can tolerate call and return dummy value
What is better?
previous
|
start
|
next
.... [Slide 39] ....