From 4f2a2025863e6c80648ed88957b6cf40529aa5b8 Mon Sep 17 00:00:00 2001
From: Ovidiu Munteanu <ucabomu@ucl.ac.uk>
Date: Tue, 19 Feb 2019 21:26:34 +0000
Subject: [PATCH] Fixes issue #1: accept valid escape sequences in strings

---
 jflex/Scanner.jflex | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/jflex/Scanner.jflex b/jflex/Scanner.jflex
index 35e0f37..e44395b 100644
--- a/jflex/Scanner.jflex
+++ b/jflex/Scanner.jflex
@@ -27,8 +27,11 @@ frac = {dot}{digit}+
 scientific_notation = {exp}{digit}+
 any_number = {integer}{frac}?{scientific_notation}?
 
-//Accept any unicode character except certain control characters
-string = [^(\\)(\")(\/)(\b)(\f)(\n)(\r)(\t)(\u)]+
+// Accept zero (empty string) or more valid characters (i.e. any UNICODE
+// character except for unescaped quotation marks ("), backslashes (\), or
+// control characters /u0000 through to /u001f) or valid escape sequences
+string = ([^\u0000-\u001F\"\\]|(\\([\"\\/bfnrt]|(u([0-9a-fA-F]{4})))))*
+
 %%
 
 //Scan for commas, square brackets, braces and colons