01: // ServerListModelInterface.java
02: // $Id: ServerListModelInterface.java,v 1.7 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 org.w3c.jigadmin.RemoteResourceWrapper;
09:
10: import org.w3c.jigsaw.admin.RemoteAccessException;
11:
12: /**
13: * Interface for ServerList model.
14: * @version $Revision: 1.7 $
15: * @author Benoît Mahé (bmahe@w3.org)
16: */
17: public interface ServerListModelInterface {
18:
19: /**
20: * The nam eof the admin server.
21: */
22: public static final String ADMIN_SERVER_NAME = "Admin";
23:
24: /**
25: * Returns a array of the server names.
26: * @return an array of String
27: */
28: public String[] getServers();
29:
30: /**
31: * Get the server with the given name.
32: * @param name the server name
33: * @return The RemoteResourceWrapper of the server.
34: */
35: public RemoteResourceWrapper getServer(String name);
36:
37: }
|