Merge pull request #2135 from usethesource/missing-formfeed

Added missing translation of \f and \b
usethesource · Jan 29, 2025 · 4c2060a · 4c2060a
2 parents 1bb6b4b + 78117e8
commit 4c2060a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/src/org/rascalmpl/library/String.rsc b/src/org/rascalmpl/library/String.rsc
@@ -101,6 +101,8 @@ str deescape(str s)  {
         case /^\\<c: [\" \' \< \> \\]>/ => c
         case /^\\t/ => "\t"
         case /^\\n/ => "\n"
+        case /^\\f/ => "\f"
+        case /^\\b/ => "\b"
         case /^\\u<hex:[0-9a-fA-F][0-9a-fA-F][0-9a-fA-F][0-9a-fA-F]>/ => stringChar(toInt("0x<hex>"))
         case /^\\U<hex:[0-9a-fA-F][0-9a-fA-F][0-9a-fA-F][0-9a-fA-F][0-9a-fA-F][0-9a-fA-F]>/ => stringChar(toInt("0x<hex>"))
         case /^\\a<hex:[0-7][0-9a-fA-F]>/ => stringChar(toInt("0x<hex>"))

diff --git a/src/org/rascalmpl/values/parsetrees/SymbolFactory.java b/src/org/rascalmpl/values/parsetrees/SymbolFactory.java
@@ -290,6 +290,8 @@ private static IValue char2int(Char character) {
 				case 't': return factory.integer('\t');
 				case 'n': return factory.integer('\n');
 				case 'r': return factory.integer('\r');
+				case 'f': return factory.integer('\f');
+				case 'b': return factory.integer('\b');
 				case '\"' : return factory.integer('\"');
 				case '\'' : return factory.integer('\'');
 				case '-' : return factory.integer('-');