Overview  Package   Class  Use  Deprecated  Index
Home >> All >> [ settings overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

settings
Class globalSettings  

java.lang.Object
  settings.globalSettings

---

public class globalSettings

extends java.lang.Object

Stores all settings information for this application. Most of the information is stored in a Properties object, but there is also an array of operatorInterfaces.

Version:

1.1 08/19/2000

---

Field Summary
(package private)  exptree.operators.operatorInterface[]	ops
(package private)  java.util.Properties	props

 

Constructor Summary

globalSettings()           Default constructor.

globalSettings(java.util.Properties p)           Class constructor.

 

Method Summary
boolean	getBooleanProperty(java.lang.String k)
double	getDoubleProperty(java.lang.String s)           Returns a property from the Properties object as a double.
int	getIntegerProperty(java.lang.String s)           Returns a property from the Properties object as an int.
exptree.operators.operatorInterface[]	getOperators()           Returns the list of operators available.
java.util.Properties	getProperties()           Returns the Properties object.
java.lang.Object	getProperty(java.lang.String s)           Returns a property from the Properties object as an Object, with a default value of "0".
java.lang.String	getStringProperty(java.lang.String s)           Returns a propery from the Properties object as a String, with default value of "".
void	loadProperties()           Loads a Properties object from a file called evolution.ini.
void	loadProperties(java.lang.String fn)           Loads a Properties object from a file named in fn.
void	setBooleanProperty(java.lang.String k, boolean b)
void	setDoubleProperty(java.lang.String k, double v)           Sets a property in the Properties object, where the value being set is a double.
void	setIntegerProperty(java.lang.String k, int v)           Sets a property in the Properties object, where the value being set is an integer.
void	setProperties(java.util.Properties p)           Sets the Properties object to that which was passed in.
void	setProperty(java.lang.String k, java.lang.String v)           Sets a property in the Properties object.
void	storeProperties()           Stores the properties object in a file called evolution.ini.
void	storeProperties(java.lang.String fn)           Stores the Properties object in fn.

 

Methods inherited from class java.lang.Object

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

 

Field Detail

props

java.util.Properties props

---

ops

exptree.operators.operatorInterface[] ops

Constructor Detail

globalSettings

public globalSettings()

Default constructor.

---

globalSettings

public globalSettings(java.util.Properties p)

Class constructor. Keeps the Properties object it is given. Also, if the parameter is null, generates a new set of default properties. The properties are then stored in evolution.ini.

Method Detail

getOperators

public exptree.operators.operatorInterface[] getOperators()

Returns the list of operators available.

---

getProperties

public java.util.Properties getProperties()

Returns the Properties object.

---

setProperties

public void setProperties(java.util.Properties p)

Sets the Properties object to that which was passed in.

---

getProperty

public java.lang.Object getProperty(java.lang.String s)

Returns a property from the Properties object as an Object, with a default value of "0".

---

getStringProperty

public java.lang.String getStringProperty(java.lang.String s)

Returns a propery from the Properties object as a String, with default value of "".

---

getDoubleProperty

public double getDoubleProperty(java.lang.String s)

Returns a property from the Properties object as a double.

---

getIntegerProperty

public int getIntegerProperty(java.lang.String s)

Returns a property from the Properties object as an int.

---

setProperty

public void setProperty(java.lang.String k,
                        java.lang.String v)

Sets a property in the Properties object.

---

setDoubleProperty

public void setDoubleProperty(java.lang.String k,
                              double v)

Sets a property in the Properties object, where the value being set is a double.

---

setIntegerProperty

public void setIntegerProperty(java.lang.String k,
                               int v)

Sets a property in the Properties object, where the value being set is an integer.

---

setBooleanProperty

public void setBooleanProperty(java.lang.String k,
                               boolean b)

---

getBooleanProperty

public boolean getBooleanProperty(java.lang.String k)

---

storeProperties

public void storeProperties()
                     throws java.io.IOException,
                            java.io.FileNotFoundException

Stores the properties object in a file called evolution.ini.

---

storeProperties

public void storeProperties(java.lang.String fn)
                     throws java.io.IOException,
                            java.io.FileNotFoundException

Stores the Properties object in fn.

---

loadProperties

public void loadProperties()
                    throws java.io.IOException,
                           java.io.FileNotFoundException

Loads a Properties object from a file called evolution.ini.

---

loadProperties

public void loadProperties(java.lang.String fn)
                    throws java.io.IOException,
                           java.io.FileNotFoundException

Loads a Properties object from a file named in fn.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> [ settings overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---