[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[List Home]
|
[imp-commit] r22950 - trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/io
|
- From: genie@xxxxxxxxxxx
- Date: Thu, 5 Jan 2012 13:20:39 -0500 (EST)
- Delivered-to: imp-commit@eclipse.org
Author: jvinju
Date: 2012-01-05 13:20:39 -0500 (Thu, 05 Jan 2012)
New Revision: 22950
Modified:
trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/io/StandardTextWriter.java
Log:
fixed issue with writing strings (cast to byte killed unicode support)
Modified: trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/io/StandardTextWriter.java
===================================================================
--- trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/io/StandardTextWriter.java 2012-01-03 15:21:36 UTC (rev 22949)
+++ trunk/org.eclipse.imp.pdb.values/src/org/eclipse/imp/pdb/facts/io/StandardTextWriter.java 2012-01-05 18:20:39 UTC (rev 22950)
@@ -354,7 +354,7 @@
public IValue visitString(IString o) throws VisitorException {
append('\"');
- for (byte ch : o.getValue().getBytes()) {
+ for (char ch : o.getValue().toCharArray()) {
switch (ch) {
case '\"':
append('\\');