Suggest unicode character when typing numbers

srcs/juloo.keyboard2/suggestions/Suggestions.java

@@ -56,11 +56,12 @@ void clear()
     emoji_suggestion = null;
   }
 
-  int query_suggestions(String word)
+  int query_suggestions(String orig_word)
   {
     Cdict dict = _config.current_dictionary;
-    boolean first_char_upper = Character.isUpperCase(word.charAt(0));
-    word = apply_substitutions(word);
+    boolean first_char_upper = Character.isUpperCase(orig_word.charAt(0));
+    String word_with_sequences = apply_unicode_sequences(orig_word);
+    String word = apply_substitutions(word_with_sequences);
     Cdict.Result r = dict.find(word);
     int i = 0;
     if (r.found)
@@ -76,6 +77,8 @@ int query_suggestions(String word)
       if (dist.length > j && i < MAX_COUNT)
         suggestions[i++] = dict.word(dist[j]);
     }
+    if (i < MAX_COUNT)
+      suggestions[i++] = word_with_sequences;
     if (first_char_upper)
       capitalize_results();
     emoji_suggestion = query_emoji(word); // word with substitutions applied
@@ -121,6 +124,41 @@ String apply_substitutions(String w)
     return b.toString();
   }
 
+  /** Transform decimal numbers into the corresponding unicode character. */
+  public static String apply_unicode_sequences(String w)
+  {
+    final int len = w.length();
+    int i = 0;
+    for (; true; i++) // Avoid allocations when there's no sequence
+    {
+      if (i >= len) return w; // No sequence found
+      if (char_at_digit(w, i)) break;
+    }
+    StringBuilder out = new StringBuilder(len);
+    int written = 0;
+    while (true)
+    {
+      out.append(w, written, i);
+      written = i;
+      while (i < len && char_at_digit(w, i)) i++;
+      if (i == written) break;
+      try
+      {
+        out.appendCodePoint(Integer.parseInt(w.substring(written, i)));
+        written = i; // If parsing fails, the number will be outputed verbatim
+      }
+      catch (Exception e) {}
+      while (i < len && !char_at_digit(w, i)) i++;
+    }
+    return out.toString();
+  }
+
+  static boolean char_at_digit(String s, int i)
+  {
+    char c = s.charAt(i);
+    return (c >= '0' && c <= '9');
+  }
+
   static final int[] NO_RESULTS = new int[0];
 
   public static interface Callback

test/juloo.keyboard2/SuggestionsTest.java

@@ -0,0 +1,22 @@
+package juloo.keyboard2;
+
+import juloo.keyboard2.suggestions.Suggestions;
+import org.junit.Test;
+import static org.junit.Assert.*;
+
+public class SuggestionsTest
+{
+  public SuggestionsTest() {}
+
+  @Test
+  public void unicode_sequences() throws Exception
+  {
+    assertEquals(Suggestions.apply_unicode_sequences("955"), "λ");
+    assertEquals(Suggestions.apply_unicode_sequences("a955"), "aλ");
+    assertEquals(Suggestions.apply_unicode_sequences("a955b"), "aλb");
+    assertEquals(Suggestions.apply_unicode_sequences("a955b955c"), "aλbλc");
+    assertEquals(Suggestions.apply_unicode_sequences("1000000000000000"), "1000000000000000");
+    assertEquals(Suggestions.apply_unicode_sequences("a1000000000000000"), "a1000000000000000");
+    assertEquals(Suggestions.apply_unicode_sequences("a1000000000000000b"), "a1000000000000000b");
+  }
+}