| Summary: | Incorrect translation of Unicode UTF-8 character when Using ETL | ||
|---|---|---|---|
| Product: | [Modeling] Epsilon | Reporter: | Andy Ed <ae2> |
| Component: | Core | Assignee: | Dimitris Kolovos <dkolovos> |
| Status: | CLOSED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Windows 7 | ||
| Whiteboard: | |||
|
Description
Andy Ed
I've been cleaning up some old bugs and noticed that this one seems to have fallen through the cracks. I'm really sorry about that. Have you perhaps found a workaround for this already? It'd be great if you could let me know what the situation is so that I can prioritise this accordingly. The following operation can be used to create Unicode characters:
operation String toUnicode() {
var unicode = Native("java.lang.Integer").parseInt(self, 16);
var chars = Native("java.lang.Character").toChars(unicode);
return Native("java.util.Arrays").toString(chars).substring(1,2);
}
Fixed in 0.9.0. |