(final Vector items)
| 85 | } |
| 86 | |
| 87 | public final void loadFrom(final Vector items) { |
| 88 | messages.removeAllElements(); |
| 89 | for (Enumeration e = items.elements(); e.hasMoreElements(); ) { |
| 90 | messages.addElement((MessageItem)e.nextElement()); |
| 91 | } |
| 92 | } |
| 93 | |
| 94 | public void gotoBegin() { |
| 95 | loadFrom(hl.stepBegin()); |
no test coverage detected