| 126 | } |
| 127 | |
| 128 | virtual void Print(int update, std::ostream& out) { |
| 129 | for(t_message_list::iterator i=m_msgs.begin(); i!=m_msgs.end(); ++i) { |
| 130 | out << update << " ALL " << i->GetData() << " " << i->GetLabel() |
| 131 | << " " << i->GetSenderCellID() << " " << i->GetReceiverCellID() << endl; |
| 132 | } |
| 133 | } |
| 134 | |
| 135 | virtual void Reset() { m_msgs.clear(); } |
| 136 | virtual bool PreviouslySatisfied() { return false; } |
nothing calls this directly
no test coverage detected