Contents | Package | Class | Tree | Deprecated | Index | Help
PREV | NEXT SHOW LISTS | HIDE LISTS

Class com.orbs.pub.app.agent.vaft.app.Config 

java.lang.Object
    |
    +----com.orbs.pub.app.agent.vaft.app.Config
public class Config
extends java.lang.Object
implements java.io.Serializable

Version:
1998-04-26
Author:
David W. Croft

Field Summary
static java.lang.String  AGENT_DIR
 
static java.lang.String  PEER_LIST_PATH
 
static java.lang.String  RMI_OBJECT_NAME
 
static java.lang.String  RMI_SERVER_NAME
 
static java.lang.String  RMI_SERVER_PORT
 
static java.lang.String  SEED_OBJECT_NAME
 
static java.lang.String  SEED_SERVER_NAME
 
static java.lang.String  SEED_SERVER_PORT
 
static java.lang.String  SWAP_DELAY
 
static java.lang.String  USE_CONTROL_PANEL
 
static java.lang.String  WEB_SERVER_NAME
 
static java.lang.String  WEB_SERVER_PORT
 
static java.lang.String  WEB_SERVER_ROOT
 
 

Constructor Summary
 Config(boolean use_control_panel, java.lang.String rmi_server_name, int rmi_server_port, java.lang.String rmi_object_name, java.lang.String web_server_name, int web_server_port, java.lang.String web_server_root, java.lang.String peer_list_path, java.lang.String seed_server_name, int seed_server_port, java.lang.String seed_object_name, long swap_delay, java.lang.String agent_dir)
 
 

Method Summary
HostInfo  createSeed()
 
static java.lang.String  display(Config config)
 
java.lang.String  display()
 
java.lang.String  getAgent_dir()
 
java.lang.String  getPeer_list_path()
 
java.lang.String  getRmi_object_name()
 
java.lang.String  getRmi_server_name()
 
int  getRmi_server_port()
 
java.lang.String  getSeed_object_name()
 
java.lang.String  getSeed_server_name()
 
int  getSeed_server_port()
 
long  getSwap_delay()
 
boolean  getUse_control_panel()
 
java.lang.String  getWeb_server_name()
 
int  getWeb_server_port()
 
java.lang.String  getWeb_server_root()
 
static void  help(java.io.PrintStream printStream)
 
static Config  parse(java.lang.String[] args, java.io.PrintStream printStream)
 
 
Methods inherited from class java.lang.Object
 clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

USE_CONTROL_PANEL

public static final java.lang.String USE_CONTROL_PANEL

RMI_SERVER_NAME

public static final java.lang.String RMI_SERVER_NAME

RMI_SERVER_PORT

public static final java.lang.String RMI_SERVER_PORT

RMI_OBJECT_NAME

public static final java.lang.String RMI_OBJECT_NAME

WEB_SERVER_NAME

public static final java.lang.String WEB_SERVER_NAME

WEB_SERVER_PORT

public static final java.lang.String WEB_SERVER_PORT

WEB_SERVER_ROOT

public static final java.lang.String WEB_SERVER_ROOT

PEER_LIST_PATH

public static final java.lang.String PEER_LIST_PATH

SEED_SERVER_NAME

public static final java.lang.String SEED_SERVER_NAME

SEED_SERVER_PORT

public static final java.lang.String SEED_SERVER_PORT

SEED_OBJECT_NAME

public static final java.lang.String SEED_OBJECT_NAME

SWAP_DELAY

public static final java.lang.String SWAP_DELAY

AGENT_DIR

public static final java.lang.String AGENT_DIR
Constructor Detail

Config

public Config(boolean use_control_panel,
              java.lang.String rmi_server_name,
              int rmi_server_port,
              java.lang.String rmi_object_name,
              java.lang.String web_server_name,
              int web_server_port,
              java.lang.String web_server_root,
              java.lang.String peer_list_path,
              java.lang.String seed_server_name,
              int seed_server_port,
              java.lang.String seed_object_name,
              long swap_delay,
              java.lang.String agent_dir)
Method Detail

help

public static void help(java.io.PrintStream printStream)

display

public static java.lang.String display(Config config)

parse

public static Config parse(java.lang.String[] args,
                           java.io.PrintStream printStream)

getUse_control_panel

public boolean getUse_control_panel()

getRmi_server_name

public java.lang.String getRmi_server_name()

getRmi_server_port

public int getRmi_server_port()

getRmi_object_name

public java.lang.String getRmi_object_name()

getWeb_server_name

public java.lang.String getWeb_server_name()

getWeb_server_port

public int getWeb_server_port()

getWeb_server_root

public java.lang.String getWeb_server_root()

getPeer_list_path

public java.lang.String getPeer_list_path()

getSeed_server_name

public java.lang.String getSeed_server_name()

getSeed_server_port

public int getSeed_server_port()

getSeed_object_name

public java.lang.String getSeed_object_name()

getSwap_delay

public long getSwap_delay()

getAgent_dir

public java.lang.String getAgent_dir()

display

public java.lang.String display()

createSeed

public HostInfo createSeed()
Contents | Package | Class | Tree | Deprecated | Index | Help

Virtual Anarchy of Free Traders
PREV | NEXT SHOW LISTS | HIDE LISTS