@Override // GemStoneAddition public void stop() { AckReceiverWindow win; if(sender_win != null) { sender_win.stop(); sender_win=null; } for(Iterator it=receivers.values().iterator(); it.hasNext();) { win=(AckReceiverWindow)it.next(); win.reset(); } receivers.clear(); }
void reset() { if(sent_msgs != null) sent_msgs.reset(); if (sent_high_prio_msgs != null) sent_high_prio_msgs.reset(); if(received_msgs != null) received_msgs.reset(); numReceivedMsgs = numSentMsgs = numSentHighPrioMsgs = 0; // GemStoneAddition }