SE450: Assertions [49/57]

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

• During testing, run with
  

  java -enableassertions MyProg
  

• Or shorter, java -ea