cmlog.gui
Class Config

java.lang.Object
  cmlog.gui.Config

public class Config

extends java.lang.Object

Field Summary

java.lang.String	queryFrom Possible query from time automatically displayed in a query dialog
java.lang.String	queryText Possible query automatically displayed in a query dialog
java.lang.String	queryTo Possible query to time automatically displayed in a query dialog

Method Summary

void	addPort(java.lang.String port) Add a new port number to the port poll.
void	addServer(java.lang.String server) Add a server name to server poll.
java.lang.String[]	getColumnTags() Get all column tags.
java.lang.String[]	getColumnTitles() Get all column titles.
int[]	getColumnWidths() Get all column widths.
static Config	getConfig() Get the global configuration information object.
java.lang.String	getFileName()
java.lang.String	getName() Return configuration name.
int	getNumberOfColumns() Get number of columns.
java.lang.String[]	getPortNumbers() Return possible port numbers.
int	getProtocolVersion() Get protocol version.
java.lang.String[]	getServerNames() Return possible server names.
java.lang.String	getTagForTitle(java.lang.String title) Convert a title into a tag.
java.lang.String	getTitleForTag(java.lang.String tag) Convert a tag into a title.
int	getTotalColumnWidth() Get total column widths.
int	getUpdateBufferSize() Get updating buffer size.
java.lang.String	getUpdateSelMessage() Get update selection String
int	getWindowHeight()
int	getWindowWidth()
void	output(java.lang.String file) Output configuration information to a file.
boolean	parseFile(java.lang.String file) Parse configuration file.
void	saveConfig(Disp disp) Save to default config file.
void	setColumnWidth(int idx, int width) Set column width.
void	setProtocolVersion(int version) Set protocol version.
void	setUpdateBufferSize(int size) Set updating buffer size.
void	setWindowHeight(int height) Set window height to height
void	setWindowWidth(int width) Set window width to width

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

queryText

public java.lang.String queryText

Possible query automatically displayed in a query dialog

queryFrom

public java.lang.String queryFrom

Possible query from time automatically displayed in a query dialog

queryTo

public java.lang.String queryTo

Possible query to time automatically displayed in a query dialog

Method Detail

getConfig

public static Config getConfig()

Get the global configuration information object.

saveConfig

public void saveConfig(Disp disp)
                throws java.io.IOException

Save to default config file.

Throws:

java.io.IOException

getFileName

public java.lang.String getFileName()

output

public void output(java.lang.String file)
            throws java.io.IOException

Output configuration information to a file.

Throws:

java.io.IOException

parseFile

public boolean parseFile(java.lang.String file)
                  throws java.io.FileNotFoundException,
                         java.io.IOException

Parse configuration file.

Parameters:

file - configuration file name

Returns:

true if configuration information are correct; otherwise false

Throws:

java.io.FileNotFoundException

java.io.IOException

getNumberOfColumns

public int getNumberOfColumns()

Get number of columns.

getColumnWidths

public int[] getColumnWidths()

Get all column widths.

setColumnWidth

public void setColumnWidth(int idx,
                           int width)

Set column width.

getTotalColumnWidth

public int getTotalColumnWidth()

Get total column widths.

getColumnTitles

public java.lang.String[] getColumnTitles()

Get all column titles.

getColumnTags

public java.lang.String[] getColumnTags()

Get all column tags.

getUpdateBufferSize

public int getUpdateBufferSize()

Get updating buffer size.

setUpdateBufferSize

public void setUpdateBufferSize(int size)

Set updating buffer size.

getProtocolVersion

public int getProtocolVersion()

Get protocol version.

setProtocolVersion

public void setProtocolVersion(int version)

Set protocol version.

getTagForTitle

public java.lang.String getTagForTitle(java.lang.String title)

Convert a title into a tag.

getTitleForTag

public java.lang.String getTitleForTag(java.lang.String tag)

Convert a tag into a title.

getName

public java.lang.String getName()

Return configuration name.

getServerNames

public java.lang.String[] getServerNames()

Return possible server names.

getPortNumbers

public java.lang.String[] getPortNumbers()

Return possible port numbers.

addServer

public void addServer(java.lang.String server)

Add a server name to server poll.

addPort

public void addPort(java.lang.String port)

Add a new port number to the port poll.

getUpdateSelMessage

public java.lang.String getUpdateSelMessage()

Get update selection String

getWindowHeight

public int getWindowHeight()

Returns:

Window height

getWindowWidth

public int getWindowWidth()

Returns:

Window width

setWindowHeight

public void setWindowHeight(int height)

Set window height to height

Parameters:

height -

setWindowWidth

public void setWindowWidth(int width)

Set window width to width

Parameters:

width -