123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384 |
- /*
- * Copyright (c) 2006-2007 Chris Smith, Shane Mc Cormack, Gregory Holmes
- *
- * Permission is hereby granted, free of charge, to any person obtaining a copy
- * of this software and associated documentation files (the "Software"), to deal
- * in the Software without restriction, including without limitation the rights
- * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
- * copies of the Software, and to permit persons to whom the Software is
- * furnished to do so, subject to the following conditions:
- *
- * The above copyright notice and this permission notice shall be included in
- * all copies or substantial portions of the Software.
- *
- * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
- * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
- * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
- * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
- * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
- * SOFTWARE.
- */
-
- package dmdirc;
-
- import java.util.Vector;
-
- /**
- * The ServerManager maintains a list of all servers, and provides methods to
- * search or iterate over them.
- * @author chris
- */
- public class ServerManager {
-
- /**
- * Singleton instance of ServerManager
- */
- private static ServerManager me = null;
-
- /**
- * All servers that currently exist
- */
- private Vector<Server> servers;
-
- /**
- * Returns the singleton instance of ServerManager
- * @return Instance of ServerManager
- */
- public static ServerManager getServerManager() {
- if (me == null) {
- me = new ServerManager();
- }
- return me;
- }
-
- /** Creates a new instance of ServerManager */
- public ServerManager() {
- servers = new Vector<Server>(0, 1);
- }
-
- /**
- * Registers a new server with the manager
- * @param server The server to be registered
- */
- public void registerServer(Server server) {
- servers.add(server);
- }
-
- /**
- * Unregisters a server from the manager
- * @param server The server to be unregistered
- */
- public void unregisterServer(Server server) {
- servers.remove(server);
- }
-
- /**
- * Returns the number of servers that are registered with the manager
- * @return number of registered servers
- */
- public int numServers() {
- return servers.size();
- }
-
- }
|