properties.java

cwbbs 云网论坛源码

package cn.js.fan.util;

import java.util.*;
import java.io.*;

public class Properties extends java.util.Properties {
    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";

    private String charset;

    public Properties(String charset) {
        this.charset = charset;
    }

    private static void writeln(BufferedWriter bw, String s) throws IOException {
        bw.write(s);
        bw.newLine();
    }

    
    private static char toHex(int nibble) {
        return hexDigit[(nibble & 0xF)];
    }

    
    private static final char[] hexDigit = {
                                           '0', '1', '2', '3', '4', '5', '6',
                                           '7', '8', '9', 'A', 'B', 'C', 'D',
                                           'E', 'F'
    };

    
    private String saveConvert(String theString, boolean escapeSpace) {
        int len = theString.length();
        StringBuffer outBuffer = new StringBuffer(len * 2);

        for (int x = 0; x < len; x++) {
            char aChar = theString.charAt(x);
            switch (aChar) {
            case ' ':
                if (x == 0 || escapeSpace)
                    outBuffer.append('\\');

                outBuffer.append(' ');
                break;
            case '\\':
                outBuffer.append('\\');
                outBuffer.append('\\');
                break;
            case '\t':
                outBuffer.append('\\');
                outBuffer.append('t');
                break;
            case '\n':
                outBuffer.append('\\');
                outBuffer.append('n');
                break;
            case '\r':
                outBuffer.append('\\');
                outBuffer.append('r');
                break;
            case '\f':
                outBuffer.append('\\');
                outBuffer.append('f');
                break;
            default:
                if ((aChar < 0x0020) || (aChar > 0x007e)) {
                    outBuffer.append('\\');
                    outBuffer.append('u');
                    outBuffer.append(toHex((aChar >> 12) & 0xF));
                    outBuffer.append(toHex((aChar >> 8) & 0xF));
                    outBuffer.append(toHex((aChar >> 4) & 0xF));
                    outBuffer.append(toHex(aChar & 0xF));
                } else {
                    if (specialSaveChars.indexOf(aChar) != -1)
                        outBuffer.append('\\');
                    outBuffer.append(aChar);
                }
            }
        }
        return outBuffer.toString();
    }

    public synchronized void store(OutputStream out, String header) throws
            IOException {
        BufferedWriter awriter;
        awriter = new BufferedWriter(new OutputStreamWriter(out, charset));
        System.out.println("store charset=" + charset);
        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);
            

            
            
            val = new String(val.getBytes("8859_1"), charset);
            System.out.println("store val=" + val);
            writeln(awriter, key + "=" + val);
        }
        awriter.flush();
    }

    
    

    public synchronized void load(InputStream inStream, String charset) throws
            IOException {
        BufferedReader in = new BufferedReader(new InputStreamReader(inStream,
                charset));
        while (true) {
            
            String line = in.readLine();
            if (line == null) {
                return;
            }

            if (line.length() > 0) {
                
                char firstChar = line.charAt(0);
                if ((firstChar != '#') && (firstChar != '!')) {
                    while (continueLine(line)) {
                        String nextLine = in.readLine();
                        if (nextLine == null) {
                            nextLine = "";
                        }
                        String loppedLine = line.substring(0, line.length() - 1);
                        
                        int startIndex = 0;
                        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);
                    }

                    
                    int len = line.length();
                    int keyStart;
                    for (keyStart = 0; keyStart < len; keyStart++) {
                        if (whiteSpaceChars.indexOf(line.charAt(keyStart)) ==
                            -1) {
                            break;
                        }
                    }

                    
                    if (keyStart == len) {
                        continue;
                    }

                    
                    int separatorIndex;
                    for (separatorIndex = keyStart; separatorIndex < len;
                                          separatorIndex++) {
                        char currentChar = line.charAt(separatorIndex);
                        if (currentChar == '\\') {
                            separatorIndex++;
                        } else if (keyValueSeparators.indexOf(currentChar) !=
                                   -1) {
                            break;
                        }
                    }

                    
                    int valueIndex;
                    for (valueIndex = separatorIndex; valueIndex < len;
                                      valueIndex++) {
                        if (whiteSpaceChars.indexOf(line.charAt(valueIndex)) ==
                            -1) {
                            break;
                        }
                    }

                    
                    if (valueIndex < len) {
                        if (strictKeyValueSeparators.indexOf(line.charAt(
                                valueIndex)) != -1) {
                            valueIndex++;

                            
                        }
                    } 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) : "";

                    
                    key = loadConvert(key);
                    value = loadConvert(value);
                    put(key, value);
                }
            }
        }
    }

    
    private boolean continueLine(String line) {
        int slashCount = 0;
        int index = line.length() - 1;
        while ((index >= 0) && (line.charAt(index--) == '\\'))
            slashCount++;
        return (slashCount % 2 == 1);
    }

    
    private String loadConvert(String theString) {
        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') {
                    
                    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(aChar);
        }
        return outBuffer.toString();
    }

}