Add aria menu roles to menu-related widgets (#164741)

Related to #157177

This PR is to add the following changes:
* Implement `SemanticsRole.menu`, `SemanticsRole.menuItem`,
`SemanticsRole.menuBar`, `SemanticsRole.menuItemCheckbox`, and
`SemanticsRole.menuItemRadio`.
* Add `SemanticsRole.menu` role in ~`MenuAnchor`~, `DropdownButton`, and
`PopupMenuButton`
~* Add `SemanticsRole.menuBar` role to `MenuBar`~
* Add `SemanticsRole.menuItem` to ~`MenuItemButton`~, `DropdownMenuItem`
and `PopupMenuItem`
~* Add `SemanticsRole.menuItemCheckbox` to `CheckboxMenuButton`~
~* Add `SemanticsRole.menuItemRadio` to `RadioMenuButton`~

## Pre-launch Checklist

- [x] I read the [Contributor Guide] and followed the process outlined
there for submitting PRs.
- [x] I read the [Tree Hygiene] wiki page, which explains my
responsibilities.
- [x] I read and followed the [Flutter Style Guide], including [Features
we expect every widget to implement].
- [x] I signed the [CLA].
- [ ] I listed at least one issue that this PR fixes in the description
above.
- [x] I updated/added relevant documentation (doc comments with `///`).
- [ ] I added new tests to check the change I am making, or this PR is
[test-exempt].
- [x] I followed the [breaking change policy] and added [Data Driven
Fixes] where supported.
- [ ] All existing and new tests are passing.

If you need help, consider asking for advice on the #hackers-new channel
on [Discord].

<!-- Links -->
[Contributor Guide]:
https://github.com/flutter/flutter/blob/main/docs/contributing/Tree-hygiene.md#overview
[Tree Hygiene]:
https://github.com/flutter/flutter/blob/main/docs/contributing/Tree-hygiene.md
[test-exempt]:
https://github.com/flutter/flutter/blob/main/docs/contributing/Tree-hygiene.md#tests
[Flutter Style Guide]:
https://github.com/flutter/flutter/blob/main/docs/contributing/Style-guide-for-Flutter-repo.md
[Features we expect every widget to implement]:
https://github.com/flutter/flutter/blob/main/docs/contributing/Style-guide-for-Flutter-repo.md#features-we-expect-every-widget-to-implement
[CLA]: https://cla.developers.google.com/
[flutter/tests]: https://github.com/flutter/tests
[breaking change policy]:
https://github.com/flutter/flutter/blob/main/docs/contributing/Tree-hygiene.md#handling-breaking-changes
[Discord]:
https://github.com/flutter/flutter/blob/main/docs/contributing/Chat.md
[Data Driven Fixes]:
https://github.com/flutter/flutter/blob/main/docs/contributing/Data-driven-Fixes.md

Author: QuncCccccc

engine/src/flutter/ci/licenses_golden/licenses_flutter

@@ -42640,6 +42640,7 @@ ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics.dart + ../../../flu
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/accessibility.dart + ../../../flutter/LICENSE
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/alert.dart + ../../../flutter/LICENSE
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/checkable.dart + ../../../flutter/LICENSE
+ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/disable.dart + ../../../flutter/LICENSE
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/expandable.dart + ../../../flutter/LICENSE
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/focusable.dart + ../../../flutter/LICENSE
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/header.dart + ../../../flutter/LICENSE
@@ -42650,6 +42651,7 @@ ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/label_and_value.dar
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/link.dart + ../../../flutter/LICENSE
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/list.dart + ../../../flutter/LICENSE
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/live_region.dart + ../../../flutter/LICENSE
+ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/menus.dart + ../../../flutter/LICENSE
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/platform_view.dart + ../../../flutter/LICENSE
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/requirable.dart + ../../../flutter/LICENSE
 ORIGIN: ../../../flutter/lib/web_ui/lib/src/engine/semantics/route.dart + ../../../flutter/LICENSE
@@ -45615,6 +45617,7 @@ FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/accessibility.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/alert.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/checkable.dart
+FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/disable.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/expandable.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/focusable.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/header.dart
@@ -45625,6 +45628,7 @@ FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/label_and_value.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/link.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/list.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/live_region.dart
+FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/menus.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/platform_view.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/requirable.dart
 FILE: ../../../flutter/lib/web_ui/lib/src/engine/semantics/route.dart

engine/src/flutter/lib/ui/semantics.dart

@@ -412,22 +412,45 @@ enum SemanticsRole {
 
   /// A input field with a dropdown list box attached.
   ///
-  /// For example, a [DropDownMenu]
+  /// For example, a [DropdownMenu]
   comboBox,
 
-  /// Contains a list of [menu]s.
+  /// A presentation of [menu] that usually remains visible and is usually
+  /// presented horizontally.
   ///
   /// For example, a [MenuBar].
   menuBar,
 
-  /// A button that opens a dropdown that contains multiple [menuItem]s.
+  /// A permanently visible list of controls or a widget that can be made to
+  /// open and close.
   ///
-  /// For example, a [MenuAnchor] or [DropDownButton].
+  /// For example, a [MenuAnchor] or [DropdownButton].
   menu,
 
-  /// A item in a dropdown created by [menu] or [comboBox].
+  /// An item in a dropdown created by [menu] or [menuBar].
+  ///
+  /// See also:
+  ///
+  /// * [menuItemCheckbox], a menu item with a checkbox. The [menuItemCheckbox]
+  ///  can also be used within [menu] and [menuBar].
+  /// * [menuItemRadio], a menu item with a radio button. This role is used by
+  /// [menu] or [menuBar] as well.
   menuItem,
 
+  /// An item with a checkbox in a dropdown created by [menu] or [menuBar].
+  ///
+  /// See also:
+  ///
+  /// * [menuItem] and [menuItemRadio] for menu related roles.
+  menuItemCheckbox,
+
+  /// An item with a radio button in a dropdown created by [menu] or [menuBar].
+  ///
+  /// See also:
+  ///
+  /// * [menuItem] and [menuItemCheckbox] for menu related roles.
+  menuItemRadio,
+
   /// A container to display multiple [listItem]s in vertical or horizontal
   /// layout.
   ///

engine/src/flutter/lib/ui/semantics/semantics_node.h

@@ -73,29 +73,31 @@ enum class SemanticsRole : int32_t {
   kTab = 1,
   kTabBar = 2,
   kTabPanel = 3,
-  kTable = 4,
-  kCell = 5,
-  kRow = 6,
-  kColumnHeader = 7,
-  kDialog = 8,
-  kAlertDialog = 9,
+  kDialog = 4,
+  kAlertDialog = 5,
+  kTable = 6,
+  kCell = 7,
+  kRow = 8,
+  kColumnHeader = 9,
   kSearchBox = 10,
   kDragHandle = 11,
   kSpinButton = 12,
   kComboBox = 13,
   kMenuBar = 14,
   kMenu = 15,
   kMenuItem = 16,
-  kList = 17,
-  kListItem = 18,
-  kForm = 19,
-  kTooltip = 20,
-  kLoadingSpinner = 21,
-  kProgressBar = 22,
-  kHotKey = 23,
-  kRadioGroup = 24,
-  kStatus = 25,
-  kAlert = 26,
+  kMenuItemCheckbox = 17,
+  kMenuItemRadio = 18,
+  kList = 19,
+  kListItem = 20,
+  kForm = 21,
+  kTooltip = 22,
+  kLoadingSpinner = 23,
+  kProgressBar = 24,
+  kHotKey = 25,
+  kRadioGroup = 26,
+  kStatus = 27,
+  kAlert = 28,
 };
 
 /// C/C++ representation of `SemanticsFlags` defined in

engine/src/flutter/lib/web_ui/lib/semantics.dart

@@ -283,6 +283,8 @@ enum SemanticsRole {
   menuBar,
   menu,
   menuItem,
+  menuItemCheckbox,
+  menuItemRadio,
   list,
   listItem,
   form,

engine/src/flutter/lib/web_ui/lib/src/engine.dart

@@ -106,6 +106,7 @@ export 'engine/scene_view.dart';
 export 'engine/semantics/accessibility.dart';
 export 'engine/semantics/alert.dart';
 export 'engine/semantics/checkable.dart';
+export 'engine/semantics/disable.dart';
 export 'engine/semantics/expandable.dart';
 export 'engine/semantics/focusable.dart';
 export 'engine/semantics/header.dart';
@@ -116,6 +117,7 @@ export 'engine/semantics/label_and_value.dart';
 export 'engine/semantics/link.dart';
 export 'engine/semantics/list.dart';
 export 'engine/semantics/live_region.dart';
+export 'engine/semantics/menus.dart';
 export 'engine/semantics/platform_view.dart';
 export 'engine/semantics/requirable.dart';
 export 'engine/semantics/route.dart';

engine/src/flutter/lib/web_ui/lib/src/engine/semantics.dart

@@ -5,6 +5,7 @@
 export 'semantics/accessibility.dart';
 export 'semantics/alert.dart';
 export 'semantics/checkable.dart';
+export 'semantics/disable.dart';
 export 'semantics/expandable.dart';
 export 'semantics/focusable.dart';
 export 'semantics/header.dart';
@@ -15,6 +16,7 @@ export 'semantics/label_and_value.dart';
 export 'semantics/link.dart';
 export 'semantics/list.dart';
 export 'semantics/live_region.dart';
+export 'semantics/menus.dart';
 export 'semantics/platform_view.dart';
 export 'semantics/requirable.dart';
 export 'semantics/scrollable.dart';

engine/src/flutter/lib/web_ui/lib/src/engine/semantics/checkable.dart

@@ -158,3 +158,35 @@ class Selectable extends SemanticBehavior {
     }
   }
 }
+
+/// Adds checkability behavior to a semantic node.
+///
+/// A checkable node would have the `aria-checked` set to "true" if the node
+/// is currently checked (i.e. [SemanticsObject.isChecked] is true), set to
+/// "mixed" if the node is in a mixed state (i.e. [SemanticsObject.isMixed]) and
+/// set to "false" if it's not checked or mixed
+/// (i.e. [SemanticsObject.isChecked] and [SemanticsObject.isMixed] are
+/// false). If the node is not checkable (i.e. [SemanticsObject.isCheckable]
+/// is false), then `aria-checked` is unset.
+///
+/// This behavior is typically used for a checkbox or a radio button.
+class Checkable extends SemanticBehavior {
+  Checkable(super.semanticsObject, super.owner);
+
+  @override
+  void update() {
+    if (semanticsObject.isFlagsDirty) {
+      if (semanticsObject.isCheckable) {
+        if (semanticsObject.isChecked) {
+          owner.setAttribute('aria-checked', 'true');
+        } else if (semanticsObject.isMixed) {
+          owner.setAttribute('aria-checked', 'mixed');
+        } else {
+          owner.setAttribute('aria-checked', 'false');
+        }
+      } else {
+        owner.removeAttribute('aria-checked');
+      }
+    }
+  }
+}

engine/src/flutter/lib/web_ui/lib/src/engine/semantics/disable.dart

@@ -0,0 +1,26 @@
+// Copyright 2013 The Flutter Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+import 'semantics.dart';
+
+/// Adds disable behavior to a semantic node.
+///
+/// A disabled node would have the `aria-disabled` set to "true" if the node
+/// is currently disabled (i.e. [SemanticsObject.isEnabled] is false). If the
+/// node is enabled (i.e. [SemanticsObject.isEnabled]
+/// is true), then `aria-disabled` is unset.
+class CanDisable extends SemanticBehavior {
+  CanDisable(super.semanticsObject, super.owner);
+
+  @override
+  void update() {
+    if (semanticsObject.isFlagsDirty) {
+      if (semanticsObject.enabledState() == EnabledState.disabled) {
+        owner.setAttribute('aria-disabled', 'true');
+      } else {
+        owner.removeAttribute('aria-disabled');
+      }
+    }
+  }
+}