Package skyview.executive
Class Settings
java.lang.Object
skyview.executive.Settings
This class defines a singleton where SkyView preferences/settings
Testchange...
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.
When specified in the command line Settings may sometimes be set with just the keyword. This is treated as equivalent to key=1.
-
Method Summary
Modifier and TypeMethodDescriptionstatic void
Add a setting to a list -- but only if it is not already in the list.static void
Add settings from a list of arguments.static void
Add a single argument tokenstatic String
Get a value corresponding to the keystatic String
Get a values corresponding to a key or the defaultstatic String[]
Get the values corresponding to a key as an array of strings.static String[]
getKeys()
Return the array of keys in the current settingsstatic boolean
Check if the given key has been setpop()
Give a copy of the current settings and pop the stackstatic void
static void
Save a key and valuestatic void
restore()
Restore a previously saved state.static void
save()
Save the current state of the settings for a later restorationstatic void
This method works like put except that it does not add a pair if the keys is in the _nullvalues setting or if the Setting is already set (unless it is set to the special value "default")static void
updateFromFile
(String settingsFile) Try to read settings from a file
-
Method Details
-
updateFromFile
Try to read settings from a file -
addArgs
Add settings from a list of arguments. This is probably the argument list given to main, but needn't be. -
addToken
Add a single argument token -
get
Get a value corresponding to the key -
get
Get a values corresponding to a key or the default -
getArray
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. -
suggest
This method works like put except that it does not add a pair if the keys is in the _nullvalues setting or if the Setting is already set (unless it is set to the special value "default") -
put
Save a key and value -
save
public static void save()Save the current state of the settings for a later restoration -
add
Add a setting to a list -- but only if it is not already in the list. -
has
Check if the given key has been set -
getKeys
Return the array of keys in the current settings -
restore
public static void restore()Restore a previously saved state. -
pop
Give a copy of the current settings and pop the stack -
push
-