221 elements.add(input -> "{" + input + "}"); |
221 elements.add(input -> "{" + input + "}"); |
222 // Add valid Java identifier start char |
222 // Add valid Java identifier start char |
223 elements.add(input -> "_" + input); |
223 elements.add(input -> "_" + input); |
224 elements.add(input -> "$" + input); |
224 elements.add(input -> "$" + input); |
225 elements.add(input -> "0" + input); |
225 elements.add(input -> "0" + input); |
|
226 |
|
227 /* TODO: uncomment this together with the fix for 8140631 |
226 // Unicode characters |
228 // Unicode characters |
227 elements.add(input -> embed(input, "\u0001")); |
229 elements.add(input -> embed(input, "\u0001")); |
228 elements.add(input -> embed(input, "\u007F")); |
230 elements.add(input -> embed(input, "\u007F")); |
229 // Combining character |
231 // Combining character |
230 elements.add(input -> embed(input, "\u0300")); |
232 elements.add(input -> embed(input, "\u0300")); |
231 elements.add(input -> embed(input, "\u0306")); |
233 elements.add(input -> embed(input, "\u0306")); |
232 // Supplementary character |
234 // Supplementary character |
233 elements.add(input -> new String(Character.toChars(0x1F64C))); |
235 elements.add(input -> new String(Character.toChars(0x1F64C))); |
|
236 */ |
234 return elements; |
237 return elements; |
235 } |
238 } |
236 |
239 |
237 /** |
240 /** |
238 * Embeds one string inside another one |
241 * Embeds one string inside another one |