diff options
author | Vladimir Glazounov <vg@openoffice.org> | 2003-04-11 16:13:36 +0000 |
---|---|---|
committer | Vladimir Glazounov <vg@openoffice.org> | 2003-04-11 16:13:36 +0000 |
commit | 0cdac85e2e8f0ba027c16e72209cb31d56968607 (patch) | |
tree | df78437d3bbeb90fcd9db578addaa1dc13316e6c /toolkit/test/accessibility | |
parent | da2778ba91134b3a6fa38800746643d32627c19e (diff) |
INTEGRATION: CWS vcl07 (1.1.2); FILE ADDED
2003/04/08 14:28:54 obr 1.1.2.1: re-added accessibility workbench
Diffstat (limited to 'toolkit/test/accessibility')
-rw-r--r-- | toolkit/test/accessibility/Options.java | 78 |
1 files changed, 78 insertions, 0 deletions
diff --git a/toolkit/test/accessibility/Options.java b/toolkit/test/accessibility/Options.java new file mode 100644 index 000000000000..a9c31aba5ab2 --- /dev/null +++ b/toolkit/test/accessibility/Options.java @@ -0,0 +1,78 @@ +import java.io.File; +import java.io.FileReader; +import java.io.FileInputStream; +import java.io.FileOutputStream; +import java.util.Properties; + +/** Load from and save options into a file. +*/ +class Options + extends Properties +{ + static public Options Instance () + { + if (saOptions == null) + saOptions = new Options (); + return saOptions; + } + + static public void SetString (String sName, String sValue) + { + Instance().setProperty (sName, sValue); + } + + static public String GetString (String sName) + { + return Instance().getProperty (sName); + } + + static public void SetBoolean (String sName, boolean bValue) + { + Instance().setProperty (sName, Boolean.toString(bValue)); + System.out.println ("setting boolean " + sName + " : " + + Instance().getProperty (sName)); + } + + static public boolean GetBoolean (String sName) + { + System.out.println ("getting boolean " + sName + " : " + + Instance().getProperty (sName) + "->" + Boolean.getBoolean(Instance().getProperty (sName))); + return Boolean.getBoolean(Instance().getProperty (sName)); + } + + public void Load (String sBaseName) + { + try + { + load (new FileInputStream (ProvideFile(sBaseName))); + } + catch (java.io.IOException e) + { + // Ignore a non-existing options file. + } + } + + public void Save (String sBaseName) + { + try + { + store (new FileOutputStream (ProvideFile(sBaseName)), null); + } + catch (java.io.IOException e) + { + } + } + + private Options () + { + } + + private File ProvideFile (String sBaseName) + { + return new File ( + System.getProperty ("user.home"), + sBaseName); + } + + static private Options saOptions = null; +} |