()
| 889 | } |
| 890 | |
| 891 | protected String unicodeEscapeSequence() { |
| 892 | StringBuilder text = new StringBuilder(); |
| 893 | text.append("0x"); |
| 894 | consume(); |
| 895 | consume(); |
| 896 | |
| 897 | for (int i = 0; i < 4; ++i) { |
| 898 | int c = hexDigit(); |
| 899 | text.append((char) c); |
| 900 | } |
| 901 | |
| 902 | int code = Integer.decode(text.toString()); |
| 903 | return new String(Character.toChars(code)); |
| 904 | } |
| 905 | |
| 906 | protected String hexEscapeSequence() { |
| 907 | StringBuilder text = new StringBuilder(); |