540541542543544545546547548549550
} 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 ); }
550551552553554555556557558559560
} 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 ); }
559560561562563564565566
assertNull( e ); } private void checkRedelivered( int index, Who who, Message msg ) { Element e = mmgr.redelivered.get( index ); checkElement( e, who, msg ); }
638639640641642643644
/** */ public boolean unregistered; public void redeliver( Who sender, Message msg ) throws Exception { redelivered.add( new Element( sender, msg ) ); }