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
133
134
135
136
137
138
139
140
141
142
|
// Copyright (C) 2001-2003 Jon A. Maxwell (JAM)
//
// This library is free software; you can redistribute it and/or
// modify it under the terms of the GNU Lesser General Public
// License as published by the Free Software Foundation; either
// version 2.1 of the License, or (at your option) any later version.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
// Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public
// License along with this library; if not, write to the Free Software
// Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
package net.sourceforge.jnlp.util;
import java.io.*;
import java.net.*;
import java.util.*;
import net.sourceforge.jnlp.*;
/**
* A properties object backed by a specified file without throwing
* exceptions. The properties are automatically loaded from the
* file when the first property is requested, but the save method
* must be called before changes are saved to the file.<p>
*
* This class does not report IO exceptions.<p>
*
* @author <a href="mailto:jmaxwell@users.sourceforge.net">Jon A. Maxwell (JAM)</a> - initial author
* @version $Revision: 1.4 $
*/
public class PropertiesFile extends Properties {
/** the file to save to */
File file;
/** the header string */
String header = "netx file";
/** lazy loaded on getProperty */
boolean loaded = false;
/**
* Create a properties object backed by the specified file.
*
* @param file the file to save and load to
*/
public PropertiesFile(File file) {
this.file = file;
}
/**
* Create a properties object backed by the specified file.
*
* @param file the file to save and load to
* @param header the file header
*/
public PropertiesFile(File file, String header) {
this.file = file;
this.header = header;
}
/**
* Returns the value of the specified key, or null if the key
* does not exist.
*/
public String getProperty(String key) {
if (!loaded)
load();
return super.getProperty(key);
}
/**
* Returns the value of the specified key, or the default value
* if the key does not exist.
*/
public String getProperty(String key, String defaultValue) {
if (!loaded)
load();
return super.getProperty(key, defaultValue);
}
/**
* Sets the value for the specified key.
*
* @return the previous value
*/
public Object setProperty(String key, String value) {
if (!loaded)
load();
return super.setProperty(key, value);
}
/**
* Returns the file backing this properties object.
*/
public File getStoreFile() {
return file;
}
/**
* Ensures that the file backing these properties has been
* loaded; call this method before calling any method defined by
* a superclass.
*/
public void load() {
loaded = true;
try {
if (!file.exists())
return;
InputStream s = new FileInputStream(file);
load(s);
} catch (IOException ex) {
// eat
}
}
/**
* Saves the properties to the file.
*/
public void store() {
if (!loaded)
return; // nothing could have changed so save unnecessary load/save
try {
OutputStream s = new FileOutputStream(file);
store(s, header);
} catch (IOException ex) {
// eat
}
}
}
|
