Fix preprocessing of code with double backslash in string or char literal

JakubValtar · JakubValtar · commit b9920bebfd51 · 2017-02-15T15:03:03.000+01:00
Fixes processing#4903
diff --git a/java/src/processing/mode/java/pdex/SourceUtils.java b/java/src/processing/mode/java/pdex/SourceUtils.java
@@ -266,6 +266,14 @@ static public void scrubCommentsAndStrings(StringBuilder p) {
     for (int i = 0; i <= length; i++) {
       char ch = (i < length) ? p.charAt(i) : 0;
       char pch = (i == 0) ? 0 : p.charAt(i-1);
+      // Get rid of double backslash immediately, otherwise
+      // the second backslash incorrectly triggers a new escape sequence
+      if (pch == '\\' && ch == '\\') {
+        p.setCharAt(i-1, ' ');
+        p.setCharAt(i, ' ');
+        pch = ' ';
+        ch = ' ';
+      }
       switch (state) {
         case OUT:
           switch (ch) {
