Changeset 3982 for to-imperative


Ignore:
Timestamp:
Oct 20, 2008, 6:36:56 PM (12 years ago)
Author:
yura
Message:
  • Escaping of special symbols in words.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/branches/java_expr_without_holes/Expr.java

    r3976 r3982  
    338338                if (isIdentifier(w))
    339339                    strBuf.append(w);
    340                 else
    341                     strBuf.append('"').append(w).append('"');
     340                else {
     341                    strBuf.append('"');
     342                    for (int i = 0; i < w.length(); i++) {
     343                        char c = w.charAt(i);
     344                        switch (c) {
     345                            case '\t': strBuf.append("\\t"); continue;
     346                            case '\r': strBuf.append("\\r"); continue;
     347                            case '\n': strBuf.append("\\n"); continue;
     348                            case '\\': strBuf.append("\\\\"); continue;
     349                            case '\'': strBuf.append("\\\'"); continue;
     350                            case '\"': strBuf.append("\\\""); continue;
     351                            default: strBuf.append(c); continue;
     352                        }
     353                    }
     354                    strBuf.append('"');
     355                }
    342356            } else
    343357                strBuf.append(term.toString());
Note: See TracChangeset for help on using the changeset viewer.