autocomplete: Identify when the user intends a channel link autocomplete

For this commit we temporarily intercept the query at the
AutocompleteField widget, to avoid invoking the widgets that are
still unimplemented. That lets us defer those widgets' logic to a
separate later commit.

Author: sm-sayedi

lib/model/autocomplete.dart

@@ -18,6 +18,12 @@ import 'narrow.dart';
 import 'store.dart';
 
 extension ComposeContentAutocomplete on ComposeContentController {
+  int get _maxLookbackForAutocompleteIntent {
+    return 1 // intent character i.e., "#"
+      + 2 // some optional characters i.e., "_" for silent mention or "**"
+      + store.maxChannelNameLength;
+  }
+
   AutocompleteIntent<ComposeAutocompleteQuery>? autocompleteIntent() {
     if (!selection.isValid || !selection.isNormalized) {
       // We don't require [isCollapsed] to be true because we've seen that
@@ -30,7 +36,7 @@ extension ComposeContentAutocomplete on ComposeContentController {
 
     // To avoid spending a lot of time searching for autocomplete intents
     // in long messages, we bound how far back we look for the intent's start.
-    final earliest = max(0, selection.end - 30);
+    final earliest = max(0, selection.end - _maxLookbackForAutocompleteIntent);
 
     if (selection.start < earliest) {
       // The selection extends to before any position we'd consider
@@ -48,6 +54,9 @@ extension ComposeContentAutocomplete on ComposeContentController {
       } else if (charAtPos == ':') {
         final match = _emojiIntentRegex.matchAsPrefix(textUntilCursor, pos);
         if (match == null) continue;
+      } else if (charAtPos == '#') {
+        final match = _channelLinkIntentRegex.matchAsPrefix(textUntilCursor, pos);
+        if (match == null) continue;
       } else {
         continue;
       }
@@ -66,6 +75,10 @@ extension ComposeContentAutocomplete on ComposeContentController {
         final match = _emojiIntentRegex.matchAsPrefix(textUntilCursor, pos);
         if (match == null) continue;
         query = EmojiAutocompleteQuery(match[1]!);
+      } else if (charAtPos == '#') {
+        final match = _channelLinkIntentRegex.matchAsPrefix(textUntilCursor, pos);
+        if (match == null) continue;
+        query = ChannelLinkAutocompleteQuery(match[1] ?? match[2]!);
       } else {
         continue;
       }
@@ -165,6 +178,48 @@ final RegExp _emojiIntentRegex = (() {
     + r')$');
 })();
 
+final RegExp _channelLinkIntentRegex = () {
+  // What's likely to come just before #channel syntax: the start of the string,
+  // whitespace, or punctuation. Letters are unlikely; in that case a GitHub-
+  // style "zulip/zulip-flutter#124" link might be intended (as on CZO where
+  // there's a custom linkifier for that).
+  //
+  // By punctuation, we mean *some* punctuation, like "(". We make "#" and "@"
+  // exceptions, to support typing "##channel" for the channel query "#channel",
+  // and typing "@#user" for the mention query "#user", because in 2025-11
+  // channel and user name words can start with "#". (They can also contain "#"
+  // anywhere else in the name; we don't handle that specially.)
+  const before = r'(?<=^|\s|\p{Punctuation})(?<![#@])';
+  // TODO(dart-future): Regexps in ES 2024 have a /v aka unicodeSets flag;
+  //   if Dart matches that, we could combine into one character class
+  //   meaning "whitespace and punctuation, except not `#` or `@`":
+  //     r'(?<=^|[[\s\p{Punctuation}]--[#@]])'
+
+  // TODO(upstream): maybe use duplicate-named capture groups for better readability?
+  //   https://github.com/dart-lang/sdk/issues/61337
+  return RegExp(unicode: true,
+    before
+    + r'#'
+    // As Web, match both '#channel' and '#**channel'. In both cases, the raw
+    // query is going to be 'channel'. Matching the second case ('#**channel')
+    // is useful when the user selects a channel from the autocomplete list, but
+    // then starts pressing "backspace" to edit the query and choose another
+    // option, instead of clearing the entire query and starting from scratch.
+
+    // Also, web doesn't seem to have any sort of limitations for the type of
+    // characters the channel name can contain.
+    + r'(?:'
+      // Case '#channel': right after '#', reject whitespace as well as '**'.
+      + r'(?!\s|\*\*)(.*)'
+      + r'|'
+      // Case '#**channel': right after '#**', reject whitespace.
+      // Also, make sure that the remaining query doesn't contain '**',
+      // otherwise '#**channel**' (which is a complete channel link syntax) and
+      // any text followed by that will always match.
+      + r'\*\*(?!\s)((?:(?!\*\*).)*)'
+    + r')$');
+}();
+
 /// The text controller's recognition that the user might want autocomplete UI.
 class AutocompleteIntent<QueryT extends AutocompleteQuery> {
   AutocompleteIntent({

lib/widgets/autocomplete.dart

@@ -45,7 +45,8 @@ class _AutocompleteFieldState<QueryT extends AutocompleteQuery, ResultT extends
   }
 
   void _handleControllerChange() {
-    final newQuery = widget.autocompleteIntent()?.query;
+    var newQuery = widget.autocompleteIntent()?.query;
+    if (newQuery is ChannelLinkAutocompleteQuery) newQuery = null; // TODO(#124)
     // First, tear down the old view-model if necessary.
     if (_viewModel != null
         && (newQuery == null

test/model/autocomplete_test.dart

@@ -77,12 +77,15 @@ void main() {
     ///
     /// For example, "~@chris^" means the text is "@chris", the selection is
     /// collapsed at index 6, and we expect the syntax to start at index 0.
-    void doTest(String markedText, ComposeAutocompleteQuery? expectedQuery) {
+    void doTest(String markedText, ComposeAutocompleteQuery? expectedQuery, {
+      int? maxChannelName,
+    }) {
       final description = expectedQuery != null
         ? 'in ${jsonEncode(markedText)}, query ${jsonEncode(expectedQuery.raw)}'
         : 'no query in ${jsonEncode(markedText)}';
       test(description, () {
-        store = eg.store();
+        store = eg.store(initialSnapshot:
+          eg.initialSnapshot(maxChannelNameLength: maxChannelName));
         final controller = ComposeContentController(store: store);
         final parsed = parseMarkedText(markedText);
         assert((expectedQuery == null) == (parsed.expectedSyntaxStart == null));
@@ -99,6 +102,7 @@ void main() {
 
     MentionAutocompleteQuery mention(String raw) => MentionAutocompleteQuery(raw, silent: false);
     MentionAutocompleteQuery silentMention(String raw) => MentionAutocompleteQuery(raw, silent: true);
+    ChannelLinkAutocompleteQuery channelLink(String raw) => ChannelLinkAutocompleteQuery(raw);
     EmojiAutocompleteQuery emoji(String raw) => EmojiAutocompleteQuery(raw);
 
     doTest('', null);
@@ -180,8 +184,101 @@ void main() {
     doTest('~@_Rodion Romanovich Raskolniko^', silentMention('Rodion Romanovich Raskolniko'));
     doTest('~@Родион Романович Раскольников^', mention('Родион Романович Раскольников'));
     doTest('~@_Родион Романович Раскольнико^', silentMention('Родион Романович Раскольнико'));
-    doTest('If @chris is around, please ask him.^', null); // @ sign is too far away from cursor
-    doTest('If @_chris is around, please ask him.^', null); // @ sign is too far away from cursor
+
+    // @ sign can be (3 + maxChannelName) characters away to the left of cursor.
+    doTest('If ~@chris^ is around, please ask him.', mention('chris'), maxChannelName: 20);
+    doTest('If ~@_chris is^ around, please ask him.', silentMention('chris is'), maxChannelName: 20);
+    doTest('If @chris is around, please ask him.^', null, maxChannelName: 20);
+    doTest('If @_chris is around, please ask him.^', null, maxChannelName: 20);
+
+    // #channel link.
+
+    doTest('^#', null);
+    doTest('^#abc', null);
+    doTest('#abc', null); // (no cursor)
+
+    doTest('~#^', channelLink(''));
+    doTest('~##^', channelLink('#'));
+    doTest('~#abc^', channelLink('abc'));
+    doTest('~#abc ^', channelLink('abc '));
+    doTest('~#abc def^', channelLink('abc def'));
+
+    // Accept space before channel link syntax.
+    doTest(' ~#abc^', channelLink('abc'));
+    doTest('xyz ~#abc^', channelLink('abc'));
+
+    // Accept punctuations before channel link syntax.
+    doTest(':~#abc^', channelLink('abc'));
+    doTest('!~#abc^', channelLink('abc'));
+    doTest(',~#abc^', channelLink('abc'));
+    doTest('.~#abc^', channelLink('abc'));
+    doTest('(~#abc^', channelLink('abc')); doTest(')~#abc^', channelLink('abc'));
+    doTest('{~#abc^', channelLink('abc')); doTest('}~#abc^', channelLink('abc'));
+    doTest('[~#abc^', channelLink('abc')); doTest(']~#abc^', channelLink('abc'));
+    doTest('“~#abc^', channelLink('abc')); doTest('”~#abc^', channelLink('abc'));
+    doTest('«~#abc^', channelLink('abc')); doTest('»~#abc^', channelLink('abc'));
+    // … and other punctuations except '#' and '@':
+    doTest('~##abc^', channelLink('#abc'));
+    doTest('~@#abc^', mention('#abc'));
+
+    // Avoid other characters before channel link syntax.
+    doTest('+#abc^', null);
+    doTest('=#abc^', null);
+    doTest('\$#abc^', null);
+    doTest('zulip/zulip-flutter#124^', null);
+    doTest('XYZ#abc^', null);
+    doTest('xyz#abc^', null);
+    // … but
+    doTest('~#xyz#abc^', channelLink('xyz#abc'));
+
+    // Avoid leading space character in query.
+    doTest('# ^', null);
+    doTest('# abc^', null);
+
+    // Avoid line-break characters in query.
+    doTest('#\n^', null); doTest('#a\n^', null); doTest('#\na^', null); doTest('#a\nb^', null);
+    doTest('#\r^', null); doTest('#a\r^', null); doTest('#\ra^', null); doTest('#a\rb^', null);
+    doTest('#\r\n^', null); doTest('#a\r\n^', null); doTest('#\r\na^', null); doTest('#a\r\nb^', null);
+
+    // Allow all other sorts of characters in query.
+    doTest('~#\u0000^', channelLink('\u0000')); // control
+    doTest('~#\u061C^', channelLink('\u061C')); // format character
+    doTest('~#\u0600^', channelLink('\u0600')); // format
+    doTest('~#\uD834^', channelLink('\uD834')); // leading surrogate
+    doTest('~#`^', channelLink('`'));   doTest('~#a`b^', channelLink('a`b'));
+    doTest('~#\\^', channelLink('\\')); doTest('~#a\\b^', channelLink('a\\b'));
+    doTest('~#"^', channelLink('"'));   doTest('~#a"b^', channelLink('a"b'));
+    doTest('~#>^', channelLink('>'));   doTest('~#a>b^', channelLink('a>b'));
+    doTest('~#&^', channelLink('&'));   doTest('~#a&b^', channelLink('a&b'));
+    doTest('~#_^', channelLink('_'));   doTest('~#a_b^', channelLink('a_b'));
+    doTest('~#*^', channelLink('*'));   doTest('~#a*b^', channelLink('a*b'));
+
+    // Two leading stars ('**') in the query are omitted.
+    doTest('~#**^', channelLink(''));
+    doTest('~#**abc^', channelLink('abc'));
+    doTest('~#**abc ^', channelLink('abc '));
+    doTest('~#**abc def^', channelLink('abc def'));
+    doTest('#** ^', null);
+    doTest('#** abc^', null);
+
+    doTest('~#**abc*^', channelLink('abc*'));
+
+    // Query with leading '**' should not contain other '**'.
+    doTest('#**abc**^', null);
+    doTest('#**abc** ^', null);
+    doTest('#**abc** def^', null);
+
+    // Query without leading '**' can contain other '**'.
+    doTest('~#abc**^', channelLink('abc**'));
+    doTest('~#abc** ^', channelLink('abc** '));
+    doTest('~#abc** def^', channelLink('abc** def'));
+    doTest('~#*abc**^', channelLink('*abc**'));
+
+    // "#" sign can be (3 + maxChannelName) characters away to the left of cursor.
+    doTest('check ~#**mobile dev^ team', channelLink('mobile dev'), maxChannelName: 10);
+    doTest('check ~#mobile dev t^eam', channelLink('mobile dev t'), maxChannelName: 10);
+    doTest('check #mobile dev te^am', null, maxChannelName: 10);
+    doTest('check #mobile dev team for more info^', null, maxChannelName: 10);
 
     // Emoji (":smile:").