start of new file

[IRC.git] / Robust / src / IR / Flat / FlatLiteralNode.java

diff --git a/Robust/src/IR/Flat/FlatLiteralNode.java b/Robust/src/IR/Flat/FlatLiteralNode.java
index 60595435036aab1ba6767197f5c639f013081867..585143176a89505838601cdbde8b5ad7770a7b0c 100644 (file)
--- a/Robust/src/IR/Flat/FlatLiteralNode.java
+++ b/Robust/src/IR/Flat/FlatLiteralNode.java
@@ -25,10 +25,12 @@ public class FlatLiteralNode extends FlatNode {
     }
 
     public String toString() {
+       String str = "FlatLiteralNode_"+dst;
        if (value==null)
-           return dst+"=null";
+           str += "=null";
        else
-           return dst+"="+escapeString(value.toString());
+           str += "="+escapeString(value.toString());
+       return str;
     }
     protected static String escapeString(String st) {
        String new_st="";
@@ -39,7 +41,7 @@ public class FlatLiteralNode extends FlatNode {
            else if (x=='\r')
                new_st+="\\r";
            else if (x=='"')
-               new_st+="'"+'"'+"'";
+               new_st+="\\\"";
            else new_st+=x;
        }
        return new_st;