toolkit/test/accessibility/Options.java

   1 /*
   2  * This file is part of the LibreOffice project.
   3  *
   4  * This Source Code Form is subject to the terms of the Mozilla Public
   5  * License, v. 2.0. If a copy of the MPL was not distributed with this
   6  * file, You can obtain one at http://mozilla.org/MPL/2.0/.
   7  *
   8  * This file incorporates work covered by the following license notice:
   9  *
  10  *   Licensed to the Apache Software Foundation (ASF) under one or more
  11  *   contributor license agreements. See the NOTICE file distributed
  12  *   with this work for additional information regarding copyright
  13  *   ownership. The ASF licenses this file to you under the Apache
  14  *   License, Version 2.0 (the "License"); you may not use this file
  15  *   except in compliance with the License. You may obtain a copy of
  16  *   the License at http://www.apache.org/licenses/LICENSE-2.0 .
  17  */
  18
  19 import java.io.File;
  20 import java.io.FileInputStream;
  21 import java.io.FileOutputStream;
  22 import java.util.Properties;
  23
  24 /** Load from and save options into a file.
  25 */
  26 class Options
  27     extends Properties
  28 {
  29     static public Options Instance ()
  30     {
  31         if (saOptions == null)
  32             saOptions = new Options ();
  33         return saOptions;
  34     }
  35
  36     static public void SetString (String sName, String sValue)
  37     {
  38         Instance().setProperty (sName, sValue);
  39     }
  40
  41     static public String GetString (String sName)
  42     {
  43         return Instance().getProperty (sName);
  44     }
  45
  46     static public void SetBoolean (String sName, boolean bValue)
  47     {
  48         Instance().setProperty (sName, Boolean.toString(bValue));
  49     }
  50
  51     static public boolean GetBoolean (String sName)
  52     {
  53         return Boolean.getBoolean(Instance().getProperty (sName));
  54     }
  55
  56     static public void SetInteger (String sName, int nValue)
  57     {
  58         Instance().setProperty (sName, Integer.toString(nValue));
  59     }
  60
  61     static public int GetInteger (String sName, int nDefault)
  62     {
  63         String sValue = Instance().getProperty (sName);
  64         if (sValue == null)
  65             return nDefault;
  66         else
  67             return Integer.parseInt (sValue);
  68     }
  69
  70     public void Load (String sBaseName)
  71     {
  72         try
  73         {
  74             load (new FileInputStream (ProvideFile(sBaseName)));
  75         }
  76         catch (java.io.IOException e)
  77         {
  78             // Ignore a non-existing options file.
  79         }
  80     }
  81
  82     public void Save (String sBaseName)
  83     {
  84         try
  85         {
  86             store (new FileOutputStream (ProvideFile(sBaseName)), null);
  87         }
  88         catch (java.io.IOException e)
  89         {
  90         }
  91     }
  92
  93     private Options ()
  94     {
  95     }
  96
  97     private File ProvideFile (String sBaseName)
  98     {
  99         return new File (
 100             System.getProperty ("user.home"),
 101             sBaseName);
 102     }
 103
 104     static private Options saOptions = null;
 105 }