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.io.IOException;
  23 import java.util.Properties;
  24
  25 /** Load from and save options into a file.
  26 */
  27 class Options
  28     extends Properties
  29 {
  30     static public Options Instance ()
  31     {
  32         if (saOptions == null)
  33             saOptions = new Options ();
  34         return saOptions;
  35     }
  36
  37     static public void SetBoolean (String sName, boolean bValue)
  38     {
  39         Instance().setProperty (sName, Boolean.toString(bValue));
  40     }
  41
  42     static public boolean GetBoolean (String sName)
  43     {
  44         return Boolean.getBoolean(Instance().getProperty (sName));
  45     }
  46
  47     static public void SetInteger (String sName, int nValue)
  48     {
  49         Instance().setProperty (sName, Integer.toString(nValue));
  50     }
  51
  52     static public int GetInteger (String sName, int nDefault)
  53     {
  54         String sValue = Instance().getProperty (sName);
  55         if (sValue == null)
  56             return nDefault;
  57         else
  58             return Integer.parseInt (sValue);
  59     }
  60
  61     public void Load (String sBaseName)
  62     {
  63         FileInputStream fis = null;
  64         try
  65         {
  66             fis = new FileInputStream (ProvideFile(sBaseName));
  67             load (fis);
  68         }
  69         catch (IOException e)
  70         {
  71             // Ignore a non-existing options file.
  72         }
  73         finally
  74         {
  75             try
  76             {
  77                 if (fis != null)
  78                     fis.close();
  79             }
  80             catch (IOException ex)
  81             {
  82             }
  83         }
  84     }
  85
  86     public void Save (String sBaseName)
  87     {
  88         FileOutputStream fos = null;
  89         try
  90         {
  91             fos = new FileOutputStream (ProvideFile(sBaseName));
  92             store (fos, null);
  93         }
  94         catch (IOException e)
  95         {
  96         }
  97         finally
  98         {
  99             try
 100             {
 101                 if (fos != null)
 102                     fos.close();
 103             }
 104             catch (IOException ex)
 105             {
 106             }
 107         }
 108     }
 109
 110     private Options ()
 111     {
 112     }
 113
 114     private File ProvideFile (String sBaseName)
 115     {
 116         return new File (
 117             System.getProperty ("user.home"),
 118             sBaseName);
 119     }
 120
 121     static private Options saOptions = null;
 122 }