From 8b0cc7c2e2833bbfe3f40cf61400aae1d693fc88 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9gory=20Mantelet?=
<gregory.mantelet@astro.unistra.fr>
Date: Thu, 3 Oct 2019 14:28:26 +0200
Subject: [PATCH] [ADQL] Add a Unicode character (\uF0A0) as space in
QueryFixer.
---
src/adql/parser/QueryFixer.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/adql/parser/QueryFixer.java b/src/adql/parser/QueryFixer.java
index d6a887e..7991fa0 100644
--- a/src/adql/parser/QueryFixer.java
+++ b/src/adql/parser/QueryFixer.java
@@ -34,7 +34,7 @@ import adql.parser.grammar.TokenMgrError;
* <p><i>See {@link #fix(String)} for more details.</i></p>
*
* @author Grégory Mantelet (CDS)
- * @version 2.0 (08/2019)
+ * @version 2.0 (10/2019)
*
* @since 2.0
*
@@ -74,7 +74,7 @@ public class QueryFixer {
/** Regular expression matching all Unicode alternatives for <code>+</code>. */
protected final String REGEX_PLUS = "[+\u16ed\u2795]";
/** Regular expression matching all Unicode alternatives for <code> </code>. */
- protected final String REGEX_SPACE = "[ \u00a0\u1680\u2000\u2001\u2002\u2003\u2004\u2005\u2006\u2007\u2008\u2009\u200a\u202f\u205f]";
+ protected final String REGEX_SPACE = "[ \u00a0\u1680\u2000\u2001\u2002\u2003\u2004\u2005\u2006\u2007\u2008\u2009\u200a\u202f\u205f\uF0A0]";
/** Regular expression matching all Unicode alternatives for <code><</code>. */
protected final String REGEX_LESS_THAN = "[<\u02c2\u1438\u16b2\u2039\u276e]";
/** Regular expression matching all Unicode alternatives for <code>></code>. */
--
GitLab