equal
deleted
inserted
replaced
860 } |
860 } |
861 while ((beg < end) && isWhitespace(chars[end - 1])) { |
861 while ((beg < end) && isWhitespace(chars[end - 1])) { |
862 --end; |
862 --end; |
863 } |
863 } |
864 |
864 |
865 // Add back the trailing whitespace with a preceeding '\' |
865 // Add back the trailing whitespace with a preceding '\' |
866 // (escaped or unescaped) that was taken off in the above |
866 // (escaped or unescaped) that was taken off in the above |
867 // loop. Whether or not to retain this whitespace is |
867 // loop. Whether or not to retain this whitespace is |
868 // decided below. |
868 // decided below. |
869 if (end != chars.length && |
869 if (end != chars.length && |
870 (beg < end) && |
870 (beg < end) && |
916 buf.append(chars[i]); // snarf unescaped char |
916 buf.append(chars[i]); // snarf unescaped char |
917 } |
917 } |
918 } |
918 } |
919 |
919 |
920 // Get rid of the unescaped trailing whitespace with the |
920 // Get rid of the unescaped trailing whitespace with the |
921 // preceeding '\' character that was previously added back. |
921 // preceding '\' character that was previously added back. |
922 int len = buf.length(); |
922 int len = buf.length(); |
923 if (isWhitespace(buf.charAt(len - 1)) && esc != (end - 1)) { |
923 if (isWhitespace(buf.charAt(len - 1)) && esc != (end - 1)) { |
924 buf.setLength(len - 1); |
924 buf.setLength(len - 1); |
925 } |
925 } |
926 |
926 |