---

Assertions

public Message removeFirst() 
{ 
   assert count > 0 : "violated precondition size() > 0";
   Message r = elements[head]; 
   . . .
} 

• During testing, run with
  

  java -enableassertions MyProg
  

---

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