537538539540541542543544545546547
} private void checkRead( PlainMailbox mb, boolean present, Who who, Message msg ) throws InterruptedException { Element e = mb.read(); if (present) checkElement( e, who, msg ); else assertNull( e ); }
547548549550551552553554555556557
} private void checkRead( PlainMailbox mb, int maxDelay, boolean present, Who who, Message msg ) throws InterruptedException { Element e = mb.read( maxDelay ); if (present) checkElement( e, who, msg ); else assertNull( e ); }
556557558559560561562563
assertNull( e ); } private void checkRedelivered( int index, Who who, Message msg ) { Element e = mmgr.redelivered.get( index ); checkElement( e, who, msg ); }
635636637638639640641
/** */ public boolean unregistered; public void redeliver( Who sender, Message msg ) throws Exception { redelivered.add( new Element( sender, msg ) ); }