24 |
|
|
25 |
import java.util.Vector; |
import java.util.Vector; |
26 |
|
|
27 |
import javax.swing.event.ChangeEvent; |
import net.sf.juife.event.GenericEvent; |
28 |
import javax.swing.event.ChangeListener; |
import net.sf.juife.event.GenericListener; |
29 |
|
|
30 |
import org.w3c.dom.Document; |
import org.w3c.dom.Document; |
31 |
import org.w3c.dom.Element; |
import org.w3c.dom.Element; |
39 |
*/ |
*/ |
40 |
public class ServerList { |
public class ServerList { |
41 |
private final Vector<Server> servers = new Vector<Server>(); |
private final Vector<Server> servers = new Vector<Server>(); |
42 |
private final Vector<ChangeListener> listeners = new Vector<ChangeListener>(); |
private final Vector<GenericListener> listeners = new Vector<GenericListener>(); |
43 |
|
|
44 |
private final ChangeListener l = new ChangeListener() { |
private final GenericListener l = new GenericListener() { |
45 |
public void |
public void |
46 |
stateChanged(ChangeEvent e) { fireChangeEvent(); } |
jobDone(GenericEvent e) { fireChangeEvent(); } |
47 |
}; |
}; |
48 |
|
|
49 |
/** |
/** |
56 |
|
|
57 |
/** |
/** |
58 |
* Registers the specified listener to be notified when the server list is changed. |
* Registers the specified listener to be notified when the server list is changed. |
59 |
* @param l The <code>ChangeListener</code> to register. |
* @param l The <code>GenericListener</code> to register. |
60 |
*/ |
*/ |
61 |
public void |
public void |
62 |
addChangeListener(ChangeListener l) { listeners.add(l); } |
addChangeListener(GenericListener l) { listeners.add(l); } |
63 |
|
|
64 |
/** |
/** |
65 |
* Removes the specified listener. |
* Removes the specified listener. |
66 |
* @param l The <code>ChangeListener</code> to remove. |
* @param l The <code>GenericListener</code> to remove. |
67 |
*/ |
*/ |
68 |
public void |
public void |
69 |
removeChangeListener(ChangeListener l) { listeners.remove(l); } |
removeChangeListener(GenericListener l) { listeners.remove(l); } |
70 |
|
|
71 |
/** |
/** |
72 |
* Adds the specified server to the server list. |
* Adds the specified server to the server list. |
213 |
/** Notifies listeners that the server list has changed. */ |
/** Notifies listeners that the server list has changed. */ |
214 |
protected void |
protected void |
215 |
fireChangeEvent() { |
fireChangeEvent() { |
216 |
ChangeEvent e = new ChangeEvent(this); |
GenericEvent e = new GenericEvent(this); |
217 |
for(ChangeListener l : listeners) l.stateChanged(e); |
for(GenericListener l : listeners) l.jobDone(e); |
218 |
} |
} |
219 |
|
|
220 |
/** |
/** |