Свойства класса и Escape-символы

Question

Я использовал класс свойств, чтобы сохранить карту в файл. Но некоторые персонажи - это магазины с добавлением "\" в начале.

Есть ли способ напечатать фактическое содержимое, как это без этих побегов, используя Свойства класса.

Я пишу с использованием класса свойств, но читаю с использованием BufferedReader . Я не мог понять, какие символы экранируются при написании с использованием класса свойств.

Есть ли способ прочитать данные без этих выходов, используя BufferedReader?

Например:

Если фактическое содержание abc:def:ghiКогда я присваиваю это значение свойству с именем name и сохраняю его в файле, используя класс свойств, оно сохраняется как:

name=abc\:def\:ghi.

Теперь, когда я читаю это с помощью BufferedReader, я получаю все символы \ в содержимом.

Проблема в том, что я не знаю, что все символы хранятся с добавленным символом \.

Answer 1

Все специальные символы экранированы java.util.Properties. Вы не можете предоставить это.

Это будет сделано в saveConvert:

   /*
     * Converts unicodes to encoded \uxxxx and escapes
     * special characters with a preceding slash
     */
    private String saveConvert(String theString,
                               boolean escapeSpace,
                               boolean escapeUnicode) {
        int len = theString.length();
        int bufLen = len * 2;
        if (bufLen < 0) {
            bufLen = Integer.MAX_VALUE;
        }
        StringBuffer outBuffer = new StringBuffer(bufLen);

        for(int x=0; x<len; x++) {
            char aChar = theString.charAt(x);
            // Handle common case first, selecting largest block that
            // avoids the specials below
            if ((aChar > 61) && (aChar < 127)) {
                if (aChar == '\\') {
                    outBuffer.append('\\'); outBuffer.append('\\');
                    continue;
                }
                outBuffer.append(aChar);
                continue;
            }
            switch(aChar) {
                case ' ':
                    if (x == 0 || escapeSpace)
                        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;
                case '=': // Fall through
                case ':': // Fall through
                case '#': // Fall through
                case '!':
                    outBuffer.append('\\'); outBuffer.append(aChar);
                    break;
                default:
                    if (((aChar < 0x0020) || (aChar > 0x007e)) & escapeUnicode ) {
                        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 {
                        outBuffer.append(aChar);
                    }
            }
        }
        return outBuffer.toString();
    }