001/* jpvmConfiguration.java
002 * 
003 * A class containing virtual machine configuration.
004 *
005 * Adam J Ferrari
006 * Sun 05-26-1996
007 *
008 * Copyright (C) 1996  Adam J Ferrari
009 * 
010 * This library is free software; you can redistribute it and/or
011 * modify it under the terms of the GNU Library General Public
012 * License as published by the Free Software Foundation; either
013 * version 2 of the License, or (at your option) any later version.
014 * 
015 * This library is distributed in the hope that it will be useful,
016 * but WITHOUT ANY WARRANTY; without even the implied warranty of
017 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
018 * Library General Public License for more details.
019 * 
020 * You should have received a copy of the GNU Library General Public
021 * License along with this library; if not, write to the
022 * Free Software Foundation, Inc., 675 Mass Ave, Cambridge,
023 * MA 02139, USA.
024 */
025
026package jpvm;
027import jpvm.jpvmTaskId;
028
029public
030class jpvmConfiguration {
031        public int              numHosts;
032        public String           hostNames[];
033        public jpvmTaskId       hostDaemonTids[];
034
035        public jpvmConfiguration() {
036                numHosts = 0;
037                hostNames = null;
038                hostDaemonTids  = null;
039        }
040
041        public jpvmConfiguration(int n) {
042                numHosts = n;
043                hostNames = new String[n];
044                hostDaemonTids  = new jpvmTaskId[n];
045        }
046};