Parent Directory | Revision Log | Patch
revision 1.13 by glavaux, Sat Dec 18 12:35:44 2004 UTC | revision 1.14 by glavaux, Sat Dec 18 14:08:19 2004 UTC | |
---|---|---|
# | Line 69 public class JavaGenerator | Line 69 public class JavaGenerator |
69 | { | { |
70 | char c = s.charAt(i); | char c = s.charAt(i); |
71 | // Transform non-ASCII character into an escaped unicode character. | // Transform non-ASCII character into an escaped unicode character. |
72 | if (c > 127 || c == '"') | if (c > 127) |
73 | { | { |
74 | buf.append("\\u"); | buf.append("\\u"); |
75 | String hexString = Integer.toHexString((int)c); | String hexString = Integer.toHexString((int)c); |
# | Line 77 public class JavaGenerator | Line 77 public class JavaGenerator |
77 | buf.append('0'); | buf.append('0'); |
78 | buf.append(hexString); | buf.append(hexString); |
79 | } | } |
80 | else if (c == '"') | |
81 | { | |
82 | buf.append("\\\""); | |
83 | } | |
84 | else if (c == '\\') | else if (c == '\\') |
85 | { | { |
86 | buf.append("\\\\"); | buf.append("\\\\"); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |