[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

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('\\');