feat: add regex and case sensitive to FindReplaceMenu

lib/l10n/intl_en.arb

@@ -126,6 +126,8 @@
   "closeFind": "Close",
   "replace": "Replace",
   "replaceAll": "Replace all",
+  "regex": "Regex",
+  "caseSensitive": "Case sensitive",
   "uploadImage": "Upload Image",
   "urlImage": "URL Image",
   "incorrectLink": "Incorrect Link",

lib/l10n/intl_zh_CN.arb

@@ -126,6 +126,8 @@
   "closeFind": "关闭",
   "replace": "替换",
   "replaceAll": "替换全部",
+  "regex": "正则表达式",
+  "caseSensitive": "区分大小写",
   "uploadImage": "上传图片",
   "urlImage": "网络图片",
   "incorrectLink": "链接错误",

lib/l10n/intl_zh_TW.arb

@@ -126,6 +126,8 @@
   "closeFind": "關閉",
   "replace": "取代",
   "replaceAll": "取代全部",
+  "regex": "正規表示式",
+  "caseSensitive": "區分大小寫",
   "uploadImage": "上載圖片",
   "urlImage": "網路圖片",
   "incorrectLink": "連結錯誤",

lib/src/editor/find_replace_menu/find_replace_widget.dart

@@ -63,13 +63,16 @@
   @override
   Widget build(BuildContext context) {
     return Column(
+      mainAxisAlignment: MainAxisAlignment.start,
+      crossAxisAlignment: CrossAxisAlignment.start,
       children: [
         Row(
           children: [
-            IconButton(
+            FindMenuIconButton(
               onPressed: () => setState(
                 () => replaceFlag = !replaceFlag,
               ),
+              iconSize: _iconSize,
               icon: replaceFlag
                   ? const Icon(Icons.expand_less)
                   : const Icon(Icons.expand_more),
@@ -126,11 +129,51 @@
               tooltip: widget.localizations?.close ??
                   AppFlowyEditorLocalizations.current.closeFind,
             ),
+            FindMenuIconButton(
+              key: const Key('findRegexButton'),
+              iconSize: _iconSize,
+              onPressed: () {
+                setState(() {
+                  searchService.isRegex = !searchService.isRegex;
+                });
+                _searchPattern();
+              },
+              icon: Text(
+                'R*',
+                style: TextStyle(
+                  color: searchService.isRegex ? Colors.black : Colors.grey,
+                ),
+              ),
+              tooltip: AppFlowyEditorLocalizations.current.regex,
+            ),
+            FindMenuIconButton(
+              key: const Key('caseSensitiveButton'),
+              iconSize: _iconSize,
+              onPressed: () {
+                setState(() {
+                  searchService.caseSensitive = !searchService.caseSensitive;
+                });
+                _searchPattern();
+              },
+              icon: Text(
+                'Cc',
+                style: TextStyle(
+                  color:
+                      searchService.caseSensitive ? Colors.black : Colors.grey,
+                ),
+              ),
+              tooltip: AppFlowyEditorLocalizations.current.caseSensitive,
+            ),
           ],
         ),
         replaceFlag
             ? Row(
+                mainAxisAlignment: MainAxisAlignment.start,
+                mainAxisSize: MainAxisSize.min,
                 children: [
+                  const SizedBox(
+                    width: 2 * _iconSize,
+                  ),
                   SizedBox(
                     width: 200,
                     height: 30,

lib/src/editor/find_replace_menu/search_algorithm.dart

@@ -5,20 +5,61 @@
 /// `searchMethod(String pattern, String text)`, here `pattern` is the sequence of
 /// characters that are to be searched within the `text`.
 abstract class SearchAlgorithm {
-  List<int> searchMethod(String pattern, String text);
+  Iterable<Match> searchMethod(Pattern pattern, String text);
+}
+
+final class BoyerMooreMatch implements Match {
+  const BoyerMooreMatch(
+    this.pattern,
+    this.input,
+    this.start,
+  ) : end = start + pattern.length;
+
+  @override
+  final int start;
+  @override
+  final String input;
+  @override
+  final String pattern;
+  @override
+  final int end;
+  @override
+  final int groupCount = 0;
+
+  @override
+  String operator [](int g) => group(g);
+
+  @override
+  String group(int group) {
+    if (group != 0) {
+      throw RangeError.value(group);
+    }
+    return pattern;
+  }
+
+  @override
+  List<String> groups(List<int> groups) => groups.map((e) => group(e)).toList();
 }
 
 class BoyerMoore extends SearchAlgorithm {
   //This is a standard algorithm used for searching patterns in long text samples
   //It is more efficient than brute force searching because it is able to skip
   //characters that will never possibly match with required pattern.
   @override
-  List<int> searchMethod(String pattern, String text) {
+  List<Match> searchMethod(Pattern pattern, String text) {
+    if (pattern is String) {
+      return _searchMethod(pattern, text);
+    } else {
+      throw UnimplementedError();
+    }
+  }
+
+  List<Match> _searchMethod(String pattern, String text) {
     int m = pattern.length;
     int n = text.length;
 
     Map<String, int> badchar = {};
-    List<int> matches = [];
+    List<Match> matches = [];
 
     _badCharHeuristic(pattern, m, badchar);
 
@@ -33,7 +74,7 @@
 
       //if pattern is present at current shift, the index will become -1
       if (j < 0) {
-        matches.add(s);
+        matches.add(BoyerMooreMatch(pattern, text, s));
         s += (s + m < n) ? m - (badchar[text[s + m]] ?? -1) : 1;
       } else {
         s += math.max(1, j - (badchar[text[s + j]] ?? -1));
@@ -54,3 +95,24 @@
     }
   }
 }
+
+class DartBuiltin extends SearchAlgorithm {
+  @override
+  Iterable<Match> searchMethod(Pattern pattern, String text) {
+    return pattern.allMatches(text);
+  }
+}
+
+class Mixture extends SearchAlgorithm {
+  SearchAlgorithm boyerMoore = BoyerMoore();
+  SearchAlgorithm builtin = DartBuiltin();
+
+  @override
+  Iterable<Match> searchMethod(Pattern pattern, String text) {
+    if (pattern is String) {
+      return boyerMoore.searchMethod(pattern, text);
+    } else {
+      return builtin.searchMethod(pattern, text);
+    }
+  }
+}