/**
* Calls the <code>store(OutputStream out, String header)</code> method
* and suppresses IOExceptions that were thrown.
*
* @deprecated This method does not throw an IOException if an I/O error
* occurs while saving the property list. As of the Java 2 platform v1.2, the preferred
* way to save a properties list is via the <code>store(OutputStream out,
* String header)</code> method.
*
* @param out an output stream.
* @param header a description of the property list.
* @exception ClassCastException if this <code>Properties</code> object
* contains any keys or values that are not <code>Strings</code>.
*/
public synchronized void save(OutputStream out, String header) {
try {
store(out, header);
} catch (IOException e) {
}
}
public synchronized void store(OutputStream out, String header)
throws IOException
{
BufferedWriter awriter;
awriter = new BufferedWriter(new OutputStreamWriter(out, "GBK"));
if (header != null)
writeln(awriter, "#" + header);
writeln(awriter, "#" + new Date().toString());
for (Enumeration e = keys(); e.hasMoreElements();) {
String key = (String)e.nextElement();
String val = (String)get(key);
key = saveConvert(key, false);
/* No need to escape embedded and trailing spaces for value, hence
* pass false to flag.
*/
val = saveConvert(val, false);
writeln(awriter, key + "=" + val);
}
awriter.flush();
}
private static final long serialVersionUID = 4112578634029874840L;
protected PropertiesExt defaults;
public PropertiesExt() {
this(null);
}
public PropertiesExt(PropertiesExt defaults) {
this.defaults = defaults;
}
public synchronized Object setProperty(String key, String value) {
return put(key, value);
}
private static final String keyValueSeparators = "=: \t\r\n\f";
private static final String strictKeyValueSeparators = "=:";
private static final String specialSaveChars = "=: \t\r\n\f#!";
private static final String whiteSpaceChars = " \t\r\n\f";
public synchronized void load(InputStream inStream) throws IOException {
//把所有的8859-1全部换成GBK
BufferedReader in = new BufferedReader(new InputStreamReader(inStream, "GBK"));
while (true) {
// Get next line
String line = in.readLine();
if (line == null)
return;
if (line.length() > 0) {
// Find start of key
int len = line.length();
int keyStart;
for (keyStart=0; keyStart<len; keyStart++)
if (whiteSpaceChars.indexOf(line.charAt(keyStart)) == -1)
break;
// Blank lines are ignored
if (keyStart == len)
continue;
// Continue lines that end in slashes if they are not comments
char firstChar = line.charAt(keyStart);
if ((firstChar != '#') && (firstChar != '!')) {
while (continueLine(line)) {
String nextLine = in.readLine();
if (nextLine == null)
nextLine = "";
String loppedLine = line.substring(0, len-1);
// Advance beyond whitespace on new line
int startIndex;
for (startIndex=0; startIndex<nextLine.length(); startIndex++)
if (whiteSpaceChars.indexOf(nextLine.charAt(startIndex)) == -1)
break;
nextLine = nextLine.substring(startIndex,nextLine.length());
line = new String(loppedLine+nextLine);
len = line.length();
}
// Find separation between key and value
int separatorIndex;
for (separatorIndex=keyStart; separatorIndex<len; separatorIndex++) {
char currentChar = line.charAt(separatorIndex);
if (currentChar == '\\')
separatorIndex++;
else if (keyValueSeparators.indexOf(currentChar) != -1)
break;
}
// Skip over whitespace after key if any
int valueIndex;
for (valueIndex=separatorIndex; valueIndex<len; valueIndex++)
if (whiteSpaceChars.indexOf(line.charAt(valueIndex)) == -1)
break;
// Skip over one non whitespace key value separators if any
if (valueIndex < len)
if (strictKeyValueSeparators.indexOf(line.charAt(valueIndex)) != -1)
valueIndex++;
// Skip over white space after other separators if any
while (valueIndex < len) {
if (whiteSpaceChars.indexOf(line.charAt(valueIndex)) == -1)
break;
valueIndex++;
}
String key = line.substring(keyStart, separatorIndex);
String value = (separatorIndex < len) ? line.substring(valueIndex, len) : "";
// Convert then store key and value
key = loadConvert(key);
value = loadConvert(value);
put(key, value);
}
}
}
}
/*
* Returns true if the given line is a line that must
* be appended to the next line
*/
private boolean continueLine(String line) {
int slashCount = 0;
int index = line.length() - 1;
while ((index >= 0) && (line.charAt(index--) == '\\'))
slashCount++;
return (slashCount % 2 == 1);
}
/**
*
* <p>Title: </p>
*
* <p>Description: </p>
*
* <p>Copyright: Copyright (c) 2005</p>
*
* <p>Company: 哈尔滨商业大学</p>
*
* @author Onlyfor_love
* @version 1.0
*/
private String loadConvert(String theString) {
//该功能主要是将存储的key和value提取出来,因为存储的中文在原来的properties类中被转换成了别的编码
//存储的中文在*.properties文件中以乱码出现
char aChar;
int len = theString.length();
StringBuffer outBuffer = new StringBuffer(len);
//
// for (int x=0; x<len; ) {
// aChar = theString.charAt(x++);
// if (aChar == '\\') {
// aChar = theString.charAt(x++);
// if (aChar == 'u') {
// // Read the xxxx
// int value=0;
// for (int i=0; i<4; i++) {
// aChar = theString.charAt(x++);
// switch (aChar) {
// case '0': case '1': case '2': case '3': case '4':
// case '5': case '6': case '7': case '8': case '9':
// value = (value << 4) + aChar - '0';
// break;
// case 'a': case 'b': case 'c':
// case 'd': case 'e': case 'f':
// value = (value << 4) + 10 + aChar - 'a';
// break;
// case 'A': case 'B': case 'C':
// case 'D': case 'E': case 'F':
// value = (value << 4) + 10 + aChar - 'A';
// break;
// default:
// throw new IllegalArgumentException(
// "Malformed \\uxxxx encoding.");
// }
// }
// outBuffer.append((char)value);
// } else {
// if (aChar == 't') aChar = '\t';
// else if (aChar == 'r') aChar = '\r';
// else if (aChar == 'n') aChar = '\n';
// else if (aChar == 'f') aChar = '\f';
// outBuffer.append(aChar);
// }
// } else
outBuffer.append(theString);
// }
return outBuffer.toString();
}