---

Preconditions

/**
   Remove message at head
   @return the message at the head
   @precondition size() > 0
*/
Message removeFirst()
{
   return (Message)elements.remove(0);
}

• What happens if precondition not fulfilled?
• IndexOutOfBoundsException
• Other implementation may have different behavior

---

previous | start | next .... [Slide 41] ....