1use crate::{
2 Action, ActionRegistry, DispatchPhase, FocusId, KeyBinding, KeyContext, KeyMatch, Keymap,
3 Keystroke, KeystrokeMatcher, WindowContext,
4};
5use collections::HashMap;
6use parking_lot::Mutex;
7use smallvec::SmallVec;
8use std::{
9 any::{Any, TypeId},
10 rc::Rc,
11 sync::Arc,
12};
13
14#[derive(Clone, Copy, Debug, Eq, PartialEq, Hash)]
15pub struct DispatchNodeId(usize);
16
17pub(crate) struct DispatchTree {
18 node_stack: Vec<DispatchNodeId>,
19 pub(crate) context_stack: Vec<KeyContext>,
20 nodes: Vec<DispatchNode>,
21 focusable_node_ids: HashMap<FocusId, DispatchNodeId>,
22 keystroke_matchers: HashMap<SmallVec<[KeyContext; 4]>, KeystrokeMatcher>,
23 keymap: Arc<Mutex<Keymap>>,
24 action_registry: Rc<ActionRegistry>,
25}
26
27#[derive(Default)]
28pub(crate) struct DispatchNode {
29 pub key_listeners: SmallVec<[KeyListener; 2]>,
30 pub action_listeners: SmallVec<[DispatchActionListener; 16]>,
31 pub context: Option<KeyContext>,
32 parent: Option<DispatchNodeId>,
33}
34
35type KeyListener = Rc<dyn Fn(&dyn Any, DispatchPhase, &mut WindowContext)>;
36
37#[derive(Clone)]
38pub(crate) struct DispatchActionListener {
39 pub(crate) action_type: TypeId,
40 pub(crate) listener: Rc<dyn Fn(&dyn Any, DispatchPhase, &mut WindowContext)>,
41}
42
43impl DispatchTree {
44 pub fn new(keymap: Arc<Mutex<Keymap>>, action_registry: Rc<ActionRegistry>) -> Self {
45 Self {
46 node_stack: Vec::new(),
47 context_stack: Vec::new(),
48 nodes: Vec::new(),
49 focusable_node_ids: HashMap::default(),
50 keystroke_matchers: HashMap::default(),
51 keymap,
52 action_registry,
53 }
54 }
55
56 pub fn clear(&mut self) {
57 self.node_stack.clear();
58 self.nodes.clear();
59 self.context_stack.clear();
60 self.focusable_node_ids.clear();
61 self.keystroke_matchers.clear();
62 }
63
64 pub fn push_node(&mut self, context: Option<KeyContext>) {
65 let parent = self.node_stack.last().copied();
66 let node_id = DispatchNodeId(self.nodes.len());
67 self.nodes.push(DispatchNode {
68 parent,
69 ..Default::default()
70 });
71 self.node_stack.push(node_id);
72 if let Some(context) = context {
73 self.active_node().context = Some(context.clone());
74 self.context_stack.push(context);
75 }
76 }
77
78 pub fn pop_node(&mut self) {
79 let node_id = self.node_stack.pop().unwrap();
80 if self.nodes[node_id.0].context.is_some() {
81 self.context_stack.pop();
82 }
83 }
84
85 pub fn clear_pending_keystrokes(&mut self) {
86 self.keystroke_matchers.clear();
87 }
88
89 /// Preserve keystroke matchers from previous frames to support multi-stroke
90 /// bindings across multiple frames.
91 pub fn preserve_pending_keystrokes(&mut self, old_tree: &mut Self, focus_id: Option<FocusId>) {
92 if let Some(node_id) = focus_id.and_then(|focus_id| self.focusable_node_id(focus_id)) {
93 let dispatch_path = self.dispatch_path(node_id);
94
95 self.context_stack.clear();
96 for node_id in dispatch_path {
97 let node = self.node(node_id);
98 if let Some(context) = node.context.clone() {
99 self.context_stack.push(context);
100 }
101
102 if let Some((context_stack, matcher)) = old_tree
103 .keystroke_matchers
104 .remove_entry(self.context_stack.as_slice())
105 {
106 self.keystroke_matchers.insert(context_stack, matcher);
107 }
108 }
109 }
110 }
111
112 pub fn on_key_event(&mut self, listener: KeyListener) {
113 self.active_node().key_listeners.push(listener);
114 }
115
116 pub fn on_action(
117 &mut self,
118 action_type: TypeId,
119 listener: Rc<dyn Fn(&dyn Any, DispatchPhase, &mut WindowContext)>,
120 ) {
121 self.active_node()
122 .action_listeners
123 .push(DispatchActionListener {
124 action_type,
125 listener,
126 });
127 }
128
129 pub fn make_focusable(&mut self, focus_id: FocusId) {
130 self.focusable_node_ids
131 .insert(focus_id, self.active_node_id());
132 }
133
134 pub fn focus_contains(&self, parent: FocusId, child: FocusId) -> bool {
135 if parent == child {
136 return true;
137 }
138
139 if let Some(parent_node_id) = self.focusable_node_ids.get(&parent) {
140 let mut current_node_id = self.focusable_node_ids.get(&child).copied();
141 while let Some(node_id) = current_node_id {
142 if node_id == *parent_node_id {
143 return true;
144 }
145 current_node_id = self.nodes[node_id.0].parent;
146 }
147 }
148 false
149 }
150
151 pub fn available_actions(&self, target: DispatchNodeId) -> Vec<Box<dyn Action>> {
152 let mut actions = Vec::new();
153 for node_id in self.dispatch_path(target) {
154 let node = &self.nodes[node_id.0];
155 for DispatchActionListener { action_type, .. } in &node.action_listeners {
156 // Intentionally silence these errors without logging.
157 // If an action cannot be built by default, it's not available.
158 actions.extend(self.action_registry.build_action_type(action_type).ok());
159 }
160 }
161 actions
162 }
163
164 pub fn is_action_available(&self, action: &dyn Action, target: DispatchNodeId) -> bool {
165 for node_id in self.dispatch_path(target) {
166 let node = &self.nodes[node_id.0];
167 if node
168 .action_listeners
169 .iter()
170 .any(|listener| listener.action_type == action.as_any().type_id())
171 {
172 return true;
173 }
174 }
175 false
176 }
177
178 pub fn bindings_for_action(
179 &self,
180 action: &dyn Action,
181 context_stack: &Vec<KeyContext>,
182 ) -> Vec<KeyBinding> {
183 self.keymap
184 .lock()
185 .bindings_for_action(action.type_id())
186 .filter(|candidate| {
187 if !candidate.action.partial_eq(action) {
188 return false;
189 }
190 for i in 1..context_stack.len() {
191 if candidate.matches_context(&context_stack[0..=i]) {
192 return true;
193 }
194 }
195 return false;
196 })
197 .cloned()
198 .collect()
199 }
200
201 pub fn dispatch_key(
202 &mut self,
203 keystroke: &Keystroke,
204 context: &[KeyContext],
205 ) -> Option<Box<dyn Action>> {
206 if !self.keystroke_matchers.contains_key(context) {
207 let keystroke_contexts = context.iter().cloned().collect();
208 self.keystroke_matchers.insert(
209 keystroke_contexts,
210 KeystrokeMatcher::new(self.keymap.clone()),
211 );
212 }
213
214 let keystroke_matcher = self.keystroke_matchers.get_mut(context).unwrap();
215 if let KeyMatch::Some(action) = keystroke_matcher.match_keystroke(keystroke, context) {
216 // Clear all pending keystrokes when an action has been found.
217 for keystroke_matcher in self.keystroke_matchers.values_mut() {
218 keystroke_matcher.clear_pending();
219 }
220
221 Some(action)
222 } else {
223 None
224 }
225 }
226
227 pub fn dispatch_path(&self, target: DispatchNodeId) -> SmallVec<[DispatchNodeId; 32]> {
228 let mut dispatch_path: SmallVec<[DispatchNodeId; 32]> = SmallVec::new();
229 let mut current_node_id = Some(target);
230 while let Some(node_id) = current_node_id {
231 dispatch_path.push(node_id);
232 current_node_id = self.nodes[node_id.0].parent;
233 }
234 dispatch_path.reverse(); // Reverse the path so it goes from the root to the focused node.
235 dispatch_path
236 }
237
238 pub fn node(&self, node_id: DispatchNodeId) -> &DispatchNode {
239 &self.nodes[node_id.0]
240 }
241
242 fn active_node(&mut self) -> &mut DispatchNode {
243 let active_node_id = self.active_node_id();
244 &mut self.nodes[active_node_id.0]
245 }
246
247 pub fn focusable_node_id(&self, target: FocusId) -> Option<DispatchNodeId> {
248 self.focusable_node_ids.get(&target).copied()
249 }
250
251 pub fn root_node_id(&self) -> DispatchNodeId {
252 debug_assert!(!self.nodes.is_empty());
253 DispatchNodeId(0)
254 }
255
256 fn active_node_id(&self) -> DispatchNodeId {
257 *self.node_stack.last().unwrap()
258 }
259}