01: // ServerListModelListener.java
02: // $Id: ServerListListener.java,v 1.3 2000/08/16 21:37:31 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1998.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigadmin.gui.slist;
07:
08: import java.util.EventListener;
09:
10: import org.w3c.jigadmin.RemoteResourceWrapper;
11:
12: /**
13: * The interface for ServerList listeners
14: * @version $Revision: 1.3 $
15: * @author Benoît Mahé (bmahe@w3.org)
16: */
17: public interface ServerListListener extends EventListener {
18:
19: /**
20: * A server has been selected.
21: * @param name the server name.
22: * @param rrw the server RemoteResourceWrapper
23: */
24: public void serverSelected(String name, RemoteResourceWrapper rrw);
25:
26: }
|