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