📄 machine.java
字号:
/* * Copyright (c) 1998-2008 Caucho Technology -- all rights reserved * * This file is part of Resin(R) Open Source * * Each copy or derived work must preserve the copyright notice and this * notice unmodified. * * Resin Open Source is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation; either version 2 of the License, or * (at your option) any later version. * * Resin Open Source is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE, or any warranty * of NON-INFRINGEMENT. See the GNU General Public License for more * details. * * You should have received a copy of the GNU General Public License * along with Resin Open Source; if not, write to the * * Free Software Foundation, Inc. * 59 Temple Place, Suite 330 * Boston, MA 02111-1307 USA * * @author Scott Ferguson */package com.caucho.server.cluster;import java.util.*;import java.util.logging.*;import com.caucho.util.*;/** * Represents a machine in a cluster. Contains multiple servers. */public class Machine { private static final Logger log = Logger.getLogger(Machine.class.getName()); private static final L10N L = new L10N(Machine.class); private Cluster _cluster; private String _id = ""; private int _index; private ArrayList<ClusterServer> _serverList = new ArrayList<ClusterServer>(); public Machine(Cluster cluster) { _cluster = cluster; _index = cluster.getMachineList().size(); } /** * Gets the server identifier. */ public String getId() { return _id; } /** * Sets the server identifier. */ public void setId(String id) { _id = id; } /** * Returns the machine index. */ public int getIndex() { return _index; } /** * Sets the machine index. */ void setIndex(int index) { _index = index; } /** * Returns the cluster. */ public Cluster getCluster() { return _cluster; } /** * Creates a new ClusterServer. */ public ClusterServer createServer() { ClusterServer server = new ClusterServer(this); _serverList.add(server); return _cluster.createServer(server); } /** * Creates a new ClusterServer. */ public void addServer(ClusterServer server) { _cluster.addServer(server); } /** * Returns the list of servers. */ public ArrayList<ClusterServer> getServerList() { return _serverList; } public String toString() { return ("Machine[id=" + getId() + "]"); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -