skyview.executive
Class Settings

java.lang.Object
  extended by skyview.executive.Settings

public class Settings
extends java.lang.Object

This class defines a singleton where SkyView preferences/settings can be set and gotten from anywhere in the system. A setting is simply a key=string value. When there is to be more than one value for the key it should be specified as string1,string2,string3. A comma is not allowed as a character within a setting. Keys are case insensitive.


Method Summary
static void addArgs(java.lang.String[] args)
          Add settings from a list of arguments.
static java.lang.String get(java.lang.String key)
          Get a value corresponding to the key
static java.lang.String get(java.lang.String key, java.lang.String dft)
          Get a values corresponding to a key or the default
static java.lang.String[] getArray(java.lang.String key)
          Get the values corresponding to a key as an array of strings.
static boolean has(java.lang.String key)
          Check if the given key has been set
static void put(java.lang.String key, java.lang.String value)
          Save a key and value
static void restore()
          Restore a previously saved state.
static void save()
          Save the current state of the settings for a later restoration
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

addArgs

public static void addArgs(java.lang.String[] args)
Add settings from a list of arguments. This is probably the argument list given to main, but needn't be.


get

public static java.lang.String get(java.lang.String key)
Get a value corresponding to the key


get

public static java.lang.String get(java.lang.String key,
                                   java.lang.String dft)
Get a values corresponding to a key or the default


getArray

public static java.lang.String[] getArray(java.lang.String key)
Get the values corresponding to a key as an array of strings. Returns null rather than a 0 length array if the value is not set.


put

public static void put(java.lang.String key,
                       java.lang.String value)
Save a key and value


save

public static void save()
Save the current state of the settings for a later restoration


has

public static boolean has(java.lang.String key)
Check if the given key has been set


restore

public static void restore()
Restore a previously saved state.